Trace number 2687085

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.11 1800.55

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687085-1278447360.opb.
0.00/0.00	c Instance file HOME/instance-2687085-1278447360.opb
0.00/0.00	c File size is 8036080 bytes.
1.59/1.69	c Highest Coefficient sum: 798
1.59/1.69	c ============================[ Problem Statistics ]=============================
1.59/1.69	c |                                                                             |
1.59/1.69	c |  Parsing time:          1.66         s                                      |
1.59/1.69	c |  Number Variables:      72842                                               |
1.59/1.69	c |  Number Clauses:        233015                                              |
1.59/1.69	c |  Number Cardinality:    0                                                   |
1.59/1.69	c |  Number PB Constraints: 1200                                                |
94.17/94.20	c ============================[ Search Statistics ]==============================
94.17/94.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.17/94.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.17/94.20	c ===============================================================================
94.17/94.21	c |         0 |   57336   235595   555877 |    78071        0    nan |  0.000 % |
94.17/94.27	c ===============================================================================
94.17/94.27	c New solution: 300
94.17/94.27	o 300
94.17/94.27	c Elapsed CPU time: 94.1077 s	Remaining CPU time: 85.8923 s
94.17/94.27	c ===============================================================================
94.17/94.27	c |         0 |   57336   235596   556177 |    78532        0    nan |  0.000 % |
94.27/94.33	c ===============================================================================
94.27/94.33	c New solution: 299
94.27/94.33	o 299
94.27/94.33	c Elapsed CPU time: 94.1677 s	Remaining CPU time: 85.8323 s
94.27/94.33	c ===============================================================================
94.27/94.33	c |         5 |   57215   235597   556477 |    78532        5     41 |  0.000 % |
94.27/94.39	c ===============================================================================
94.27/94.39	c New solution: 298
94.27/94.39	o 298
94.27/94.39	c Elapsed CPU time: 94.2267 s	Remaining CPU time: 85.7733 s
94.27/94.39	c ===============================================================================
94.27/94.39	c |        11 |   57081   235598   556777 |    78532       11     32 |  0.000 % |
94.37/94.45	c ===============================================================================
94.37/94.45	c New solution: 297
94.37/94.45	o 297
94.37/94.45	c Elapsed CPU time: 94.2857 s	Remaining CPU time: 85.7143 s
94.37/94.45	c ===============================================================================
94.37/94.45	c |        19 |   56941   235599   557077 |    78533       19     37 |  0.000 % |
94.47/94.50	c ===============================================================================
94.47/94.50	c New solution: 296
94.47/94.50	o 296
94.47/94.50	c Elapsed CPU time: 94.3367 s	Remaining CPU time: 85.6633 s
94.47/94.50	c ===============================================================================
94.47/94.50	c |        21 |   56790   235600   557377 |    78533       21     35 |  0.000 % |
94.47/94.56	c ===============================================================================
94.47/94.56	c New solution: 295
94.47/94.56	o 295
94.47/94.56	c Elapsed CPU time: 94.3916 s	Remaining CPU time: 85.6084 s
94.47/94.56	c ===============================================================================
94.47/94.56	c |        31 |   56626   235601   557677 |    78533       31     40 |  0.000 % |
94.58/94.61	c ===============================================================================
94.58/94.61	c New solution: 294
94.58/94.61	o 294
94.58/94.61	c Elapsed CPU time: 94.4426 s	Remaining CPU time: 85.5574 s
94.58/94.61	c ===============================================================================
94.58/94.61	c |        37 |   56449   235602   557977 |    78534       37     41 |  0.000 % |
94.58/94.67	c ===============================================================================
94.58/94.67	c New solution: 293
94.58/94.67	o 293
94.58/94.67	c Elapsed CPU time: 94.4996 s	Remaining CPU time: 85.5004 s
94.58/94.67	c ===============================================================================
94.58/94.67	c |        38 |   56259   235603   558277 |    78534       38     41 |  0.000 % |
94.67/94.73	c ===============================================================================
94.67/94.73	c New solution: 292
94.67/94.73	o 292
94.67/94.73	c Elapsed CPU time: 94.5576 s	Remaining CPU time: 85.4424 s
94.67/94.73	c ===============================================================================
94.67/94.73	c |        38 |   56054   235604   558577 |    78534       38     41 |  0.000 % |
94.67/94.79	c ===============================================================================
94.67/94.79	c New solution: 291
94.67/94.79	o 291
94.67/94.79	c Elapsed CPU time: 94.6156 s	Remaining CPU time: 85.3844 s
94.67/94.79	c ===============================================================================
94.67/94.79	c |        44 |   55837   235605   558877 |    78535       44     39 |  0.000 % |
94.77/94.85	c ===============================================================================
94.77/94.85	c New solution: 290
94.77/94.85	o 290
94.77/94.85	c Elapsed CPU time: 94.6776 s	Remaining CPU time: 85.3224 s
94.77/94.85	c ===============================================================================
94.77/94.85	c |        44 |   55606   235606   559177 |    78535       12     34 |  0.000 % |
94.87/94.91	c ===============================================================================
94.87/94.91	c New solution: 289
94.87/94.91	o 289
94.87/94.91	c Elapsed CPU time: 94.7396 s	Remaining CPU time: 85.2604 s
94.87/94.91	c ===============================================================================
94.87/94.91	c |        46 |   55364   235607   559477 |    78535       14     32 |  0.000 % |
94.87/94.98	c ===============================================================================
94.87/94.98	c New solution: 288
94.87/94.98	o 288
94.87/94.98	c Elapsed CPU time: 94.8056 s	Remaining CPU time: 85.1944 s
94.87/94.98	c ===============================================================================
94.87/94.98	c |        47 |   55122   235608   559777 |    78536       15     31 |  0.000 % |
94.97/95.04	c ===============================================================================
94.97/95.04	c New solution: 287
94.97/95.04	o 287
94.97/95.04	c Elapsed CPU time: 94.8676 s	Remaining CPU time: 85.1324 s
94.97/95.04	c ===============================================================================
94.97/95.04	c |        49 |   54880   235609   560077 |    78536       17     30 |  0.000 % |
94.97/95.09	c ===============================================================================
94.97/95.09	c New solution: 286
94.97/95.09	o 286
94.97/95.09	c Elapsed CPU time: 94.9166 s	Remaining CPU time: 85.0834 s
94.97/95.09	c ===============================================================================
94.97/95.09	c |        54 |   54638   235610   560377 |    78536       22     32 |  0.000 % |
95.06/95.15	c ===============================================================================
95.06/95.15	c New solution: 285
95.06/95.15	o 285
95.06/95.15	c Elapsed CPU time: 94.9776 s	Remaining CPU time: 85.0224 s
95.06/95.15	c ===============================================================================
95.06/95.15	c |        57 |   54396   235611   560677 |    78537       25     30 |  0.000 % |
95.16/95.22	c ===============================================================================
95.16/95.22	c New solution: 284
95.16/95.22	o 284
95.16/95.22	c Elapsed CPU time: 95.0376 s	Remaining CPU time: 84.9624 s
95.16/95.22	c ===============================================================================
95.16/95.22	c |        59 |   54154   235612   560977 |    78537       27     29 |  0.000 % |
95.16/95.28	c ===============================================================================
95.16/95.28	c New solution: 283
95.16/95.28	o 283
95.16/95.28	c Elapsed CPU time: 95.0985 s	Remaining CPU time: 84.9015 s
95.16/95.28	c ===============================================================================
95.16/95.28	c |        59 |   53912   235613   561277 |    78537       27     29 |  0.000 % |
95.26/95.34	c ===============================================================================
95.26/95.34	c New solution: 282
95.26/95.34	o 282
95.26/95.34	c Elapsed CPU time: 95.1585 s	Remaining CPU time: 84.8415 s
95.26/95.34	c ===============================================================================
95.26/95.34	c |        61 |   53670   235614   561577 |    78538       29     29 |  0.000 % |
95.26/95.38	c ===============================================================================
95.26/95.38	c New solution: 281
95.26/95.38	o 281
95.26/95.38	c Elapsed CPU time: 95.2045 s	Remaining CPU time: 84.7955 s
95.26/95.38	c ===============================================================================
95.26/95.38	c |        64 |   53428   235615   561877 |    78538       32     29 |  0.000 % |
95.37/95.45	c ===============================================================================
95.37/95.45	c New solution: 280
95.37/95.45	o 280
95.37/95.45	c Elapsed CPU time: 95.2655 s	Remaining CPU time: 84.7345 s
95.37/95.45	c ===============================================================================
95.37/95.45	c |        66 |   53186   235616   562177 |    78538       21     33 |  0.000 % |
95.47/95.51	c ===============================================================================
95.47/95.51	c New solution: 279
95.47/95.51	o 279
95.47/95.51	c Elapsed CPU time: 95.3235 s	Remaining CPU time: 84.6765 s
95.47/95.51	c ===============================================================================
95.47/95.51	c |        66 |   52944   235617   562477 |    78539       21     33 |  0.000 % |
95.47/95.57	c ===============================================================================
95.47/95.57	c New solution: 278
95.47/95.57	o 278
95.47/95.57	c Elapsed CPU time: 95.3845 s	Remaining CPU time: 84.6155 s
95.47/95.57	c ===============================================================================
95.47/95.57	c |        67 |   52702   235618   562777 |    78539       22     33 |  0.000 % |
95.58/95.63	c ===============================================================================
95.58/95.63	c New solution: 277
95.58/95.63	o 277
95.58/95.63	c Elapsed CPU time: 95.4425 s	Remaining CPU time: 84.5575 s
95.58/95.63	c ===============================================================================
95.58/95.63	c |        67 |   52460   235619   563077 |    78539       22     33 |  0.000 % |
95.58/95.68	c ===============================================================================
95.58/95.68	c New solution: 276
95.58/95.68	o 276
95.58/95.68	c Elapsed CPU time: 95.4995 s	Remaining CPU time: 84.5005 s
95.58/95.68	c ===============================================================================
95.58/95.68	c |        68 |   52218   235620   563377 |    78540       23     33 |  0.000 % |
95.67/95.74	c ===============================================================================
95.67/95.74	c New solution: 275
95.67/95.74	o 275
95.67/95.74	c Elapsed CPU time: 95.5585 s	Remaining CPU time: 84.4415 s
95.67/95.74	c ===============================================================================
95.67/95.74	c |        69 |   51976   235621   563677 |    78540       24     32 |  0.000 % |
95.77/95.80	c ===============================================================================
95.77/95.80	c New solution: 274
95.77/95.80	o 274
95.77/95.80	c Elapsed CPU time: 95.6165 s	Remaining CPU time: 84.3835 s
95.77/95.80	c ===============================================================================
95.77/95.80	c |        69 |   51734   235622   563977 |    78540       24     32 |  0.000 % |
95.77/95.86	c ===============================================================================
95.77/95.86	c New solution: 273
95.77/95.86	o 273
95.77/95.86	c Elapsed CPU time: 95.6775 s	Remaining CPU time: 84.3225 s
95.77/95.86	c ===============================================================================
95.77/95.86	c |        72 |   51492   235623   564277 |    78541       27     31 |  0.000 % |
95.86/95.92	c ===============================================================================
95.86/95.92	c New solution: 272
95.86/95.92	o 272
95.86/95.92	c Elapsed CPU time: 95.7354 s	Remaining CPU time: 84.2646 s
95.86/95.92	c ===============================================================================
95.86/95.92	c |        72 |   51250   235624   564577 |    78541       27     31 |  0.000 % |
95.86/95.98	c ===============================================================================
95.86/95.98	c New solution: 271
95.86/95.98	o 271
95.86/95.98	c Elapsed CPU time: 95.7924 s	Remaining CPU time: 84.2076 s
95.86/95.98	c ===============================================================================
95.86/95.98	c |        72 |   51008   235625   564877 |    78541       27     31 |  0.000 % |
95.96/96.04	c ===============================================================================
95.96/96.04	c New solution: 270
95.96/96.04	o 270
95.96/96.04	c Elapsed CPU time: 95.8494 s	Remaining CPU time: 84.1506 s
95.96/96.04	c ===============================================================================
95.96/96.04	c |        72 |   50766   235626   565177 |    78542       27     31 |  0.000 % |
96.07/96.10	c ===============================================================================
96.07/96.10	c New solution: 269
96.07/96.10	o 269
96.07/96.10	c Elapsed CPU time: 95.9074 s	Remaining CPU time: 84.0926 s
96.07/96.10	c ===============================================================================
96.07/96.10	c |        72 |   50524   235627   565477 |    78542       12     29 |  0.000 % |
96.07/96.15	c ===============================================================================
96.07/96.15	c New solution: 268
96.07/96.15	o 268
96.07/96.15	c Elapsed CPU time: 95.9644 s	Remaining CPU time: 84.0356 s
96.07/96.15	c ===============================================================================
96.07/96.15	c |        72 |   50282   235628   565777 |    78542       12     29 |  0.000 % |
96.17/96.21	c ===============================================================================
96.17/96.21	c New solution: 267
96.17/96.21	o 267
96.17/96.21	c Elapsed CPU time: 96.0204 s	Remaining CPU time: 83.9796 s
96.17/96.21	c ===============================================================================
96.17/96.21	c |        72 |   50040   235629   566077 |    78543       12     29 |  0.000 % |
96.17/96.27	c ===============================================================================
96.17/96.27	c New solution: 266
96.17/96.27	o 266
96.17/96.27	c Elapsed CPU time: 96.0774 s	Remaining CPU time: 83.9226 s
96.17/96.27	c ===============================================================================
96.17/96.27	c |        72 |   49798   235630   566377 |    78543       12     29 |  0.000 % |
96.27/96.34	c ===============================================================================
96.27/96.34	c New solution: 265
96.27/96.34	o 265
96.27/96.34	c Elapsed CPU time: 96.1444 s	Remaining CPU time: 83.8556 s
96.27/96.34	c ===============================================================================
96.27/96.34	c |        73 |   49556   235631   566677 |    78543       13     28 |  0.000 % |
96.37/96.40	c ===============================================================================
96.37/96.40	c New solution: 264
96.37/96.40	o 264
96.37/96.40	c Elapsed CPU time: 96.2054 s	Remaining CPU time: 83.7946 s
96.37/96.40	c ===============================================================================
96.37/96.40	c |        74 |   49314   235632   566977 |    78544       14     29 |  0.000 % |
96.37/96.45	c ===============================================================================
96.37/96.45	c New solution: 263
96.37/96.45	o 263
96.37/96.45	c Elapsed CPU time: 96.2614 s	Remaining CPU time: 83.7386 s
96.37/96.45	c ===============================================================================
96.37/96.45	c |        75 |   49072   235633   567277 |    78544       15     28 |  0.000 % |
96.47/96.51	c ===============================================================================
96.47/96.51	c New solution: 262
96.47/96.51	o 262
96.47/96.51	c Elapsed CPU time: 96.3164 s	Remaining CPU time: 83.6836 s
96.47/96.51	c ===============================================================================
96.47/96.51	c |        76 |   48830   235634   567577 |    78544       16     27 |  0.000 % |
96.47/96.57	c ===============================================================================
96.47/96.57	c New solution: 261
96.47/96.57	o 261
96.47/96.57	c Elapsed CPU time: 96.3753 s	Remaining CPU time: 83.6247 s
96.47/96.57	c ===============================================================================
96.47/96.57	c |        77 |   48588   235635   567877 |    78545       17     27 |  0.000 % |
96.57/96.63	c ===============================================================================
96.57/96.63	c New solution: 260
96.57/96.63	o 260
96.57/96.63	c Elapsed CPU time: 96.4323 s	Remaining CPU time: 83.5677 s
96.57/96.63	c ===============================================================================
96.57/96.63	c |        79 |   48346   235636   568177 |    78545       19     27 |  0.000 % |
96.57/96.69	c ===============================================================================
96.57/96.69	c New solution: 259
96.57/96.69	o 259
96.57/96.69	c Elapsed CPU time: 96.4983 s	Remaining CPU time: 83.5017 s
96.57/96.69	c ===============================================================================
96.57/96.69	c |        80 |   48104   235637   568477 |    78545       20     26 |  0.000 % |
96.67/96.75	c ===============================================================================
96.67/96.75	c New solution: 258
96.67/96.75	o 258
96.67/96.75	c Elapsed CPU time: 96.5563 s	Remaining CPU time: 83.4437 s
96.67/96.75	c ===============================================================================
96.67/96.75	c |        80 |   47862   235638   568777 |    78546       13     28 |  0.000 % |
96.67/96.80	c ===============================================================================
96.67/96.80	c New solution: 257
96.67/96.80	o 257
96.67/96.80	c Elapsed CPU time: 96.6043 s	Remaining CPU time: 83.3957 s
96.67/96.80	c ===============================================================================
96.67/96.80	c |        86 |   47620   235639   569077 |    78546       19     34 |  0.000 % |
96.77/96.86	c ===============================================================================
96.77/96.86	c New solution: 256
96.77/96.86	o 256
96.77/96.86	c Elapsed CPU time: 96.6603 s	Remaining CPU time: 83.3397 s
96.77/96.86	c ===============================================================================
96.77/96.86	c |        87 |   47378   235640   569377 |    78546       20     33 |  0.000 % |
96.87/96.91	c ===============================================================================
96.87/96.91	c New solution: 255
96.87/96.91	o 255
96.87/96.91	c Elapsed CPU time: 96.7183 s	Remaining CPU time: 83.2817 s
96.87/96.91	c ===============================================================================
96.87/96.91	c |        88 |   47136   235641   569677 |    78547       21     32 |  0.000 % |
96.87/96.97	c ===============================================================================
96.87/96.97	c New solution: 254
96.87/96.97	o 254
96.87/96.97	c Elapsed CPU time: 96.7723 s	Remaining CPU time: 83.2277 s
96.87/96.97	c ===============================================================================
96.87/96.97	c |        89 |   46894   235642   569977 |    78547       22     31 |  0.000 % |
96.96/97.01	c ===============================================================================
96.96/97.01	c New solution: 253
96.96/97.01	o 253
96.96/97.01	c Elapsed CPU time: 96.8163 s	Remaining CPU time: 83.1837 s
96.96/97.01	c ===============================================================================
96.96/97.01	c |        91 |   46652   235643   570277 |    78547       24     32 |  0.000 % |
96.96/97.07	c ===============================================================================
96.96/97.07	c New solution: 252
96.96/97.07	o 252
96.96/97.07	c Elapsed CPU time: 96.8693 s	Remaining CPU time: 83.1307 s
96.96/97.07	c ===============================================================================
96.96/97.07	c |        91 |   46410   235644   570577 |    78548       24     32 |  0.000 % |
97.06/97.12	c ===============================================================================
97.06/97.12	c New solution: 251
97.06/97.12	o 251
97.06/97.12	c Elapsed CPU time: 96.9223 s	Remaining CPU time: 83.0777 s
97.06/97.12	c ===============================================================================
97.06/97.12	c |        92 |   46168   235645   570877 |    78548       25     31 |  0.000 % |
97.06/97.17	c ===============================================================================
97.06/97.17	c New solution: 250
97.06/97.17	o 250
97.06/97.17	c Elapsed CPU time: 96.9753 s	Remaining CPU time: 83.0247 s
97.06/97.17	c ===============================================================================
97.06/97.17	c |        92 |   45926   235646   571177 |    78548       25     31 |  0.000 % |
97.16/97.23	c ===============================================================================
97.16/97.23	c New solution: 249
97.16/97.23	o 249
97.16/97.23	c Elapsed CPU time: 97.0302 s	Remaining CPU time: 82.9698 s
97.16/97.23	c ===============================================================================
97.16/97.23	c |        94 |   45684   235647   571477 |    78549       27     32 |  0.000 % |
97.16/97.29	c ===============================================================================
97.16/97.29	c New solution: 248
97.16/97.29	o 248
97.16/97.29	c Elapsed CPU time: 97.0842 s	Remaining CPU time: 82.9158 s
97.16/97.29	c ===============================================================================
97.16/97.29	c |        95 |   45442   235648   571777 |    78549       28     32 |  0.000 % |
97.27/97.34	c ===============================================================================
97.27/97.34	c New solution: 247
97.27/97.34	o 247
97.27/97.34	c Elapsed CPU time: 97.1372 s	Remaining CPU time: 82.8628 s
97.27/97.34	c ===============================================================================
97.27/97.34	c |        96 |   45200   235649   572077 |    78549       29     32 |  0.000 % |
97.37/97.40	c ===============================================================================
97.37/97.40	c New solution: 246
97.37/97.40	o 246
97.37/97.40	c Elapsed CPU time: 97.1952 s	Remaining CPU time: 82.8048 s
97.37/97.40	c ===============================================================================
97.37/97.40	c |        97 |   44958   235650   572377 |    78550       12     34 |  0.000 % |
97.37/97.45	c ===============================================================================
97.37/97.45	c New solution: 245
97.37/97.45	o 245
97.37/97.45	c Elapsed CPU time: 97.2492 s	Remaining CPU time: 82.7508 s
97.37/97.45	c ===============================================================================
97.37/97.45	c |        99 |   44716   235651   572677 |    78550       14     32 |  0.000 % |
97.47/97.51	c ===============================================================================
97.47/97.51	c New solution: 244
97.47/97.51	o 244
97.47/97.51	c Elapsed CPU time: 97.3042 s	Remaining CPU time: 82.6958 s
97.47/97.51	c ===============================================================================
97.47/97.51	c |       101 |   44474   235652   572977 |    78550       16     30 |  0.000 % |
97.47/97.55	c ===============================================================================
97.47/97.55	c New solution: 243
97.47/97.55	o 243
97.47/97.55	c Elapsed CPU time: 97.3482 s	Remaining CPU time: 82.6518 s
97.47/97.55	c ===============================================================================
97.47/97.55	c |       102 |   44232   235653   573277 |    78551       17     31 |  0.000 % |
97.57/97.60	c ===============================================================================
97.57/97.60	c New solution: 242
97.57/97.60	o 242
97.57/97.60	c Elapsed CPU time: 97.4002 s	Remaining CPU time: 82.5998 s
97.57/97.60	c ===============================================================================
97.57/97.60	c |       128 |   43990   235654   573577 |    78551       43     43 |  0.000 % |
97.57/97.68	c ===============================================================================
97.57/97.68	c New solution: 241
97.57/97.68	o 241
97.57/97.68	c Elapsed CPU time: 97.4722 s	Remaining CPU time: 82.5278 s
97.57/97.68	c ===============================================================================
97.57/97.68	c |       167 |   43748   235655   573877 |    78551       82     66 |  0.000 % |
97.67/97.73	c ===============================================================================
97.67/97.73	c New solution: 240
97.67/97.73	o 240
97.67/97.73	c Elapsed CPU time: 97.5252 s	Remaining CPU time: 82.4748 s
97.67/97.73	c ===============================================================================
97.67/97.73	c |       167 |   43506   235656   574177 |    78552       82     66 |  0.000 % |
97.67/97.79	c ===============================================================================
97.67/97.79	c New solution: 239
97.67/97.79	o 239
97.67/97.79	c Elapsed CPU time: 97.5802 s	Remaining CPU time: 82.4198 s
97.67/97.79	c ===============================================================================
97.67/97.79	c |       180 |   43264   235657   574477 |    78552       95     63 |  0.000 % |
97.77/97.84	c ===============================================================================
97.77/97.84	c New solution: 238
97.77/97.84	o 238
97.77/97.84	c Elapsed CPU time: 97.6312 s	Remaining CPU time: 82.3688 s
97.77/97.84	c ===============================================================================
97.77/97.84	c |       204 |   43022   235658   574777 |    78552      119     62 |  0.000 % |
97.77/97.90	c ===============================================================================
97.77/97.90	c New solution: 237
97.77/97.90	o 237
97.77/97.90	c Elapsed CPU time: 97.6871 s	Remaining CPU time: 82.3129 s
97.77/97.90	c ===============================================================================
97.77/97.90	c |       209 |   42780   235659   575077 |    78553      124     60 |  0.000 % |
97.87/97.95	c ===============================================================================
97.87/97.95	c New solution: 236
97.87/97.95	o 236
97.87/97.95	c Elapsed CPU time: 97.7411 s	Remaining CPU time: 82.2589 s
97.87/97.95	c ===============================================================================
97.87/97.95	c |       211 |   42538   235660   575377 |    78553      126     60 |  0.000 % |
97.96/98.00	c ===============================================================================
97.96/98.00	c New solution: 235
97.96/98.00	o 235
97.96/98.00	c Elapsed CPU time: 97.7951 s	Remaining CPU time: 82.2049 s
97.96/98.00	c ===============================================================================
97.96/98.00	c |       213 |   42296   235661   575677 |    78553      128     59 |  0.000 % |
97.96/98.06	c ===============================================================================
97.96/98.06	c New solution: 234
97.96/98.06	o 234
97.96/98.06	c Elapsed CPU time: 97.8481 s	Remaining CPU time: 82.1519 s
97.96/98.06	c ===============================================================================
97.96/98.06	c |       216 |   42054   235662   575977 |    78554       62     48 |  0.000 % |
98.07/98.11	c ===============================================================================
98.07/98.11	c New solution: 233
98.07/98.11	o 233
98.07/98.11	c Elapsed CPU time: 97.8961 s	Remaining CPU time: 82.1039 s
98.07/98.11	c ===============================================================================
98.07/98.11	c |       220 |   41812   235663   576277 |    78554       66     47 |  0.000 % |
98.07/98.16	c ===============================================================================
98.07/98.16	c New solution: 232
98.07/98.16	o 232
98.07/98.16	c Elapsed CPU time: 97.9471 s	Remaining CPU time: 82.0529 s
98.07/98.16	c ===============================================================================
98.07/98.16	c |       221 |   41570   235664   576577 |    78554       67     47 |  0.000 % |
98.17/98.21	c ===============================================================================
98.17/98.21	c New solution: 231
98.17/98.21	o 231
98.17/98.21	c Elapsed CPU time: 97.9981 s	Remaining CPU time: 82.0019 s
98.17/98.21	c ===============================================================================
98.17/98.21	c |       221 |   41328   235665   576877 |    78555       67     47 |  0.000 % |
98.17/98.25	c ===============================================================================
98.17/98.25	c New solution: 230
98.17/98.25	o 230
98.17/98.25	c Elapsed CPU time: 98.0411 s	Remaining CPU time: 81.9589 s
98.17/98.25	c ===============================================================================
98.17/98.25	c |       228 |   41086   235666   577177 |    78555       74     46 |  0.000 % |
98.27/98.31	c ===============================================================================
98.27/98.31	c New solution: 229
98.27/98.31	o 229
98.27/98.31	c Elapsed CPU time: 98.0911 s	Remaining CPU time: 81.9089 s
98.27/98.31	c ===============================================================================
98.27/98.31	c |       228 |   40844   235667   577477 |    78555       74     46 |  0.000 % |
98.27/98.36	c ===============================================================================
98.27/98.36	c New solution: 228
98.27/98.36	o 228
98.27/98.36	c Elapsed CPU time: 98.1411 s	Remaining CPU time: 81.8589 s
98.27/98.36	c ===============================================================================
98.27/98.36	c |       228 |   40602   235668   577777 |    78556       74     46 |  0.000 % |
98.37/98.41	c ===============================================================================
98.37/98.41	c New solution: 227
98.37/98.41	o 227
98.37/98.41	c Elapsed CPU time: 98.1941 s	Remaining CPU time: 81.8059 s
98.37/98.41	c ===============================================================================
98.37/98.41	c |       230 |   40360   235669   578077 |    78556       76     45 |  0.000 % |
98.37/98.46	c ===============================================================================
98.37/98.46	c New solution: 226
98.37/98.46	o 226
98.37/98.46	c Elapsed CPU time: 98.2431 s	Remaining CPU time: 81.7569 s
98.37/98.46	c ===============================================================================
98.37/98.46	c |       230 |   40118   235670   578377 |    78556       76     45 |  0.000 % |
98.47/98.51	c ===============================================================================
98.47/98.51	c New solution: 225
98.47/98.51	o 225
98.47/98.51	c Elapsed CPU time: 98.2931 s	Remaining CPU time: 81.7069 s
98.47/98.51	c ===============================================================================
98.47/98.51	c |       230 |   39876   235671   578677 |    78557       76     45 |  0.000 % |
98.47/98.56	c ===============================================================================
98.47/98.56	c New solution: 224
98.47/98.56	o 224
98.47/98.56	c Elapsed CPU time: 98.343 s	Remaining CPU time: 81.657 s
98.47/98.56	c ===============================================================================
98.47/98.56	c |       230 |   39634   235672   578977 |    78557       76     45 |  0.000 % |
98.57/98.61	c ===============================================================================
98.57/98.61	c New solution: 223
98.57/98.61	o 223
98.57/98.61	c Elapsed CPU time: 98.393 s	Remaining CPU time: 81.607 s
98.57/98.61	c ===============================================================================
98.57/98.61	c |       231 |   39392   235673   579277 |    78557       77     45 |  0.000 % |
98.57/98.66	c ===============================================================================
98.57/98.66	c New solution: 222
98.57/98.66	o 222
98.57/98.66	c Elapsed CPU time: 98.442 s	Remaining CPU time: 81.558 s
98.57/98.66	c ===============================================================================
98.57/98.66	c |       232 |   39150   235674   579577 |    78558       78     45 |  0.000 % |
98.67/98.71	c ===============================================================================
98.67/98.71	c New solution: 221
98.67/98.71	o 221
98.67/98.71	c Elapsed CPU time: 98.491 s	Remaining CPU time: 81.509 s
98.67/98.71	c ===============================================================================
98.67/98.71	c |       236 |   38908   235675   579877 |    78558       82     44 |  0.000 % |
98.67/98.76	c ===============================================================================
98.67/98.76	c New solution: 220
98.67/98.76	o 220
98.67/98.76	c Elapsed CPU time: 98.543 s	Remaining CPU time: 81.457 s
98.67/98.76	c ===============================================================================
98.67/98.76	c |       236 |   38666   235676   580177 |    78558       15     30 |  0.000 % |
98.77/98.81	c ===============================================================================
98.77/98.81	c New solution: 219
98.77/98.81	o 219
98.77/98.81	c Elapsed CPU time: 98.588 s	Remaining CPU time: 81.412 s
98.77/98.81	c ===============================================================================
98.77/98.81	c |       241 |   38424   235677   580477 |    78559       20     34 |  0.000 % |
98.77/98.88	c |       341 |   38400   235677   580477 |    86414      120     62 | 47.582 % |
98.88/98.92	c ===============================================================================
98.88/98.92	c New solution: 218
98.88/98.92	o 218
98.88/98.92	c Elapsed CPU time: 98.696 s	Remaining CPU time: 81.304 s
98.88/98.92	c ===============================================================================
98.88/98.92	c |       342 |   38182   235678   580777 |    78559      121     62 | 47.582 % |
98.88/98.97	c ===============================================================================
98.88/98.97	c New solution: 217
98.88/98.97	o 217
98.88/98.97	c Elapsed CPU time: 98.745 s	Remaining CPU time: 81.255 s
98.88/98.97	c ===============================================================================
98.88/98.97	c |       344 |   37940   235679   581077 |    78559      123     61 | 47.582 % |
98.98/99.02	c ===============================================================================
98.98/99.02	c New solution: 216
98.98/99.02	o 216
98.98/99.02	c Elapsed CPU time: 98.794 s	Remaining CPU time: 81.206 s
98.98/99.02	c ===============================================================================
98.98/99.02	c |       344 |   37698   235680   581377 |    78560      123     61 | 47.582 % |
98.98/99.07	c ===============================================================================
98.98/99.07	c New solution: 215
98.98/99.07	o 215
98.98/99.07	c Elapsed CPU time: 98.841 s	Remaining CPU time: 81.159 s
98.98/99.07	c ===============================================================================
98.98/99.07	c |       344 |   37456   235681   581677 |    78560      123     61 | 47.582 % |
99.06/99.11	c ===============================================================================
99.06/99.11	c New solution: 214
99.06/99.11	o 214
99.06/99.11	c Elapsed CPU time: 98.888 s	Remaining CPU time: 81.112 s
99.06/99.11	c ===============================================================================
99.06/99.11	c |       347 |   37214   235682   581977 |    78560      126     61 | 47.582 % |
99.06/99.15	c ===============================================================================
99.06/99.15	c New solution: 213
99.06/99.15	o 213
99.06/99.15	c Elapsed CPU time: 98.928 s	Remaining CPU time: 81.072 s
99.06/99.15	c ===============================================================================
99.06/99.15	c |       348 |   36972   235683   582277 |    78561      127     60 | 47.582 % |
99.06/99.19	c ===============================================================================
99.06/99.19	c New solution: 212
99.06/99.19	o 212
99.06/99.19	c Elapsed CPU time: 98.968 s	Remaining CPU time: 81.032 s
99.06/99.19	c ===============================================================================
99.06/99.19	c |       348 |   36730   235684   582577 |    78561      127     60 | 47.582 % |
99.16/99.24	c ===============================================================================
99.16/99.24	c New solution: 211
99.16/99.24	o 211
99.16/99.24	c Elapsed CPU time: 99.0109 s	Remaining CPU time: 80.9891 s
99.16/99.24	c ===============================================================================
99.16/99.24	c |       349 |   36488   235685   582877 |    78561      128     60 | 47.582 % |
99.16/99.28	c ===============================================================================
99.16/99.28	c New solution: 210
99.16/99.28	o 210
99.16/99.28	c Elapsed CPU time: 99.0539 s	Remaining CPU time: 80.9461 s
99.16/99.28	c ===============================================================================
99.16/99.28	c |       351 |   36246   235686   583177 |    78562      130     60 | 47.582 % |
99.26/99.32	c ===============================================================================
99.26/99.32	c New solution: 209
99.26/99.32	o 209
99.26/99.32	c Elapsed CPU time: 99.0939 s	Remaining CPU time: 80.9061 s
99.26/99.32	c ===============================================================================
99.26/99.32	c |       352 |   36004   235687   583477 |    78562      131     59 | 47.582 % |
99.26/99.37	c ===============================================================================
99.26/99.37	c New solution: 208
99.26/99.37	o 208
99.26/99.37	c Elapsed CPU time: 99.1419 s	Remaining CPU time: 80.8581 s
99.26/99.37	c ===============================================================================
99.26/99.37	c |       356 |   35762   235688   583777 |    78562      135     59 | 47.582 % |
99.36/99.41	c ===============================================================================
99.36/99.41	c New solution: 207
99.36/99.41	o 207
99.36/99.41	c Elapsed CPU time: 99.1819 s	Remaining CPU time: 80.8181 s
99.36/99.41	c ===============================================================================
99.36/99.41	c |       356 |   35520   235689   584077 |    78563      135     59 | 47.582 % |
99.36/99.46	c ===============================================================================
99.36/99.46	c New solution: 206
99.36/99.46	o 206
99.36/99.46	c Elapsed CPU time: 99.2249 s	Remaining CPU time: 80.7751 s
99.36/99.46	c ===============================================================================
99.36/99.46	c |       359 |   35278   235690   584377 |    78563       21     36 | 47.582 % |
99.36/99.49	c ===============================================================================
99.36/99.49	c New solution: 205
99.36/99.49	o 205
99.36/99.49	c Elapsed CPU time: 99.2649 s	Remaining CPU time: 80.7351 s
99.36/99.49	c ===============================================================================
99.36/99.49	c |       361 |   35036   235691   584677 |    78563       23     35 | 47.582 % |
99.46/99.53	c ===============================================================================
99.46/99.53	c New solution: 204
99.46/99.53	o 204
99.46/99.53	c Elapsed CPU time: 99.3029 s	Remaining CPU time: 80.6971 s
99.46/99.53	c ===============================================================================
99.46/99.53	c |       363 |   34794   235692   584977 |    78564       25     34 | 47.582 % |
99.46/99.58	c ===============================================================================
99.46/99.58	c New solution: 203
99.46/99.58	o 203
99.46/99.58	c Elapsed CPU time: 99.3499 s	Remaining CPU time: 80.6501 s
99.46/99.58	c ===============================================================================
99.46/99.58	c |       364 |   34552   235693   585277 |    78564       26     34 | 47.582 % |
99.57/99.63	c ===============================================================================
99.57/99.63	c New solution: 202
99.57/99.63	o 202
99.57/99.63	c Elapsed CPU time: 99.3949 s	Remaining CPU time: 80.6051 s
99.57/99.63	c ===============================================================================
99.57/99.63	c |       364 |   34310   235694   585577 |    78564       26     34 | 47.582 % |
99.57/99.67	c ===============================================================================
99.57/99.67	c New solution: 201
99.57/99.67	o 201
99.57/99.67	c Elapsed CPU time: 99.4399 s	Remaining CPU time: 80.5601 s
99.57/99.67	c ===============================================================================
99.57/99.67	c |       364 |   34068   235695   585877 |    78565       26     34 | 47.582 % |
99.67/99.71	c ===============================================================================
99.67/99.71	c New solution: 200
99.67/99.71	o 200
99.67/99.71	c Elapsed CPU time: 99.4809 s	Remaining CPU time: 80.5191 s
99.67/99.71	c ===============================================================================
99.67/99.71	c |       369 |   33826   235696   586177 |    78565       31     33 | 47.582 % |
99.67/99.76	c ===============================================================================
99.67/99.76	c New solution: 199
99.67/99.76	o 199
99.67/99.76	c Elapsed CPU time: 99.5219 s	Remaining CPU time: 80.4781 s
99.67/99.76	c ===============================================================================
99.67/99.76	c |       374 |   33584   235697   586477 |    78565       36     32 | 47.582 % |
99.77/99.80	c ===============================================================================
99.77/99.80	c New solution: 198
99.77/99.80	o 198
99.77/99.80	c Elapsed CPU time: 99.5669 s	Remaining CPU time: 80.4331 s
99.77/99.80	c ===============================================================================
99.77/99.80	c |       374 |   33342   235698   586777 |    78566       36     32 | 47.582 % |
99.77/99.85	c ===============================================================================
99.77/99.85	c New solution: 197
99.77/99.85	o 197
99.77/99.85	c Elapsed CPU time: 99.6109 s	Remaining CPU time: 80.3891 s
99.77/99.85	c ===============================================================================
99.77/99.85	c |       375 |   33100   235699   587077 |    78566       37     32 | 47.582 % |
99.77/99.89	c ===============================================================================
99.77/99.89	c New solution: 196
99.77/99.89	o 196
99.77/99.89	c Elapsed CPU time: 99.6548 s	Remaining CPU time: 80.3452 s
99.77/99.89	c ===============================================================================
99.77/99.89	c |       375 |   32858   235700   587377 |    78566       37     32 | 47.582 % |
99.86/99.94	c ===============================================================================
99.86/99.94	c New solution: 195
99.86/99.94	o 195
99.86/99.94	c Elapsed CPU time: 99.6988 s	Remaining CPU time: 80.3012 s
99.86/99.94	c ===============================================================================
99.86/99.94	c |       375 |   32616   235701   587677 |    78567       37     32 | 47.582 % |
99.86/99.98	c ===============================================================================
99.86/99.98	c New solution: 194
99.86/99.98	o 194
99.86/99.98	c Elapsed CPU time: 99.7418 s	Remaining CPU time: 80.2582 s
99.86/99.98	c ===============================================================================
99.86/99.98	c |       375 |   32374   235702   587977 |    78567       37     32 | 47.582 % |
99.97/100.03	c ===============================================================================
99.97/100.03	c New solution: 193
99.97/100.03	o 193
99.97/100.03	c Elapsed CPU time: 99.7888 s	Remaining CPU time: 80.2112 s
99.97/100.03	c ===============================================================================
99.97/100.03	c |       380 |   32132   235703   588277 |    78567       42     31 | 47.582 % |
99.97/100.07	c ===============================================================================
99.97/100.07	c New solution: 192
99.97/100.07	o 192
99.97/100.07	c Elapsed CPU time: 99.8328 s	Remaining CPU time: 80.1672 s
99.97/100.07	c ===============================================================================
99.97/100.07	c |       380 |   31890   235704   588577 |    78568       42     31 | 47.582 % |
100.07/100.11	c ===============================================================================
100.07/100.11	c New solution: 191
100.07/100.11	o 191
100.07/100.11	c Elapsed CPU time: 99.8708 s	Remaining CPU time: 80.1292 s
100.07/100.11	c ===============================================================================
100.07/100.11	c |       381 |   31648   235705   588877 |    78568       43     31 | 47.582 % |
100.07/100.15	c ===============================================================================
100.07/100.15	c New solution: 190
100.07/100.15	o 190
100.07/100.15	c Elapsed CPU time: 99.9158 s	Remaining CPU time: 80.0842 s
100.07/100.15	c ===============================================================================
100.07/100.15	c |       382 |   31406   235706   589177 |    78568       44     30 | 47.582 % |
100.07/100.19	c ===============================================================================
100.07/100.19	c New solution: 189
100.07/100.19	o 189
100.07/100.19	c Elapsed CPU time: 99.9538 s	Remaining CPU time: 80.0462 s
100.07/100.19	c ===============================================================================
100.07/100.19	c |       382 |   31164   235707   589477 |    78569       12     30 | 47.582 % |
100.16/100.24	c ===============================================================================
100.16/100.24	c New solution: 188
100.16/100.24	o 188
100.16/100.24	c Elapsed CPU time: 99.9998 s	Remaining CPU time: 80.0002 s
100.16/100.24	c ===============================================================================
100.16/100.24	c |       386 |   30922   235708   589777 |    78569       16     27 | 47.582 % |
100.16/100.28	c ===============================================================================
100.16/100.28	c New solution: 187
100.16/100.28	o 187
100.16/100.28	c Elapsed CPU time: 100.04 s	Remaining CPU time: 79.9602 s
100.16/100.28	c ===============================================================================
100.16/100.28	c |       388 |   30680   235709   590077 |    78569       18     27 | 47.582 % |
100.26/100.32	c ===============================================================================
100.26/100.32	c New solution: 186
100.26/100.32	o 186
100.26/100.32	c Elapsed CPU time: 100.076 s	Remaining CPU time: 79.9242 s
100.26/100.32	c ===============================================================================
100.26/100.32	c |       388 |   30438   235710   590377 |    78570       18     27 | 47.582 % |
100.26/100.36	c ===============================================================================
100.26/100.36	c New solution: 185
100.26/100.36	o 185
100.26/100.36	c Elapsed CPU time: 100.123 s	Remaining CPU time: 79.8772 s
100.26/100.36	c ===============================================================================
100.26/100.36	c |       391 |   30196   235711   590677 |    78570       21     29 | 47.582 % |
100.36/100.41	c ===============================================================================
100.36/100.41	c New solution: 184
100.36/100.41	o 184
100.36/100.41	c Elapsed CPU time: 100.168 s	Remaining CPU time: 79.8322 s
100.36/100.41	c ===============================================================================
100.36/100.41	c |       392 |   29954   235712   590977 |    78570       22     28 | 47.582 % |
100.36/100.44	c ===============================================================================
100.36/100.44	c New solution: 183
100.36/100.44	o 183
100.36/100.44	c Elapsed CPU time: 100.205 s	Remaining CPU time: 79.7952 s
100.36/100.44	c ===============================================================================
100.36/100.44	c |       393 |   29712   235713   591277 |    78571       23     28 | 47.582 % |
100.36/100.48	c ===============================================================================
100.36/100.48	c New solution: 182
100.36/100.48	o 182
100.36/100.48	c Elapsed CPU time: 100.243 s	Remaining CPU time: 79.7572 s
100.36/100.48	c ===============================================================================
100.36/100.48	c |       398 |   29470   235714   591577 |    78571       28     28 | 47.582 % |
100.46/100.52	c ===============================================================================
100.46/100.52	c New solution: 181
100.46/100.52	o 181
100.46/100.52	c Elapsed CPU time: 100.282 s	Remaining CPU time: 79.7182 s
100.46/100.52	c ===============================================================================
100.46/100.52	c |       403 |   29228   235715   591877 |    78571       33     28 | 47.582 % |
100.46/100.56	c ===============================================================================
100.46/100.56	c New solution: 180
100.46/100.56	o 180
100.46/100.56	c Elapsed CPU time: 100.319 s	Remaining CPU time: 79.6813 s
100.46/100.56	c ===============================================================================
100.46/100.56	c |       404 |   28986   235716   592177 |    78572       34     28 | 47.582 % |
100.57/100.60	c ===============================================================================
100.57/100.60	c New solution: 179
100.57/100.60	o 179
100.57/100.60	c Elapsed CPU time: 100.361 s	Remaining CPU time: 79.6393 s
100.57/100.60	c ===============================================================================
100.57/100.60	c |       407 |   28744   235717   592477 |    78572       37     28 | 47.582 % |
100.57/100.64	c ===============================================================================
100.57/100.64	c New solution: 178
100.57/100.64	o 178
100.57/100.64	c Elapsed CPU time: 100.396 s	Remaining CPU time: 79.6043 s
100.57/100.64	c ===============================================================================
100.57/100.64	c |       407 |   28502   235718   592777 |    78572       37     28 | 47.582 % |
100.57/100.67	c ===============================================================================
100.57/100.67	c New solution: 177
100.57/100.67	o 177
100.57/100.67	c Elapsed CPU time: 100.433 s	Remaining CPU time: 79.5673 s
100.57/100.67	c ===============================================================================
100.57/100.67	c |       410 |   28260   235719   593077 |    78573       40     29 | 47.582 % |
100.67/100.71	c ===============================================================================
100.67/100.71	c New solution: 176
100.67/100.71	o 176
100.67/100.71	c Elapsed CPU time: 100.47 s	Remaining CPU time: 79.5303 s
100.67/100.71	c ===============================================================================
100.67/100.71	c |       410 |   28018   235720   593377 |    78573       40     29 | 47.582 % |
100.67/100.75	c ===============================================================================
100.67/100.75	c New solution: 175
100.67/100.75	o 175
100.67/100.75	c Elapsed CPU time: 100.513 s	Remaining CPU time: 79.4873 s
100.67/100.75	c ===============================================================================
100.67/100.75	c |       412 |   27776   235721   593677 |    78573       42     28 | 47.582 % |
100.77/100.80	c ===============================================================================
100.77/100.80	c New solution: 174
100.77/100.80	o 174
100.77/100.80	c Elapsed CPU time: 100.559 s	Remaining CPU time: 79.4413 s
100.77/100.80	c ===============================================================================
100.77/100.80	c |       457 |   27534   235722   593977 |    78574       87     37 | 47.582 % |
100.77/100.84	c ===============================================================================
100.77/100.84	c New solution: 173
100.77/100.84	o 173
100.77/100.84	c Elapsed CPU time: 100.597 s	Remaining CPU time: 79.4033 s
100.77/100.84	c ===============================================================================
100.77/100.84	c |       462 |   27292   235723   594277 |    78574       92     37 | 47.582 % |
100.77/100.88	c ===============================================================================
100.77/100.88	c New solution: 172
100.77/100.88	o 172
100.77/100.88	c Elapsed CPU time: 100.64 s	Remaining CPU time: 79.3603 s
100.77/100.88	c ===============================================================================
100.77/100.88	c |       471 |   27050   235724   594577 |    78574      101     38 | 47.582 % |
100.87/100.92	c ===============================================================================
100.87/100.92	c New solution: 171
100.87/100.92	o 171
100.87/100.92	c Elapsed CPU time: 100.675 s	Remaining CPU time: 79.3253 s
100.87/100.92	c ===============================================================================
100.87/100.92	c |       471 |   26808   235725   594877 |    78575      101     38 | 47.582 % |
100.87/100.96	c ===============================================================================
100.87/100.96	c New solution: 170
100.87/100.96	o 170
100.87/100.96	c Elapsed CPU time: 100.711 s	Remaining CPU time: 79.2893 s
100.87/100.96	c ===============================================================================
100.87/100.96	c |       474 |   26566   235726   595177 |    78575       53     42 | 47.582 % |
100.87/101.00	c ===============================================================================
100.87/101.00	c New solution: 169
100.87/101.00	o 169
100.87/101.00	c Elapsed CPU time: 100.746 s	Remaining CPU time: 79.2543 s
100.87/101.00	c ===============================================================================
100.87/101.00	c |       476 |   26324   235727   595477 |    78575       55     41 | 47.582 % |
100.96/101.03	c ===============================================================================
100.96/101.03	c New solution: 168
100.96/101.03	o 168
100.96/101.03	c Elapsed CPU time: 100.784 s	Remaining CPU time: 79.2163 s
100.96/101.03	c ===============================================================================
100.96/101.03	c |       482 |   26082   235728   595777 |    78576       61     39 | 47.582 % |
100.96/101.07	c ===============================================================================
100.96/101.07	c New solution: 167
100.96/101.07	o 167
100.96/101.07	c Elapsed CPU time: 100.819 s	Remaining CPU time: 79.1813 s
100.96/101.07	c ===============================================================================
100.96/101.07	c |       484 |   25840   235729   596077 |    78576       63     39 | 47.582 % |
101.07/101.11	c ===============================================================================
101.07/101.11	c New solution: 166
101.07/101.11	o 166
101.07/101.11	c Elapsed CPU time: 100.86 s	Remaining CPU time: 79.1403 s
101.07/101.11	c ===============================================================================
101.07/101.11	c |       484 |   25598   235730   596377 |    78576       63     39 | 47.582 % |
101.07/101.15	c ===============================================================================
101.07/101.15	c New solution: 165
101.07/101.15	o 165
101.07/101.15	c Elapsed CPU time: 100.902 s	Remaining CPU time: 79.0983 s
101.07/101.15	c ===============================================================================
101.07/101.15	c |       485 |   25356   235731   596677 |    78577       64     39 | 47.582 % |
101.07/101.19	c ===============================================================================
101.07/101.19	c New solution: 164
101.07/101.19	o 164
101.07/101.19	c Elapsed CPU time: 100.942 s	Remaining CPU time: 79.0583 s
101.07/101.19	c ===============================================================================
101.07/101.19	c |       485 |   25114   235732   596977 |    78577       64     39 | 47.582 % |
101.18/101.23	c ===============================================================================
101.18/101.23	c New solution: 163
101.18/101.23	o 163
101.18/101.23	c Elapsed CPU time: 100.984 s	Remaining CPU time: 79.0164 s
101.18/101.23	c ===============================================================================
101.18/101.23	c |       486 |   24872   235733   597277 |    78577       65     38 | 47.582 % |
101.18/101.27	c ===============================================================================
101.18/101.27	c New solution: 162
101.18/101.27	o 162
101.18/101.27	c Elapsed CPU time: 101.023 s	Remaining CPU time: 78.9774 s
101.18/101.27	c ===============================================================================
101.18/101.27	c |       486 |   24630   235734   597577 |    78578       65     38 | 47.582 % |
101.27/101.31	c ===============================================================================
101.27/101.31	c New solution: 161
101.27/101.31	o 161
101.27/101.31	c Elapsed CPU time: 101.061 s	Remaining CPU time: 78.9394 s
101.27/101.31	c ===============================================================================
101.27/101.31	c |       488 |   24388   235735   597877 |    78578       67     38 | 47.582 % |
101.27/101.36	c ===============================================================================
101.27/101.36	c New solution: 160
101.27/101.36	o 160
101.27/101.36	c Elapsed CPU time: 101.101 s	Remaining CPU time: 78.8994 s
101.27/101.36	c ===============================================================================
101.27/101.36	c |       489 |   24146   235736   598177 |    78578       68     38 | 47.582 % |
101.27/101.40	c ===============================================================================
101.27/101.40	c New solution: 159
101.27/101.40	o 159
101.27/101.40	c Elapsed CPU time: 101.141 s	Remaining CPU time: 78.8594 s
101.27/101.40	c ===============================================================================
101.27/101.40	c |       490 |   23904   235737   598477 |    78579       69     38 | 47.582 % |
101.37/101.43	c ===============================================================================
101.37/101.43	c New solution: 158
101.37/101.43	o 158
101.37/101.43	c Elapsed CPU time: 101.176 s	Remaining CPU time: 78.8244 s
101.37/101.43	c ===============================================================================
101.37/101.43	c |       492 |   23662   235738   598777 |    78579       71     37 | 47.582 % |
101.37/101.47	c ===============================================================================
101.37/101.47	c New solution: 157
101.37/101.47	o 157
101.37/101.47	c Elapsed CPU time: 101.216 s	Remaining CPU time: 78.7844 s
101.37/101.47	c ===============================================================================
101.37/101.47	c |       493 |   23420   235739   599077 |    78579       72     37 | 47.582 % |
101.47/101.51	c ===============================================================================
101.47/101.51	c New solution: 156
101.47/101.51	o 156
101.47/101.51	c Elapsed CPU time: 101.255 s	Remaining CPU time: 78.7454 s
101.47/101.51	c ===============================================================================
101.47/101.51	c |       494 |   23178   235740   599377 |    78580       73     38 | 47.582 % |
101.47/101.55	c ===============================================================================
101.47/101.55	c New solution: 155
101.47/101.55	o 155
101.47/101.55	c Elapsed CPU time: 101.293 s	Remaining CPU time: 78.7074 s
101.47/101.55	c ===============================================================================
101.47/101.55	c |       494 |   22936   235741   599677 |    78580       73     38 | 47.582 % |
101.47/101.58	c ===============================================================================
101.47/101.58	c New solution: 154
101.47/101.58	o 154
101.47/101.58	c Elapsed CPU time: 101.328 s	Remaining CPU time: 78.6724 s
101.47/101.58	c ===============================================================================
101.47/101.58	c |       498 |   22694   235742   599977 |    78580       77     38 | 47.582 % |
101.57/101.62	c ===============================================================================
101.57/101.62	c New solution: 153
101.57/101.62	o 153
101.57/101.62	c Elapsed CPU time: 101.367 s	Remaining CPU time: 78.6334 s
101.57/101.62	c ===============================================================================
101.57/101.62	c |       500 |   22452   235743   600277 |    78581       79     38 | 47.582 % |
101.57/101.66	c ===============================================================================
101.57/101.66	c New solution: 152
101.57/101.66	o 152
101.57/101.66	c Elapsed CPU time: 101.405 s	Remaining CPU time: 78.5954 s
101.57/101.66	c ===============================================================================
101.57/101.66	c |       501 |   22210   235744   600577 |    78581       80     38 | 47.582 % |
101.67/101.70	c ===============================================================================
101.67/101.70	c New solution: 151
101.67/101.70	o 151
101.67/101.70	c Elapsed CPU time: 101.443 s	Remaining CPU time: 78.5574 s
101.67/101.70	c ===============================================================================
101.67/101.70	c |       501 |   21968   235745   600877 |    78581       80     38 | 47.582 % |
101.67/101.74	c ===============================================================================
101.67/101.74	c New solution: 150
101.67/101.74	o 150
101.67/101.74	c Elapsed CPU time: 101.481 s	Remaining CPU time: 78.5194 s
101.67/101.74	c ===============================================================================
101.67/101.74	c |       503 |   21726   235746   601177 |    78582       82     37 | 47.582 % |
101.67/101.78	c ===============================================================================
101.67/101.78	c New solution: 149
101.67/101.78	o 149
101.67/101.78	c Elapsed CPU time: 101.519 s	Remaining CPU time: 78.4814 s
101.67/101.78	c ===============================================================================
101.67/101.78	c |       503 |   21484   235747   601477 |    78582       82     37 | 47.582 % |
101.77/101.81	c ===============================================================================
101.77/101.81	c New solution: 148
101.77/101.81	o 148
101.77/101.81	c Elapsed CPU time: 101.554 s	Remaining CPU time: 78.4464 s
101.77/101.81	c ===============================================================================
101.77/101.81	c |       508 |   21242   235748   601777 |    78582       87     37 | 47.582 % |
101.77/101.85	c ===============================================================================
101.77/101.85	c New solution: 147
101.77/101.85	o 147
101.77/101.85	c Elapsed CPU time: 101.591 s	Remaining CPU time: 78.4094 s
101.77/101.85	c ===============================================================================
101.77/101.85	c |       510 |   21000   235749   602077 |    78583       89     37 | 47.582 % |
101.77/101.89	c ===============================================================================
101.77/101.89	c New solution: 146
101.77/101.89	o 146
101.77/101.89	c Elapsed CPU time: 101.63 s	Remaining CPU time: 78.3705 s
101.77/101.89	c ===============================================================================
101.77/101.89	c |       513 |   20758   235750   602377 |    78583       92     36 | 47.582 % |
101.86/101.92	c ===============================================================================
101.86/101.92	c New solution: 145
101.86/101.92	o 145
101.86/101.92	c Elapsed CPU time: 101.667 s	Remaining CPU time: 78.3335 s
101.86/101.93	c ===============================================================================
101.86/101.93	c |       513 |   20516   235751   602677 |    78583       19     33 | 47.582 % |
101.86/101.96	c ===============================================================================
101.86/101.96	c New solution: 144
101.86/101.96	o 144
101.86/101.96	c Elapsed CPU time: 101.703 s	Remaining CPU time: 78.2975 s
101.86/101.96	c ===============================================================================
101.86/101.96	c |       513 |   20274   235752   602977 |    78584       19     33 | 47.582 % |
101.86/101.99	c ===============================================================================
101.86/101.99	c New solution: 143
101.86/101.99	o 143
101.86/101.99	c Elapsed CPU time: 101.735 s	Remaining CPU time: 78.2655 s
101.86/101.99	c ===============================================================================
101.86/101.99	c |       516 |   20032   235753   603277 |    78584       22     31 | 47.582 % |
101.96/102.03	c ===============================================================================
101.96/102.03	c New solution: 142
101.96/102.03	o 142
101.96/102.03	c Elapsed CPU time: 101.77 s	Remaining CPU time: 78.2305 s
101.96/102.03	c ===============================================================================
101.96/102.03	c |       516 |   19790   235754   603577 |    78584       22     31 | 47.582 % |
101.96/102.07	c ===============================================================================
101.96/102.07	c New solution: 141
101.96/102.07	o 141
101.96/102.07	c Elapsed CPU time: 101.808 s	Remaining CPU time: 78.1925 s
101.96/102.07	c ===============================================================================
101.96/102.07	c |       517 |   19548   235755   603877 |    78585       23     31 | 47.582 % |
102.07/102.10	c ===============================================================================
102.07/102.10	c New solution: 140
102.07/102.10	o 140
102.07/102.10	c Elapsed CPU time: 101.842 s	Remaining CPU time: 78.1585 s
102.07/102.10	c ===============================================================================
102.07/102.10	c |       520 |   19306   235756   604177 |    78585       26     31 | 47.582 % |
102.07/102.14	c ===============================================================================
102.07/102.14	c New solution: 139
102.07/102.14	o 139
102.07/102.14	c Elapsed CPU time: 101.876 s	Remaining CPU time: 78.1245 s
102.07/102.14	c ===============================================================================
102.07/102.14	c |       525 |   19064   235757   604477 |    78585       31     32 | 47.582 % |
102.07/102.17	c ===============================================================================
102.07/102.17	c New solution: 138
102.07/102.17	o 138
102.07/102.17	c Elapsed CPU time: 101.913 s	Remaining CPU time: 78.0875 s
102.07/102.17	c ===============================================================================
102.07/102.17	c |       526 |   18822   235758   604777 |    78586       32     32 | 47.582 % |
102.18/102.21	c ===============================================================================
102.18/102.21	c New solution: 137
102.18/102.21	o 137
102.18/102.21	c Elapsed CPU time: 101.948 s	Remaining CPU time: 78.0525 s
102.18/102.21	c ===============================================================================
102.18/102.21	c |       528 |   18580   235759   605077 |    78586       34     33 | 47.582 % |
102.18/102.25	c ===============================================================================
102.18/102.25	c New solution: 136
102.18/102.25	o 136
102.18/102.25	c Elapsed CPU time: 101.985 s	Remaining CPU time: 78.0145 s
102.18/102.25	c ===============================================================================
102.18/102.25	c |       531 |   18338   235760   605377 |    78586       37     33 | 47.582 % |
102.18/102.28	c ===============================================================================
102.18/102.28	c New solution: 135
102.18/102.28	o 135
102.18/102.28	c Elapsed CPU time: 102.016 s	Remaining CPU time: 77.9835 s
102.18/102.28	c ===============================================================================
102.18/102.28	c |       531 |   18096   235761   605677 |    78587       37     33 | 47.582 % |
102.28/102.31	c ===============================================================================
102.28/102.31	c New solution: 134
102.28/102.31	o 134
102.28/102.31	c Elapsed CPU time: 102.049 s	Remaining CPU time: 77.9505 s
102.28/102.31	c ===============================================================================
102.28/102.31	c |       532 |   17854   235762   605977 |    78587       38     32 | 47.582 % |
102.28/102.34	c ===============================================================================
102.28/102.34	c New solution: 133
102.28/102.34	o 133
102.28/102.34	c Elapsed CPU time: 102.078 s	Remaining CPU time: 77.9215 s
102.28/102.34	c ===============================================================================
102.28/102.34	c |       532 |   17612   235763   606277 |    78587       38     32 | 47.582 % |
102.28/102.37	c ===============================================================================
102.28/102.37	c New solution: 132
102.28/102.37	o 132
102.28/102.37	c Elapsed CPU time: 102.108 s	Remaining CPU time: 77.8915 s
102.28/102.37	c ===============================================================================
102.28/102.37	c |       532 |   17370   235764   606577 |    78588       38     32 | 47.582 % |
102.37/102.40	c ===============================================================================
102.37/102.40	c New solution: 131
102.37/102.40	o 131
102.37/102.40	c Elapsed CPU time: 102.138 s	Remaining CPU time: 77.8615 s
102.37/102.40	c ===============================================================================
102.37/102.40	c |       532 |   17128   235765   606877 |    78588       38     32 | 47.582 % |
102.37/102.44	c ===============================================================================
102.37/102.44	c New solution: 130
102.37/102.44	o 130
102.37/102.44	c Elapsed CPU time: 102.17 s	Remaining CPU time: 77.8295 s
102.37/102.44	c ===============================================================================
102.37/102.44	c |       536 |   16886   235766   607177 |    78588       42     35 | 47.582 % |
102.37/102.47	c ===============================================================================
102.37/102.47	c New solution: 129
102.37/102.47	o 129
102.37/102.47	c Elapsed CPU time: 102.199 s	Remaining CPU time: 77.8005 s
102.37/102.47	c ===============================================================================
102.37/102.47	c |       536 |   16644   235767   607477 |    78589       42     35 | 47.582 % |
102.46/102.50	c ===============================================================================
102.46/102.50	c New solution: 128
102.46/102.50	o 128
102.46/102.50	c Elapsed CPU time: 102.228 s	Remaining CPU time: 77.7715 s
102.46/102.50	c ===============================================================================
102.46/102.50	c |       538 |   16402   235768   607777 |    78589       44     35 | 47.582 % |
102.46/102.53	c ===============================================================================
102.46/102.53	c New solution: 127
102.46/102.53	o 127
102.46/102.53	c Elapsed CPU time: 102.256 s	Remaining CPU time: 77.7435 s
102.46/102.53	c ===============================================================================
102.46/102.53	c |       538 |   16160   235769   608077 |    78589       44     35 | 47.582 % |
102.46/102.56	c ===============================================================================
102.46/102.56	c New solution: 126
102.46/102.56	o 126
102.46/102.56	c Elapsed CPU time: 102.285 s	Remaining CPU time: 77.7146 s
102.46/102.56	c ===============================================================================
102.46/102.56	c |       538 |   15918   235770   608377 |    78590       44     35 | 47.582 % |
102.46/102.59	c ===============================================================================
102.46/102.59	c New solution: 125
102.46/102.59	o 125
102.46/102.59	c Elapsed CPU time: 102.315 s	Remaining CPU time: 77.6846 s
102.46/102.59	c ===============================================================================
102.46/102.59	c |       539 |   15676   235771   608677 |    78590       45     34 | 47.582 % |
102.57/102.62	c ===============================================================================
102.57/102.62	c New solution: 124
102.57/102.62	o 124
102.57/102.62	c Elapsed CPU time: 102.348 s	Remaining CPU time: 77.6516 s
102.57/102.62	c ===============================================================================
102.57/102.62	c |       542 |   15434   235772   608977 |    78590       48     33 | 47.582 % |
102.57/102.65	c ===============================================================================
102.57/102.65	c New solution: 123
102.57/102.65	o 123
102.57/102.65	c Elapsed CPU time: 102.377 s	Remaining CPU time: 77.6226 s
102.57/102.65	c ===============================================================================
102.57/102.65	c |       542 |   15192   235773   609277 |    78591       48     33 | 47.582 % |
102.57/102.68	c ===============================================================================
102.57/102.68	c New solution: 122
102.57/102.68	o 122
102.57/102.68	c Elapsed CPU time: 102.406 s	Remaining CPU time: 77.5936 s
102.57/102.68	c ===============================================================================
102.57/102.68	c |       542 |   14950   235774   609577 |    78591       48     33 | 47.582 % |
102.67/102.71	c ===============================================================================
102.67/102.71	c New solution: 121
102.67/102.71	o 121
102.67/102.71	c Elapsed CPU time: 102.434 s	Remaining CPU time: 77.5656 s
102.67/102.71	c ===============================================================================
102.67/102.71	c |       542 |   14708   235775   609877 |    78591       48     33 | 47.582 % |
102.67/102.74	c ===============================================================================
102.67/102.74	c New solution: 120
102.67/102.74	o 120
102.67/102.74	c Elapsed CPU time: 102.462 s	Remaining CPU time: 77.5376 s
102.67/102.74	c ===============================================================================
102.67/102.74	c |       542 |   14466   235776   610177 |    78592       48     33 | 47.582 % |
102.67/102.77	c ===============================================================================
102.67/102.77	c New solution: 119
102.67/102.77	o 119
102.67/102.77	c Elapsed CPU time: 102.492 s	Remaining CPU time: 77.5076 s
102.67/102.77	c ===============================================================================
102.67/102.77	c |       544 |   14224   235777   610477 |    78592       50     33 | 47.582 % |
102.77/102.80	c ===============================================================================
102.77/102.80	c New solution: 118
102.77/102.80	o 118
102.77/102.80	c Elapsed CPU time: 102.524 s	Remaining CPU time: 77.4756 s
102.77/102.80	c ===============================================================================
102.77/102.80	c |       544 |   13982   235778   610777 |    78592       50     33 | 47.582 % |
102.77/102.83	c ===============================================================================
102.77/102.83	c New solution: 117
102.77/102.83	o 117
102.77/102.83	c Elapsed CPU time: 102.555 s	Remaining CPU time: 77.4446 s
102.77/102.83	c ===============================================================================
102.77/102.83	c |       546 |   13740   235779   611077 |    78593       52     33 | 47.582 % |
102.77/102.86	c ===============================================================================
102.77/102.86	c New solution: 116
102.77/102.86	o 116
102.77/102.86	c Elapsed CPU time: 102.587 s	Remaining CPU time: 77.4126 s
102.77/102.86	c ===============================================================================
102.77/102.86	c |       547 |   13498   235780   611377 |    78593       53     32 | 47.582 % |
102.77/102.90	c ===============================================================================
102.77/102.90	c New solution: 115
102.77/102.90	o 115
102.77/102.90	c Elapsed CPU time: 102.619 s	Remaining CPU time: 77.3806 s
102.77/102.90	c ===============================================================================
102.77/102.90	c |       548 |   13256   235781   611677 |    78593       54     33 | 47.582 % |
102.87/102.92	c ===============================================================================
102.87/102.92	c New solution: 114
102.87/102.92	o 114
102.87/102.92	c Elapsed CPU time: 102.648 s	Remaining CPU time: 77.3516 s
102.87/102.92	c ===============================================================================
102.87/102.92	c |       550 |   13014   235782   611977 |    78594       56     32 | 47.582 % |
102.87/102.95	c ===============================================================================
102.87/102.95	c New solution: 113
102.87/102.95	o 113
102.87/102.95	c Elapsed CPU time: 102.679 s	Remaining CPU time: 77.3206 s
102.87/102.95	c ===============================================================================
102.87/102.95	c |       552 |   12772   235783   612277 |    78594       58     32 | 47.582 % |
102.87/102.98	c ===============================================================================
102.87/102.98	c New solution: 112
102.87/102.98	o 112
102.87/102.98	c Elapsed CPU time: 102.707 s	Remaining CPU time: 77.2926 s
102.87/102.98	c ===============================================================================
102.87/102.98	c |       555 |   12530   235784   612577 |    78594       61     31 | 47.582 % |
102.96/103.01	c ===============================================================================
102.96/103.01	c New solution: 111
102.96/103.01	o 111
102.96/103.01	c Elapsed CPU time: 102.734 s	Remaining CPU time: 77.2656 s
102.96/103.01	c ===============================================================================
102.96/103.01	c |       555 |   12288   235785   612877 |    78595       61     31 | 47.582 % |
102.96/103.04	c ===============================================================================
102.96/103.04	c New solution: 110
102.96/103.04	o 110
102.96/103.04	c Elapsed CPU time: 102.761 s	Remaining CPU time: 77.2386 s
102.96/103.04	c ===============================================================================
102.96/103.04	c |       555 |   12046   235786   613177 |    78595       61     31 | 47.582 % |
102.96/103.07	c ===============================================================================
102.96/103.07	c New solution: 109
102.96/103.07	o 109
102.96/103.07	c Elapsed CPU time: 102.789 s	Remaining CPU time: 77.2106 s
102.96/103.07	c ===============================================================================
102.96/103.07	c |       556 |   11804   235787   613477 |    78595       12     28 | 47.582 % |
103.06/103.10	c ===============================================================================
103.06/103.10	c New solution: 108
103.06/103.10	o 108
103.06/103.10	c Elapsed CPU time: 102.819 s	Remaining CPU time: 77.1806 s
103.06/103.10	c ===============================================================================
103.06/103.10	c |       557 |   11562   235788   613777 |    78596       13     27 | 47.582 % |
103.06/103.14	c ===============================================================================
103.06/103.14	c New solution: 107
103.06/103.14	o 107
103.06/103.14	c Elapsed CPU time: 102.862 s	Remaining CPU time: 77.1376 s
103.06/103.14	c ===============================================================================
103.06/103.14	c |       579 |   11320   235789   614077 |    78596       35     57 | 47.582 % |
103.06/103.17	c ===============================================================================
103.06/103.17	c New solution: 106
103.06/103.17	o 106
103.06/103.17	c Elapsed CPU time: 102.888 s	Remaining CPU time: 77.1116 s
103.06/103.17	c ===============================================================================
103.06/103.17	c |       579 |   11078   235790   614377 |    78596       35     57 | 47.582 % |
103.06/103.19	c ===============================================================================
103.06/103.19	c New solution: 105
103.06/103.19	o 105
103.06/103.19	c Elapsed CPU time: 102.912 s	Remaining CPU time: 77.0876 s
103.06/103.19	c ===============================================================================
103.06/103.19	c |       579 |   10836   235791   614677 |    78597       35     57 | 47.582 % |
103.17/103.22	c ===============================================================================
103.17/103.22	c New solution: 104
103.17/103.22	o 104
103.17/103.22	c Elapsed CPU time: 102.942 s	Remaining CPU time: 77.0576 s
103.17/103.22	c ===============================================================================
103.17/103.22	c |       581 |   10594   235792   614977 |    78597       37     55 | 47.582 % |
103.17/103.25	c ===============================================================================
103.17/103.25	c New solution: 103
103.17/103.25	o 103
103.17/103.25	c Elapsed CPU time: 102.969 s	Remaining CPU time: 77.0307 s
103.17/103.25	c ===============================================================================
103.17/103.25	c |       586 |   10352   235793   615277 |    78597       42     52 | 47.582 % |
103.17/103.28	c ===============================================================================
103.17/103.28	c New solution: 102
103.17/103.28	o 102
103.17/103.28	c Elapsed CPU time: 102.998 s	Remaining CPU time: 77.0017 s
103.17/103.28	c ===============================================================================
103.17/103.28	c |       595 |   10110   235794   615577 |    78598       51     49 | 47.582 % |
103.28/103.32	c ===============================================================================
103.28/103.32	c New solution: 101
103.28/103.32	o 101
103.28/103.32	c Elapsed CPU time: 103.039 s	Remaining CPU time: 76.9607 s
103.28/103.32	c ===============================================================================
103.28/103.32	c |       629 |    9868   235795   615877 |    78598       85     49 | 47.582 % |
103.28/103.35	c ===============================================================================
103.28/103.35	c New solution: 100
103.28/103.35	o 100
103.28/103.35	c Elapsed CPU time: 103.069 s	Remaining CPU time: 76.9307 s
103.28/103.35	c ===============================================================================
103.28/103.35	c |       633 |    9626   235796   616177 |    78598       89     49 | 47.582 % |
103.28/103.38	c ===============================================================================
103.28/103.38	c New solution: 99
103.28/103.38	o 99
103.28/103.38	c Elapsed CPU time: 103.101 s	Remaining CPU time: 76.8987 s
103.28/103.38	c ===============================================================================
103.28/103.38	c |       637 |    9384   235797   616477 |    78599       93     48 | 47.582 % |
103.38/103.41	c ===============================================================================
103.38/103.41	c New solution: 98
103.38/103.41	o 98
103.38/103.41	c Elapsed CPU time: 103.127 s	Remaining CPU time: 76.8727 s
103.38/103.41	c ===============================================================================
103.38/103.41	c |       638 |    9142   235798   616777 |    78599       94     48 | 47.582 % |
103.38/103.44	c ===============================================================================
103.38/103.44	c New solution: 97
103.38/103.44	o 97
103.38/103.44	c Elapsed CPU time: 103.152 s	Remaining CPU time: 76.8477 s
103.38/103.44	c ===============================================================================
103.38/103.44	c |       639 |    8900   235799   617077 |    78599       95     48 | 47.582 % |
103.38/103.47	c ===============================================================================
103.38/103.47	c New solution: 96
103.38/103.47	o 96
103.38/103.47	c Elapsed CPU time: 103.179 s	Remaining CPU time: 76.8207 s
103.38/103.47	c ===============================================================================
103.38/103.47	c |       640 |    8658   235800   617377 |    78600       96     47 | 47.582 % |
103.38/103.49	c ===============================================================================
103.38/103.49	c New solution: 95
103.38/103.49	o 95
103.38/103.49	c Elapsed CPU time: 103.206 s	Remaining CPU time: 76.7937 s
103.38/103.49	c ===============================================================================
103.38/103.49	c |       645 |    8416   235801   617677 |    78600      101     46 | 47.582 % |
103.47/103.52	c ===============================================================================
103.47/103.52	c New solution: 94
103.47/103.52	o 94
103.47/103.52	c Elapsed CPU time: 103.233 s	Remaining CPU time: 76.7667 s
103.47/103.52	c ===============================================================================
103.47/103.52	c |       649 |    8174   235802   617977 |    78600      105     46 | 47.582 % |
103.47/103.55	c ===============================================================================
103.47/103.55	c New solution: 93
103.47/103.55	o 93
103.47/103.55	c Elapsed CPU time: 103.261 s	Remaining CPU time: 76.7387 s
103.47/103.55	c ===============================================================================
103.47/103.55	c |       660 |    7932   235803   618277 |    78601      116     44 | 47.582 % |
103.56/103.66	c |       760 |    7927   235803   618277 |    86461      216     65 | 89.443 % |
103.56/103.69	c ===============================================================================
103.56/103.69	c New solution: 92
103.56/103.69	o 92
103.56/103.69	c Elapsed CPU time: 103.403 s	Remaining CPU time: 76.5967 s
103.56/103.69	c ===============================================================================
103.56/103.69	c |       770 |    7690   235804   618577 |    78601      226     64 | 89.443 % |
103.66/103.77	c |       870 |    7682   235804   618577 |    86461      326     70 | 89.775 % |
103.66/103.80	c ===============================================================================
103.66/103.80	c New solution: 91
103.66/103.80	o 91
103.66/103.80	c Elapsed CPU time: 103.508 s	Remaining CPU time: 76.4917 s
103.66/103.80	c ===============================================================================
103.66/103.80	c |       873 |    7448   235805   618877 |    78601      329     70 | 89.775 % |
103.76/103.84	c ===============================================================================
103.76/103.84	c New solution: 90
103.76/103.84	o 90
103.76/103.84	c Elapsed CPU time: 103.551 s	Remaining CPU time: 76.4487 s
103.76/103.84	c ===============================================================================
103.76/103.84	c |       889 |    7206   235806   619177 |    78602      345     71 | 89.775 % |
103.76/103.87	c ===============================================================================
103.76/103.87	c New solution: 89
103.76/103.87	o 89
103.76/103.87	c Elapsed CPU time: 103.584 s	Remaining CPU time: 76.4157 s
103.76/103.87	c ===============================================================================
103.76/103.87	c |       903 |    6964   235807   619477 |    78602      359     69 | 89.775 % |
103.86/103.91	c ===============================================================================
103.86/103.91	c New solution: 88
103.86/103.91	o 88
103.86/103.91	c Elapsed CPU time: 103.62 s	Remaining CPU time: 76.3798 s
103.86/103.91	c ===============================================================================
103.86/103.91	c |       920 |    6722   235808   619777 |    78602      376     69 | 89.775 % |
103.86/103.96	c |      1020 |    6716   235808   619777 |    86462      476     69 | 91.104 % |
103.96/104.10	c |      1172 |    6708   235808   619777 |    95109      628     70 | 91.104 % |
104.06/104.18	c |      1397 |    6693   235808   619777 |   104620      853     63 | 91.104 % |
104.47/104.56	c |      1734 |    6689   235808   619777 |   115082     1190     64 | 91.104 % |
104.77/104.84	c ===============================================================================
104.77/104.84	c New solution: 87
104.77/104.84	o 87
104.77/104.84	c Elapsed CPU time: 104.55 s	Remaining CPU time: 75.4499 s
104.77/104.84	c ===============================================================================
104.77/104.84	c |      2018 |    6480   235809   620077 |    78603     1171     66 | 91.104 % |
104.87/104.94	c |      2118 |    6464   235809   620077 |    86463     1271     66 | 91.436 % |
104.97/105.02	c |      2269 |    6450   235809   620077 |    95109     1422     65 | 91.436 % |
105.27/105.36	c |      2495 |    6443   235809   620077 |   104620     1648     68 | 91.436 % |
105.47/105.50	c |      2832 |    6425   235809   620077 |   115082     1985     66 | 91.436 % |
105.97/106.07	c |      3338 |    6423   235809   620077 |   126590     2491     66 | 91.436 % |
106.26/106.38	c |      4097 |    6416   235809   620077 |   139250     3250     61 | 91.436 % |
107.67/107.78	c |      5238 |    6238   235809   620077 |   153175     3994     60 | 91.436 % |
108.37/108.40	c |      6947 |    6238   235809   620077 |   168492     5703     58 | 91.436 % |
111.96/112.04	c |      9509 |    6238   235809   620077 |   185341     8265     65 | 91.436 % |
112.17/112.27	c ===============================================================================
112.17/112.27	c New solution: 86
112.17/112.27	o 86
112.17/112.27	c Elapsed CPU time: 111.956 s	Remaining CPU time: 68.044 s
112.17/112.27	c ===============================================================================
112.17/112.27	c |      9766 |    6238   235810   620377 |    78603     8522     65 | 91.436 % |
112.26/112.38	c |      9867 |    5996   235810   620377 |    86463     4580     48 | 91.768 % |
112.46/112.59	c |     10019 |    5996   235810   620377 |    95110     4732     49 | 91.768 % |
112.56/112.68	c |     10245 |    5996   235810   620377 |   104621     4958     49 | 91.768 % |
113.06/113.13	c |     10583 |    5996   235810   620377 |   115083     5296     50 | 91.768 % |
113.27/113.37	c |     11089 |    5996   235810   620377 |   126591     5802     50 | 91.768 % |
114.46/114.56	c |     11848 |    5996   235810   620377 |   139250     6561     55 | 91.768 % |
115.16/115.22	c |     12987 |    5996   235810   620377 |   153175     7700     57 | 91.768 % |
117.57/117.61	c |     14695 |    5996   235810   620377 |   168493     9408     61 | 91.768 % |
118.77/118.83	c |     17257 |    5996   235810   620377 |   185342    11970     60 | 91.768 % |
124.27/124.32	c |     21103 |    5996   235810   620377 |   203876    15816     66 | 91.768 % |
128.46/128.58	c |     26869 |    5996   235810   620377 |   224264    21582     68 | 91.768 % |
147.06/147.14	c |     35518 |    5996   235810   620377 |   246690    30231     84 | 91.768 % |
157.66/157.71	c |     48492 |    5996   235810   620377 |   271360    43205     84 | 91.768 % |
180.35/180.47	c There are 66846 assigned variables. 295 in cost function.
180.75/180.82	c core #1
180.75/180.82	c 
180.75/180.82	c 
180.75/180.82	c Core size: 9	Core Weight: 81	Total Weight: 81
180.75/180.82	c
180.75/180.82	c
180.75/180.82	c ============================[ Search Statistics ]==============================
180.75/180.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.75/180.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.75/180.82	c ===============================================================================
180.75/180.82	c |         0 |    5028    81773    45260 |    27257        0    nan |  0.000 % |
180.75/180.85	c |       100 |    5028    81773    45260 |    29983      100     39 | 93.098 % |
180.75/180.90	c |       250 |    5028    81773    45260 |    32981      250     45 | 93.098 % |
180.85/180.98	c |       475 |    5028    81773    45260 |    36279      475     52 | 93.098 % |
181.05/181.10	c |       812 |    5028    81773    45260 |    39907      812     65 | 93.098 % |
181.14/181.29	c |      1318 |    5028    81773    45260 |    43898     1318     64 | 93.098 % |
181.45/181.57	c |      2078 |    5028    81773    45260 |    48288     2078     69 | 93.098 % |
181.85/181.97	c |      3217 |    5028    81773    45260 |    53117     3217     65 | 93.098 % |
182.55/182.69	c |      4925 |    5028    81773    45260 |    58429     4925     73 | 93.098 % |
183.65/183.77	c |      7487 |    5028    81773    45260 |    64272     7487     71 | 93.098 % |
185.85/185.95	c |     11331 |    5028    81773    45260 |    70699    11331     89 | 93.098 % |
188.85/188.93	c |     17097 |    5028    81773    45260 |    77769    17097     83 | 93.098 % |
194.55/194.65	c |     25746 |    5028    81773    45260 |    85546    25746     90 | 93.098 % |
203.84/203.95	c |     38720 |    5028    81773    45260 |    94100    38720     94 | 93.098 % |
222.53/222.69	c |     58181 |    5028    81773    45260 |   103510    58181    100 | 93.098 % |
263.52/263.65	c |     87373 |    5028    81773    45260 |   113862    87373     94 | 93.098 % |
366.21/366.31	c |    131163 |    5028    81773    45260 |   125248   131163    101 | 93.098 % |
526.37/526.59	c |    196847 |    5028    81773    45260 |   137773    18906     86 | 93.098 % |
658.74/658.92	c |    295373 |    5028    81773    45260 |   151550   117432     94 | 93.098 % |
991.25/991.59	c |    443164 |    5028    81773    45260 |   166705    60523    133 | 93.098 % |
1502.43/1502.82	c |    664847 |    5028    81773    45260 |   183375    64153     83 | 93.098 % |

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-2687085-1278447360/watcher-2687085-1278447360 -o /tmp/evaluation-result-2687085-1278447360/solver-2687085-1278447360 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687085-1278447360.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.67 1.99 1.75 3/106 22620
/proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=10844 CPUtime=0
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 367 0 0 0 0 0 0 0 18 0 1 0 12942487 11104256 285 1992294400 134512640 135752675 4288238704 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 2711 285 139 303 0 444 0

[startup+0.0834331 s]
/proc/loadavg: 1.67 1.99 1.75 3/106 22620
/proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=14756 CPUtime=0.08
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 1365 0 0 0 8 0 0 0 20 0 1 0 12942487 15110144 1283 1992294400 134512640 135752675 4288238704 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 3689 1283 246 303 0 1422 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14756

[startup+0.101433 s]
/proc/loadavg: 1.67 1.99 1.75 3/106 22620
/proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=15476 CPUtime=0.09
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 1537 0 0 0 9 0 0 0 20 0 1 0 12942487 15847424 1455 1992294400 134512640 135752675 4288238704 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 3869 1455 273 303 0 1602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15476

[startup+0.30045 s]
/proc/loadavg: 1.67 1.99 1.75 3/106 22620
/proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=19748 CPUtime=0.29
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 2863 0 0 0 28 1 0 0 20 0 1 0 12942487 20221952 2748 1992294400 134512640 135752675 4288238704 18446744073709551615 134574323 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 4937 2748 566 303 0 2670 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19748

[startup+0.700486 s]
/proc/loadavg: 1.67 1.99 1.75 3/106 22620
/proc/meminfo: memFree=1822264/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=26196 CPUtime=0.69
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 4854 0 0 0 68 1 0 0 20 0 1 0 12942487 26824704 4699 1992294400 134512640 135752675 4288238704 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 6549 4699 1184 303 0 4282 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26196

[startup+1.50055 s]
/proc/loadavg: 1.67 1.99 1.75 2/107 22621
/proc/meminfo: memFree=1802664/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=36812 CPUtime=1.49
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 8187 0 0 0 147 2 0 0 23 0 1 0 12942487 37695488 7918 1992294400 134512640 135752675 4288238704 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 9203 7918 1981 303 0 6936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36812

[startup+3.1007 s]
/proc/loadavg: 1.62 1.97 1.74 2/107 22621
/proc/meminfo: memFree=1772532/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=56444 CPUtime=3.09
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 15280 0 0 0 304 5 0 0 25 0 1 0 12942487 57798656 12824 1992294400 134512640 135752675 4288238704 18446744073709551615 135211771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 14111 12824 142 303 0 13806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56444

[startup+6.30098 s]
/proc/loadavg: 1.62 1.97 1.74 2/107 22621
/proc/meminfo: memFree=1765340/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=63308 CPUtime=6.29
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 16992 0 0 0 623 6 0 0 25 0 1 0 12942487 64827392 14536 1992294400 134512640 135752675 4288238704 18446744073709551615 135204850 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 15827 14536 142 303 0 15522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63308

[startup+12.7015 s]
/proc/loadavg: 1.52 1.94 1.73 2/107 22621
/proc/meminfo: memFree=1755172/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=72944 CPUtime=12.69
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 19402 0 0 0 1262 7 0 0 25 0 1 0 12942487 74694656 16946 1992294400 134512640 135752675 4288238704 18446744073709551615 135211654 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 18236 16946 142 303 0 17931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72944

[startup+25.5017 s]
/proc/loadavg: 1.44 1.91 1.73 2/107 22621
/proc/meminfo: memFree=1742276/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=85088 CPUtime=25.49
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 22434 0 0 0 2541 8 0 0 25 0 1 0 12942487 87130112 19978 1992294400 134512640 135752675 4288238704 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 21272 19978 142 303 0 20967 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85088

[startup+51.1019 s]
/proc/loadavg: 1.29 1.84 1.71 2/107 22622
/proc/meminfo: memFree=1726776/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=101588 CPUtime=51.08
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 26552 0 0 0 5098 10 0 0 25 0 1 0 12942487 104026112 24096 1992294400 134512640 135752675 4288238704 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 25397 24096 142 303 0 25092 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101588

[startup+102.308 s]
/proc/loadavg: 1.11 1.69 1.66 2/107 22623
/proc/meminfo: memFree=1712516/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=113688 CPUtime=102.28
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31015 0 0 0 10204 24 0 0 25 0 1 0 12942487 116416512 27244 1992294400 134512640 135752675 4288238704 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 28422 27244 145 303 0 28117 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 113688

[startup+162.302 s]
/proc/loadavg: 1.04 1.56 1.62 2/107 22625
/proc/meminfo: memFree=1712516/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=113688 CPUtime=162.25
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31015 0 0 0 16185 40 0 0 25 0 1 0 12942487 116416512 27244 1992294400 134512640 135752675 4288238704 18446744073709551615 134517376 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 28422 27244 145 303 0 28117 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 113688

[startup+222.302 s]
/proc/loadavg: 1.01 1.46 1.58 2/107 22627
/proc/meminfo: memFree=1722188/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=102836 CPUtime=222.24
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31870 0 0 0 22165 59 0 0 25 0 1 0 12942487 105304064 24838 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 25709 24838 146 303 0 25404 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 102836

[startup+282.301 s]
/proc/loadavg: 1.00 1.37 1.54 2/107 22631
/proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=102836 CPUtime=282.22
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31870 0 0 0 28146 76 0 0 25 0 1 0 12942487 105304064 24838 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 25709 24838 146 303 0 25404 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 102836

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.50 2/107 22632
/proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=102836 CPUtime=342.2
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31881 0 0 0 34133 87 0 0 25 0 1 0 12942487 105304064 24849 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 25709 24849 146 303 0 25404 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 102836

[startup+402.302 s]
/proc/loadavg: 1.00 1.24 1.47 2/107 22634
/proc/meminfo: memFree=1721444/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=102836 CPUtime=402.19
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 31881 0 0 0 40120 99 0 0 25 0 1 0 12942487 105304064 24849 1992294400 134512640 135752675 4288238704 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 25709 24849 146 303 0 25404 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 102836

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.44 2/107 22636
/proc/meminfo: memFree=1717724/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=107324 CPUtime=462.18
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 32979 0 0 0 46105 113 0 0 25 0 1 0 12942487 109899776 25947 1992294400 134512640 135752675 4288238704 18446744073709551615 134517387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 26831 25947 146 303 0 26526 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 107324

[startup+522.3 s]
/proc/loadavg: 1.00 1.16 1.41 2/107 22638
/proc/meminfo: memFree=1707928/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=117100 CPUtime=522.16
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 35422 0 0 0 52091 125 0 0 25 0 1 0 12942487 119910400 28390 1992294400 134512640 135752675 4288238704 18446744073709551615 134611554 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 29275 28390 146 303 0 28970 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 117100

[startup+582.3 s]
/proc/loadavg: 1.00 1.13 1.38 2/107 22639
/proc/meminfo: memFree=1681268/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=143636 CPUtime=582.14
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 42063 0 0 0 58063 151 0 0 25 0 1 0 12942487 147083264 35031 1992294400 134512640 135752675 4288238704 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 35909 35031 146 303 0 35604 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 143636

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.35 2/107 22640
/proc/meminfo: memFree=1664900/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=159764 CPUtime=642.14
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 46105 0 0 0 64042 172 0 0 25 0 1 0 12942487 163598336 39073 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 39941 39073 146 303 0 39636 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 159764

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.26 2/107 22647
/proc/meminfo: memFree=1610340/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=214628 CPUtime=882.07
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 59702 0 0 0 87970 237 0 0 25 0 1 0 12942487 219779072 52670 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 53657 52670 146 303 0 53352 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 214628

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.24 2/107 22648
/proc/meminfo: memFree=1594096/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=231004 CPUtime=942.06
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 63819 0 0 0 93952 254 0 0 25 0 1 0 12942487 236548096 56787 1992294400 134512640 135752675 4288238704 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 57751 56787 146 303 0 57446 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 231004

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 22650
/proc/meminfo: memFree=1571776/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=253068 CPUtime=1002.05
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 69323 0 0 0 99927 278 0 0 25 0 1 0 12942487 259141632 62291 1992294400 134512640 135752675 4288238704 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 63267 62291 146 303 0 62962 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 253068

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 22652
/proc/meminfo: memFree=1557020/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=267872 CPUtime=1062.03
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 73037 0 0 0 105905 298 0 0 25 0 1 0 12942487 274300928 66005 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 66968 66005 146 303 0 66663 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 267872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 22654
/proc/meminfo: memFree=1545984/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=278860 CPUtime=1122.02
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 75765 0 0 0 111888 314 0 0 25 0 1 0 12942487 285552640 68733 1992294400 134512640 135752675 4288238704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 69715 68733 146 303 0 69410 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 278860

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 22655
/proc/meminfo: memFree=1537428/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=287348 CPUtime=1182.01
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 77900 0 0 0 117874 327 0 0 25 0 1 0 12942487 294244352 70868 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 71837 70868 146 303 0 71532 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 287348

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 22656
/proc/meminfo: memFree=1529244/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=295532 CPUtime=1241.99
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 79931 0 0 0 123859 340 0 0 25 0 1 0 12942487 302624768 72899 1992294400 134512640 135752675 4288238704 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 73883 72899 146 303 0 73578 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 295532

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 22658
/proc/meminfo: memFree=1520440/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=304176 CPUtime=1301.98
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 82091 0 0 0 129845 353 0 0 25 0 1 0 12942487 311476224 75059 1992294400 134512640 135752675 4288238704 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 76044 75059 146 303 0 75739 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 304176

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 22660
/proc/meminfo: memFree=1513000/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=311732 CPUtime=1361.96
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 83974 0 0 0 135830 366 0 0 25 0 1 0 12942487 319213568 76942 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 77933 76942 146 303 0 77628 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 311732

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 22662
/proc/meminfo: memFree=1506180/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=318476 CPUtime=1421.96
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 85658 0 0 0 141818 378 0 0 25 0 1 0 12942487 326119424 78626 1992294400 134512640 135752675 4288238704 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 79619 78626 146 303 0 79314 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 318476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 22663
/proc/meminfo: memFree=1490680/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=334072 CPUtime=1481.93
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 89545 0 0 0 147795 398 0 0 25 0 1 0 12942487 342089728 82513 1992294400 134512640 135752675 4288238704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 83518 82513 146 303 0 83213 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 334072

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22664
/proc/meminfo: memFree=1472700/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=351760 CPUtime=1541.92
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 93995 0 0 0 153773 419 0 0 25 0 1 0 12942487 360202240 86963 1992294400 134512640 135752675 4288238704 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 87940 86963 146 303 0 87635 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 351760

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22666
/proc/meminfo: memFree=1458564/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=366152 CPUtime=1601.9
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 97570 0 0 0 159754 436 0 0 25 0 1 0 12942487 374939648 90538 1992294400 134512640 135752675 4288238704 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 91538 90538 146 303 0 91233 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 366152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22668
/proc/meminfo: memFree=1445792/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=378612 CPUtime=1661.88
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 100690 0 0 0 165737 451 0 0 25 0 1 0 12942487 387698688 93658 1992294400 134512640 135752675 4288238704 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 94653 93658 146 303 0 94348 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 378612

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.09 2/107 22670
/proc/meminfo: memFree=1433144/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=391336 CPUtime=1721.87
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 103863 0 0 0 171721 466 0 0 25 0 1 0 12942487 400728064 96831 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 97834 96831 146 303 0 97529 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 391336

[startup+1782.3 s]
/proc/loadavg: 1.09 1.03 1.09 2/107 22671
/proc/meminfo: memFree=1420868/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=403392 CPUtime=1781.86
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 106855 0 0 0 177708 478 0 0 25 0 1 0 12942487 413073408 99823 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 100848 99823 146 303 0 100543 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 403392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.02 1.08 2/107 22672
/proc/meminfo: memFree=1417520/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=406560 CPUtime=1800.06
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 107667 0 0 0 179525 481 0 0 25 0 1 0 12942487 416317440 100635 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 101640 100635 146 303 0 101335 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 406560

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.07 1.02 1.08 2/107 22672
/proc/meminfo: memFree=1417520/2059040 swapFree=4164944/4192956
[pid=22620] ppid=22618 vsize=406560 CPUtime=1800.06
/proc/22620/stat : 22620 (wbo1.4b) R 22618 22620 22595 0 -1 4202496 107667 0 0 0 179525 481 0 0 25 0 1 0 12942487 416317440 100635 1992294400 134512640 135752675 4288238704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22620/statm: 101640 100635 146 303 0 101335 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 406560

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.11
CPU user time (s): 1795.25
CPU system time (s): 4.85926
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 406560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 4.85926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107667
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= 64
involuntary context switches= 3770

runsolver used 3.04754 second user time and 8.45671 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-06 22:16:00
IDJOB=2687085
IDBENCH=77372
IDSOLVER=1190
FILE ID=node055/2687085-1278447360
PBS_JOBID= 11233522
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f
RANDOM SEED=533116950

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822792 kB
Buffers:         15828 kB
Cached:         118628 kB
SwapCached:       1444 kB
Active:          83620 kB
Inactive:        84088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822792 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:           10604 kB
Writeback:           0 kB
AnonPages:       31752 kB
Mapped:          13544 kB
Slab:            46704 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180108 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node055 at 2010-07-06 22:46:03