Trace number 2686970

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.09 1800.75

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12053_3.std.opb
MD5SUMc9d9e9de965e10444f6e461e8225e8d3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark1798.07
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 constraints256348
Number of constraints which are clauses255148
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 constraint92
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2686970-1278445224.opb.
0.00/0.00	c Instance file HOME/instance-2686970-1278445224.opb
0.00/0.00	c File size is 8259994 bytes.
1.49/1.56	c Highest Coefficient sum: 519
1.49/1.56	c ============================[ Problem Statistics ]=============================
1.49/1.56	c |                                                                             |
1.49/1.56	c |  Parsing time:          1.54         s                                      |
1.49/1.56	c |  Number Variables:      72842                                               |
1.49/1.56	c |  Number Clauses:        255148                                              |
1.49/1.56	c |  Number Cardinality:    0                                                   |
1.49/1.56	c |  Number PB Constraints: 1200                                                |
97.65/97.72	c ============================[ Search Statistics ]==============================
97.65/97.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.65/97.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.65/97.72	c ===============================================================================
97.65/97.72	c |         0 |   51591   257602   530174 |    85449        0    nan |  0.000 % |
97.65/97.79	c ===============================================================================
97.65/97.79	c New solution: 300
97.65/97.79	o 300
97.65/97.79	c Elapsed CPU time: 97.6092 s	Remaining CPU time: 82.3908 s
97.65/97.79	c ===============================================================================
97.65/97.79	c |         1 |   51591   257603   530474 |    85867        1      7 |  0.000 % |
97.76/97.84	c ===============================================================================
97.76/97.84	c New solution: 299
97.76/97.84	o 299
97.76/97.84	c Elapsed CPU time: 97.6632 s	Remaining CPU time: 82.3368 s
97.76/97.84	c ===============================================================================
97.76/97.84	c |         5 |   51470   257604   530774 |    85868        5     13 |  0.000 % |
97.86/97.91	c ===============================================================================
97.86/97.91	c New solution: 298
97.86/97.91	o 298
97.86/97.91	c Elapsed CPU time: 97.7291 s	Remaining CPU time: 82.2709 s
97.86/97.91	c ===============================================================================
97.86/97.91	c |        14 |   51338   257605   531074 |    85868       14     10 |  0.000 % |
97.86/97.99	c ===============================================================================
97.86/97.99	c New solution: 297
97.86/97.99	o 297
97.86/97.99	c Elapsed CPU time: 97.8121 s	Remaining CPU time: 82.1879 s
97.86/97.99	c ===============================================================================
97.86/97.99	c |        95 |   51189   257606   531374 |    85868       95     46 |  0.000 % |
97.95/98.05	c ===============================================================================
97.95/98.05	c New solution: 296
97.95/98.05	o 296
97.95/98.05	c Elapsed CPU time: 97.8691 s	Remaining CPU time: 82.1309 s
97.95/98.05	c ===============================================================================
97.95/98.05	c |       104 |   51028   257607   531674 |    85869      104     44 |  0.000 % |
98.05/98.11	c ===============================================================================
98.05/98.11	c New solution: 295
98.05/98.11	o 295
98.05/98.11	c Elapsed CPU time: 97.9341 s	Remaining CPU time: 82.0659 s
98.05/98.11	c ===============================================================================
98.05/98.11	c |       113 |   50847   257608   531974 |    85869      113     42 |  0.000 % |
98.05/98.17	c ===============================================================================
98.05/98.17	c New solution: 294
98.05/98.17	o 294
98.05/98.17	c Elapsed CPU time: 97.9871 s	Remaining CPU time: 82.0129 s
98.05/98.17	c ===============================================================================
98.05/98.17	c |       119 |   50659   257609   532274 |    85869      119     41 |  0.000 % |
98.15/98.22	c ===============================================================================
98.15/98.22	c New solution: 293
98.15/98.22	o 293
98.15/98.22	c Elapsed CPU time: 98.0411 s	Remaining CPU time: 81.9589 s
98.15/98.22	c ===============================================================================
98.15/98.22	c |       126 |   50459   257610   532574 |    85870      126     40 |  0.000 % |
98.15/98.28	c ===============================================================================
98.15/98.28	c New solution: 292
98.15/98.28	o 292
98.15/98.28	c Elapsed CPU time: 98.1021 s	Remaining CPU time: 81.8979 s
98.15/98.28	c ===============================================================================
98.15/98.28	c |       149 |   50251   257611   532874 |    85870      149     39 |  0.000 % |
98.25/98.35	c ===============================================================================
98.25/98.35	c New solution: 291
98.25/98.35	o 291
98.25/98.35	c Elapsed CPU time: 98.1671 s	Remaining CPU time: 81.8329 s
98.25/98.35	c ===============================================================================
98.25/98.35	c |       151 |   50034   257612   533174 |    85870      128     37 |  0.000 % |
98.36/98.42	c ===============================================================================
98.36/98.42	c New solution: 290
98.36/98.42	o 290
98.36/98.42	c Elapsed CPU time: 98.2311 s	Remaining CPU time: 81.7689 s
98.36/98.42	c ===============================================================================
98.36/98.42	c |       156 |   49798   257613   533474 |    85871      133     37 |  0.000 % |
98.36/98.48	c ===============================================================================
98.36/98.48	c New solution: 289
98.36/98.48	o 289
98.36/98.48	c Elapsed CPU time: 98.2951 s	Remaining CPU time: 81.7049 s
98.36/98.48	c ===============================================================================
98.36/98.48	c |       159 |   49556   257614   533774 |    85871      136     36 |  0.000 % |
98.46/98.54	c ===============================================================================
98.46/98.54	c New solution: 288
98.46/98.54	o 288
98.46/98.54	c Elapsed CPU time: 98.357 s	Remaining CPU time: 81.643 s
98.46/98.54	c ===============================================================================
98.46/98.54	c |       160 |   49314   257615   534074 |    85871      137     36 |  0.000 % |
98.46/98.60	c ===============================================================================
98.46/98.60	c New solution: 287
98.46/98.60	o 287
98.46/98.60	c Elapsed CPU time: 98.41 s	Remaining CPU time: 81.59 s
98.46/98.60	c ===============================================================================
98.46/98.60	c |       168 |   49072   257616   534374 |    85872      145     35 |  0.000 % |
98.56/98.65	c ===============================================================================
98.56/98.65	c New solution: 286
98.56/98.65	o 286
98.56/98.65	c Elapsed CPU time: 98.46 s	Remaining CPU time: 81.54 s
98.56/98.65	c ===============================================================================
98.56/98.65	c |       173 |   48830   257617   534674 |    85872      150     35 |  0.000 % |
98.66/98.71	c ===============================================================================
98.66/98.71	c New solution: 285
98.66/98.71	o 285
98.66/98.71	c Elapsed CPU time: 98.523 s	Remaining CPU time: 81.477 s
98.66/98.71	c ===============================================================================
98.66/98.71	c |       173 |   48588   257618   534974 |    85872      150     35 |  0.000 % |
98.66/98.77	c ===============================================================================
98.66/98.77	c New solution: 284
98.66/98.77	o 284
98.66/98.77	c Elapsed CPU time: 98.587 s	Remaining CPU time: 81.413 s
98.66/98.77	c ===============================================================================
98.66/98.77	c |       175 |   48346   257619   535274 |    85873      152     35 |  0.000 % |
98.76/98.85	c ===============================================================================
98.76/98.85	c New solution: 283
98.76/98.85	o 283
98.76/98.85	c Elapsed CPU time: 98.658 s	Remaining CPU time: 81.342 s
98.76/98.85	c ===============================================================================
98.76/98.85	c |       221 |   48104   257620   535574 |    85873      198     37 |  0.000 % |
98.86/98.91	c |       321 |   48094   257620   535574 |    94460      298     43 | 34.293 % |
98.86/98.97	c ===============================================================================
98.86/98.97	c New solution: 282
98.86/98.97	o 282
98.86/98.97	c Elapsed CPU time: 98.783 s	Remaining CPU time: 81.217 s
98.86/98.97	c ===============================================================================
98.86/98.97	c |       330 |   47862   257621   535874 |    85873      204     42 | 34.293 % |
98.96/99.03	c ===============================================================================
98.96/99.03	c New solution: 281
98.96/99.03	o 281
98.96/99.03	c Elapsed CPU time: 98.836 s	Remaining CPU time: 81.164 s
98.96/99.03	c ===============================================================================
98.96/99.03	c |       338 |   47620   257622   536174 |    85874      212     41 | 34.293 % |
98.96/99.08	c ===============================================================================
98.96/99.08	c New solution: 280
98.96/99.08	o 280
98.96/99.08	c Elapsed CPU time: 98.888 s	Remaining CPU time: 81.112 s
98.96/99.08	c ===============================================================================
98.96/99.08	c |       340 |   47378   257623   536474 |    85874      214     41 | 34.293 % |
99.05/99.13	c ===============================================================================
99.05/99.13	c New solution: 279
99.05/99.13	o 279
99.05/99.13	c Elapsed CPU time: 98.94 s	Remaining CPU time: 81.06 s
99.05/99.13	c ===============================================================================
99.05/99.13	c |       343 |   47136   257624   536774 |    85874      217     40 | 34.293 % |
99.05/99.19	c ===============================================================================
99.05/99.19	c New solution: 278
99.05/99.19	o 278
99.05/99.19	c Elapsed CPU time: 99.0009 s	Remaining CPU time: 80.9991 s
99.05/99.19	c ===============================================================================
99.05/99.19	c |       345 |   46894   257625   537074 |    85875      219     40 | 34.293 % |
99.15/99.26	c ===============================================================================
99.15/99.26	c New solution: 277
99.15/99.26	o 277
99.15/99.26	c Elapsed CPU time: 99.0629 s	Remaining CPU time: 80.9371 s
99.15/99.26	c ===============================================================================
99.15/99.26	c |       351 |   46652   257626   537374 |    85875      225     39 | 34.293 % |
99.25/99.32	c ===============================================================================
99.25/99.32	c New solution: 276
99.25/99.32	o 276
99.25/99.32	c Elapsed CPU time: 99.1269 s	Remaining CPU time: 80.8731 s
99.25/99.32	c ===============================================================================
99.25/99.32	c |       358 |   46410   257627   537674 |    85875      232     39 | 34.293 % |
99.25/99.38	c ===============================================================================
99.25/99.38	c New solution: 275
99.25/99.38	o 275
99.25/99.38	c Elapsed CPU time: 99.1889 s	Remaining CPU time: 80.8111 s
99.25/99.38	c ===============================================================================
99.25/99.38	c |       359 |   46168   257628   537974 |    85876      233     39 | 34.293 % |
99.35/99.43	c ===============================================================================
99.35/99.43	c New solution: 274
99.35/99.43	o 274
99.35/99.43	c Elapsed CPU time: 99.2399 s	Remaining CPU time: 80.7601 s
99.35/99.43	c ===============================================================================
99.35/99.43	c |       367 |   45926   257629   538274 |    85876      241     38 | 34.293 % |
99.45/99.50	c ===============================================================================
99.45/99.50	c New solution: 273
99.45/99.50	o 273
99.45/99.50	c Elapsed CPU time: 99.3099 s	Remaining CPU time: 80.6901 s
99.45/99.50	c ===============================================================================
99.45/99.50	c |       438 |   45684   257630   538574 |    85876      312     37 | 34.293 % |
99.45/99.57	c ===============================================================================
99.45/99.57	c New solution: 272
99.45/99.57	o 272
99.45/99.57	c Elapsed CPU time: 99.3749 s	Remaining CPU time: 80.6251 s
99.45/99.57	c ===============================================================================
99.45/99.57	c |       477 |   45442   257631   538874 |    85877      351     38 | 34.293 % |
99.55/99.63	c ===============================================================================
99.55/99.63	c New solution: 271
99.55/99.63	o 271
99.55/99.63	c Elapsed CPU time: 99.4369 s	Remaining CPU time: 80.5631 s
99.55/99.63	c ===============================================================================
99.55/99.63	c |       479 |   45200   257632   539174 |    85877      139     27 | 34.293 % |
99.55/99.69	c ===============================================================================
99.55/99.69	c New solution: 270
99.55/99.69	o 270
99.55/99.69	c Elapsed CPU time: 99.4969 s	Remaining CPU time: 80.5031 s
99.55/99.69	c ===============================================================================
99.55/99.69	c |       482 |   44958   257633   539474 |    85877      142     26 | 34.293 % |
99.66/99.74	c ===============================================================================
99.66/99.74	c New solution: 269
99.66/99.74	o 269
99.66/99.74	c Elapsed CPU time: 99.5459 s	Remaining CPU time: 80.4541 s
99.66/99.74	c ===============================================================================
99.66/99.74	c |       487 |   44716   257634   539774 |    85878      147     26 | 34.293 % |
99.66/99.79	c ===============================================================================
99.66/99.79	c New solution: 268
99.66/99.79	o 268
99.66/99.79	c Elapsed CPU time: 99.5969 s	Remaining CPU time: 80.4031 s
99.66/99.79	c ===============================================================================
99.66/99.79	c |       496 |   44474   257635   540074 |    85878      156     25 | 34.293 % |
99.75/99.85	c |       597 |   44451   257635   540074 |    94466      257     34 | 39.277 % |
99.85/99.93	c ===============================================================================
99.85/99.93	c New solution: 267
99.85/99.93	o 267
99.85/99.93	c Elapsed CPU time: 99.7298 s	Remaining CPU time: 80.2702 s
99.85/99.93	c ===============================================================================
99.85/99.93	c |       688 |   44232   257636   540374 |    85878      348     36 | 39.277 % |
99.85/99.99	c ===============================================================================
99.85/99.99	c New solution: 266
99.85/99.99	o 266
99.85/99.99	c Elapsed CPU time: 99.7878 s	Remaining CPU time: 80.2122 s
99.85/99.99	c ===============================================================================
99.85/99.99	c |       690 |   43990   257637   540674 |    85879      350     36 | 39.277 % |
99.96/100.05	c ===============================================================================
99.96/100.05	c New solution: 265
99.96/100.05	o 265
99.96/100.05	c Elapsed CPU time: 99.8478 s	Remaining CPU time: 80.1522 s
99.96/100.05	c ===============================================================================
99.96/100.05	c |       695 |   43748   257638   540974 |    85879      355     35 | 39.277 % |
99.96/100.10	c ===============================================================================
99.96/100.10	c New solution: 264
99.96/100.10	o 264
99.96/100.10	c Elapsed CPU time: 99.8978 s	Remaining CPU time: 80.1022 s
99.96/100.10	c ===============================================================================
99.96/100.10	c |       699 |   43506   257639   541274 |    85879      359     35 | 39.277 % |
100.06/100.16	c ===============================================================================
100.06/100.16	c New solution: 263
100.06/100.16	o 263
100.06/100.16	c Elapsed CPU time: 99.9568 s	Remaining CPU time: 80.0432 s
100.06/100.16	c ===============================================================================
100.06/100.16	c |       700 |   43264   257640   541574 |    85880      360     35 | 39.277 % |
100.15/100.21	c ===============================================================================
100.15/100.21	c New solution: 262
100.15/100.21	o 262
100.15/100.21	c Elapsed CPU time: 100.012 s	Remaining CPU time: 79.9882 s
100.15/100.21	c ===============================================================================
100.15/100.21	c |       701 |   43022   257641   541874 |    85880      361     35 | 39.277 % |
100.15/100.28	c ===============================================================================
100.15/100.28	c New solution: 261
100.15/100.28	o 261
100.15/100.28	c Elapsed CPU time: 100.085 s	Remaining CPU time: 79.9152 s
100.15/100.28	c ===============================================================================
100.15/100.28	c |       711 |   42780   257642   542174 |    85880      149     19 | 39.277 % |
100.25/100.34	c ===============================================================================
100.25/100.34	c New solution: 260
100.25/100.34	o 260
100.25/100.34	c Elapsed CPU time: 100.143 s	Remaining CPU time: 79.8572 s
100.25/100.34	c ===============================================================================
100.25/100.34	c |       713 |   42538   257643   542474 |    85881      151     19 | 39.277 % |
100.35/100.40	c ===============================================================================
100.35/100.40	c New solution: 259
100.35/100.40	o 259
100.35/100.40	c Elapsed CPU time: 100.203 s	Remaining CPU time: 79.7972 s
100.35/100.40	c ===============================================================================
100.35/100.40	c |       715 |   42296   257644   542774 |    85881      153     19 | 39.277 % |
100.35/100.46	c ===============================================================================
100.35/100.46	c New solution: 258
100.35/100.46	o 258
100.35/100.46	c Elapsed CPU time: 100.263 s	Remaining CPU time: 79.7372 s
100.35/100.46	c ===============================================================================
100.35/100.46	c |       721 |   42054   257645   543074 |    85881      159     19 | 39.277 % |
100.45/100.51	c ===============================================================================
100.45/100.51	c New solution: 257
100.45/100.51	o 257
100.45/100.51	c Elapsed CPU time: 100.309 s	Remaining CPU time: 79.6912 s
100.45/100.51	c ===============================================================================
100.45/100.51	c |       728 |   41812   257646   543374 |    85882      166     19 | 39.277 % |
100.45/100.58	c ===============================================================================
100.45/100.58	c New solution: 256
100.45/100.58	o 256
100.45/100.58	c Elapsed CPU time: 100.372 s	Remaining CPU time: 79.6283 s
100.45/100.58	c ===============================================================================
100.45/100.58	c |       732 |   41570   257647   543674 |    85882      170     19 | 39.277 % |
100.55/100.62	c ===============================================================================
100.55/100.62	c New solution: 255
100.55/100.62	o 255
100.55/100.62	c Elapsed CPU time: 100.419 s	Remaining CPU time: 79.5813 s
100.55/100.62	c ===============================================================================
100.55/100.62	c |       736 |   41328   257648   543974 |    85882      174     19 | 39.277 % |
100.55/100.67	c ===============================================================================
100.55/100.67	c New solution: 254
100.55/100.67	o 254
100.55/100.67	c Elapsed CPU time: 100.464 s	Remaining CPU time: 79.5363 s
100.55/100.67	c ===============================================================================
100.55/100.67	c |       741 |   41086   257649   544274 |    85883      179     19 | 39.277 % |
100.66/100.72	c ===============================================================================
100.66/100.72	c New solution: 253
100.66/100.72	o 253
100.66/100.72	c Elapsed CPU time: 100.512 s	Remaining CPU time: 79.4883 s
100.66/100.72	c ===============================================================================
100.66/100.72	c |       751 |   40844   257650   544574 |    85883      189     19 | 39.277 % |
100.66/100.78	c |       852 |   40833   257650   544574 |    94471      290     29 | 44.260 % |
100.76/100.86	c ===============================================================================
100.76/100.86	c New solution: 252
100.76/100.86	o 252
100.76/100.86	c Elapsed CPU time: 100.653 s	Remaining CPU time: 79.3473 s
100.76/100.86	c ===============================================================================
100.76/100.86	c |       936 |   40602   257651   544874 |    85883      374     32 | 44.260 % |
100.85/100.90	c ===============================================================================
100.85/100.90	c New solution: 251
100.85/100.90	o 251
100.85/100.90	c Elapsed CPU time: 100.699 s	Remaining CPU time: 79.3013 s
100.85/100.90	c ===============================================================================
100.85/100.90	c |       938 |   40360   257652   545174 |    85884      197     32 | 44.260 % |
100.85/100.96	c ===============================================================================
100.85/100.96	c New solution: 250
100.85/100.96	o 250
100.85/100.96	c Elapsed CPU time: 100.753 s	Remaining CPU time: 79.2473 s
100.85/100.96	c ===============================================================================
100.85/100.96	c |       939 |   40118   257653   545474 |    85884      198     32 | 44.260 % |
100.95/101.02	c ===============================================================================
100.95/101.02	c New solution: 249
100.95/101.02	o 249
100.95/101.02	c Elapsed CPU time: 100.809 s	Remaining CPU time: 79.1913 s
100.95/101.02	c ===============================================================================
100.95/101.02	c |       940 |   39876   257654   545774 |    85884      199     32 | 44.260 % |
100.95/101.06	c ===============================================================================
100.95/101.06	c New solution: 248
100.95/101.06	o 248
100.95/101.06	c Elapsed CPU time: 100.852 s	Remaining CPU time: 79.1483 s
100.95/101.06	c ===============================================================================
100.95/101.06	c |       944 |   39634   257655   546074 |    85885      203     31 | 44.260 % |
101.06/101.12	c ===============================================================================
101.06/101.12	c New solution: 247
101.06/101.12	o 247
101.06/101.12	c Elapsed CPU time: 100.907 s	Remaining CPU time: 79.0933 s
101.06/101.12	c ===============================================================================
101.06/101.12	c |       947 |   39392   257656   546374 |    85885      206     31 | 44.260 % |
101.06/101.17	c ===============================================================================
101.06/101.17	c New solution: 246
101.06/101.17	o 246
101.06/101.17	c Elapsed CPU time: 100.962 s	Remaining CPU time: 79.0383 s
101.06/101.17	c ===============================================================================
101.06/101.17	c |       949 |   39150   257657   546674 |    85885      208     31 | 44.260 % |
101.16/101.22	c ===============================================================================
101.16/101.22	c New solution: 245
101.16/101.22	o 245
101.16/101.22	c Elapsed CPU time: 101.008 s	Remaining CPU time: 78.9924 s
101.16/101.22	c ===============================================================================
101.16/101.22	c |       954 |   38908   257658   546974 |    85886      213     31 | 44.260 % |
101.16/101.27	c ===============================================================================
101.16/101.27	c New solution: 244
101.16/101.27	o 244
101.16/101.27	c Elapsed CPU time: 101.063 s	Remaining CPU time: 78.9374 s
101.16/101.27	c ===============================================================================
101.16/101.27	c |       956 |   38666   257659   547274 |    85886      215     30 | 44.260 % |
101.25/101.33	c ===============================================================================
101.25/101.33	c New solution: 243
101.25/101.33	o 243
101.25/101.33	c Elapsed CPU time: 101.117 s	Remaining CPU time: 78.8834 s
101.25/101.33	c ===============================================================================
101.25/101.33	c |       960 |   38424   257660   547574 |    85886      219     30 | 44.260 % |
101.25/101.38	c ===============================================================================
101.25/101.38	c New solution: 242
101.25/101.38	o 242
101.25/101.38	c Elapsed CPU time: 101.169 s	Remaining CPU time: 78.8314 s
101.25/101.38	c ===============================================================================
101.25/101.38	c |       960 |   38182   257661   547874 |    85887      219     30 | 44.260 % |
101.36/101.44	c ===============================================================================
101.36/101.44	c New solution: 241
101.36/101.44	o 241
101.36/101.44	c Elapsed CPU time: 101.223 s	Remaining CPU time: 78.7774 s
101.36/101.44	c ===============================================================================
101.36/101.44	c |       964 |   37940   257662   548174 |    85887      223     30 | 44.260 % |
101.46/101.50	c ===============================================================================
101.46/101.50	c New solution: 240
101.46/101.50	o 240
101.46/101.50	c Elapsed CPU time: 101.287 s	Remaining CPU time: 78.7134 s
101.46/101.50	c ===============================================================================
101.46/101.50	c |      1017 |   37698   257663   548474 |    85887      276     31 | 44.260 % |
101.46/101.55	c ===============================================================================
101.46/101.55	c New solution: 239
101.46/101.55	o 239
101.46/101.55	c Elapsed CPU time: 101.339 s	Remaining CPU time: 78.6614 s
101.46/101.55	c ===============================================================================
101.46/101.55	c |      1028 |   37456   257664   548774 |    85888      287     31 | 44.260 % |
101.56/101.61	c ===============================================================================
101.56/101.61	c New solution: 238
101.56/101.61	o 238
101.56/101.61	c Elapsed CPU time: 101.397 s	Remaining CPU time: 78.6034 s
101.56/101.61	c ===============================================================================
101.56/101.61	c |      1033 |   37214   257665   549074 |    85888       72     19 | 44.260 % |
101.56/101.67	c ===============================================================================
101.56/101.67	c New solution: 237
101.56/101.67	o 237
101.56/101.67	c Elapsed CPU time: 101.451 s	Remaining CPU time: 78.5494 s
101.56/101.67	c ===============================================================================
101.56/101.67	c |      1045 |   36972   257666   549374 |    85888       84     19 | 44.260 % |
101.65/101.72	c ===============================================================================
101.65/101.72	c New solution: 236
101.65/101.72	o 236
101.65/101.72	c Elapsed CPU time: 101.498 s	Remaining CPU time: 78.5024 s
101.65/101.72	c ===============================================================================
101.65/101.72	c |      1062 |   36730   257667   549674 |    85889      101     20 | 44.260 % |
101.65/101.78	c ===============================================================================
101.65/101.78	c New solution: 235
101.65/101.78	o 235
101.65/101.78	c Elapsed CPU time: 101.559 s	Remaining CPU time: 78.4414 s
101.65/101.78	c ===============================================================================
101.65/101.78	c |      1097 |   36488   257668   549974 |    85889      136     27 | 44.260 % |
101.75/101.83	c ===============================================================================
101.75/101.83	c New solution: 234
101.75/101.83	o 234
101.75/101.83	c Elapsed CPU time: 101.617 s	Remaining CPU time: 78.3834 s
101.75/101.83	c ===============================================================================
101.75/101.83	c |      1109 |   36246   257669   550274 |    85889      148     28 | 44.260 % |
101.75/101.88	c ===============================================================================
101.75/101.88	c New solution: 233
101.75/101.88	o 233
101.75/101.88	c Elapsed CPU time: 101.666 s	Remaining CPU time: 78.3345 s
101.75/101.88	c ===============================================================================
101.75/101.88	c |      1114 |   36004   257670   550574 |    85890      153     27 | 44.260 % |
101.85/101.94	c ===============================================================================
101.85/101.94	c New solution: 232
101.85/101.94	o 232
101.85/101.94	c Elapsed CPU time: 101.722 s	Remaining CPU time: 78.2785 s
101.85/101.94	c ===============================================================================
101.85/101.94	c |      1118 |   35762   257671   550874 |    85890      157     27 | 44.260 % |
101.85/101.99	c ===============================================================================
101.85/101.99	c New solution: 231
101.85/101.99	o 231
101.85/101.99	c Elapsed CPU time: 101.775 s	Remaining CPU time: 78.2255 s
101.85/101.99	c ===============================================================================
101.85/101.99	c |      1121 |   35520   257672   551174 |    85890      160     27 | 44.260 % |
101.95/102.04	c ===============================================================================
101.95/102.04	c New solution: 230
101.95/102.04	o 230
101.95/102.04	c Elapsed CPU time: 101.827 s	Remaining CPU time: 78.1735 s
101.95/102.04	c ===============================================================================
101.95/102.04	c |      1122 |   35278   257673   551474 |    85891      161     27 | 44.260 % |
102.05/102.10	c ===============================================================================
102.05/102.10	c New solution: 229
102.05/102.10	o 229
102.05/102.10	c Elapsed CPU time: 101.878 s	Remaining CPU time: 78.1225 s
102.05/102.10	c ===============================================================================
102.05/102.10	c |      1124 |   35036   257674   551774 |    85891      163     26 | 44.260 % |
102.05/102.14	c ===============================================================================
102.05/102.14	c New solution: 228
102.05/102.14	o 228
102.05/102.14	c Elapsed CPU time: 101.92 s	Remaining CPU time: 78.0805 s
102.05/102.14	c ===============================================================================
102.05/102.14	c |      1127 |   34794   257675   552074 |    85891      166     26 | 44.260 % |
102.05/102.18	c ===============================================================================
102.05/102.18	c New solution: 227
102.05/102.18	o 227
102.05/102.18	c Elapsed CPU time: 101.961 s	Remaining CPU time: 78.0385 s
102.05/102.18	c ===============================================================================
102.05/102.18	c |      1131 |   34552   257676   552374 |    85892      170     26 | 44.260 % |
102.16/102.23	c ===============================================================================
102.16/102.23	c New solution: 226
102.16/102.23	o 226
102.16/102.23	c Elapsed CPU time: 102.009 s	Remaining CPU time: 77.9905 s
102.16/102.23	c ===============================================================================
102.16/102.23	c |      1142 |   34310   257677   552674 |    85892      181     25 | 44.260 % |
102.16/102.27	c ===============================================================================
102.16/102.27	c New solution: 225
102.16/102.27	o 225
102.16/102.27	c Elapsed CPU time: 102.051 s	Remaining CPU time: 77.9485 s
102.16/102.27	c ===============================================================================
102.16/102.27	c |      1147 |   34068   257678   552974 |    85892      186     25 | 44.260 % |
102.26/102.34	c ===============================================================================
102.26/102.34	c New solution: 224
102.26/102.34	o 224
102.26/102.34	c Elapsed CPU time: 102.122 s	Remaining CPU time: 77.8775 s
102.26/102.34	c ===============================================================================
102.26/102.34	c |      1187 |   33826   257679   553274 |    85893       99     23 | 44.260 % |
102.26/102.40	c ===============================================================================
102.26/102.40	c New solution: 223
102.26/102.40	o 223
102.26/102.40	c Elapsed CPU time: 102.173 s	Remaining CPU time: 77.8265 s
102.26/102.40	c ===============================================================================
102.26/102.40	c |      1190 |   33584   257680   553574 |    85893      102     23 | 44.260 % |
102.35/102.45	c ===============================================================================
102.35/102.45	c New solution: 222
102.35/102.45	o 222
102.35/102.45	c Elapsed CPU time: 102.223 s	Remaining CPU time: 77.7765 s
102.35/102.45	c ===============================================================================
102.35/102.45	c |      1191 |   33342   257681   553874 |    85893      103     23 | 44.260 % |
102.35/102.49	c ===============================================================================
102.35/102.49	c New solution: 221
102.35/102.49	o 221
102.35/102.49	c Elapsed CPU time: 102.265 s	Remaining CPU time: 77.7345 s
102.35/102.49	c ===============================================================================
102.35/102.49	c |      1197 |   33100   257682   554174 |    85894      109     23 | 44.260 % |
102.45/102.54	c ===============================================================================
102.45/102.54	c New solution: 220
102.45/102.54	o 220
102.45/102.54	c Elapsed CPU time: 102.321 s	Remaining CPU time: 77.6786 s
102.45/102.54	c ===============================================================================
102.45/102.54	c |      1202 |   32858   257683   554474 |    85894      114     22 | 44.260 % |
102.45/102.60	c ===============================================================================
102.45/102.60	c New solution: 219
102.45/102.60	o 219
102.45/102.60	c Elapsed CPU time: 102.373 s	Remaining CPU time: 77.6266 s
102.45/102.60	c ===============================================================================
102.45/102.60	c |      1212 |   32616   257684   554774 |    85894      124     21 | 44.260 % |
102.55/102.65	c ===============================================================================
102.55/102.65	c New solution: 218
102.55/102.65	o 218
102.55/102.65	c Elapsed CPU time: 102.425 s	Remaining CPU time: 77.5746 s
102.55/102.65	c ===============================================================================
102.55/102.65	c |      1216 |   32374   257685   555074 |    85895      128     21 | 44.260 % |
102.65/102.70	c ===============================================================================
102.65/102.70	c New solution: 217
102.65/102.70	o 217
102.65/102.70	c Elapsed CPU time: 102.478 s	Remaining CPU time: 77.5216 s
102.65/102.70	c ===============================================================================
102.65/102.70	c |      1222 |   32132   257686   555374 |    85895      134     21 | 44.260 % |
102.65/102.75	c ===============================================================================
102.65/102.75	c New solution: 216
102.65/102.75	o 216
102.65/102.75	c Elapsed CPU time: 102.533 s	Remaining CPU time: 77.4666 s
102.65/102.75	c ===============================================================================
102.65/102.75	c |      1227 |   31890   257687   555674 |    85895      139     21 | 44.260 % |
102.75/102.81	c ===============================================================================
102.75/102.81	c New solution: 215
102.75/102.81	o 215
102.75/102.81	c Elapsed CPU time: 102.586 s	Remaining CPU time: 77.4136 s
102.75/102.81	c ===============================================================================
102.75/102.81	c |      1239 |   31648   257688   555974 |    85896      151     20 | 44.260 % |
102.75/102.86	c ===============================================================================
102.75/102.86	c New solution: 214
102.75/102.86	o 214
102.75/102.86	c Elapsed CPU time: 102.632 s	Remaining CPU time: 77.3676 s
102.75/102.86	c ===============================================================================
102.75/102.86	c |      1252 |   31406   257689   556274 |    85896      164     20 | 44.260 % |
102.85/102.91	c ===============================================================================
102.85/102.91	c New solution: 213
102.85/102.91	o 213
102.85/102.91	c Elapsed CPU time: 102.682 s	Remaining CPU time: 77.3176 s
102.85/102.91	c ===============================================================================
102.85/102.91	c |      1283 |   31164   257690   556574 |    85896      195     24 | 44.260 % |
102.85/102.97	c ===============================================================================
102.85/102.97	c New solution: 212
102.85/102.97	o 212
102.85/102.97	c Elapsed CPU time: 102.748 s	Remaining CPU time: 77.2516 s
102.85/102.97	c ===============================================================================
102.85/102.97	c |      1314 |   30922   257691   556874 |    85897      226     27 | 44.260 % |
102.95/103.02	c ===============================================================================
102.95/103.02	c New solution: 211
102.95/103.02	o 211
102.95/103.02	c Elapsed CPU time: 102.8 s	Remaining CPU time: 77.1996 s
102.95/103.02	c ===============================================================================
102.95/103.02	c |      1319 |   30680   257692   557174 |    85897       96     19 | 44.260 % |
102.95/103.07	c ===============================================================================
102.95/103.07	c New solution: 210
102.95/103.07	o 210
102.95/103.07	c Elapsed CPU time: 102.849 s	Remaining CPU time: 77.1506 s
102.95/103.07	c ===============================================================================
102.95/103.07	c |      1325 |   30438   257693   557474 |    85897      102     19 | 44.260 % |
103.05/103.12	c ===============================================================================
103.05/103.12	c New solution: 209
103.05/103.12	o 209
103.05/103.12	c Elapsed CPU time: 102.899 s	Remaining CPU time: 77.1006 s
103.05/103.12	c ===============================================================================
103.05/103.12	c |      1334 |   30196   257694   557774 |    85898      111     20 | 44.260 % |
103.05/103.17	c ===============================================================================
103.05/103.17	c New solution: 208
103.05/103.17	o 208
103.05/103.17	c Elapsed CPU time: 102.949 s	Remaining CPU time: 77.0507 s
103.05/103.17	c ===============================================================================
103.05/103.17	c |      1338 |   29954   257695   558074 |    85898      115     19 | 44.260 % |
103.15/103.22	c ===============================================================================
103.15/103.22	c New solution: 207
103.15/103.22	o 207
103.15/103.22	c Elapsed CPU time: 102.997 s	Remaining CPU time: 77.0027 s
103.15/103.22	c ===============================================================================
103.15/103.22	c |      1339 |   29712   257696   558374 |    85898      116     19 | 44.260 % |
103.15/103.27	c ===============================================================================
103.15/103.27	c New solution: 206
103.15/103.27	o 206
103.15/103.27	c Elapsed CPU time: 103.043 s	Remaining CPU time: 76.9567 s
103.15/103.27	c ===============================================================================
103.15/103.27	c |      1345 |   29470   257697   558674 |    85899      122     19 | 44.260 % |
103.26/103.31	c ===============================================================================
103.26/103.31	c New solution: 205
103.26/103.31	o 205
103.26/103.31	c Elapsed CPU time: 103.085 s	Remaining CPU time: 76.9147 s
103.26/103.31	c ===============================================================================
103.26/103.31	c |      1348 |   29228   257698   558974 |    85899      125     19 | 44.260 % |
103.26/103.36	c ===============================================================================
103.26/103.36	c New solution: 204
103.26/103.36	o 204
103.26/103.36	c Elapsed CPU time: 103.133 s	Remaining CPU time: 76.8667 s
103.26/103.36	c ===============================================================================
103.26/103.36	c |      1351 |   28986   257699   559274 |    85899      128     19 | 44.260 % |
103.36/103.41	c ===============================================================================
103.36/103.41	c New solution: 203
103.36/103.41	o 203
103.36/103.41	c Elapsed CPU time: 103.181 s	Remaining CPU time: 76.8187 s
103.36/103.41	c ===============================================================================
103.36/103.41	c |      1360 |   28744   257700   559574 |    85900      137     19 | 44.260 % |
103.36/103.46	c ===============================================================================
103.36/103.46	c New solution: 202
103.36/103.46	o 202
103.36/103.46	c Elapsed CPU time: 103.234 s	Remaining CPU time: 76.7657 s
103.36/103.46	c ===============================================================================
103.36/103.46	c |      1378 |   28502   257701   559874 |    85900      155     20 | 44.260 % |
103.46/103.51	c ===============================================================================
103.46/103.51	c New solution: 201
103.46/103.51	o 201
103.46/103.51	c Elapsed CPU time: 103.285 s	Remaining CPU time: 76.7147 s
103.46/103.51	c ===============================================================================
103.46/103.51	c |      1401 |   28260   257702   560174 |    85900      178     23 | 44.260 % |
103.46/103.56	c ===============================================================================
103.46/103.56	c New solution: 200
103.46/103.56	o 200
103.46/103.56	c Elapsed CPU time: 103.33 s	Remaining CPU time: 76.6697 s
103.46/103.56	c ===============================================================================
103.46/103.56	c |      1406 |   28018   257703   560474 |    85901      183     22 | 44.260 % |
103.55/103.61	c ===============================================================================
103.55/103.61	c New solution: 199
103.55/103.61	o 199
103.55/103.61	c Elapsed CPU time: 103.378 s	Remaining CPU time: 76.6217 s
103.55/103.61	c ===============================================================================
103.55/103.61	c |      1420 |   27776   257704   560774 |    85901      197     23 | 44.260 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 198
103.55/103.65	o 198
103.55/103.65	c Elapsed CPU time: 103.417 s	Remaining CPU time: 76.5827 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |      1428 |   27534   257705   561074 |    85901      205     23 | 44.260 % |
103.55/103.69	c ===============================================================================
103.55/103.69	c New solution: 197
103.55/103.69	o 197
103.55/103.69	c Elapsed CPU time: 103.462 s	Remaining CPU time: 76.5377 s
103.55/103.69	c ===============================================================================
103.55/103.69	c |      1430 |   27292   257706   561374 |    85902      207     22 | 44.260 % |
103.65/103.74	c ===============================================================================
103.65/103.74	c New solution: 196
103.65/103.74	o 196
103.65/103.74	c Elapsed CPU time: 103.506 s	Remaining CPU time: 76.4937 s
103.65/103.74	c ===============================================================================
103.65/103.74	c |      1438 |   27050   257707   561674 |    85902      215     22 | 44.260 % |
103.65/103.77	c ===============================================================================
103.65/103.77	c New solution: 195
103.65/103.77	o 195
103.65/103.77	c Elapsed CPU time: 103.543 s	Remaining CPU time: 76.4567 s
103.65/103.77	c ===============================================================================
103.65/103.77	c |      1442 |   26808   257708   561974 |    85902      219     22 | 44.260 % |
103.75/103.81	c ===============================================================================
103.75/103.81	c New solution: 194
103.75/103.81	o 194
103.75/103.81	c Elapsed CPU time: 103.582 s	Remaining CPU time: 76.4177 s
103.75/103.81	c ===============================================================================
103.75/103.81	c |      1448 |   26566   257709   562274 |    85903       70     14 | 44.260 % |
103.75/103.86	c ===============================================================================
103.75/103.86	c New solution: 193
103.75/103.86	o 193
103.75/103.86	c Elapsed CPU time: 103.629 s	Remaining CPU time: 76.3708 s
103.75/103.86	c ===============================================================================
103.75/103.86	c |      1481 |   26324   257710   562574 |    85903      103     20 | 44.260 % |
103.85/103.91	c ===============================================================================
103.85/103.91	c New solution: 192
103.85/103.91	o 192
103.85/103.91	c Elapsed CPU time: 103.673 s	Remaining CPU time: 76.3268 s
103.85/103.91	c ===============================================================================
103.85/103.91	c |      1492 |   26082   257711   562874 |    85903      114     21 | 44.260 % |
103.85/103.95	c ===============================================================================
103.85/103.95	c New solution: 191
103.85/103.95	o 191
103.85/103.95	c Elapsed CPU time: 103.712 s	Remaining CPU time: 76.2878 s
103.85/103.95	c ===============================================================================
103.85/103.95	c |      1500 |   25840   257712   563174 |    85904      122     21 | 44.260 % |
103.85/103.99	c ===============================================================================
103.85/103.99	c New solution: 190
103.85/103.99	o 190
103.85/103.99	c Elapsed CPU time: 103.751 s	Remaining CPU time: 76.2488 s
103.85/103.99	c ===============================================================================
103.85/103.99	c |      1512 |   25598   257713   563474 |    85904      134     21 | 44.260 % |
103.95/104.03	c ===============================================================================
103.95/104.03	c New solution: 189
103.95/104.03	o 189
103.95/104.03	c Elapsed CPU time: 103.794 s	Remaining CPU time: 76.2058 s
103.95/104.03	c ===============================================================================
103.95/104.03	c |      1525 |   25356   257714   563774 |    85904      147     23 | 44.260 % |
103.95/104.07	c ===============================================================================
103.95/104.07	c New solution: 188
103.95/104.07	o 188
103.95/104.07	c Elapsed CPU time: 103.83 s	Remaining CPU time: 76.1698 s
103.95/104.07	c ===============================================================================
103.95/104.07	c |      1528 |   25114   257715   564074 |    85905      150     22 | 44.260 % |
104.06/104.11	c ===============================================================================
104.06/104.11	c New solution: 187
104.06/104.11	o 187
104.06/104.11	c Elapsed CPU time: 103.873 s	Remaining CPU time: 76.1268 s
104.06/104.11	c ===============================================================================
104.06/104.11	c |      1530 |   24872   257716   564374 |    85905      152     22 | 44.260 % |
104.06/104.14	c ===============================================================================
104.06/104.14	c New solution: 186
104.06/104.14	o 186
104.06/104.14	c Elapsed CPU time: 103.909 s	Remaining CPU time: 76.0908 s
104.06/104.14	c ===============================================================================
104.06/104.14	c |      1532 |   24630   257717   564674 |    85905      154     22 | 44.260 % |
104.06/104.19	c ===============================================================================
104.06/104.19	c New solution: 185
104.06/104.19	o 185
104.06/104.19	c Elapsed CPU time: 103.957 s	Remaining CPU time: 76.0428 s
104.06/104.19	c ===============================================================================
104.06/104.19	c |      1577 |   24388   257718   564974 |    85906      199     25 | 44.260 % |
104.16/104.29	c |      1678 |   24378   257718   564974 |    94496      300     33 | 66.852 % |
104.26/104.33	c ===============================================================================
104.26/104.33	c New solution: 184
104.26/104.33	o 184
104.26/104.33	c Elapsed CPU time: 104.089 s	Remaining CPU time: 75.9108 s
104.26/104.33	c ===============================================================================
104.26/104.33	c |      1680 |   24146   257719   565274 |    85906      302     33 | 66.852 % |
104.26/104.37	c ===============================================================================
104.26/104.37	c New solution: 183
104.26/104.37	o 183
104.26/104.37	c Elapsed CPU time: 104.131 s	Remaining CPU time: 75.8688 s
104.26/104.37	c ===============================================================================
104.26/104.37	c |      1683 |   23904   257720   565574 |    85906      305     32 | 66.852 % |
104.36/104.41	c ===============================================================================
104.36/104.41	c New solution: 182
104.36/104.41	o 182
104.36/104.41	c Elapsed CPU time: 104.166 s	Remaining CPU time: 75.8338 s
104.36/104.41	c ===============================================================================
104.36/104.41	c |      1688 |   23662   257721   565874 |    85907      310     32 | 66.852 % |
104.36/104.45	c ===============================================================================
104.36/104.45	c New solution: 181
104.36/104.45	o 181
104.36/104.45	c Elapsed CPU time: 104.21 s	Remaining CPU time: 75.7898 s
104.36/104.45	c ===============================================================================
104.36/104.45	c |      1698 |   23420   257722   566174 |    85907      320     32 | 66.852 % |
104.36/104.49	c ===============================================================================
104.36/104.49	c New solution: 180
104.36/104.49	o 180
104.36/104.49	c Elapsed CPU time: 104.245 s	Remaining CPU time: 75.7548 s
104.36/104.49	c ===============================================================================
104.36/104.49	c |      1702 |   23178   257723   566474 |    85907      324     31 | 66.852 % |
104.46/104.53	c ===============================================================================
104.46/104.53	c New solution: 179
104.46/104.53	o 179
104.46/104.53	c Elapsed CPU time: 104.287 s	Remaining CPU time: 75.7129 s
104.46/104.53	c ===============================================================================
104.46/104.53	c |      1704 |   22936   257724   566774 |    85908      326     31 | 66.852 % |
104.46/104.57	c ===============================================================================
104.46/104.57	c New solution: 178
104.46/104.57	o 178
104.46/104.57	c Elapsed CPU time: 104.33 s	Remaining CPU time: 75.6699 s
104.46/104.57	c ===============================================================================
104.46/104.57	c |      1711 |   22694   257725   567074 |    85908      333     31 | 66.852 % |
104.55/104.61	c ===============================================================================
104.55/104.61	c New solution: 177
104.55/104.61	o 177
104.55/104.61	c Elapsed CPU time: 104.369 s	Remaining CPU time: 75.6309 s
104.55/104.61	c ===============================================================================
104.55/104.61	c |      1720 |   22452   257726   567374 |    85908      112     23 | 66.852 % |
104.55/104.66	c ===============================================================================
104.55/104.66	c New solution: 176
104.55/104.66	o 176
104.55/104.66	c Elapsed CPU time: 104.41 s	Remaining CPU time: 75.5899 s
104.55/104.66	c ===============================================================================
104.55/104.66	c |      1753 |   22210   257727   567674 |    85909      145     25 | 66.852 % |
104.65/104.74	c |      1853 |   22197   257727   567674 |    94499      245     40 | 69.842 % |
104.65/104.78	c ===============================================================================
104.65/104.78	c New solution: 175
104.65/104.78	o 175
104.65/104.78	c Elapsed CPU time: 104.533 s	Remaining CPU time: 75.4669 s
104.65/104.78	c ===============================================================================
104.65/104.78	c |      1858 |   21968   257728   567974 |    85909      250     39 | 69.842 % |
104.76/104.82	c ===============================================================================
104.76/104.82	c New solution: 174
104.76/104.82	o 174
104.76/104.82	c Elapsed CPU time: 104.574 s	Remaining CPU time: 75.4259 s
104.76/104.82	c ===============================================================================
104.76/104.82	c |      1860 |   21726   257729   568274 |    85909      252     39 | 69.842 % |
104.76/104.86	c ===============================================================================
104.76/104.86	c New solution: 173
104.76/104.86	o 173
104.76/104.86	c Elapsed CPU time: 104.615 s	Remaining CPU time: 75.3849 s
104.76/104.86	c ===============================================================================
104.76/104.86	c |      1863 |   21484   257730   568574 |    85910      255     38 | 69.842 % |
104.85/104.90	c ===============================================================================
104.85/104.90	c New solution: 172
104.85/104.90	o 172
104.85/104.90	c Elapsed CPU time: 104.655 s	Remaining CPU time: 75.3449 s
104.85/104.90	c ===============================================================================
104.85/104.90	c |      1865 |   21242   257731   568874 |    85910      257     38 | 69.842 % |
104.85/104.94	c ===============================================================================
104.85/104.94	c New solution: 171
104.85/104.94	o 171
104.85/104.94	c Elapsed CPU time: 104.696 s	Remaining CPU time: 75.3039 s
104.85/104.94	c ===============================================================================
104.85/104.94	c |      1867 |   21000   257732   569174 |    85910      259     38 | 69.842 % |
104.85/104.98	c ===============================================================================
104.85/104.98	c New solution: 170
104.85/104.98	o 170
104.85/104.98	c Elapsed CPU time: 104.729 s	Remaining CPU time: 75.2709 s
104.85/104.98	c ===============================================================================
104.85/104.98	c |      1870 |   20758   257733   569474 |    85911      262     38 | 69.842 % |
104.95/105.02	c ===============================================================================
104.95/105.02	c New solution: 169
104.95/105.02	o 169
104.95/105.02	c Elapsed CPU time: 104.772 s	Remaining CPU time: 75.2279 s
104.95/105.02	c ===============================================================================
104.95/105.02	c |      1876 |   20516   257734   569774 |    85911      268     37 | 69.842 % |
104.95/105.06	c ===============================================================================
104.95/105.06	c New solution: 168
104.95/105.06	o 168
104.95/105.06	c Elapsed CPU time: 104.815 s	Remaining CPU time: 75.1849 s
104.95/105.06	c ===============================================================================
104.95/105.06	c |      1882 |   20274   257735   570074 |    85911      274     37 | 69.842 % |
105.05/105.10	c ===============================================================================
105.05/105.10	c New solution: 167
105.05/105.10	o 167
105.05/105.10	c Elapsed CPU time: 104.856 s	Remaining CPU time: 75.1439 s
105.05/105.10	c ===============================================================================
105.05/105.10	c |      1887 |   20032   257736   570374 |    85912      279     36 | 69.842 % |
105.05/105.15	c ===============================================================================
105.05/105.15	c New solution: 166
105.05/105.15	o 166
105.05/105.15	c Elapsed CPU time: 104.9 s	Remaining CPU time: 75.0999 s
105.05/105.15	c ===============================================================================
105.05/105.15	c |      1894 |   19790   257737   570674 |    85912      286     36 | 69.842 % |
105.05/105.18	c ===============================================================================
105.05/105.18	c New solution: 165
105.05/105.18	o 165
105.05/105.18	c Elapsed CPU time: 104.937 s	Remaining CPU time: 75.063 s
105.05/105.18	c ===============================================================================
105.05/105.18	c |      1905 |   19548   257738   570974 |    85912      297     35 | 69.842 % |
105.15/105.24	c ===============================================================================
105.15/105.24	c New solution: 164
105.15/105.24	o 164
105.15/105.24	c Elapsed CPU time: 104.992 s	Remaining CPU time: 75.008 s
105.15/105.24	c ===============================================================================
105.15/105.24	c |      1942 |   19306   257739   571274 |    85913      334     35 | 69.842 % |
105.15/105.28	c ===============================================================================
105.15/105.28	c New solution: 163
105.15/105.28	o 163
105.15/105.28	c Elapsed CPU time: 105.034 s	Remaining CPU time: 74.966 s
105.15/105.28	c ===============================================================================
105.15/105.28	c |      1950 |   19064   257740   571574 |    85913      342     35 | 69.842 % |
105.25/105.32	c ===============================================================================
105.25/105.32	c New solution: 162
105.25/105.32	o 162
105.25/105.32	c Elapsed CPU time: 105.068 s	Remaining CPU time: 74.932 s
105.25/105.32	c ===============================================================================
105.25/105.32	c |      1953 |   18822   257741   571874 |    85913      345     35 | 69.842 % |
105.25/105.36	c ===============================================================================
105.25/105.36	c New solution: 161
105.25/105.36	o 161
105.25/105.36	c Elapsed CPU time: 105.106 s	Remaining CPU time: 74.894 s
105.25/105.36	c ===============================================================================
105.25/105.36	c |      1955 |   18580   257742   572174 |    85914      347     35 | 69.842 % |
105.25/105.39	c ===============================================================================
105.25/105.39	c New solution: 160
105.25/105.39	o 160
105.25/105.39	c Elapsed CPU time: 105.143 s	Remaining CPU time: 74.857 s
105.25/105.39	c ===============================================================================
105.25/105.39	c |      1957 |   18338   257743   572474 |    85914      349     35 | 69.842 % |
105.35/105.43	c ===============================================================================
105.35/105.43	c New solution: 159
105.35/105.43	o 159
105.35/105.43	c Elapsed CPU time: 105.178 s	Remaining CPU time: 74.822 s
105.35/105.43	c ===============================================================================
105.35/105.43	c |      1969 |   18096   257744   572774 |    85914      361     34 | 69.842 % |
105.35/105.47	c ===============================================================================
105.35/105.47	c New solution: 158
105.35/105.47	o 158
105.35/105.47	c Elapsed CPU time: 105.215 s	Remaining CPU time: 74.785 s
105.35/105.47	c ===============================================================================
105.35/105.47	c |      1977 |   17854   257745   573074 |    85915      369     34 | 69.842 % |
105.46/105.51	c ===============================================================================
105.46/105.51	c New solution: 157
105.46/105.51	o 157
105.46/105.51	c Elapsed CPU time: 105.257 s	Remaining CPU time: 74.743 s
105.46/105.51	c ===============================================================================
105.46/105.51	c |      1983 |   17612   257746   573374 |    85915      375     33 | 69.842 % |
105.46/105.55	c ===============================================================================
105.46/105.55	c New solution: 156
105.46/105.55	o 156
105.46/105.55	c Elapsed CPU time: 105.299 s	Remaining CPU time: 74.701 s
105.46/105.55	c ===============================================================================
105.46/105.55	c |      1989 |   17370   257747   573674 |    85915       78     20 | 69.842 % |
105.46/105.59	c ===============================================================================
105.46/105.59	c New solution: 155
105.46/105.59	o 155
105.46/105.59	c Elapsed CPU time: 105.336 s	Remaining CPU time: 74.664 s
105.46/105.59	c ===============================================================================
105.46/105.59	c |      2004 |   17128   257748   573974 |    85916       93     20 | 69.842 % |
105.56/105.63	c ===============================================================================
105.56/105.63	c New solution: 154
105.56/105.63	o 154
105.56/105.63	c Elapsed CPU time: 105.376 s	Remaining CPU time: 74.624 s
105.56/105.63	c ===============================================================================
105.56/105.63	c |      2011 |   16886   257749   574274 |    85916      100     20 | 69.842 % |
105.56/105.67	c ===============================================================================
105.56/105.67	c New solution: 153
105.56/105.67	o 153
105.56/105.67	c Elapsed CPU time: 105.415 s	Remaining CPU time: 74.585 s
105.56/105.67	c ===============================================================================
105.56/105.67	c |      2018 |   16644   257750   574574 |    85916      107     20 | 69.842 % |
105.65/105.71	c ===============================================================================
105.65/105.71	c New solution: 152
105.65/105.71	o 152
105.65/105.71	c Elapsed CPU time: 105.456 s	Remaining CPU time: 74.544 s
105.65/105.71	c ===============================================================================
105.65/105.71	c |      2023 |   16402   257751   574874 |    85917      112     20 | 69.842 % |
105.65/105.74	c ===============================================================================
105.65/105.74	c New solution: 151
105.65/105.74	o 151
105.65/105.74	c Elapsed CPU time: 105.491 s	Remaining CPU time: 74.509 s
105.65/105.74	c ===============================================================================
105.65/105.74	c |      2024 |   16160   257752   575174 |    85917      113     20 | 69.842 % |
105.65/105.78	c ===============================================================================
105.65/105.78	c New solution: 150
105.65/105.78	o 150
105.65/105.78	c Elapsed CPU time: 105.524 s	Remaining CPU time: 74.476 s
105.65/105.78	c ===============================================================================
105.65/105.78	c |      2037 |   15918   257753   575474 |    85917      126     21 | 69.842 % |
105.75/105.82	c |      2139 |   15885   257753   575474 |    94509      228     34 | 78.479 % |
105.85/105.96	c |      2289 |   15874   257753   575474 |   103960      378     41 | 78.479 % |
105.85/105.99	c ===============================================================================
105.85/105.99	c New solution: 149
105.85/105.99	o 149
105.85/105.99	c Elapsed CPU time: 105.736 s	Remaining CPU time: 74.2641 s
105.85/105.99	c ===============================================================================
105.85/105.99	c |      2294 |   15676   257754   575774 |    85918      383     40 | 78.479 % |
105.95/106.03	c ===============================================================================
105.95/106.03	c New solution: 148
105.95/106.03	o 148
105.95/106.03	c Elapsed CPU time: 105.771 s	Remaining CPU time: 74.2291 s
105.95/106.03	c ===============================================================================
105.95/106.03	c |      2295 |   15434   257755   576074 |    85918      384     40 | 78.479 % |
105.95/106.06	c ===============================================================================
105.95/106.06	c New solution: 147
105.95/106.06	o 147
105.95/106.06	c Elapsed CPU time: 105.807 s	Remaining CPU time: 74.1931 s
105.95/106.06	c ===============================================================================
105.95/106.06	c |      2299 |   15192   257756   576374 |    85918      388     40 | 78.479 % |
106.05/106.10	c ===============================================================================
106.05/106.10	c New solution: 146
106.05/106.10	o 146
106.05/106.10	c Elapsed CPU time: 105.845 s	Remaining CPU time: 74.1551 s
106.05/106.10	c ===============================================================================
106.05/106.10	c |      2303 |   14950   257757   576674 |    85919      392     40 | 78.479 % |
106.05/106.14	c ===============================================================================
106.05/106.14	c New solution: 145
106.05/106.14	o 145
106.05/106.14	c Elapsed CPU time: 105.881 s	Remaining CPU time: 74.1191 s
106.05/106.14	c ===============================================================================
106.05/106.14	c |      2307 |   14708   257758   576974 |    85919      396     40 | 78.479 % |
106.05/106.17	c ===============================================================================
106.05/106.17	c New solution: 144
106.05/106.17	o 144
106.05/106.17	c Elapsed CPU time: 105.917 s	Remaining CPU time: 74.0831 s
106.05/106.17	c ===============================================================================
106.05/106.17	c |      2307 |   14466   257759   577274 |    85919      396     40 | 78.479 % |
106.15/106.21	c ===============================================================================
106.15/106.21	c New solution: 143
106.15/106.21	o 143
106.15/106.21	c Elapsed CPU time: 105.951 s	Remaining CPU time: 74.0491 s
106.15/106.21	c ===============================================================================
106.15/106.21	c |      2307 |   14224   257760   577574 |    85920      396     40 | 78.479 % |
106.15/106.25	c ===============================================================================
106.15/106.25	c New solution: 142
106.15/106.25	o 142
106.15/106.25	c Elapsed CPU time: 105.984 s	Remaining CPU time: 74.0161 s
106.15/106.25	c ===============================================================================
106.15/106.25	c |      2309 |   13982   257761   577874 |    85920      398     39 | 78.479 % |
106.15/106.28	c ===============================================================================
106.15/106.28	c New solution: 141
106.15/106.28	o 141
106.15/106.28	c Elapsed CPU time: 106.015 s	Remaining CPU time: 73.9851 s
106.15/106.28	c ===============================================================================
106.15/106.28	c |      2315 |   13740   257762   578174 |    85920      404     39 | 78.479 % |
106.25/106.34	c |      2416 |   13719   257762   578174 |    94512      505     40 | 81.469 % |
106.25/106.37	c ===============================================================================
106.25/106.37	c New solution: 140
106.25/106.37	o 140
106.25/106.37	c Elapsed CPU time: 106.107 s	Remaining CPU time: 73.8931 s
106.25/106.37	c ===============================================================================
106.25/106.37	c |      2418 |   13498   257763   578474 |    85921      507     40 | 81.469 % |
106.35/106.40	c ===============================================================================
106.35/106.40	c New solution: 139
106.35/106.40	o 139
106.35/106.40	c Elapsed CPU time: 106.136 s	Remaining CPU time: 73.8641 s
106.35/106.40	c ===============================================================================
106.35/106.40	c |      2421 |   13256   257764   578774 |    85921      510     40 | 81.469 % |
106.35/106.43	c ===============================================================================
106.35/106.43	c New solution: 138
106.35/106.43	o 138
106.35/106.43	c Elapsed CPU time: 106.164 s	Remaining CPU time: 73.8361 s
106.35/106.43	c ===============================================================================
106.35/106.43	c |      2431 |   13014   257765   579074 |    85921      520     40 | 81.469 % |
106.35/106.47	c ===============================================================================
106.35/106.47	c New solution: 137
106.35/106.47	o 137
106.35/106.47	c Elapsed CPU time: 106.199 s	Remaining CPU time: 73.8011 s
106.35/106.47	c ===============================================================================
106.35/106.47	c |      2444 |   12772   257766   579374 |    85922      533     39 | 81.469 % |
106.45/106.51	c ===============================================================================
106.45/106.51	c New solution: 136
106.45/106.51	o 136
106.45/106.51	c Elapsed CPU time: 106.239 s	Remaining CPU time: 73.7612 s
106.45/106.51	c ===============================================================================
106.45/106.51	c |      2458 |   12530   257767   579674 |    85922      547     39 | 81.469 % |
106.45/106.54	c ===============================================================================
106.45/106.54	c New solution: 135
106.45/106.54	o 135
106.45/106.54	c Elapsed CPU time: 106.271 s	Remaining CPU time: 73.7292 s
106.45/106.54	c ===============================================================================
106.45/106.54	c |      2466 |   12288   257768   579974 |    85922      555     38 | 81.469 % |
106.45/106.57	c ===============================================================================
106.45/106.57	c New solution: 134
106.45/106.57	o 134
106.45/106.57	c Elapsed CPU time: 106.305 s	Remaining CPU time: 73.6952 s
106.45/106.57	c ===============================================================================
106.45/106.57	c |      2471 |   12046   257769   580274 |    85923      560     38 | 81.469 % |
106.56/106.60	c ===============================================================================
106.56/106.60	c New solution: 133
106.56/106.60	o 133
106.56/106.60	c Elapsed CPU time: 106.337 s	Remaining CPU time: 73.6632 s
106.56/106.60	c ===============================================================================
106.56/106.60	c |      2478 |   11804   257770   580574 |    85923       98     18 | 81.469 % |
106.56/106.63	c ===============================================================================
106.56/106.63	c New solution: 132
106.56/106.63	o 132
106.56/106.63	c Elapsed CPU time: 106.367 s	Remaining CPU time: 73.6332 s
106.56/106.63	c ===============================================================================
106.56/106.63	c |      2487 |   11562   257771   580874 |    85923      107     18 | 81.469 % |
106.56/106.69	c |      2587 |   11553   257771   580874 |    94516      207     33 | 84.460 % |
106.66/106.74	c ===============================================================================
106.66/106.74	c New solution: 131
106.66/106.74	o 131
106.66/106.74	c Elapsed CPU time: 106.471 s	Remaining CPU time: 73.5292 s
106.66/106.74	c ===============================================================================
106.66/106.74	c |      2610 |   11320   257772   581174 |    85924      230     32 | 84.460 % |
106.66/106.77	c ===============================================================================
106.66/106.77	c New solution: 130
106.66/106.77	o 130
106.66/106.77	c Elapsed CPU time: 106.504 s	Remaining CPU time: 73.4962 s
106.66/106.77	c ===============================================================================
106.66/106.77	c |      2628 |   11078   257773   581474 |    85924      248     31 | 84.460 % |
106.75/106.85	c |      2729 |   11071   257773   581474 |    94516      349     39 | 85.124 % |
106.85/106.96	c ===============================================================================
106.85/106.96	c New solution: 129
106.85/106.96	o 129
106.85/106.96	c Elapsed CPU time: 106.69 s	Remaining CPU time: 73.3102 s
106.85/106.96	c ===============================================================================
106.85/106.96	c |      2813 |   10836   257774   581774 |    85924      433     40 | 85.124 % |
106.85/106.99	c ===============================================================================
106.85/106.99	c New solution: 128
106.85/106.99	o 128
106.85/106.99	c Elapsed CPU time: 106.724 s	Remaining CPU time: 73.2762 s
106.85/106.99	c ===============================================================================
106.85/106.99	c |      2815 |   10594   257775   582074 |    85925      435     40 | 85.124 % |
106.95/107.03	c |      2915 |   10490   257775   582074 |    94517      535     41 | 85.788 % |
107.05/107.13	c |      3065 |   10490   257775   582074 |   103969      685     47 | 85.788 % |
107.05/107.19	c ===============================================================================
107.05/107.19	c New solution: 127
107.05/107.19	o 127
107.05/107.19	c Elapsed CPU time: 106.916 s	Remaining CPU time: 73.0843 s
107.05/107.19	c ===============================================================================
107.05/107.19	c |      3136 |   10352   257776   582374 |    85925      756     48 | 85.788 % |
107.25/107.30	c ===============================================================================
107.25/107.30	c New solution: 126
107.25/107.30	o 126
107.25/107.30	c Elapsed CPU time: 107.035 s	Remaining CPU time: 72.9653 s
107.25/107.30	c ===============================================================================
107.25/107.30	c |      3222 |   10110   257777   582674 |    85925      842     48 | 85.788 % |
107.25/107.34	c |      3324 |   10074   257777   582674 |    94518      944     47 | 86.453 % |
107.45/107.51	c |      3476 |   10067   257777   582674 |   103970     1096     48 | 86.453 % |
107.45/107.59	c |      3701 |    9868   257777   582674 |   114367      976     45 | 86.453 % |
107.66/107.77	c |      4039 |    9868   257777   582674 |   125803     1314     45 | 86.453 % |
107.76/107.85	c ===============================================================================
107.76/107.85	c New solution: 125
107.76/107.85	o 125
107.76/107.85	c Elapsed CPU time: 107.583 s	Remaining CPU time: 72.4174 s
107.76/107.85	c ===============================================================================
107.76/107.85	c |      4138 |    9868   257778   582974 |    85926     1413     44 | 86.453 % |
107.85/107.91	c |      4239 |    9857   257778   582974 |    94518     1514     45 | 86.785 % |
107.85/107.98	c ===============================================================================
107.85/107.98	c New solution: 124
107.85/107.98	o 124
107.85/107.98	c Elapsed CPU time: 107.708 s	Remaining CPU time: 72.2924 s
107.85/107.98	c ===============================================================================
107.85/107.98	c |      4285 |    9626   257779   583274 |    85926     1560     45 | 86.785 % |
107.95/108.02	c |      4386 |    9610   257779   583274 |    94518     1661     44 | 87.117 % |
108.05/108.15	c |      4536 |    9603   257779   583274 |   103970     1811     44 | 87.117 % |
108.15/108.22	c ===============================================================================
108.15/108.22	c New solution: 123
108.15/108.22	o 123
108.15/108.22	c Elapsed CPU time: 107.944 s	Remaining CPU time: 72.0564 s
108.15/108.22	c ===============================================================================
108.15/108.22	c |      4658 |    9384   257780   583574 |    85926     1933     43 | 87.117 % |
108.15/108.29	c |      4759 |    9374   257780   583574 |    94519     2034     44 | 87.450 % |
108.25/108.35	c |      4909 |    9142   257780   583574 |   103971     1599     37 | 87.450 % |
108.45/108.59	c |      5135 |    9142   257780   583574 |   114368     1825     40 | 87.450 % |
108.65/108.76	c |      5472 |    9142   257780   583574 |   125805     2162     46 | 87.450 % |
109.15/109.26	c |      5979 |    9142   257780   583574 |   138385     2669     50 | 87.450 % |
109.35/109.47	c ===============================================================================
109.35/109.47	c New solution: 122
109.35/109.47	o 122
109.35/109.47	c Elapsed CPU time: 109.188 s	Remaining CPU time: 70.8116 s
109.35/109.47	c ===============================================================================
109.35/109.47	c |      6550 |    9142   257781   583874 |    85927     3240     51 | 87.450 % |
109.45/109.58	c |      6653 |    8900   257781   583874 |    94519     2867     46 | 87.782 % |
109.55/109.64	c |      6804 |    8900   257781   583874 |   103971     3018     46 | 87.782 % |
109.75/109.87	c |      7029 |    8900   257781   583874 |   114368     3243     47 | 87.782 % |
109.96/110.01	c |      7366 |    8900   257781   583874 |   125805     3580     46 | 87.782 % |
110.15/110.20	c ===============================================================================
110.15/110.20	c New solution: 121
110.15/110.20	o 121
110.15/110.20	c Elapsed CPU time: 109.919 s	Remaining CPU time: 70.0807 s
110.15/110.20	c ===============================================================================
110.15/110.20	c |      7621 |    8900   257782   584174 |    85927     3835     47 | 87.782 % |
110.25/110.33	c |      7723 |    8895   257782   584174 |    94520     3937     48 | 88.114 % |
110.25/110.38	c |      7873 |    8883   257782   584174 |   103972     4087     48 | 88.114 % |
110.55/110.61	c |      8098 |    8876   257782   584174 |   114369     4312     48 | 88.114 % |
110.65/110.72	c |      8435 |    8658   257782   584174 |   125806     4260     44 | 88.114 % |
111.25/111.30	c |      8942 |    8658   257782   584174 |   138386     4767     47 | 88.114 % |
111.84/111.91	c ===============================================================================
111.84/111.91	c New solution: 120
111.84/111.91	o 120
111.84/111.91	c Elapsed CPU time: 111.622 s	Remaining CPU time: 68.378 s
111.84/111.91	c ===============================================================================
111.84/111.91	c |      9612 |    8658   257783   584474 |    85927     5437     50 | 88.114 % |
111.94/112.03	c |      9712 |    8649   257783   584474 |    94520     5537     50 | 88.446 % |
111.94/112.09	c |      9862 |    8416   257783   584474 |   103972     4801     46 | 88.446 % |
112.24/112.34	c |     10087 |    8416   257783   584474 |   114369     5026     47 | 88.446 % |
112.34/112.45	c |     10424 |    8416   257783   584474 |   125806     5363     46 | 88.446 % |
113.16/113.24	c |     10932 |    8416   257783   584474 |   138387     5871     49 | 88.446 % |
113.45/113.58	c |     11692 |    8416   257783   584474 |   152226     6631     49 | 88.446 % |
114.35/114.45	c |     12831 |    8416   257783   584474 |   167448     7770     52 | 88.446 % |
114.75/114.82	c ===============================================================================
114.75/114.82	c New solution: 119
114.75/114.82	o 119
114.75/114.82	c Elapsed CPU time: 114.524 s	Remaining CPU time: 65.4764 s
114.75/114.82	c ===============================================================================
114.75/114.82	c |     13252 |    8416   257784   584774 |    85928     8191     52 | 88.446 % |
114.85/114.95	c |     13352 |    8174   257784   584774 |    94520     7140     47 | 88.778 % |
115.05/115.14	c |     13502 |    8174   257784   584774 |   103972     7290     47 | 88.778 % |
115.15/115.24	c |     13729 |    8174   257784   584774 |   114370     7517     47 | 88.778 % |
115.54/115.67	c |     14066 |    8174   257784   584774 |   125807     7854     48 | 88.778 % |
115.74/115.88	c |     14572 |    8174   257784   584774 |   138387     8360     48 | 88.778 % |
116.75/116.81	c |     15331 |    8174   257784   584774 |   152226     9119     50 | 88.778 % |
117.05/117.19	c |     16470 |    8174   257784   584774 |   167449    10258     48 | 88.778 % |
119.55/119.69	c |     18180 |    8174   257784   584774 |   184194    11968     53 | 88.778 % |
121.14/121.25	c |     20743 |    8174   257784   584774 |   202613    14531     53 | 88.778 % |
126.75/126.89	c |     24590 |    8174   257784   584774 |   222875    18378     61 | 88.778 % |
129.34/129.49	c |     30356 |    8174   257784   584774 |   245162    24144     60 | 88.778 % |
145.83/145.90	c |     39008 |    8174   257784   584774 |   269678    32796     72 | 88.778 % |
159.83/159.94	c |     51982 |    8174   257784   584774 |   296646    45770     77 | 88.778 % |
160.03/160.11	c ===============================================================================
160.03/160.11	c New solution: 118
160.03/160.11	o 118
160.03/160.11	c Elapsed CPU time: 159.648 s	Remaining CPU time: 20.3523 s
160.03/160.11	c ===============================================================================
160.03/160.11	c |     52177 |    8174   257785   585074 |    85928    45965     76 | 88.778 % |
160.23/160.30	c |     52279 |    7932   257785   585074 |    94521    38880     70 | 89.111 % |
160.33/160.43	c |     52429 |    7932   257785   585074 |   103973    39030     70 | 89.111 % |
160.54/160.66	c |     52659 |    7932   257785   585074 |   114370    39260     70 | 89.111 % |
161.03/161.13	c |     52997 |    7932   257785   585074 |   125807    39598     70 | 89.111 % |
161.23/161.36	c |     53503 |    7932   257785   585074 |   138388    40104     70 | 89.111 % |
162.74/162.82	c |     54263 |    7932   257785   585074 |   152227    40864     70 | 89.111 % |
163.53/163.69	c |     55403 |    7932   257785   585074 |   167450    42004     70 | 89.111 % |
166.43/166.53	c |     57111 |    7932   257785   585074 |   184195    43712     71 | 89.111 % |
169.43/169.50	c |     59674 |    7932   257785   585074 |   202614    46275     73 | 89.111 % |
177.12/177.22	c |     63518 |    7932   257785   585074 |   222875    50119     78 | 89.111 % |
180.42/180.52	c There are 64910 assigned variables. 285 in cost function.
180.82/180.91	c core #1
180.82/180.91	c ============================[ Search Statistics ]==============================
180.82/180.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.82/180.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.82/180.91	c ===============================================================================
180.82/180.91	c |         0 |    4520    86631    58116 |    28877        0    nan |  0.000 % |
180.82/180.95	c |       100 |    4520    86631    58116 |    31764      100     34 | 93.796 % |
180.92/181.01	c |       251 |    4520    86631    58116 |    34941      251     35 | 93.796 % |
180.92/181.09	c |       476 |    4520    86631    58116 |    38435      476     37 | 93.796 % |
181.13/181.21	c |       813 |    4517    86631    58116 |    42278      791     36 | 93.800 % |
181.33/181.40	c |      1319 |    4517    86631    58116 |    46506     1297     40 | 93.800 % |
181.62/181.71	c |      2078 |    4517    86631    58116 |    51157     2056     44 | 93.800 % |
182.13/182.24	c |      3217 |    4517    86631    58116 |    56273     3195     47 | 93.800 % |
182.92/183.04	c |      4925 |    4517    86631    58116 |    61900     4903     49 | 93.800 % |
184.23/184.39	c |      7487 |    4517    86631    58116 |    68090     7465     51 | 93.800 % |
186.52/186.68	c |     11331 |    4507    86631    58116 |    74899    11133     56 | 93.819 % |
189.82/189.94	c ===============================================================================
189.92/190.07	c core #2
189.92/190.07	c ============================[ Search Statistics ]==============================
189.92/190.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.92/190.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.92/190.07	c ===============================================================================
189.92/190.07	c |         0 |    4794    86656    59640 |    28885        0    nan |  0.000 % |
190.02/190.11	c |       101 |    4794    86656    59640 |    31773      101     33 | 93.422 % |
190.02/190.17	c |       252 |    4794    86656    59640 |    34951      252     40 | 93.422 % |
190.13/190.24	c |       478 |    4794    86656    59640 |    38446      478     40 | 93.422 % |
190.23/190.37	c |       815 |    4794    86656    59640 |    42291      815     43 | 93.422 % |
190.43/190.56	c |      1321 |    4794    86656    59640 |    46520     1321     46 | 93.422 % |
190.72/190.80	c |      2080 |    4794    86656    59640 |    51172     2080     48 | 93.422 % |
191.12/191.27	c |      3220 |    4794    86656    59640 |    56289     3220     47 | 93.422 % |
191.82/191.96	c |      4928 |    4794    86656    59640 |    61918     4928     46 | 93.422 % |
193.12/193.23	c |      7490 |    4794    86656    59640 |    68110     7490     53 | 93.422 % |
195.42/195.50	c |     11334 |    4794    86656    59640 |    74921    11334     55 | 93.422 % |
198.92/199.03	c |     17101 |    4794    86656    59640 |    82413    17101     55 | 93.422 % |
207.02/207.10	c |     25750 |    4790    86656    59640 |    90654    25044     58 | 93.427 % |
218.91/219.04	c |     38725 |    4769    86656    59640 |    99720    31487     55 | 93.456 % |
241.70/241.83	c |     58188 |    4769    86656    59640 |   109692    50950     60 | 93.456 % |
289.49/289.64	c |     87382 |    4769    86656    59640 |   120661    80144     64 | 93.456 % |
385.25/385.48	c |    131172 |    4597    86656    59640 |   132727    81848     61 | 93.692 % |
481.12/481.36	c ===============================================================================
481.42/481.63	c core #3
481.42/481.63	c ============================[ Search Statistics ]==============================
481.42/481.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
481.42/481.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
481.42/481.63	c ===============================================================================
481.42/481.63	c |         0 |    5071    86700    61292 |    28900        0    nan |  0.000 % |
481.42/481.68	c |       101 |    5071    86700    61292 |    31790      101     28 | 93.043 % |
481.53/481.76	c |       254 |    5071    86700    61292 |    34969      254     46 | 93.043 % |
481.63/481.86	c |       479 |    5071    86700    61292 |    38465      479     44 | 93.043 % |
481.72/481.99	c |       816 |    5071    86700    61292 |    42312      816     41 | 93.043 % |
481.91/482.20	c |      1323 |    5071    86700    61292 |    46543     1323     44 | 93.043 % |
482.22/482.45	c |      2082 |    5071    86700    61292 |    51198     2082     42 | 93.043 % |
482.73/482.98	c |      3221 |    5071    86700    61292 |    56317     3221     50 | 93.043 % |
483.73/483.90	c |      4932 |    5071    86700    61292 |    61949     4932     50 | 93.043 % |
485.01/485.21	c |      7494 |    5071    86700    61292 |    68144     7494     49 | 93.043 % |
487.12/487.38	c |     11338 |    5071    86700    61292 |    74959    11338     56 | 93.043 % |
491.22/491.43	c |     17106 |    5071    86700    61292 |    82455    17106     55 | 93.043 % |
498.41/498.63	c |     25755 |    5071    86700    61292 |    90700    25755     59 | 93.043 % |
510.81/511.07	c |     38730 |    5071    86700    61292 |    99770    38730     58 | 93.043 % |
537.00/537.25	c |     58191 |    5069    86700    61292 |   109747    58190     60 | 93.045 % |
587.68/587.95	c |     87385 |    5069    86700    61292 |   120722    87384     67 | 93.045 % |
682.05/682.36	c |    131174 |    5069    86700    61292 |   132794   131173     68 | 93.045 % |
891.07/891.40	c |    196860 |    5069    86700    61292 |   146074   196859     71 | 93.045 % |
1099.51/1099.92	c |    295388 |    5069    86700    61292 |   160681   100604     72 | 93.045 % |
1578.52/1579.12	c |    443180 |    5069    86700    61292 |   176749    43209     73 | 93.045 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22639
/proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=10784 CPUtime=0
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 328 0 0 0 0 0 0 0 16 0 1 0 12733685 11042816 247 1992294400 134512640 135751879 4287672176 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 2696 247 140 303 0 374 0

[startup+0.072211 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22639
/proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=14216 CPUtime=0.06
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 1211 0 0 0 6 0 0 0 16 0 1 0 12733685 14557184 1130 1992294400 134512640 135751879 4287672176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 3554 1130 240 303 0 1232 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14216

[startup+0.101216 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22639
/proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=15832 CPUtime=0.09
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 1597 0 0 0 9 0 0 0 16 0 1 0 12733685 16211968 1516 1992294400 134512640 135751879 4287672176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 3958 1516 284 303 0 1636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15832

[startup+0.301256 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22639
/proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=20104 CPUtime=0.28
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 2940 0 0 0 28 0 0 0 17 0 1 0 12733685 20586496 2826 1992294400 134512640 135751879 4287672176 18446744073709551615 134557581 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 5026 2826 590 303 0 2704 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20104

[startup+0.701335 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22639
/proc/meminfo: memFree=1791624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=25332 CPUtime=0.69
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 4771 0 0 0 68 1 0 0 17 0 1 0 12733685 25939968 4617 1992294400 134512640 135751879 4287672176 18446744073709551615 135225278 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 6333 4617 1200 303 0 4011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25332

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22640
/proc/meminfo: memFree=1772520/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=37872 CPUtime=1.49
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 8542 0 0 0 147 2 0 0 18 0 1 0 12733685 38780928 8274 1992294400 134512640 135751879 4287672176 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 9468 8274 2111 303 0 7146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37872

[startup+3.10082 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22640
/proc/meminfo: memFree=1740900/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=56148 CPUtime=3.08
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 15287 0 0 0 304 4 0 0 21 0 1 0 12733685 57495552 12777 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 14037 12777 146 303 0 13732 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56148

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22640
/proc/meminfo: memFree=1736808/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=61692 CPUtime=6.28
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 16699 0 0 0 623 5 0 0 25 0 1 0 12733685 63172608 14189 1992294400 134512640 135751879 4287672176 18446744073709551615 135202521 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 15423 14189 146 303 0 15118 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61692

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22640
/proc/meminfo: memFree=1727136/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=70668 CPUtime=12.69
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 18941 0 0 0 1262 7 0 0 25 0 1 0 12733685 72364032 16431 1992294400 134512640 135751879 4287672176 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 17667 16431 146 303 0 17362 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70668

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22640
/proc/meminfo: memFree=1713868/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=82944 CPUtime=25.48
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 21983 0 0 0 2540 8 0 0 25 0 1 0 12733685 84934656 19473 1992294400 134512640 135751879 4287672176 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 20736 19473 146 303 0 20431 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82944

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22642
/proc/meminfo: memFree=1697624/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=99048 CPUtime=51.07
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 26037 0 0 0 5096 11 0 0 25 0 1 0 12733685 101425152 23527 1992294400 134512640 135751879 4287672176 18446744073709551615 134697028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 24762 23527 146 303 0 24457 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99048

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22642
/proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=113796 CPUtime=102.26
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 31144 0 0 0 10208 18 0 0 18 0 1 0 12733685 116527104 27322 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 28449 27322 147 303 0 28144 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 113796

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22644
/proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=113796 CPUtime=162.23
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 31144 0 0 0 16182 41 0 0 25 0 1 0 12733685 116527104 27322 1992294400 134512640 135751879 4287672176 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 28449 27322 147 303 0 28144 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 113796

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22646
/proc/meminfo: memFree=1691052/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=101988 CPUtime=222.21
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 22155 66 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 25497 25016 151 303 0 25192 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 101988

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22648
/proc/meminfo: memFree=1691052/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=101988 CPUtime=282.19
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 28132 87 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 25497 25016 151 303 0 25192 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 101988

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22649
/proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=101988 CPUtime=342.17
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 34117 100 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 25497 25016 151 303 0 25192 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 101988

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22650
/proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=101988 CPUtime=402.15
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32287 0 0 0 40102 113 0 0 25 0 1 0 12733685 104435712 25016 1992294400 134512640 135751879 4287672176 18446744073709551615 134610143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 25497 25016 151 303 0 25192 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 101988

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22652
/proc/meminfo: memFree=1690928/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=101988 CPUtime=462.12
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 32297 0 0 0 46084 128 0 0 25 0 1 0 12733685 104435712 25026 1992294400 134512640 135751879 4287672176 18446744073709551615 134616412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 25497 25026 151 303 0 25192 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 101988

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22654
/proc/meminfo: memFree=1685100/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=109980 CPUtime=522.1
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 33874 0 0 0 52059 151 0 0 25 0 1 0 12733685 112619520 26603 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 27495 26603 151 303 0 27190 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 109980

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22656
/proc/meminfo: memFree=1681876/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=113288 CPUtime=582.08
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 34700 0 0 0 58041 167 0 0 25 0 1 0 12733685 116006912 27429 1992294400 134512640 135751879 4287672176 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 28322 27429 151 303 0 28017 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 113288

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22657
/proc/meminfo: memFree=1672576/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=122436 CPUtime=642.07
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 36947 0 0 0 64023 184 0 0 25 0 1 0 12733685 125374464 29676 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 30609 29676 151 303 0 30304 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 122436

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22664
/proc/meminfo: memFree=1644180/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=150704 CPUtime=881.98
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 44008 0 0 0 87961 237 0 0 25 0 1 0 12733685 154320896 36737 1992294400 134512640 135751879 4287672176 18446744073709551615 134608098 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 37676 36737 151 303 0 37371 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 150704

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22665
/proc/meminfo: memFree=1638228/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=157072 CPUtime=941.96
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 45511 0 0 0 93948 248 0 0 25 0 1 0 12733685 160841728 38240 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 39268 38240 151 303 0 38963 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 157072

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22666
/proc/meminfo: memFree=1625952/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=169084 CPUtime=1001.94
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 48539 0 0 0 99929 265 0 0 25 0 1 0 12733685 173142016 41268 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 42271 41268 151 303 0 41966 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 169084

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22668
/proc/meminfo: memFree=1613304/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=181756 CPUtime=1061.92
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 51704 0 0 0 105908 284 0 0 25 0 1 0 12733685 186118144 44433 1992294400 134512640 135751879 4287672176 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 45439 44433 151 303 0 45134 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 181756

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22670
/proc/meminfo: memFree=1602020/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=193128 CPUtime=1121.89
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 54523 0 0 0 111886 303 0 0 25 0 1 0 12733685 197763072 47252 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 48282 47252 151 303 0 47977 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 193128

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22672
/proc/meminfo: memFree=1591480/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=203688 CPUtime=1181.88
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 57156 0 0 0 117868 320 0 0 25 0 1 0 12733685 208576512 49885 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 50922 49885 151 303 0 50617 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 203688

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22682
/proc/meminfo: memFree=1582056/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=212156 CPUtime=1241.83
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 59301 0 0 0 123849 334 0 0 25 0 1 0 12733685 217247744 52030 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 53039 52030 151 303 0 52734 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 212156

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22683
/proc/meminfo: memFree=1573996/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=220280 CPUtime=1301.82
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 61294 0 0 0 129837 345 0 0 25 0 1 0 12733685 225566720 54023 1992294400 134512640 135751879 4287672176 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 55070 54023 151 303 0 54765 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 220280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22685
/proc/meminfo: memFree=1567424/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=226956 CPUtime=1361.79
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 62954 0 0 0 135824 355 0 0 25 0 1 0 12733685 232402944 55683 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 56739 55683 151 303 0 56434 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 226956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22687
/proc/meminfo: memFree=1561472/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=232776 CPUtime=1421.78
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 64424 0 0 0 141811 367 0 0 25 0 1 0 12733685 238362624 57153 1992294400 134512640 135751879 4287672176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 58194 57153 151 303 0 57889 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 232776

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22689
/proc/meminfo: memFree=1555520/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=238724 CPUtime=1481.75
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 65909 0 0 0 147795 380 0 0 25 0 1 0 12733685 244453376 58638 1992294400 134512640 135751879 4287672176 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 59681 58638 151 303 0 59376 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 238724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22690
/proc/meminfo: memFree=1549940/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=244168 CPUtime=1541.73
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 67286 0 0 0 153783 390 0 0 25 0 1 0 12733685 250028032 60015 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 61042 60015 151 303 0 60737 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 244168

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22691
/proc/meminfo: memFree=1536300/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=257900 CPUtime=1601.71
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 70717 0 0 0 159762 409 0 0 25 0 1 0 12733685 264089600 63446 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 64475 63446 151 303 0 64170 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 257900

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22693
/proc/meminfo: memFree=1526008/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=268072 CPUtime=1661.68
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 73262 0 0 0 165740 428 0 0 25 0 1 0 12733685 274505728 65991 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 67018 65991 151 303 0 66713 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 268072

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22695
/proc/meminfo: memFree=1517204/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=276916 CPUtime=1721.66
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 75471 0 0 0 171723 443 0 0 25 0 1 0 12733685 283561984 68200 1992294400 134512640 135751879 4287672176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 69229 68200 151 303 0 68924 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 276916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22697
/proc/meminfo: memFree=1510260/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=283780 CPUtime=1781.64
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77185 0 0 0 177707 457 0 0 25 0 1 0 12733685 290590720 69914 1992294400 134512640 135751879 4287672176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 70945 69914 151 303 0 70640 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 283780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22697
/proc/meminfo: memFree=1508524/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=285528 CPUtime=1800.05
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77606 0 0 0 179545 460 0 0 25 0 1 0 12733685 292380672 70335 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 71382 70335 151 303 0 71077 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 285528

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22697
/proc/meminfo: memFree=1508524/2059040 swapFree=4192956/4192956
[pid=22639] ppid=22637 vsize=285528 CPUtime=1800.05
/proc/22639/stat : 22639 (wbo1.4b) R 22637 22639 21420 0 -1 4202496 77606 0 0 0 179545 460 0 0 25 0 1 0 12733685 292380672 70335 1992294400 134512640 135751879 4287672176 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22639/statm: 71382 70335 151 303 0 71077 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 285528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.09
CPU user time (s): 1795.46
CPU system time (s): 4.63229
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 285528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.46
system time used= 4.6323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77606
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= 55
involuntary context switches= 21260

runsolver used 2.88256 second user time and 8.61769 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-06 21:40:24
IDJOB=2686970
IDBENCH=77243
IDSOLVER=1161
FILE ID=node033/2686970-1278445224
PBS_JOBID= 11233446
Free space on /tmp= 62480 MiB

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

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

MD5SUM BENCH= c9d9e9de965e10444f6e461e8225e8d3
RANDOM SEED=921604680

node033.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.264
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.52
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.264
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:       1792400 kB
Buffers:         18772 kB
Cached:         117912 kB
SwapCached:          0 kB
Active:          81392 kB
Inactive:       115432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1792400 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10760 kB
Writeback:           0 kB
AnonPages:       60056 kB
Mapped:          14388 kB
Slab:            47880 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2686970-1278445224.opb

Free space on /tmp at the end= 62476 MiB
End job on node033 at 2010-07-06 22:10:27