Trace number 2686955

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.14 1800.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
MD5SUM5495138de3d55ac13cf4e73f1acf7a00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.18
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 constraints234296
Number of constraints which are clauses233096
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 constraint95
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-2686955-1278444891.opb.
0.00/0.00	c Instance file HOME/instance-2686955-1278444891.opb
0.00/0.00	c File size is 7673573 bytes.
1.48/1.52	c Highest Coefficient sum: 512
1.48/1.52	c ============================[ Problem Statistics ]=============================
1.48/1.52	c |                                                                             |
1.48/1.52	c |  Parsing time:          1.49         s                                      |
1.48/1.52	c |  Number Variables:      72842                                               |
1.48/1.52	c |  Number Clauses:        233096                                              |
1.48/1.52	c |  Number Cardinality:    0                                                   |
1.48/1.52	c |  Number PB Constraints: 1200                                                |
96.86/96.94	c ============================[ Search Statistics ]==============================
96.86/96.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.86/96.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.86/96.94	c ===============================================================================
96.86/96.95	c |         0 |   56857   235598   517946 |    78098        0    nan |  0.000 % |
96.96/97.01	c ===============================================================================
96.96/97.01	c New solution: 300
96.96/97.01	o 300
96.96/97.01	c Elapsed CPU time: 96.8473 s	Remaining CPU time: 83.1527 s
96.96/97.01	c ===============================================================================
96.96/97.01	c |         0 |   56857   235599   518246 |    78533        0    nan |  0.000 % |
96.96/97.07	c |       103 |   56850   235599   518246 |    86386      103     33 | 22.111 % |
97.06/97.12	c ===============================================================================
97.06/97.12	c New solution: 299
97.06/97.12	o 299
97.06/97.12	c Elapsed CPU time: 96.9583 s	Remaining CPU time: 83.0417 s
97.06/97.12	c ===============================================================================
97.06/97.12	c |       103 |   56736   235600   518546 |    78533      103     33 | 22.111 % |
97.06/97.18	c ===============================================================================
97.06/97.18	c New solution: 298
97.06/97.18	o 298
97.06/97.18	c Elapsed CPU time: 97.0163 s	Remaining CPU time: 82.9837 s
97.06/97.18	c ===============================================================================
97.06/97.18	c |       104 |   56607   235601   518846 |    78533      104     32 | 22.111 % |
97.16/97.24	c ===============================================================================
97.16/97.24	c New solution: 297
97.16/97.24	o 297
97.16/97.24	c Elapsed CPU time: 97.0782 s	Remaining CPU time: 82.9218 s
97.16/97.24	c ===============================================================================
97.16/97.24	c |       105 |   56466   235602   519146 |    78534      105     32 | 22.111 % |
97.26/97.31	c |       206 |   56462   235602   519146 |    86387      206     46 | 22.700 % |
97.26/97.36	c ===============================================================================
97.26/97.36	c New solution: 296
97.26/97.36	o 296
97.26/97.36	c Elapsed CPU time: 97.1982 s	Remaining CPU time: 82.8018 s
97.26/97.36	c ===============================================================================
97.26/97.36	c |       207 |   56307   235603   519446 |    78534      207     46 | 22.700 % |
97.36/97.43	c ===============================================================================
97.36/97.43	c New solution: 295
97.36/97.43	o 295
97.36/97.43	c Elapsed CPU time: 97.2682 s	Remaining CPU time: 82.7318 s
97.36/97.43	c ===============================================================================
97.36/97.43	c |       216 |   56138   235604   519746 |    78534      216     45 | 22.700 % |
97.46/97.50	c ===============================================================================
97.46/97.50	c New solution: 294
97.46/97.50	o 294
97.46/97.50	c Elapsed CPU time: 97.3352 s	Remaining CPU time: 82.6648 s
97.46/97.50	c ===============================================================================
97.46/97.50	c |       219 |   55955   235605   520046 |    78535      166     30 | 22.700 % |
97.46/97.56	c ===============================================================================
97.46/97.56	c New solution: 293
97.46/97.56	o 293
97.46/97.56	c Elapsed CPU time: 97.3982 s	Remaining CPU time: 82.6018 s
97.46/97.56	c ===============================================================================
97.46/97.56	c |       225 |   55758   235606   520346 |    78535      172     31 | 22.700 % |
97.56/97.63	c ===============================================================================
97.56/97.63	c New solution: 292
97.56/97.63	o 292
97.56/97.63	c Elapsed CPU time: 97.4602 s	Remaining CPU time: 82.5398 s
97.56/97.63	c ===============================================================================
97.56/97.63	c |       227 |   55542   235607   520646 |    78535      174     31 | 22.700 % |
97.56/97.69	c ===============================================================================
97.56/97.69	c New solution: 291
97.56/97.69	o 291
97.56/97.69	c Elapsed CPU time: 97.5202 s	Remaining CPU time: 82.4798 s
97.56/97.69	c ===============================================================================
97.56/97.69	c |       227 |   55317   235608   520946 |    78536      174     31 | 22.700 % |
97.66/97.75	c ===============================================================================
97.66/97.75	c New solution: 290
97.66/97.75	o 290
97.66/97.75	c Elapsed CPU time: 97.5812 s	Remaining CPU time: 82.4188 s
97.66/97.75	c ===============================================================================
97.66/97.75	c |       227 |   55088   235609   521246 |    78536      174     31 | 22.700 % |
97.77/97.80	c ===============================================================================
97.77/97.80	c New solution: 289
97.77/97.80	o 289
97.77/97.80	c Elapsed CPU time: 97.6322 s	Remaining CPU time: 82.3678 s
97.77/97.80	c ===============================================================================
97.77/97.80	c |       236 |   54846   235610   521546 |    78536      183     31 | 22.700 % |
97.77/97.87	c ===============================================================================
97.77/97.87	c New solution: 288
97.77/97.87	o 288
97.77/97.87	c Elapsed CPU time: 97.6991 s	Remaining CPU time: 82.3009 s
97.77/97.87	c ===============================================================================
97.77/97.87	c |       246 |   54604   235611   521846 |    78537      193     32 | 22.700 % |
97.87/97.92	c ===============================================================================
97.87/97.92	c New solution: 287
97.87/97.92	o 287
97.87/97.92	c Elapsed CPU time: 97.7521 s	Remaining CPU time: 82.2479 s
97.87/97.92	c ===============================================================================
97.87/97.92	c |       259 |   54362   235612   522146 |    78537      206     32 | 22.700 % |
97.87/97.98	c ===============================================================================
97.87/97.98	c New solution: 286
97.87/97.98	o 286
97.87/97.98	c Elapsed CPU time: 97.8131 s	Remaining CPU time: 82.1869 s
97.87/97.98	c ===============================================================================
97.87/97.98	c |       263 |   54120   235613   522446 |    78537      210     32 | 22.700 % |
97.96/98.04	c ===============================================================================
97.96/98.04	c New solution: 285
97.96/98.04	o 285
97.96/98.04	c Elapsed CPU time: 97.8721 s	Remaining CPU time: 82.1279 s
97.96/98.04	c ===============================================================================
97.96/98.04	c |       268 |   53878   235614   522746 |    78538      215     32 | 22.700 % |
98.06/98.11	c ===============================================================================
98.06/98.11	c New solution: 284
98.06/98.11	o 284
98.06/98.11	c Elapsed CPU time: 97.9411 s	Remaining CPU time: 82.0589 s
98.06/98.11	c ===============================================================================
98.06/98.11	c |       271 |   53636   235615   523046 |    78538      143     31 | 22.700 % |
98.06/98.17	c ===============================================================================
98.06/98.17	c New solution: 283
98.06/98.17	o 283
98.06/98.17	c Elapsed CPU time: 97.9991 s	Remaining CPU time: 82.0009 s
98.06/98.17	c ===============================================================================
98.06/98.17	c |       274 |   53394   235616   523346 |    78538      146     31 | 22.700 % |
98.16/98.22	c ===============================================================================
98.16/98.22	c New solution: 282
98.16/98.22	o 282
98.16/98.22	c Elapsed CPU time: 98.0501 s	Remaining CPU time: 81.9499 s
98.16/98.22	c ===============================================================================
98.16/98.22	c |       280 |   53152   235617   523646 |    78539      152     31 | 22.700 % |
98.16/98.28	c ===============================================================================
98.16/98.28	c New solution: 281
98.16/98.28	o 281
98.16/98.28	c Elapsed CPU time: 98.1081 s	Remaining CPU time: 81.8919 s
98.16/98.28	c ===============================================================================
98.16/98.28	c |       282 |   52910   235618   523946 |    78539      154     30 | 22.700 % |
98.26/98.33	c ===============================================================================
98.26/98.33	c New solution: 280
98.26/98.33	o 280
98.26/98.33	c Elapsed CPU time: 98.1551 s	Remaining CPU time: 81.8449 s
98.26/98.33	c ===============================================================================
98.26/98.33	c |       289 |   52668   235619   524246 |    78539      161     30 | 22.700 % |
98.26/98.39	c ===============================================================================
98.26/98.39	c New solution: 279
98.26/98.39	o 279
98.26/98.39	c Elapsed CPU time: 98.2121 s	Remaining CPU time: 81.7879 s
98.26/98.39	c ===============================================================================
98.26/98.39	c |       290 |   52426   235620   524546 |    78540      162     30 | 22.700 % |
98.36/98.45	c ===============================================================================
98.36/98.45	c New solution: 278
98.36/98.45	o 278
98.36/98.45	c Elapsed CPU time: 98.2691 s	Remaining CPU time: 81.7309 s
98.36/98.45	c ===============================================================================
98.36/98.45	c |       292 |   52184   235621   524846 |    78540      164     30 | 22.700 % |
98.46/98.50	c ===============================================================================
98.46/98.50	c New solution: 277
98.46/98.50	o 277
98.46/98.50	c Elapsed CPU time: 98.3251 s	Remaining CPU time: 81.6749 s
98.46/98.50	c ===============================================================================
98.46/98.50	c |       292 |   51942   235622   525146 |    78540      164     30 | 22.700 % |
98.46/98.57	c ===============================================================================
98.46/98.57	c New solution: 276
98.46/98.57	o 276
98.46/98.57	c Elapsed CPU time: 98.396 s	Remaining CPU time: 81.604 s
98.46/98.57	c ===============================================================================
98.46/98.57	c |       297 |   51700   235623   525446 |    78541      169     30 | 22.700 % |
98.56/98.62	c ===============================================================================
98.56/98.62	c New solution: 275
98.56/98.62	o 275
98.56/98.62	c Elapsed CPU time: 98.446 s	Remaining CPU time: 81.554 s
98.56/98.62	c ===============================================================================
98.56/98.62	c |       298 |   51458   235624   525746 |    78541      134     31 | 22.700 % |
98.56/98.68	c ===============================================================================
98.56/98.68	c New solution: 274
98.56/98.68	o 274
98.56/98.68	c Elapsed CPU time: 98.503 s	Remaining CPU time: 81.497 s
98.56/98.68	c ===============================================================================
98.56/98.68	c |       299 |   51216   235625   526046 |    78541      135     30 | 22.700 % |
98.66/98.74	c ===============================================================================
98.66/98.74	c New solution: 273
98.66/98.74	o 273
98.66/98.74	c Elapsed CPU time: 98.566 s	Remaining CPU time: 81.434 s
98.66/98.74	c ===============================================================================
98.66/98.74	c |       306 |   50974   235626   526346 |    78542      142     30 | 22.700 % |
98.76/98.80	c ===============================================================================
98.76/98.80	c New solution: 272
98.76/98.80	o 272
98.76/98.80	c Elapsed CPU time: 98.622 s	Remaining CPU time: 81.378 s
98.76/98.80	c ===============================================================================
98.76/98.80	c |       306 |   50732   235627   526646 |    78542      142     30 | 22.700 % |
98.76/98.86	c ===============================================================================
98.76/98.86	c New solution: 271
98.76/98.86	o 271
98.76/98.86	c Elapsed CPU time: 98.679 s	Remaining CPU time: 81.321 s
98.76/98.86	c ===============================================================================
98.76/98.86	c |       308 |   50490   235628   526946 |    78542      144     30 | 22.700 % |
98.87/98.92	c ===============================================================================
98.87/98.92	c New solution: 270
98.87/98.92	o 270
98.87/98.92	c Elapsed CPU time: 98.735 s	Remaining CPU time: 81.265 s
98.87/98.92	c ===============================================================================
98.87/98.92	c |       309 |   50248   235629   527246 |    78543      145     30 | 22.700 % |
98.87/98.97	c ===============================================================================
98.87/98.97	c New solution: 269
98.87/98.97	o 269
98.87/98.97	c Elapsed CPU time: 98.792 s	Remaining CPU time: 81.208 s
98.87/98.97	c ===============================================================================
98.87/98.97	c |       309 |   50006   235630   527546 |    78543      145     30 | 22.700 % |
98.97/99.03	c ===============================================================================
98.97/99.03	c New solution: 268
98.97/99.03	o 268
98.97/99.03	c Elapsed CPU time: 98.846 s	Remaining CPU time: 81.154 s
98.97/99.03	c ===============================================================================
98.97/99.03	c |       313 |   49764   235631   527846 |    78543      149     30 | 22.700 % |
98.97/99.09	c ===============================================================================
98.97/99.09	c New solution: 267
98.97/99.09	o 267
98.97/99.09	c Elapsed CPU time: 98.903 s	Remaining CPU time: 81.097 s
98.97/99.09	c ===============================================================================
98.97/99.09	c |       313 |   49522   235632   528146 |    78544      149     30 | 22.700 % |
99.06/99.14	c ===============================================================================
99.06/99.14	c New solution: 266
99.06/99.14	o 266
99.06/99.14	c Elapsed CPU time: 98.961 s	Remaining CPU time: 81.039 s
99.06/99.14	c ===============================================================================
99.06/99.14	c |       315 |   49280   235633   528446 |    78544      151     29 | 22.700 % |
99.16/99.20	c ===============================================================================
99.16/99.20	c New solution: 265
99.16/99.20	o 265
99.16/99.20	c Elapsed CPU time: 99.0189 s	Remaining CPU time: 80.9811 s
99.16/99.20	c ===============================================================================
99.16/99.20	c |       317 |   49038   235634   528746 |    78544      123     30 | 22.700 % |
99.16/99.26	c ===============================================================================
99.16/99.26	c New solution: 264
99.16/99.26	o 264
99.16/99.26	c Elapsed CPU time: 99.0739 s	Remaining CPU time: 80.9261 s
99.16/99.26	c ===============================================================================
99.16/99.26	c |       318 |   48796   235635   529046 |    78545      124     30 | 22.700 % |
99.26/99.32	c ===============================================================================
99.26/99.32	c New solution: 263
99.26/99.32	o 263
99.26/99.32	c Elapsed CPU time: 99.1309 s	Remaining CPU time: 80.8691 s
99.26/99.32	c ===============================================================================
99.26/99.32	c |       321 |   48554   235636   529346 |    78545      127     29 | 22.700 % |
99.26/99.37	c ===============================================================================
99.26/99.37	c New solution: 262
99.26/99.37	o 262
99.26/99.37	c Elapsed CPU time: 99.1839 s	Remaining CPU time: 80.8161 s
99.26/99.37	c ===============================================================================
99.26/99.37	c |       327 |   48312   235637   529646 |    78545      133     29 | 22.700 % |
99.36/99.43	c ===============================================================================
99.36/99.43	c New solution: 261
99.36/99.43	o 261
99.36/99.43	c Elapsed CPU time: 99.2399 s	Remaining CPU time: 80.7601 s
99.36/99.43	c ===============================================================================
99.36/99.43	c |       332 |   48070   235638   529946 |    78546      138     28 | 22.700 % |
99.36/99.49	c ===============================================================================
99.36/99.49	c New solution: 260
99.36/99.49	o 260
99.36/99.49	c Elapsed CPU time: 99.3059 s	Remaining CPU time: 80.6941 s
99.36/99.49	c ===============================================================================
99.36/99.49	c |       347 |   47828   235639   530246 |    78546      153     28 | 22.700 % |
99.46/99.56	c ===============================================================================
99.46/99.56	c New solution: 259
99.46/99.56	o 259
99.46/99.56	c Elapsed CPU time: 99.3689 s	Remaining CPU time: 80.6311 s
99.46/99.56	c ===============================================================================
99.46/99.56	c |       393 |   47586   235640   530546 |    78546      199     31 | 22.700 % |
99.56/99.61	c ===============================================================================
99.56/99.61	c New solution: 258
99.56/99.61	o 258
99.56/99.61	c Elapsed CPU time: 99.4199 s	Remaining CPU time: 80.5801 s
99.56/99.61	c ===============================================================================
99.56/99.61	c |       399 |   47344   235641   530846 |    78547      205     31 | 22.700 % |
99.56/99.66	c ===============================================================================
99.56/99.66	c New solution: 257
99.56/99.66	o 257
99.56/99.66	c Elapsed CPU time: 99.4759 s	Remaining CPU time: 80.5241 s
99.56/99.66	c ===============================================================================
99.56/99.66	c |       400 |   47102   235642   531146 |    78547      206     31 | 22.700 % |
99.66/99.72	c ===============================================================================
99.66/99.72	c New solution: 256
99.66/99.72	o 256
99.66/99.72	c Elapsed CPU time: 99.5309 s	Remaining CPU time: 80.4691 s
99.66/99.72	c ===============================================================================
99.66/99.72	c |       404 |   46860   235643   531446 |    78547      210     30 | 22.700 % |
99.66/99.77	c ===============================================================================
99.66/99.77	c New solution: 255
99.66/99.77	o 255
99.66/99.77	c Elapsed CPU time: 99.5829 s	Remaining CPU time: 80.4171 s
99.66/99.77	c ===============================================================================
99.66/99.77	c |       414 |   46618   235644   531746 |    78548      164     30 | 22.700 % |
99.76/99.83	c ===============================================================================
99.76/99.83	c New solution: 254
99.76/99.83	o 254
99.76/99.83	c Elapsed CPU time: 99.6389 s	Remaining CPU time: 80.3611 s
99.76/99.83	c ===============================================================================
99.76/99.83	c |       415 |   46376   235645   532046 |    78548      165     30 | 22.700 % |
99.76/99.88	c ===============================================================================
99.76/99.88	c New solution: 253
99.76/99.88	o 253
99.76/99.88	c Elapsed CPU time: 99.6838 s	Remaining CPU time: 80.3162 s
99.76/99.88	c ===============================================================================
99.76/99.88	c |       423 |   46134   235646   532346 |    78548      173     31 | 22.700 % |
99.86/99.93	c ===============================================================================
99.86/99.93	c New solution: 252
99.86/99.93	o 252
99.86/99.93	c Elapsed CPU time: 99.7388 s	Remaining CPU time: 80.2612 s
99.86/99.93	c ===============================================================================
99.86/99.93	c |       423 |   45892   235647   532646 |    78549      173     31 | 22.700 % |
99.86/99.97	c ===============================================================================
99.86/99.97	c New solution: 251
99.86/99.97	o 251
99.86/99.97	c Elapsed CPU time: 99.7828 s	Remaining CPU time: 80.2172 s
99.86/99.97	c ===============================================================================
99.86/99.97	c |       425 |   45650   235648   532946 |    78549      175     30 | 22.700 % |
99.97/100.03	c ===============================================================================
99.97/100.03	c New solution: 250
99.97/100.03	o 250
99.97/100.03	c Elapsed CPU time: 99.8388 s	Remaining CPU time: 80.1612 s
99.97/100.03	c ===============================================================================
99.97/100.03	c |       427 |   45408   235649   533246 |    78549      177     30 | 22.700 % |
99.97/100.07	c ===============================================================================
99.97/100.07	c New solution: 249
99.97/100.07	o 249
99.97/100.07	c Elapsed CPU time: 99.8798 s	Remaining CPU time: 80.1202 s
99.97/100.07	c ===============================================================================
99.97/100.07	c |       429 |   45166   235650   533546 |    78550      179     30 | 22.700 % |
100.06/100.12	c ===============================================================================
100.06/100.12	c New solution: 248
100.06/100.12	o 248
100.06/100.12	c Elapsed CPU time: 99.9238 s	Remaining CPU time: 80.0762 s
100.06/100.12	c ===============================================================================
100.06/100.12	c |       432 |   44924   235651   533846 |    78550      182     30 | 22.700 % |
100.06/100.16	c ===============================================================================
100.06/100.16	c New solution: 247
100.06/100.16	o 247
100.06/100.16	c Elapsed CPU time: 99.9678 s	Remaining CPU time: 80.0322 s
100.06/100.16	c ===============================================================================
100.06/100.16	c |       434 |   44682   235652   534146 |    78550      184     30 | 22.700 % |
100.16/100.21	c ===============================================================================
100.16/100.21	c New solution: 246
100.16/100.21	o 246
100.16/100.21	c Elapsed CPU time: 100.011 s	Remaining CPU time: 79.9892 s
100.16/100.21	c ===============================================================================
100.16/100.21	c |       437 |   44440   235653   534446 |    78551      187     30 | 22.700 % |
100.16/100.26	c ===============================================================================
100.16/100.26	c New solution: 245
100.16/100.26	o 245
100.16/100.26	c Elapsed CPU time: 100.067 s	Remaining CPU time: 79.9332 s
100.16/100.26	c ===============================================================================
100.16/100.26	c |       438 |   44198   235654   534746 |    78551      188     30 | 22.700 % |
100.25/100.31	c ===============================================================================
100.25/100.31	c New solution: 244
100.25/100.31	o 244
100.25/100.31	c Elapsed CPU time: 100.11 s	Remaining CPU time: 79.8902 s
100.25/100.31	c ===============================================================================
100.25/100.31	c |       439 |   43956   235655   535046 |    78551      189     30 | 22.700 % |
100.25/100.36	c ===============================================================================
100.25/100.36	c New solution: 243
100.25/100.36	o 243
100.25/100.36	c Elapsed CPU time: 100.166 s	Remaining CPU time: 79.8342 s
100.25/100.36	c ===============================================================================
100.25/100.36	c |       441 |   43714   235656   535346 |    78552      126     30 | 22.700 % |
100.35/100.41	c ===============================================================================
100.35/100.41	c New solution: 242
100.35/100.41	o 242
100.35/100.41	c Elapsed CPU time: 100.215 s	Remaining CPU time: 79.7852 s
100.35/100.41	c ===============================================================================
100.35/100.41	c |       443 |   43472   235657   535646 |    78552      128     30 | 22.700 % |
100.35/100.46	c ===============================================================================
100.35/100.46	c New solution: 241
100.35/100.46	o 241
100.35/100.46	c Elapsed CPU time: 100.259 s	Remaining CPU time: 79.7412 s
100.35/100.46	c ===============================================================================
100.35/100.46	c |       449 |   43230   235658   535946 |    78552      134     29 | 22.700 % |
100.46/100.50	c ===============================================================================
100.46/100.50	c New solution: 240
100.46/100.50	o 240
100.46/100.50	c Elapsed CPU time: 100.306 s	Remaining CPU time: 79.6942 s
100.46/100.50	c ===============================================================================
100.46/100.50	c |       450 |   42988   235659   536246 |    78553      135     29 | 22.700 % |
100.46/100.56	c ===============================================================================
100.46/100.56	c New solution: 239
100.46/100.56	o 239
100.46/100.56	c Elapsed CPU time: 100.357 s	Remaining CPU time: 79.6433 s
100.46/100.56	c ===============================================================================
100.46/100.56	c |       452 |   42746   235660   536546 |    78553      137     29 | 22.700 % |
100.56/100.61	c ===============================================================================
100.56/100.61	c New solution: 238
100.56/100.61	o 238
100.56/100.61	c Elapsed CPU time: 100.412 s	Remaining CPU time: 79.5883 s
100.56/100.61	c ===============================================================================
100.56/100.61	c |       455 |   42504   235661   536846 |    78553      140     29 | 22.700 % |
100.56/100.66	c ===============================================================================
100.56/100.66	c New solution: 237
100.56/100.66	o 237
100.56/100.66	c Elapsed CPU time: 100.459 s	Remaining CPU time: 79.5413 s
100.56/100.66	c ===============================================================================
100.56/100.66	c |       462 |   42262   235662   537146 |    78554      147     28 | 22.700 % |
100.66/100.72	c |       563 |   42244   235662   537146 |    86409      248     40 | 42.314 % |
100.66/100.76	c ===============================================================================
100.66/100.76	c New solution: 236
100.66/100.76	o 236
100.66/100.76	c Elapsed CPU time: 100.56 s	Remaining CPU time: 79.4403 s
100.66/100.76	c ===============================================================================
100.66/100.76	c |       567 |   42020   235663   537446 |    78554      252     39 | 42.314 % |
100.76/100.81	c ===============================================================================
100.76/100.81	c New solution: 235
100.76/100.81	o 235
100.76/100.81	c Elapsed CPU time: 100.611 s	Remaining CPU time: 79.3893 s
100.76/100.81	c ===============================================================================
100.76/100.81	c |       569 |   41778   235664   537746 |    78554      254     39 | 42.314 % |
100.76/100.85	c ===============================================================================
100.76/100.85	c New solution: 234
100.76/100.85	o 234
100.76/100.85	c Elapsed CPU time: 100.652 s	Remaining CPU time: 79.3483 s
100.76/100.85	c ===============================================================================
100.76/100.85	c |       571 |   41536   235665   538046 |    78555      256     39 | 42.314 % |
100.86/100.90	c ===============================================================================
100.86/100.90	c New solution: 233
100.86/100.90	o 233
100.86/100.90	c Elapsed CPU time: 100.703 s	Remaining CPU time: 79.2973 s
100.86/100.90	c ===============================================================================
100.86/100.90	c |       572 |   41294   235666   538346 |    78555      257     39 | 42.314 % |
100.86/100.96	c ===============================================================================
100.86/100.96	c New solution: 232
100.86/100.96	o 232
100.86/100.96	c Elapsed CPU time: 100.756 s	Remaining CPU time: 79.2443 s
100.86/100.96	c ===============================================================================
100.86/100.96	c |       575 |   41052   235667   538646 |    78555      143     30 | 42.314 % |
100.96/101.00	c ===============================================================================
100.96/101.00	c New solution: 231
100.96/101.00	o 231
100.96/101.00	c Elapsed CPU time: 100.804 s	Remaining CPU time: 79.1963 s
100.96/101.01	c ===============================================================================
100.96/101.01	c |       578 |   40810   235668   538946 |    78556      146     30 | 42.314 % |
100.96/101.06	c ===============================================================================
100.96/101.06	c New solution: 230
100.96/101.06	o 230
100.96/101.06	c Elapsed CPU time: 100.853 s	Remaining CPU time: 79.1473 s
100.96/101.06	c ===============================================================================
100.96/101.06	c |       582 |   40568   235669   539246 |    78556      150     30 | 42.314 % |
100.96/101.10	c ===============================================================================
100.96/101.10	c New solution: 229
100.96/101.10	o 229
100.96/101.10	c Elapsed CPU time: 100.893 s	Remaining CPU time: 79.1073 s
100.96/101.10	c ===============================================================================
100.96/101.10	c |       582 |   40326   235670   539546 |    78556      150     30 | 42.314 % |
101.07/101.14	c ===============================================================================
101.07/101.14	c New solution: 228
101.07/101.14	o 228
101.07/101.14	c Elapsed CPU time: 100.94 s	Remaining CPU time: 79.0603 s
101.07/101.14	c ===============================================================================
101.07/101.14	c |       582 |   40084   235671   539846 |    78557      150     30 | 42.314 % |
101.07/101.18	c ===============================================================================
101.07/101.18	c New solution: 227
101.07/101.18	o 227
101.07/101.18	c Elapsed CPU time: 100.98 s	Remaining CPU time: 79.0204 s
101.07/101.18	c ===============================================================================
101.07/101.18	c |       584 |   39842   235672   540146 |    78557      152     30 | 42.314 % |
101.16/101.24	c ===============================================================================
101.16/101.24	c New solution: 226
101.16/101.24	o 226
101.16/101.24	c Elapsed CPU time: 101.03 s	Remaining CPU time: 78.9704 s
101.16/101.24	c ===============================================================================
101.16/101.24	c |       585 |   39600   235673   540446 |    78557      153     29 | 42.314 % |
101.16/101.28	c ===============================================================================
101.16/101.28	c New solution: 225
101.16/101.28	o 225
101.16/101.28	c Elapsed CPU time: 101.078 s	Remaining CPU time: 78.9224 s
101.16/101.28	c ===============================================================================
101.16/101.28	c |       585 |   39358   235674   540746 |    78558      153     29 | 42.314 % |
101.26/101.32	c ===============================================================================
101.26/101.32	c New solution: 224
101.26/101.32	o 224
101.26/101.32	c Elapsed CPU time: 101.119 s	Remaining CPU time: 78.8814 s
101.26/101.32	c ===============================================================================
101.26/101.32	c |       588 |   39116   235675   541046 |    78558      156     29 | 42.314 % |
101.26/101.37	c ===============================================================================
101.26/101.37	c New solution: 223
101.26/101.37	o 223
101.26/101.37	c Elapsed CPU time: 101.162 s	Remaining CPU time: 78.8384 s
101.26/101.37	c ===============================================================================
101.26/101.37	c |       597 |   38874   235676   541346 |    78558      165     30 | 42.314 % |
101.36/101.42	c ===============================================================================
101.36/101.42	c New solution: 222
101.36/101.42	o 222
101.36/101.42	c Elapsed CPU time: 101.208 s	Remaining CPU time: 78.7924 s
101.36/101.42	c ===============================================================================
101.36/101.42	c |       600 |   38632   235677   541646 |    78559      168     30 | 42.314 % |
101.36/101.46	c ===============================================================================
101.36/101.46	c New solution: 221
101.36/101.46	o 221
101.36/101.46	c Elapsed CPU time: 101.251 s	Remaining CPU time: 78.7494 s
101.36/101.46	c ===============================================================================
101.36/101.46	c |       607 |   38390   235678   541946 |    78559      175     31 | 42.314 % |
101.46/101.50	c ===============================================================================
101.46/101.50	c New solution: 220
101.46/101.50	o 220
101.46/101.50	c Elapsed CPU time: 101.292 s	Remaining CPU time: 78.7084 s
101.46/101.50	c ===============================================================================
101.46/101.50	c |       610 |   38148   235679   542246 |    78559      178     30 | 42.314 % |
101.46/101.55	c ===============================================================================
101.46/101.55	c New solution: 219
101.46/101.55	o 219
101.46/101.55	c Elapsed CPU time: 101.34 s	Remaining CPU time: 78.6604 s
101.46/101.55	c ===============================================================================
101.46/101.55	c |       611 |   37906   235680   542546 |    78560      179     30 | 42.314 % |
101.56/101.60	c ===============================================================================
101.56/101.60	c New solution: 218
101.56/101.60	o 218
101.56/101.60	c Elapsed CPU time: 101.39 s	Remaining CPU time: 78.6104 s
101.56/101.60	c ===============================================================================
101.56/101.60	c |       612 |   37664   235681   542846 |    78560      132     30 | 42.314 % |
101.56/101.64	c ===============================================================================
101.56/101.64	c New solution: 217
101.56/101.64	o 217
101.56/101.64	c Elapsed CPU time: 101.431 s	Remaining CPU time: 78.5694 s
101.56/101.64	c ===============================================================================
101.56/101.64	c |       622 |   37422   235682   543146 |    78560      142     29 | 42.314 % |
101.56/101.69	c ===============================================================================
101.56/101.69	c New solution: 216
101.56/101.69	o 216
101.56/101.69	c Elapsed CPU time: 101.477 s	Remaining CPU time: 78.5234 s
101.56/101.69	c ===============================================================================
101.56/101.69	c |       628 |   37180   235683   543446 |    78561      148     29 | 42.314 % |
101.66/101.73	c ===============================================================================
101.66/101.73	c New solution: 215
101.66/101.73	o 215
101.66/101.73	c Elapsed CPU time: 101.521 s	Remaining CPU time: 78.4794 s
101.66/101.73	c ===============================================================================
101.66/101.73	c |       644 |   36938   235684   543746 |    78561      164     29 | 42.314 % |
101.66/101.77	c ===============================================================================
101.66/101.77	c New solution: 214
101.66/101.77	o 214
101.66/101.77	c Elapsed CPU time: 101.562 s	Remaining CPU time: 78.4384 s
101.66/101.77	c ===============================================================================
101.66/101.77	c |       645 |   36696   235685   544046 |    78561      165     29 | 42.314 % |
101.76/101.81	c ===============================================================================
101.76/101.81	c New solution: 213
101.76/101.81	o 213
101.76/101.81	c Elapsed CPU time: 101.602 s	Remaining CPU time: 78.3984 s
101.76/101.81	c ===============================================================================
101.76/101.81	c |       648 |   36454   235686   544346 |    78562      168     29 | 42.314 % |
101.76/101.86	c ===============================================================================
101.76/101.86	c New solution: 212
101.76/101.86	o 212
101.76/101.86	c Elapsed CPU time: 101.652 s	Remaining CPU time: 78.3485 s
101.76/101.86	c ===============================================================================
101.76/101.86	c |       653 |   36212   235687   544646 |    78562      173     28 | 42.314 % |
101.86/101.91	c ===============================================================================
101.86/101.91	c New solution: 211
101.86/101.91	o 211
101.86/101.91	c Elapsed CPU time: 101.693 s	Remaining CPU time: 78.3075 s
101.86/101.91	c ===============================================================================
101.86/101.91	c |       656 |   35970   235688   544946 |    78562      176     28 | 42.314 % |
101.86/101.95	c ===============================================================================
101.86/101.95	c New solution: 210
101.86/101.95	o 210
101.86/101.95	c Elapsed CPU time: 101.733 s	Remaining CPU time: 78.2675 s
101.86/101.95	c ===============================================================================
101.86/101.95	c |       660 |   35728   235689   545246 |    78563      180     28 | 42.314 % |
101.86/101.99	c ===============================================================================
101.86/101.99	c New solution: 209
101.86/101.99	o 209
101.86/101.99	c Elapsed CPU time: 101.773 s	Remaining CPU time: 78.2275 s
101.86/101.99	c ===============================================================================
101.86/101.99	c |       663 |   35486   235690   545546 |    78563      183     28 | 42.314 % |
101.96/102.03	c ===============================================================================
101.96/102.03	c New solution: 208
101.96/102.03	o 208
101.96/102.03	c Elapsed CPU time: 101.815 s	Remaining CPU time: 78.1855 s
101.96/102.03	c ===============================================================================
101.96/102.03	c |       669 |   35244   235691   545846 |    78563      189     28 | 42.314 % |
101.96/102.08	c ===============================================================================
101.96/102.08	c New solution: 207
101.96/102.08	o 207
101.96/102.08	c Elapsed CPU time: 101.861 s	Remaining CPU time: 78.1395 s
101.96/102.08	c ===============================================================================
101.96/102.08	c |       671 |   35002   235692   546146 |    78564      191     28 | 42.314 % |
102.06/102.12	c ===============================================================================
102.06/102.12	c New solution: 206
102.06/102.12	o 206
102.06/102.12	c Elapsed CPU time: 101.904 s	Remaining CPU time: 78.0965 s
102.06/102.12	c ===============================================================================
102.06/102.12	c |       671 |   34760   235693   546446 |    78564      191     28 | 42.314 % |
102.06/102.16	c ===============================================================================
102.06/102.16	c New solution: 205
102.06/102.16	o 205
102.06/102.16	c Elapsed CPU time: 101.943 s	Remaining CPU time: 78.0575 s
102.06/102.16	c ===============================================================================
102.06/102.16	c |       674 |   34518   235694   546746 |    78564      194     28 | 42.314 % |
102.16/102.21	c ===============================================================================
102.16/102.21	c New solution: 204
102.16/102.21	o 204
102.16/102.21	c Elapsed CPU time: 101.993 s	Remaining CPU time: 78.0065 s
102.16/102.21	c ===============================================================================
102.16/102.21	c |       691 |   34276   235695   547046 |    78565      155     32 | 42.314 % |
102.16/102.26	c ===============================================================================
102.16/102.26	c New solution: 203
102.16/102.26	o 203
102.16/102.26	c Elapsed CPU time: 102.041 s	Remaining CPU time: 77.9585 s
102.16/102.26	c ===============================================================================
102.16/102.26	c |       696 |   34034   235696   547346 |    78565      160     33 | 42.314 % |
102.16/102.30	c ===============================================================================
102.16/102.30	c New solution: 202
102.16/102.30	o 202
102.16/102.30	c Elapsed CPU time: 102.08 s	Remaining CPU time: 77.9195 s
102.16/102.30	c ===============================================================================
102.16/102.30	c |       696 |   33792   235697   547646 |    78565      160     33 | 42.314 % |
102.26/102.34	c ===============================================================================
102.26/102.34	c New solution: 201
102.26/102.34	o 201
102.26/102.34	c Elapsed CPU time: 102.126 s	Remaining CPU time: 77.8735 s
102.26/102.34	c ===============================================================================
102.26/102.34	c |       698 |   33550   235698   547946 |    78566      162     32 | 42.314 % |
102.26/102.38	c ===============================================================================
102.26/102.38	c New solution: 200
102.26/102.38	o 200
102.26/102.38	c Elapsed CPU time: 102.164 s	Remaining CPU time: 77.8355 s
102.26/102.38	c ===============================================================================
102.26/102.38	c |       700 |   33308   235699   548246 |    78566      164     32 | 42.314 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 199
102.35/102.43	o 199
102.35/102.43	c Elapsed CPU time: 102.21 s	Remaining CPU time: 77.7895 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |       701 |   33066   235700   548546 |    78566      165     32 | 42.314 % |
102.35/102.46	c ===============================================================================
102.35/102.46	c New solution: 198
102.35/102.46	o 198
102.35/102.46	c Elapsed CPU time: 102.247 s	Remaining CPU time: 77.7525 s
102.35/102.46	c ===============================================================================
102.35/102.46	c |       702 |   32824   235701   548846 |    78567      166     32 | 42.314 % |
102.46/102.50	c ===============================================================================
102.46/102.50	c New solution: 197
102.46/102.50	o 197
102.46/102.50	c Elapsed CPU time: 102.286 s	Remaining CPU time: 77.7135 s
102.46/102.50	c ===============================================================================
102.46/102.50	c |       703 |   32582   235702   549146 |    78567      167     32 | 42.314 % |
102.46/102.55	c ===============================================================================
102.46/102.55	c New solution: 196
102.46/102.55	o 196
102.46/102.55	c Elapsed CPU time: 102.33 s	Remaining CPU time: 77.6696 s
102.46/102.55	c ===============================================================================
102.46/102.55	c |       715 |   32340   235703   549446 |    78567      179     32 | 42.314 % |
102.46/102.59	c ===============================================================================
102.46/102.59	c New solution: 195
102.46/102.59	o 195
102.46/102.59	c Elapsed CPU time: 102.374 s	Remaining CPU time: 77.6256 s
102.46/102.59	c ===============================================================================
102.46/102.59	c |       715 |   32098   235704   549746 |    78568      179     32 | 42.314 % |
102.56/102.64	c ===============================================================================
102.56/102.64	c New solution: 194
102.56/102.64	o 194
102.56/102.64	c Elapsed CPU time: 102.419 s	Remaining CPU time: 77.5806 s
102.56/102.64	c ===============================================================================
102.56/102.64	c |       717 |   31856   235705   550046 |    78568      181     32 | 42.314 % |
102.56/102.68	c ===============================================================================
102.56/102.68	c New solution: 193
102.56/102.68	o 193
102.56/102.68	c Elapsed CPU time: 102.464 s	Remaining CPU time: 77.5356 s
102.56/102.68	c ===============================================================================
102.56/102.68	c |       718 |   31614   235706   550346 |    78568      182     32 | 42.314 % |
102.66/102.73	c ===============================================================================
102.66/102.73	c New solution: 192
102.66/102.73	o 192
102.66/102.73	c Elapsed CPU time: 102.509 s	Remaining CPU time: 77.4906 s
102.66/102.73	c ===============================================================================
102.66/102.73	c |       719 |   31372   235707   550646 |    78569      183     32 | 42.314 % |
102.66/102.78	c ===============================================================================
102.66/102.78	c New solution: 191
102.66/102.78	o 191
102.66/102.78	c Elapsed CPU time: 102.554 s	Remaining CPU time: 77.4456 s
102.66/102.78	c ===============================================================================
102.66/102.78	c |       724 |   31130   235708   550946 |    78569      188     31 | 42.314 % |
102.76/102.83	c |       824 |   31103   235708   550946 |    86426      288     40 | 57.596 % |
102.76/102.90	c ===============================================================================
102.76/102.90	c New solution: 190
102.76/102.90	o 190
102.76/102.90	c Elapsed CPU time: 102.673 s	Remaining CPU time: 77.3266 s
102.76/102.90	c ===============================================================================
102.76/102.90	c |       856 |   30888   235709   551246 |    78569      261     45 | 57.596 % |
102.86/102.94	c ===============================================================================
102.86/102.94	c New solution: 189
102.86/102.94	o 189
102.86/102.94	c Elapsed CPU time: 102.719 s	Remaining CPU time: 77.2806 s
102.86/102.94	c ===============================================================================
102.86/102.94	c |       858 |   30646   235710   551546 |    78570      263     45 | 57.596 % |
102.86/102.99	c ===============================================================================
102.86/102.99	c New solution: 188
102.86/102.99	o 188
102.86/102.99	c Elapsed CPU time: 102.764 s	Remaining CPU time: 77.2356 s
102.86/102.99	c ===============================================================================
102.86/102.99	c |       860 |   30404   235711   551846 |    78570      265     44 | 57.596 % |
102.96/103.03	c ===============================================================================
102.96/103.03	c New solution: 187
102.96/103.03	o 187
102.96/103.03	c Elapsed CPU time: 102.809 s	Remaining CPU time: 77.1906 s
102.96/103.03	c ===============================================================================
102.96/103.03	c |       861 |   30162   235712   552146 |    78570      266     44 | 57.596 % |
102.96/103.07	c ===============================================================================
102.96/103.07	c New solution: 186
102.96/103.07	o 186
102.96/103.07	c Elapsed CPU time: 102.848 s	Remaining CPU time: 77.1516 s
102.96/103.07	c ===============================================================================
102.96/103.07	c |       864 |   29920   235713   552446 |    78571      269     44 | 57.596 % |
103.06/103.11	c ===============================================================================
103.06/103.11	c New solution: 185
103.06/103.11	o 185
103.06/103.11	c Elapsed CPU time: 102.885 s	Remaining CPU time: 77.1146 s
103.06/103.11	c ===============================================================================
103.06/103.11	c |       864 |   29678   235714   552746 |    78571      269     44 | 57.596 % |
103.06/103.15	c ===============================================================================
103.06/103.15	c New solution: 184
103.06/103.15	o 184
103.06/103.15	c Elapsed CPU time: 102.929 s	Remaining CPU time: 77.0706 s
103.06/103.15	c ===============================================================================
103.06/103.15	c |       867 |   29436   235715   553046 |    78571      272     43 | 57.596 % |
103.16/103.20	c ===============================================================================
103.16/103.20	c New solution: 183
103.16/103.20	o 183
103.16/103.20	c Elapsed CPU time: 102.973 s	Remaining CPU time: 77.0267 s
103.16/103.20	c ===============================================================================
103.16/103.20	c |       869 |   29194   235716   553346 |    78572      274     43 | 57.596 % |
103.16/103.24	c ===============================================================================
103.16/103.24	c New solution: 182
103.16/103.24	o 182
103.16/103.24	c Elapsed CPU time: 103.015 s	Remaining CPU time: 76.9847 s
103.16/103.24	c ===============================================================================
103.16/103.24	c |       874 |   28952   235717   553646 |    78572      279     43 | 57.596 % |
103.16/103.28	c ===============================================================================
103.16/103.28	c New solution: 181
103.16/103.28	o 181
103.16/103.28	c Elapsed CPU time: 103.052 s	Remaining CPU time: 76.9477 s
103.16/103.28	c ===============================================================================
103.16/103.28	c |       877 |   28710   235718   553946 |    78572      282     42 | 57.596 % |
103.27/103.33	c ===============================================================================
103.27/103.33	c New solution: 180
103.27/103.33	o 180
103.27/103.33	c Elapsed CPU time: 103.1 s	Remaining CPU time: 76.8997 s
103.27/103.33	c ===============================================================================
103.27/103.33	c |       921 |   28468   235719   554246 |    78573      326     42 | 57.596 % |
103.27/103.37	c ===============================================================================
103.27/103.37	c New solution: 179
103.27/103.37	o 179
103.27/103.37	c Elapsed CPU time: 103.144 s	Remaining CPU time: 76.8557 s
103.27/103.37	c ===============================================================================
103.27/103.37	c |       934 |   28226   235720   554546 |    78573      339     42 | 57.596 % |
103.37/103.41	c ===============================================================================
103.37/103.41	c New solution: 178
103.37/103.41	o 178
103.37/103.41	c Elapsed CPU time: 103.182 s	Remaining CPU time: 76.8177 s
103.37/103.41	c ===============================================================================
103.37/103.41	c |       934 |   27984   235721   554846 |    78573      339     42 | 57.596 % |
103.37/103.45	c ===============================================================================
103.37/103.45	c New solution: 177
103.37/103.45	o 177
103.37/103.45	c Elapsed CPU time: 103.222 s	Remaining CPU time: 76.7777 s
103.37/103.45	c ===============================================================================
103.37/103.45	c |       936 |   27742   235722   555146 |    78574      341     42 | 57.596 % |
103.37/103.50	c ===============================================================================
103.37/103.50	c New solution: 176
103.37/103.50	o 176
103.37/103.50	c Elapsed CPU time: 103.261 s	Remaining CPU time: 76.7387 s
103.37/103.50	c ===============================================================================
103.37/103.50	c |       936 |   27500   235723   555446 |    78574      341     42 | 57.596 % |
103.46/103.54	c ===============================================================================
103.46/103.54	c New solution: 175
103.46/103.54	o 175
103.46/103.54	c Elapsed CPU time: 103.304 s	Remaining CPU time: 76.6957 s
103.46/103.54	c ===============================================================================
103.46/103.54	c |       940 |   27258   235724   555746 |    78574      345     42 | 57.596 % |
103.46/103.58	c ===============================================================================
103.46/103.58	c New solution: 174
103.46/103.58	o 174
103.46/103.58	c Elapsed CPU time: 103.34 s	Remaining CPU time: 76.6597 s
103.46/103.58	c ===============================================================================
103.46/103.58	c |       943 |   27016   235725   556046 |    78575      348     41 | 57.596 % |
103.56/103.62	c ===============================================================================
103.56/103.62	c New solution: 173
103.56/103.62	o 173
103.56/103.62	c Elapsed CPU time: 103.382 s	Remaining CPU time: 76.6177 s
103.56/103.62	c ===============================================================================
103.56/103.62	c |       944 |   26774   235726   556346 |    78575      154     27 | 57.596 % |
103.56/103.66	c ===============================================================================
103.56/103.66	c New solution: 172
103.56/103.66	o 172
103.56/103.66	c Elapsed CPU time: 103.428 s	Remaining CPU time: 76.5717 s
103.56/103.66	c ===============================================================================
103.56/103.66	c |       951 |   26532   235727   556646 |    78575      161     27 | 57.596 % |
103.65/103.70	c ===============================================================================
103.65/103.70	c New solution: 171
103.65/103.70	o 171
103.65/103.70	c Elapsed CPU time: 103.462 s	Remaining CPU time: 76.5377 s
103.65/103.70	c ===============================================================================
103.65/103.70	c |       953 |   26290   235728   556946 |    78576      163     27 | 57.596 % |
103.65/103.74	c ===============================================================================
103.65/103.74	c New solution: 170
103.65/103.74	o 170
103.65/103.74	c Elapsed CPU time: 103.505 s	Remaining CPU time: 76.4947 s
103.65/103.74	c ===============================================================================
103.65/103.74	c |       961 |   26048   235729   557246 |    78576      171     27 | 57.596 % |
103.65/103.78	c ===============================================================================
103.65/103.78	c New solution: 169
103.65/103.78	o 169
103.65/103.78	c Elapsed CPU time: 103.538 s	Remaining CPU time: 76.4617 s
103.65/103.78	c ===============================================================================
103.65/103.78	c |       962 |   25806   235730   557546 |    78576      172     27 | 57.596 % |
103.76/103.81	c ===============================================================================
103.76/103.81	c New solution: 168
103.76/103.81	o 168
103.76/103.81	c Elapsed CPU time: 103.576 s	Remaining CPU time: 76.4237 s
103.76/103.82	c ===============================================================================
103.76/103.82	c |       964 |   25564   235731   557846 |    78577      174     27 | 57.596 % |
103.76/103.85	c ===============================================================================
103.76/103.85	c New solution: 167
103.76/103.85	o 167
103.76/103.85	c Elapsed CPU time: 103.61 s	Remaining CPU time: 76.3898 s
103.76/103.85	c ===============================================================================
103.76/103.85	c |       964 |   25322   235732   558146 |    78577      174     27 | 57.596 % |
103.76/103.88	c ===============================================================================
103.76/103.88	c New solution: 166
103.76/103.88	o 166
103.76/103.88	c Elapsed CPU time: 103.644 s	Remaining CPU time: 76.3558 s
103.76/103.88	c ===============================================================================
103.76/103.88	c |       968 |   25080   235733   558446 |    78577      178     26 | 57.596 % |
103.86/103.92	c ===============================================================================
103.86/103.92	c New solution: 165
103.86/103.92	o 165
103.86/103.92	c Elapsed CPU time: 103.679 s	Remaining CPU time: 76.3208 s
103.86/103.92	c ===============================================================================
103.86/103.92	c |       969 |   24838   235734   558746 |    78578      179     26 | 57.596 % |
103.86/103.96	c ===============================================================================
103.86/103.96	c New solution: 164
103.86/103.96	o 164
103.86/103.96	c Elapsed CPU time: 103.718 s	Remaining CPU time: 76.2818 s
103.86/103.96	c ===============================================================================
103.86/103.96	c |       982 |   24596   235735   559046 |    78578      192     26 | 57.596 % |
103.86/103.99	c ===============================================================================
103.86/103.99	c New solution: 163
103.86/103.99	o 163
103.86/103.99	c Elapsed CPU time: 103.753 s	Remaining CPU time: 76.2468 s
103.86/103.99	c ===============================================================================
103.86/103.99	c |       986 |   24354   235736   559346 |    78578      196     26 | 57.596 % |
103.96/104.03	c ===============================================================================
103.96/104.03	c New solution: 162
103.96/104.03	o 162
103.96/104.03	c Elapsed CPU time: 103.792 s	Remaining CPU time: 76.2078 s
103.96/104.03	c ===============================================================================
103.96/104.03	c |       988 |   24112   235737   559646 |    78579      198     26 | 57.596 % |
103.96/104.06	c ===============================================================================
103.96/104.06	c New solution: 161
103.96/104.06	o 161
103.96/104.06	c Elapsed CPU time: 103.825 s	Remaining CPU time: 76.1748 s
103.96/104.06	c ===============================================================================
103.96/104.06	c |       988 |   23870   235738   559946 |    78579      198     26 | 57.596 % |
104.06/104.10	c ===============================================================================
104.06/104.10	c New solution: 160
104.06/104.10	o 160
104.06/104.10	c Elapsed CPU time: 103.859 s	Remaining CPU time: 76.1408 s
104.06/104.10	c ===============================================================================
104.06/104.10	c |       990 |   23628   235739   560246 |    78579      200     26 | 57.596 % |
104.06/104.13	c ===============================================================================
104.06/104.13	c New solution: 159
104.06/104.13	o 159
104.06/104.13	c Elapsed CPU time: 103.893 s	Remaining CPU time: 76.1068 s
104.06/104.13	c ===============================================================================
104.06/104.13	c |       992 |   23386   235740   560546 |    78580      202     26 | 57.596 % |
104.06/104.17	c ===============================================================================
104.06/104.17	c New solution: 158
104.06/104.17	o 158
104.06/104.17	c Elapsed CPU time: 103.927 s	Remaining CPU time: 76.0728 s
104.06/104.17	c ===============================================================================
104.06/104.17	c |       994 |   23144   235741   560846 |    78580      204     26 | 57.596 % |
104.16/104.22	c ===============================================================================
104.16/104.22	c New solution: 157
104.16/104.22	o 157
104.16/104.22	c Elapsed CPU time: 103.976 s	Remaining CPU time: 76.0238 s
104.16/104.22	c ===============================================================================
104.16/104.22	c |      1022 |   22902   235742   561146 |    78580      232     30 | 57.596 % |
104.16/104.25	c ===============================================================================
104.16/104.25	c New solution: 156
104.16/104.25	o 156
104.16/104.25	c Elapsed CPU time: 104.014 s	Remaining CPU time: 75.9858 s
104.16/104.25	c ===============================================================================
104.16/104.25	c |      1023 |   22660   235743   561446 |    78581      233     30 | 57.596 % |
104.16/104.29	c ===============================================================================
104.16/104.29	c New solution: 155
104.16/104.29	o 155
104.16/104.29	c Elapsed CPU time: 104.052 s	Remaining CPU time: 75.9478 s
104.16/104.29	c ===============================================================================
104.16/104.29	c |      1024 |   22418   235744   561746 |    78581      234     29 | 57.596 % |
104.26/104.33	c ===============================================================================
104.26/104.33	c New solution: 154
104.26/104.33	o 154
104.26/104.33	c Elapsed CPU time: 104.09 s	Remaining CPU time: 75.9098 s
104.26/104.33	c ===============================================================================
104.26/104.33	c |      1027 |   22176   235745   562046 |    78581      237     29 | 57.596 % |
104.26/104.37	c ===============================================================================
104.26/104.37	c New solution: 153
104.26/104.37	o 153
104.26/104.37	c Elapsed CPU time: 104.126 s	Remaining CPU time: 75.8738 s
104.26/104.37	c ===============================================================================
104.26/104.37	c |      1044 |   21934   235746   562346 |    78582      254     30 | 57.596 % |
104.37/104.41	c ===============================================================================
104.37/104.41	c New solution: 152
104.37/104.41	o 152
104.37/104.41	c Elapsed CPU time: 104.164 s	Remaining CPU time: 75.8358 s
104.37/104.41	c ===============================================================================
104.37/104.41	c |      1060 |   21692   235747   562646 |    78582      156     33 | 57.596 % |
104.37/104.44	c ===============================================================================
104.37/104.44	c New solution: 151
104.37/104.44	o 151
104.37/104.44	c Elapsed CPU time: 104.202 s	Remaining CPU time: 75.7978 s
104.37/104.44	c ===============================================================================
104.37/104.44	c |      1065 |   21450   235748   562946 |    78582      161     32 | 57.596 % |
104.37/104.48	c ===============================================================================
104.37/104.48	c New solution: 150
104.37/104.48	o 150
104.37/104.48	c Elapsed CPU time: 104.235 s	Remaining CPU time: 75.7648 s
104.37/104.48	c ===============================================================================
104.37/104.48	c |      1068 |   21208   235749   563246 |    78583      164     32 | 57.596 % |
104.47/104.52	c ===============================================================================
104.47/104.52	c New solution: 149
104.47/104.52	o 149
104.47/104.52	c Elapsed CPU time: 104.273 s	Remaining CPU time: 75.7269 s
104.47/104.52	c ===============================================================================
104.47/104.52	c |      1071 |   20966   235750   563546 |    78583      167     32 | 57.596 % |
104.47/104.55	c ===============================================================================
104.47/104.55	c New solution: 148
104.47/104.55	o 148
104.47/104.55	c Elapsed CPU time: 104.306 s	Remaining CPU time: 75.6939 s
104.47/104.55	c ===============================================================================
104.47/104.55	c |      1075 |   20724   235751   563846 |    78583      171     32 | 57.596 % |
104.47/104.58	c ===============================================================================
104.47/104.58	c New solution: 147
104.47/104.58	o 147
104.47/104.58	c Elapsed CPU time: 104.336 s	Remaining CPU time: 75.6639 s
104.47/104.58	c ===============================================================================
104.47/104.58	c |      1078 |   20482   235752   564146 |    78584      174     31 | 57.596 % |
104.56/104.62	c ===============================================================================
104.56/104.62	c New solution: 146
104.56/104.62	o 146
104.56/104.62	c Elapsed CPU time: 104.37 s	Remaining CPU time: 75.6299 s
104.56/104.62	c ===============================================================================
104.56/104.62	c |      1078 |   20240   235753   564446 |    78584      174     31 | 57.596 % |
104.56/104.65	c ===============================================================================
104.56/104.65	c New solution: 145
104.56/104.65	o 145
104.56/104.65	c Elapsed CPU time: 104.403 s	Remaining CPU time: 75.5969 s
104.56/104.65	c ===============================================================================
104.56/104.65	c |      1090 |   19998   235754   564746 |    78584      186     31 | 57.596 % |
104.56/104.68	c ===============================================================================
104.56/104.68	c New solution: 144
104.56/104.68	o 144
104.56/104.68	c Elapsed CPU time: 104.435 s	Remaining CPU time: 75.5649 s
104.56/104.68	c ===============================================================================
104.56/104.68	c |      1093 |   19756   235755   565046 |    78585      189     31 | 57.596 % |
104.66/104.71	c ===============================================================================
104.66/104.71	c New solution: 143
104.66/104.71	o 143
104.66/104.71	c Elapsed CPU time: 104.468 s	Remaining CPU time: 75.5319 s
104.66/104.71	c ===============================================================================
104.66/104.71	c |      1094 |   19514   235756   565346 |    78585      190     30 | 57.596 % |
104.66/104.75	c ===============================================================================
104.66/104.75	c New solution: 142
104.66/104.75	o 142
104.66/104.75	c Elapsed CPU time: 104.498 s	Remaining CPU time: 75.5019 s
104.66/104.75	c ===============================================================================
104.66/104.75	c |      1096 |   19272   235757   565646 |    78585      192     30 | 57.596 % |
104.66/104.78	c ===============================================================================
104.66/104.78	c New solution: 141
104.66/104.78	o 141
104.66/104.78	c Elapsed CPU time: 104.531 s	Remaining CPU time: 75.4689 s
104.66/104.78	c ===============================================================================
104.66/104.78	c |      1110 |   19030   235758   565946 |    78586      206     30 | 57.596 % |
104.75/104.81	c ===============================================================================
104.75/104.81	c New solution: 140
104.75/104.81	o 140
104.75/104.81	c Elapsed CPU time: 104.565 s	Remaining CPU time: 75.4349 s
104.75/104.81	c ===============================================================================
104.75/104.81	c |      1115 |   18788   235759   566246 |    78586      211     30 | 57.596 % |
104.75/104.84	c ===============================================================================
104.75/104.84	c New solution: 139
104.75/104.84	o 139
104.75/104.84	c Elapsed CPU time: 104.596 s	Remaining CPU time: 75.4039 s
104.75/104.84	c ===============================================================================
104.75/104.84	c |      1118 |   18546   235760   566546 |    78586      214     30 | 57.596 % |
104.75/104.88	c ===============================================================================
104.75/104.88	c New solution: 138
104.75/104.88	o 138
104.75/104.88	c Elapsed CPU time: 104.628 s	Remaining CPU time: 75.3719 s
104.75/104.88	c ===============================================================================
104.75/104.88	c |      1122 |   18304   235761   566846 |    78587      218     29 | 57.596 % |
104.86/104.91	c ===============================================================================
104.86/104.91	c New solution: 137
104.86/104.91	o 137
104.86/104.91	c Elapsed CPU time: 104.658 s	Remaining CPU time: 75.3419 s
104.86/104.91	c ===============================================================================
104.86/104.91	c |      1122 |   18062   235762   567146 |    78587      218     29 | 57.596 % |
104.86/104.94	c ===============================================================================
104.86/104.94	c New solution: 136
104.86/104.94	o 136
104.86/104.94	c Elapsed CPU time: 104.693 s	Remaining CPU time: 75.3069 s
104.86/104.94	c ===============================================================================
104.86/104.94	c |      1125 |   17820   235763   567446 |    78587      221     29 | 57.596 % |
104.86/104.97	c ===============================================================================
104.86/104.97	c New solution: 135
104.86/104.97	o 135
104.86/104.97	c Elapsed CPU time: 104.722 s	Remaining CPU time: 75.2779 s
104.86/104.97	c ===============================================================================
104.86/104.97	c |      1125 |   17578   235764   567746 |    78588      221     29 | 57.596 % |
104.96/105.00	c ===============================================================================
104.96/105.00	c New solution: 134
104.96/105.00	o 134
104.96/105.00	c Elapsed CPU time: 104.751 s	Remaining CPU time: 75.2489 s
104.96/105.00	c ===============================================================================
104.96/105.00	c |      1126 |   17336   235765   568046 |    78588      222     29 | 57.596 % |
104.96/105.04	c ===============================================================================
104.96/105.04	c New solution: 133
104.96/105.04	o 133
104.96/105.04	c Elapsed CPU time: 104.788 s	Remaining CPU time: 75.2119 s
104.96/105.04	c ===============================================================================
104.96/105.04	c |      1136 |   17094   235766   568346 |    78588      232     30 | 57.596 % |
104.96/105.08	c ===============================================================================
104.96/105.08	c New solution: 132
104.96/105.08	o 132
104.96/105.08	c Elapsed CPU time: 104.829 s	Remaining CPU time: 75.1709 s
104.96/105.08	c ===============================================================================
104.96/105.08	c |      1161 |   16852   235767   568646 |    78589      257     32 | 57.596 % |
105.06/105.16	c |      1261 |   16837   235767   568646 |    86447      357     38 | 77.197 % |
105.06/105.20	c ===============================================================================
105.06/105.20	c New solution: 131
105.06/105.20	o 131
105.06/105.20	c Elapsed CPU time: 104.946 s	Remaining CPU time: 75.054 s
105.06/105.20	c ===============================================================================
105.06/105.20	c |      1267 |   16610   235768   568946 |    78589      363     37 | 77.197 % |
105.16/105.23	c ===============================================================================
105.16/105.23	c New solution: 130
105.16/105.23	o 130
105.16/105.23	c Elapsed CPU time: 104.976 s	Remaining CPU time: 75.024 s
105.16/105.23	c ===============================================================================
105.16/105.23	c |      1269 |   16368   235769   569246 |    78589      365     37 | 77.197 % |
105.16/105.26	c ===============================================================================
105.16/105.26	c New solution: 129
105.16/105.26	o 129
105.16/105.26	c Elapsed CPU time: 105.01 s	Remaining CPU time: 74.99 s
105.16/105.26	c ===============================================================================
105.16/105.26	c |      1270 |   16126   235770   569546 |    78590      366     37 | 77.197 % |
105.16/105.29	c ===============================================================================
105.16/105.29	c New solution: 128
105.16/105.29	o 128
105.16/105.29	c Elapsed CPU time: 105.043 s	Remaining CPU time: 74.957 s
105.16/105.29	c ===============================================================================
105.16/105.29	c |      1271 |   15884   235771   569846 |    78590      141     30 | 77.197 % |
105.26/105.33	c ===============================================================================
105.26/105.33	c New solution: 127
105.26/105.33	o 127
105.26/105.33	c Elapsed CPU time: 105.077 s	Remaining CPU time: 74.923 s
105.26/105.33	c ===============================================================================
105.26/105.33	c |      1273 |   15642   235772   570146 |    78590      143     30 | 77.197 % |
105.26/105.36	c ===============================================================================
105.26/105.36	c New solution: 126
105.26/105.36	o 126
105.26/105.36	c Elapsed CPU time: 105.109 s	Remaining CPU time: 74.891 s
105.26/105.36	c ===============================================================================
105.26/105.36	c |      1273 |   15400   235773   570446 |    78591      143     30 | 77.197 % |
105.26/105.39	c ===============================================================================
105.26/105.39	c New solution: 125
105.26/105.39	o 125
105.26/105.39	c Elapsed CPU time: 105.142 s	Remaining CPU time: 74.858 s
105.26/105.39	c ===============================================================================
105.26/105.39	c |      1276 |   15158   235774   570746 |    78591      146     30 | 77.197 % |
105.36/105.43	c ===============================================================================
105.36/105.43	c New solution: 124
105.36/105.43	o 124
105.36/105.43	c Elapsed CPU time: 105.174 s	Remaining CPU time: 74.826 s
105.36/105.43	c ===============================================================================
105.36/105.43	c |      1277 |   14916   235775   571046 |    78591      147     30 | 77.197 % |
105.36/105.46	c ===============================================================================
105.36/105.46	c New solution: 123
105.36/105.46	o 123
105.36/105.46	c Elapsed CPU time: 105.203 s	Remaining CPU time: 74.797 s
105.36/105.46	c ===============================================================================
105.36/105.46	c |      1280 |   14674   235776   571346 |    78592      150     29 | 77.197 % |
105.36/105.49	c ===============================================================================
105.36/105.49	c New solution: 122
105.36/105.49	o 122
105.36/105.49	c Elapsed CPU time: 105.232 s	Remaining CPU time: 74.768 s
105.36/105.49	c ===============================================================================
105.36/105.49	c |      1284 |   14432   235777   571646 |    78592      154     29 | 77.197 % |
105.46/105.52	c ===============================================================================
105.46/105.52	c New solution: 121
105.46/105.52	o 121
105.46/105.52	c Elapsed CPU time: 105.262 s	Remaining CPU time: 74.738 s
105.46/105.52	c ===============================================================================
105.46/105.52	c |      1284 |   14190   235778   571946 |    78592      154     29 | 77.197 % |
105.46/105.55	c ===============================================================================
105.46/105.55	c New solution: 120
105.46/105.55	o 120
105.46/105.55	c Elapsed CPU time: 105.292 s	Remaining CPU time: 74.708 s
105.46/105.55	c ===============================================================================
105.46/105.55	c |      1290 |   13948   235779   572246 |    78593      160     29 | 77.197 % |
105.46/105.58	c ===============================================================================
105.46/105.58	c New solution: 119
105.46/105.58	o 119
105.46/105.58	c Elapsed CPU time: 105.321 s	Remaining CPU time: 74.679 s
105.46/105.58	c ===============================================================================
105.46/105.58	c |      1292 |   13706   235780   572546 |    78593      162     29 | 77.197 % |
105.56/105.61	c ===============================================================================
105.56/105.61	c New solution: 118
105.56/105.61	o 118
105.56/105.61	c Elapsed CPU time: 105.351 s	Remaining CPU time: 74.649 s
105.56/105.61	c ===============================================================================
105.56/105.61	c |      1300 |   13464   235781   572846 |    78593      170     28 | 77.197 % |
105.56/105.63	c ===============================================================================
105.56/105.63	c New solution: 117
105.56/105.63	o 117
105.56/105.63	c Elapsed CPU time: 105.379 s	Remaining CPU time: 74.621 s
105.56/105.63	c ===============================================================================
105.56/105.63	c |      1302 |   13222   235782   573146 |    78594      172     28 | 77.197 % |
105.56/105.66	c ===============================================================================
105.56/105.66	c New solution: 116
105.56/105.66	o 116
105.56/105.66	c Elapsed CPU time: 105.406 s	Remaining CPU time: 74.594 s
105.56/105.66	c ===============================================================================
105.56/105.66	c |      1304 |   12980   235783   573446 |    78594      174     28 | 77.197 % |
105.56/105.69	c ===============================================================================
105.56/105.69	c New solution: 115
105.56/105.69	o 115
105.56/105.69	c Elapsed CPU time: 105.437 s	Remaining CPU time: 74.563 s
105.56/105.69	c ===============================================================================
105.56/105.69	c |      1306 |   12738   235784   573746 |    78594      176     28 | 77.197 % |
105.65/105.72	c ===============================================================================
105.65/105.72	c New solution: 114
105.65/105.72	o 114
105.65/105.72	c Elapsed CPU time: 105.465 s	Remaining CPU time: 74.535 s
105.65/105.72	c ===============================================================================
105.65/105.72	c |      1308 |   12496   235785   574046 |    78595      178     28 | 77.197 % |
105.65/105.75	c ===============================================================================
105.65/105.75	c New solution: 113
105.65/105.75	o 113
105.65/105.75	c Elapsed CPU time: 105.491 s	Remaining CPU time: 74.509 s
105.65/105.75	c ===============================================================================
105.65/105.75	c |      1309 |   12254   235786   574346 |    78595      179     28 | 77.197 % |
105.65/105.78	c ===============================================================================
105.65/105.78	c New solution: 112
105.65/105.78	o 112
105.65/105.78	c Elapsed CPU time: 105.521 s	Remaining CPU time: 74.479 s
105.65/105.78	c ===============================================================================
105.65/105.78	c |      1310 |   12012   235787   574646 |    78595      180     27 | 77.197 % |
105.76/105.81	c ===============================================================================
105.76/105.81	c New solution: 111
105.76/105.81	o 111
105.76/105.81	c Elapsed CPU time: 105.547 s	Remaining CPU time: 74.453 s
105.76/105.81	c ===============================================================================
105.76/105.81	c |      1313 |   11770   235788   574946 |    78596      183     27 | 77.197 % |
105.76/105.83	c ===============================================================================
105.76/105.83	c New solution: 110
105.76/105.83	o 110
105.76/105.83	c Elapsed CPU time: 105.573 s	Remaining CPU time: 74.427 s
105.76/105.83	c ===============================================================================
105.76/105.83	c |      1317 |   11528   235789   575246 |    78596      187     27 | 77.197 % |
105.76/105.86	c ===============================================================================
105.76/105.86	c New solution: 109
105.76/105.86	o 109
105.76/105.86	c Elapsed CPU time: 105.603 s	Remaining CPU time: 74.3971 s
105.76/105.86	c ===============================================================================
105.76/105.86	c |      1326 |   11286   235790   575546 |    78596      196     27 | 77.197 % |
105.76/105.90	c ===============================================================================
105.76/105.90	c New solution: 108
105.76/105.90	o 108
105.76/105.90	c Elapsed CPU time: 105.635 s	Remaining CPU time: 74.3651 s
105.76/105.90	c ===============================================================================
105.76/105.90	c |      1345 |   11044   235791   575846 |    78597      215     28 | 77.197 % |
105.86/105.94	c |      1446 |   11017   235791   575846 |    86456      316     31 | 85.171 % |
105.96/106.02	c ===============================================================================
105.96/106.02	c New solution: 107
105.96/106.02	o 107
105.96/106.02	c Elapsed CPU time: 105.76 s	Remaining CPU time: 74.2401 s
105.96/106.02	c ===============================================================================
105.96/106.02	c |      1512 |   10802   235792   576146 |    78597      382     34 | 85.171 % |
105.96/106.05	c ===============================================================================
105.96/106.05	c New solution: 106
105.96/106.05	o 106
105.96/106.05	c Elapsed CPU time: 105.789 s	Remaining CPU time: 74.2111 s
105.96/106.05	c ===============================================================================
105.96/106.05	c |      1513 |   10560   235793   576446 |    78597      383     34 | 85.171 % |
105.96/106.08	c ===============================================================================
105.96/106.08	c New solution: 105
105.96/106.08	o 105
105.96/106.08	c Elapsed CPU time: 105.816 s	Remaining CPU time: 74.1841 s
105.96/106.08	c ===============================================================================
105.96/106.08	c |      1519 |   10318   235794   576746 |    78598      389     34 | 85.171 % |
106.06/106.11	c |      1619 |   10257   235794   576746 |    86457      489     34 | 86.167 % |
106.06/106.17	c |      1769 |   10257   235794   576746 |    95103      639     38 | 86.167 % |
106.16/106.20	c ===============================================================================
106.16/106.20	c New solution: 104
106.16/106.20	o 104
106.16/106.20	c Elapsed CPU time: 105.938 s	Remaining CPU time: 74.0621 s
106.16/106.20	c ===============================================================================
106.16/106.20	c |      1783 |   10076   235795   577046 |    78598      653     38 | 86.167 % |
106.16/106.25	c ===============================================================================
106.16/106.25	c New solution: 103
106.16/106.25	o 103
106.16/106.25	c Elapsed CPU time: 105.978 s	Remaining CPU time: 74.0221 s
106.16/106.25	c ===============================================================================
106.16/106.25	c |      1795 |    9834   235796   577346 |    78598      665     38 | 86.167 % |
106.16/106.27	c ===============================================================================
106.16/106.27	c New solution: 102
106.16/106.27	o 102
106.16/106.27	c Elapsed CPU time: 106.005 s	Remaining CPU time: 73.9951 s
106.16/106.27	c ===============================================================================
106.16/106.27	c |      1801 |    9592   235797   577646 |    78599      671     38 | 86.167 % |
106.26/106.30	c ===============================================================================
106.26/106.30	c New solution: 101
106.26/106.30	o 101
106.26/106.30	c Elapsed CPU time: 106.033 s	Remaining CPU time: 73.9671 s
106.26/106.30	c ===============================================================================
106.26/106.30	c |      1808 |    9350   235798   577946 |    78599      678     38 | 86.167 % |
106.26/106.36	c ===============================================================================
106.26/106.36	c New solution: 100
106.26/106.36	o 100
106.26/106.36	c Elapsed CPU time: 106.092 s	Remaining CPU time: 73.9081 s
106.26/106.36	c ===============================================================================
106.26/106.36	c |      1854 |    9108   235799   578246 |    78599      458     41 | 86.167 % |
106.36/106.42	c |      1954 |    9094   235799   578246 |    86459      558     45 | 87.828 % |
106.36/106.45	c ===============================================================================
106.36/106.45	c New solution: 99
106.36/106.45	o 99
106.36/106.45	c Elapsed CPU time: 106.178 s	Remaining CPU time: 73.8221 s
106.36/106.45	c ===============================================================================
106.36/106.45	c |      1961 |    8866   235800   578546 |    78600      565     44 | 87.828 % |
106.36/106.49	c |      2061 |    8851   235800   578546 |    86460      665     43 | 88.161 % |
106.46/106.58	c |      2211 |    8845   235800   578546 |    95106      815     46 | 88.161 % |
106.57/106.62	c ===============================================================================
106.57/106.62	c New solution: 98
106.57/106.62	o 98
106.57/106.62	c Elapsed CPU time: 106.345 s	Remaining CPU time: 73.6552 s
106.57/106.62	c ===============================================================================
106.57/106.62	c |      2224 |    8624   235801   578846 |    78600      828     45 | 88.161 % |
106.57/106.65	c ===============================================================================
106.57/106.65	c New solution: 97
106.57/106.65	o 97
106.57/106.65	c Elapsed CPU time: 106.378 s	Remaining CPU time: 73.6222 s
106.57/106.65	c ===============================================================================
106.57/106.65	c |      2232 |    8382   235802   579146 |    78600      836     45 | 88.161 % |
106.57/106.70	c |      2332 |    8362   235802   579146 |    86460      936     46 | 88.825 % |
106.76/106.86	c |      2483 |    8350   235802   579146 |    95106     1087     50 | 88.825 % |
106.86/106.91	c |      2708 |    8345   235802   579146 |   104617     1312     46 | 88.825 % |
107.06/107.19	c |      3045 |    8342   235802   579146 |   115079     1649     46 | 88.825 % |
107.26/107.37	c |      3551 |    8334   235802   579146 |   126587     2155     47 | 88.825 % |
108.35/108.42	c |      4311 |    8140   235802   579146 |   139245     2752     52 | 88.825 % |
108.66/108.70	c |      5450 |    8140   235802   579146 |   153170     3891     48 | 88.825 % |
110.75/110.81	c |      7158 |    8140   235802   579146 |   168487     5599     54 | 88.825 % |
110.96/111.04	c ===============================================================================
110.96/111.04	c New solution: 96
110.96/111.04	o 96
110.96/111.04	c Elapsed CPU time: 110.756 s	Remaining CPU time: 69.2438 s
110.96/111.04	c ===============================================================================
110.96/111.04	c |      7629 |    8140   235803   579446 |    78601     6070     54 | 88.825 % |
111.06/111.19	c |      7729 |    7898   235803   579446 |    86461     5631     52 | 89.157 % |
111.15/111.24	c |      7879 |    7898   235803   579446 |    95107     5781     52 | 89.157 % |
111.46/111.52	c |      8104 |    7898   235803   579446 |   104617     6006     52 | 89.157 % |
111.56/111.68	c |      8441 |    7898   235803   579446 |   115079     6343     52 | 89.157 % |
112.07/112.15	c |      8948 |    7898   235803   579446 |   126587     6850     54 | 89.157 % |
112.26/112.37	c |      9709 |    7898   235803   579446 |   139246     7611     52 | 89.157 % |
113.46/113.51	c |     10848 |    7898   235803   579446 |   153171     8750     53 | 89.157 % |
113.96/114.03	c |     12556 |    7898   235803   579446 |   168488    10458     52 | 89.157 % |
118.05/118.18	c |     15118 |    7898   235803   579446 |   185337    13020     58 | 89.157 % |
119.96/120.02	c |     18963 |    7898   235803   579446 |   203870    16865     58 | 89.157 % |
127.16/127.22	c |     24729 |    7898   235803   579446 |   224257    22631     65 | 89.157 % |
129.85/129.95	c ===============================================================================
129.85/129.95	c New solution: 95
129.85/129.95	o 95
129.85/129.95	c Elapsed CPU time: 129.593 s	Remaining CPU time: 50.4067 s
129.85/129.95	c ===============================================================================
129.85/129.95	c |     28134 |    7898   235804   579746 |    78601    26036     67 | 89.157 % |
130.05/130.10	c |     28235 |    7656   235804   579746 |    86461    21940     58 | 89.490 % |
130.15/130.27	c |     28386 |    7656   235804   579746 |    95107    22091     58 | 89.490 % |
130.26/130.36	c |     28611 |    7656   235804   579746 |   104618    22316     58 | 89.490 % |
130.65/130.73	c |     28948 |    7656   235804   579746 |   115080    22653     58 | 89.490 % |
130.86/130.94	c |     29457 |    7656   235804   579746 |   126588    23162     57 | 89.490 % |
131.25/131.34	c |     30217 |    7656   235804   579746 |   139247    23922     57 | 89.490 % |
133.06/133.17	c |     31356 |    7656   235804   579746 |   153171    25061     58 | 89.490 % |
133.95/134.00	c |     33064 |    7656   235804   579746 |   168488    26769     57 | 89.490 % |
137.25/137.38	c |     35626 |    7656   235804   579746 |   185337    29331     58 | 89.490 % |
139.45/139.56	c |     39473 |    7656   235804   579746 |   203871    33178     58 | 89.490 % |
148.55/148.63	c |     45239 |    7656   235804   579746 |   224258    38944     62 | 89.490 % |
155.55/155.68	c |     53888 |    7656   235804   579746 |   246684    47593     64 | 89.490 % |
160.94/161.00	c ===============================================================================
160.94/161.00	c New solution: 94
160.94/161.00	o 94
160.94/161.00	c Elapsed CPU time: 160.532 s	Remaining CPU time: 19.4684 s
160.94/161.00	c ===============================================================================
160.94/161.00	c |     57041 |    7656   235805   580046 |    78601    50746     67 | 89.490 % |
161.04/161.18	c |     57141 |    7414   235805   580046 |    86461    37591     55 | 89.822 % |
161.25/161.30	c |     57293 |    7414   235805   580046 |    95108    37743     55 | 89.822 % |
161.66/161.77	c |     57519 |    7414   235805   580046 |   104618    37969     55 | 89.822 % |
161.85/161.97	c |     57857 |    7414   235805   580046 |   115080    38307     55 | 89.822 % |
162.44/162.56	c |     58364 |    7414   235805   580046 |   126588    38814     55 | 89.822 % |
162.94/163.01	c |     59126 |    7414   235805   580046 |   139247    39576     55 | 89.822 % |
164.25/164.38	c |     60266 |    7414   235805   580046 |   153172    40716     55 | 89.822 % |
165.84/165.99	c |     61974 |    7414   235805   580046 |   168489    42424     56 | 89.822 % |
168.74/168.85	c |     64537 |    7414   235805   580046 |   185338    44987     57 | 89.822 % |
173.44/173.50	c |     68381 |    7414   235805   580046 |   203872    48831     60 | 89.822 % |
178.23/178.33	c |     74148 |    7414   235805   580046 |   224259    54598     59 | 89.822 % |
180.43/180.54	c There are 65428 assigned variables. 285 in cost function.
180.84/180.92	c core #1
180.84/180.92	c 
180.84/180.92	c 
180.84/180.92	c Core size: 29	Core Weight: 79	Total Weight: 79
180.84/180.92	c
180.84/180.92	c
180.84/180.92	c ============================[ Search Statistics ]==============================
180.84/180.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.84/180.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.84/180.92	c ===============================================================================
180.84/180.92	c |         0 |    4026    84655    52236 |    28218        0    nan |  0.000 % |
180.84/180.96	c |       101 |    4026    84655    52236 |    31040      101     29 | 94.474 % |
180.94/181.01	c |       253 |    4026    84655    52236 |    34144      253     35 | 94.474 % |
180.94/181.09	c |       479 |    4026    84655    52236 |    37558      479     35 | 94.474 % |
181.14/181.20	c |       816 |    4026    84655    52236 |    41314      816     34 | 94.474 % |
181.24/181.38	c |      1322 |    4007    84655    52236 |    45445     1168     34 | 94.500 % |
181.53/181.62	c ===============================================================================
181.64/181.74	c core #2
181.64/181.74	c 
181.64/181.74	c 
181.64/181.74	c Core size: 427	Core Weight: 1	Total Weight: 80
181.64/181.74	c
181.64/181.74	c
181.64/181.74	c ============================[ Search Statistics ]==============================
181.64/181.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.64/181.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.64/181.74	c ===============================================================================
181.64/181.74	c |         0 |    4297    84669    53391 |    28223        0    nan |  0.000 % |
181.64/181.78	c |       102 |    4297    84669    53391 |    31045      102     34 | 94.103 % |
181.74/181.84	c |       252 |    4297    84669    53391 |    34149      252     43 | 94.103 % |
181.84/181.92	c |       478 |    4297    84669    53391 |    37564      478     37 | 94.103 % |
181.94/182.04	c |       815 |    4297    84669    53391 |    41321      815     36 | 94.103 % |
182.14/182.22	c |      1321 |    4297    84669    53391 |    45453     1321     39 | 94.103 % |
182.34/182.49	c |      2081 |    4297    84669    53391 |    49998     2081     39 | 94.103 % |
182.84/182.99	c |      3220 |    4284    84669    53391 |    54998     3036     41 | 94.121 % |
183.54/183.70	c |      4929 |    4284    84669    53391 |    60498     4745     41 | 94.121 % |
184.83/184.90	c |      7491 |    4284    84669    53391 |    66548     7307     43 | 94.121 % |
186.84/186.91	c |     11336 |    4255    84669    53391 |    73203     8445     42 | 94.161 % |
190.34/190.47	c |     17102 |    4159    84669    53391 |    80523     9957     40 | 94.293 % |
195.23/195.40	c ===============================================================================
195.43/195.52	c core #3
195.43/195.52	c 
195.43/195.52	c 
195.43/195.52	c Core size: 531	Core Weight: 1	Total Weight: 81
195.43/195.52	c
195.43/195.52	c
195.43/195.52	c ============================[ Search Statistics ]==============================
195.43/195.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.43/195.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.43/195.52	c ===============================================================================
195.43/195.52	c |         0 |    4552    84686    54758 |    28228        0    nan |  0.000 % |
195.43/195.56	c |       101 |    4552    84686    54758 |    31051      101     29 | 93.754 % |
195.54/195.61	c |       251 |    4552    84686    54758 |    34156      251     36 | 93.754 % |
195.54/195.67	c |       477 |    4552    84686    54758 |    37572      477     37 | 93.754 % |
195.64/195.78	c |       814 |    4552    84686    54758 |    41329      814     39 | 93.754 % |
195.84/195.97	c |      1320 |    4552    84686    54758 |    45462     1320     42 | 93.754 % |
196.13/196.23	c |      2081 |    4552    84686    54758 |    50008     2081     41 | 93.754 % |
196.53/196.64	c |      3224 |    4552    84686    54758 |    55009     3224     43 | 93.754 % |
197.24/197.30	c |      4932 |    4552    84686    54758 |    60510     4932     41 | 93.754 % |
198.23/198.39	c |      7495 |    4552    84686    54758 |    66561     7495     40 | 93.754 % |
200.04/200.17	c |     11340 |    4552    84686    54758 |    73217    11340     46 | 93.754 % |
203.23/203.39	c |     17106 |    4552    84686    54758 |    80539    17106     47 | 93.754 % |
209.13/209.25	c |     25755 |    4552    84686    54758 |    88593    25755     46 | 93.754 % |
219.94/220.02	c |     38729 |    4552    84686    54758 |    97453    38729     48 | 93.754 % |
240.73/240.80	c |     58190 |    4534    84686    54758 |   107198    47932     50 | 93.779 % |
281.31/281.47	c |     87382 |    4534    84686    54758 |   117918    77124     50 | 93.779 % |
377.38/377.53	c |    131171 |    4534    84686    54758 |   129709   120913     53 | 93.779 % |
545.53/545.72	c |    196855 |    4417    84686    54758 |   142680    94644     47 | 93.940 % |
802.57/802.84	c ===============================================================================
802.97/803.23	c core #4
802.97/803.23	c 
802.97/803.23	c 
802.97/803.23	c Core size: 348	Core Weight: 1	Total Weight: 82
802.97/803.23	c
802.97/803.23	c
802.97/803.23	c ============================[ Search Statistics ]==============================
802.97/803.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
802.97/803.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
802.97/803.23	c ===============================================================================
802.97/803.23	c |         0 |    4806    84746    55930 |    28248        0    nan |  0.000 % |
802.97/803.27	c |       101 |    4806    84746    55930 |    31073      101     32 | 93.407 % |
803.07/803.34	c |       251 |    4806    84746    55930 |    34180      251     45 | 93.407 % |
803.17/803.42	c |       478 |    4806    84746    55930 |    37598      478     40 | 93.407 % |
803.27/803.56	c |       815 |    4806    84746    55930 |    41358      815     46 | 93.407 % |
803.47/803.76	c |      1322 |    4806    84746    55930 |    45494     1322     44 | 93.407 % |
803.78/804.04	c |      2081 |    4806    84746    55930 |    50044     2081     45 | 93.407 % |
804.27/804.54	c |      3220 |    4806    84746    55930 |    55048     3220     44 | 93.407 % |
804.97/805.22	c |      4929 |    4806    84746    55930 |    60553     4929     43 | 93.407 % |
806.08/806.32	c |      7491 |    4806    84746    55930 |    66608     7491     47 | 93.407 % |
808.07/808.38	c |     11335 |    4806    84746    55930 |    73269    11335     45 | 93.407 % |
811.27/811.53	c |     17102 |    4806    84746    55930 |    80596    17102     50 | 93.407 % |
817.77/818.03	c |     25751 |    4806    84746    55930 |    88656    25751     46 | 93.407 % |
828.07/828.35	c |     38726 |    4806    84746    55930 |    97522    38726     49 | 93.407 % |
853.05/853.39	c |     58187 |    4806    84746    55930 |   107274    58187     54 | 93.407 % |
905.24/905.54	c |     87379 |    4806    84746    55930 |   118001    87379     53 | 93.407 % |
1009.01/1009.38	c |    131168 |    4806    84746    55930 |   129801   131168     53 | 93.407 % |
1218.86/1219.20	c |    196852 |    4806    84746    55930 |   142782   196852     56 | 93.407 % |
1408.22/1408.61	c |    295378 |    4806    84746    55930 |   157060    99884     69 | 93.407 % |
1794.89/1795.43	c |    443168 |    4806    84746    55930 |   172766    39814     62 | 93.407 % |

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-2686955-1278444891/watcher-2686955-1278444891 -o /tmp/evaluation-result-2686955-1278444891/solver-2686955-1278444891 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686955-1278444891.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.07 1.03 1.00 3/106 25104
/proc/meminfo: memFree=1802308/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=10212 CPUtime=0
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 297 0 0 0 0 0 0 0 19 0 1 0 12700404 10457088 215 1992294400 134512640 135752675 4293617344 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 2553 216 134 303 0 374 0

[startup+0.0139731 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 25104
/proc/meminfo: memFree=1802308/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=10496 CPUtime=0
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 373 0 0 0 0 0 0 0 19 0 1 0 12700404 10747904 291 1992294400 134512640 135752675 4293617344 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 2624 291 141 303 0 445 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10496

[startup+0.100979 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 25104
/proc/meminfo: memFree=1802308/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=15128 CPUtime=0.09
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 1490 0 0 0 9 0 0 0 19 0 1 0 12700404 15491072 1408 1992294400 134512640 135752675 4293617344 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 3782 1408 267 303 0 1603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15128

[startup+0.300992 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 25104
/proc/meminfo: memFree=1802308/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=19400 CPUtime=0.29
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 2851 0 0 0 28 1 0 0 20 0 1 0 12700404 19865600 2736 1992294400 134512640 135752675 4293617344 18446744073709551615 134574323 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 4850 2736 560 303 0 2671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19400

[startup+0.701021 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 25104
/proc/meminfo: memFree=1802308/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=25724 CPUtime=0.68
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 4812 0 0 0 67 1 0 0 21 0 1 0 12700404 26341376 4657 1992294400 134512640 135752675 4293617344 18446744073709551615 134559930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 6431 4657 1174 303 0 4252 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25724

[startup+1.50108 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 25105
/proc/meminfo: memFree=1782832/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=36608 CPUtime=1.48
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 8227 0 0 0 146 2 0 0 23 0 1 0 12700404 37486592 7958 1992294400 134512640 135752675 4293617344 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 9152 7958 1990 303 0 6973 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36608

[startup+3.10119 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 25105
/proc/meminfo: memFree=1751708/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=55800 CPUtime=3.09
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 15029 0 0 0 305 4 0 0 25 0 1 0 12700404 57139200 12661 1992294400 134512640 135752675 4293617344 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 13950 12661 142 303 0 13645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55800

[startup+6.30041 s]
/proc/loadavg: 1.15 1.05 1.01 2/107 25105
/proc/meminfo: memFree=1746376/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=63060 CPUtime=6.28
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 16836 0 0 0 623 5 0 0 25 0 1 0 12700404 64573440 14468 1992294400 134512640 135752675 4293617344 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 15765 14468 142 303 0 15460 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63060

[startup+12.7019 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 25105
/proc/meminfo: memFree=1735712/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=72036 CPUtime=12.68
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 19083 0 0 0 1262 6 0 0 25 0 1 0 12700404 73764864 16715 1992294400 134512640 135752675 4293617344 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 18009 16715 142 303 0 17704 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72036

[startup+25.5008 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 25105
/proc/meminfo: memFree=1723932/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=84312 CPUtime=25.48
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 22155 0 0 0 2540 8 0 0 25 0 1 0 12700404 86335488 19787 1992294400 134512640 135752675 4293617344 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 21078 19787 142 303 0 20773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84312

[startup+51.1006 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 25107
/proc/meminfo: memFree=1707068/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=100152 CPUtime=51.07
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 26125 0 0 0 5097 10 0 0 25 0 1 0 12700404 102555648 23757 1992294400 134512640 135752675 4293617344 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25038 23757 142 303 0 24733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100152

[startup+102.308 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 25107
/proc/meminfo: memFree=1693056/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=113176 CPUtime=102.26
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 30806 0 0 0 10208 18 0 0 18 0 1 0 12700404 115892224 27123 1992294400 134512640 135752675 4293617344 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 28294 27123 145 303 0 27989 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 113176

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 25109
/proc/meminfo: memFree=1693056/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=113176 CPUtime=162.24
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 30806 0 0 0 16181 43 0 0 25 0 1 0 12700404 115892224 27123 1992294400 134512640 135752675 4293617344 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 28294 27123 145 303 0 27989 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 113176

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25111
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=222.23
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32516 0 0 0 22154 69 0 0 25 0 1 0 12700404 105443328 25053 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25053 146 303 0 25438 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 102972

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25113
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=282.21
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32516 0 0 0 28135 86 0 0 25 0 1 0 12700404 105443328 25053 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25053 146 303 0 25438 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 102972

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25115
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=342.2
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32516 0 0 0 34121 99 0 0 25 0 1 0 12700404 105443328 25053 1992294400 134512640 135752675 4293617344 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25053 146 303 0 25438 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 102972

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25115
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=402.18
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32516 0 0 0 40108 110 0 0 25 0 1 0 12700404 105443328 25053 1992294400 134512640 135752675 4293617344 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25053 146 303 0 25438 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 102972

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25117
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=462.16
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32528 0 0 0 46095 121 0 0 25 0 1 0 12700404 105443328 25065 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25065 146 303 0 25438 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 102972

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25119
/proc/meminfo: memFree=1701240/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=102972 CPUtime=522.15
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 32528 0 0 0 52081 134 0 0 25 0 1 0 12700404 105443328 25065 1992294400 134512640 135752675 4293617344 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 25743 25065 146 303 0 25438 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 102972

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25121
/proc/meminfo: memFree=1699628/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=105084 CPUtime=582.13
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 33047 0 0 0 58068 145 0 0 25 0 1 0 12700404 107606016 25584 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 26271 25584 146 303 0 25966 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 105084

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25123
/proc/meminfo: memFree=1691692/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=112756 CPUtime=642.12
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 34954 0 0 0 64056 156 0 0 25 0 1 0 12700404 115462144 27491 1992294400 134512640 135752675 4293617344 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 28189 27491 146 303 0 27884 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 112756

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25127
/proc/meminfo: memFree=1667264/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=137700 CPUtime=822.06
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 41497 0 0 0 82009 197 0 0 25 0 1 0 12700404 141004800 33433 1992294400 134512640 135752675 4293617344 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 34425 33433 146 303 0 34120 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 137700

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25129
/proc/meminfo: memFree=1667140/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=137700 CPUtime=882.05
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 41527 0 0 0 87991 214 0 0 25 0 1 0 12700404 141004800 33463 1992294400 134512640 135752675 4293617344 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 34425 33463 146 303 0 34120 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 137700

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25131
/proc/meminfo: memFree=1661808/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=143684 CPUtime=942.03
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 42977 0 0 0 93975 228 0 0 25 0 1 0 12700404 147132416 34913 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 35921 34913 146 303 0 35616 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 143684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25131
/proc/meminfo: memFree=1655608/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=149820 CPUtime=1002.02
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 44523 0 0 0 99960 242 0 0 25 0 1 0 12700404 153415680 36459 1992294400 134512640 135752675 4293617344 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 37455 36459 146 303 0 37150 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 149820

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25133
/proc/meminfo: memFree=1649532/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=156056 CPUtime=1062
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 46040 0 0 0 105946 254 0 0 25 0 1 0 12700404 159801344 37976 1992294400 134512640 135752675 4293617344 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 39014 37976 146 303 0 38709 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 156056

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25135
/proc/meminfo: memFree=1644200/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=161240 CPUtime=1121.98
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 47346 0 0 0 111932 266 0 0 25 0 1 0 12700404 165109760 39282 1992294400 134512640 135752675 4293617344 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 40310 39282 146 303 0 40005 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 161240

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25137
/proc/meminfo: memFree=1639116/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=166256 CPUtime=1181.97
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 48612 0 0 0 117919 278 0 0 25 0 1 0 12700404 170246144 40548 1992294400 134512640 135752675 4293617344 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 41564 40548 146 303 0 41259 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 166256

[startup+1242.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 25139
/proc/meminfo: memFree=1634156/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=171052 CPUtime=1241.95
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 49821 0 0 0 123906 289 0 0 25 0 1 0 12700404 175157248 41757 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 42763 41757 146 303 0 42458 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 171052

[startup+1302.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 25139
/proc/meminfo: memFree=1623740/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=181656 CPUtime=1301.94
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 52390 0 0 0 129888 306 0 0 25 0 1 0 12700404 186015744 44326 1992294400 134512640 135752675 4293617344 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 45414 44326 146 303 0 45109 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 181656

[startup+1362.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 25141
/proc/meminfo: memFree=1611092/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=194344 CPUtime=1361.93
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 55555 0 0 0 135869 324 0 0 25 0 1 0 12700404 199008256 47491 1992294400 134512640 135752675 4293617344 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 48586 47491 146 303 0 48281 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 194344

[startup+1422.31 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 25143
/proc/meminfo: memFree=1601544/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=203732 CPUtime=1421.91
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 57905 0 0 0 141852 339 0 0 25 0 1 0 12700404 208621568 49841 1992294400 134512640 135752675 4293617344 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 50933 49841 146 303 0 50628 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 203732

[startup+1482.3 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 25145
/proc/meminfo: memFree=1593484/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=211960 CPUtime=1481.89
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 59940 0 0 0 147836 353 0 0 25 0 1 0 12700404 217047040 51876 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 52990 51876 146 303 0 52685 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 211960

[startup+1542.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 25147
/proc/meminfo: memFree=1586416/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=218872 CPUtime=1541.87
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 61671 0 0 0 153823 364 0 0 25 0 1 0 12700404 224124928 53607 1992294400 134512640 135752675 4293617344 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 54718 53607 146 303 0 54413 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 218872

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25156
/proc/meminfo: memFree=1578852/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=226264 CPUtime=1601.85
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 63512 0 0 0 159809 376 0 0 25 0 1 0 12700404 231694336 55448 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 56566 55448 146 303 0 56261 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 226264

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25158
/proc/meminfo: memFree=1572280/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=232884 CPUtime=1661.83
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 65173 0 0 0 165794 389 0 0 25 0 1 0 12700404 238473216 57109 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 58221 57109 146 303 0 57916 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 232884

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25160
/proc/meminfo: memFree=1566700/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=238448 CPUtime=1721.81
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 66570 0 0 0 171780 401 0 0 25 0 1 0 12700404 244170752 58506 1992294400 134512640 135752675 4293617344 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 59612 58506 146 303 0 59307 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 238448

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25162
/proc/meminfo: memFree=1558764/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=246284 CPUtime=1781.8
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 68547 0 0 0 177764 416 0 0 25 0 1 0 12700404 252194816 60483 1992294400 134512640 135752675 4293617344 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 61571 60483 146 303 0 61266 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 246284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25162
/proc/meminfo: memFree=1553928/2059040 swapFree=4137936/4192956
[pid=25104] ppid=25102 vsize=250912 CPUtime=1800.11
/proc/25104/stat : 25104 (wbo1.4b) R 25102 25104 22805 0 -1 4202496 69694 0 0 0 179587 424 0 0 25 0 1 0 12700404 256933888 61630 1992294400 134512640 135752675 4293617344 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25104/statm: 62728 61630 146 303 0 62423 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 250912

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.14
CPU user time (s): 1795.87
CPU system time (s): 4.26635
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 250912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.87
system time used= 4.26635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69694
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= 63
involuntary context switches= 22651

runsolver used 3.03254 second user time and 8.48971 second system time

The end

Launcher Data 

Begin job on node034 at 2010-07-06 21:34:52
IDJOB=2686955
IDBENCH=77200
IDSOLVER=1190
FILE ID=node034/2686955-1278444891
PBS_JOBID= 11233445
Free space on /tmp= 62392 MiB

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

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

MD5SUM BENCH= 5495138de3d55ac13cf4e73f1acf7a00
RANDOM SEED=759723650

node034.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.216
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.43
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.216
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802836 kB
Buffers:          9984 kB
Cached:         156596 kB
SwapCached:      11536 kB
Active:         104676 kB
Inactive:        78960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802836 kB
SwapTotal:     4192956 kB
SwapFree:      4137936 kB
Dirty:           10228 kB
Writeback:           0 kB
AnonPages:       11080 kB
Mapped:          11492 kB
Slab:            50688 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182784 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= 62388 MiB
End job on node034 at 2010-07-06 22:04:54