Trace number 2655739

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.4bWrong Opt.-142 181.262 181.316

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
MD5SUM948226035ef0280d59f9150dd2b5c694
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-187
Best CPU time to get the best result obtained on this benchmark35.0747
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints63877
Number of constraints which are clauses63877
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 340
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 340
Number of bits of the biggest sum of numbers9
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-2655739-1276685856.opb.
0.00/0.00	c Instance file HOME/instance-2655739-1276685856.opb
0.00/0.00	c File size is 2132614 bytes.
0.19/0.29	c Highest Coefficient sum: 4
0.19/0.29	c ============================[ Problem Statistics ]=============================
0.19/0.29	c |                                                                             |
0.19/0.29	c |  Parsing time:          0.29         s                                      |
0.19/0.29	c |  Number Variables:      2025                                                |
0.19/0.29	c |  Number Clauses:        63877                                               |
0.19/0.29	c |  Number Cardinality:    0                                                   |
0.19/0.29	c |  Number PB Constraints: 0                                                   |
0.29/0.39	c ============================[ Search Statistics ]==============================
0.29/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |    2018    63884   190461 |    21292        0    nan |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 340
0.39/0.40	o 340
0.39/0.40	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 179.611 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |         0 |    2018    63885   190596 |    21295        0    nan |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 337
0.39/0.40	o 337
0.39/0.40	c Elapsed CPU time: 0.395939 s	Remaining CPU time: 179.604 s
0.39/0.40	c ===============================================================================
0.39/0.41	c |         0 |    2018    63886   190731 |    21295        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 336
0.39/0.42	o 336
0.39/0.42	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 179.593 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    2018    63887   190866 |    21295        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 333
0.39/0.43	o 333
0.39/0.43	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 179.581 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2018    63888   191001 |    21296        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 331
0.39/0.44	o 331
0.39/0.44	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         1 |    2018    63889   191136 |    21296        1    133 |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 330
0.39/0.45	o 330
0.39/0.45	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 179.561 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         1 |    2018    63890   191271 |    21296        1    133 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: 329
0.39/0.46	o 329
0.39/0.46	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 179.551 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         1 |    2018    63891   191406 |    21297        1    133 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 327
0.39/0.47	o 327
0.39/0.47	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 179.541 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2018    63892   191541 |    21297        1    133 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 326
0.39/0.49	o 326
0.39/0.49	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 179.532 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         1 |    2018    63893   191676 |    21297        1    133 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: 324
0.49/0.50	o 324
0.49/0.50	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 179.522 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         2 |    2018    63894   191811 |    21298        2    132 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 322
0.49/0.51	o 322
0.49/0.51	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 179.512 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         2 |    2018    63895   191946 |    21298        2    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: 319
0.49/0.52	o 319
0.49/0.52	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 179.5 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         4 |    2018    63896   192081 |    21298        4    130 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: 318
0.49/0.53	o 318
0.49/0.53	c Elapsed CPU time: 0.508922 s	Remaining CPU time: 179.491 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         4 |    2018    63897   192216 |    21299        4    130 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: 316
0.49/0.54	o 316
0.49/0.54	c Elapsed CPU time: 0.517921 s	Remaining CPU time: 179.482 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         5 |    2018    63898   192351 |    21299        5    129 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 315
0.49/0.55	o 315
0.49/0.55	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 179.471 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         5 |    2018    63899   192486 |    21299        5    129 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.57	c New solution: 314
0.49/0.57	o 314
0.49/0.57	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 179.461 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         5 |    2018    63900   192621 |    21300        5    129 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: 312
0.49/0.58	o 312
0.49/0.58	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 179.449 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         7 |    2018    63901   192756 |    21300        7    128 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 311
0.49/0.59	o 311
0.49/0.59	c Elapsed CPU time: 0.561914 s	Remaining CPU time: 179.438 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |        10 |    2018    63902   192891 |    21300       10    127 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: 309
0.59/0.60	o 309
0.59/0.60	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 179.428 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |        14 |    2018    63903   193026 |    21301       14    117 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: 308
0.59/0.61	o 308
0.59/0.61	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 179.417 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |        17 |    2018    63904   193161 |    21301       17    118 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 307
0.59/0.62	o 307
0.59/0.62	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 179.407 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |        17 |    2018    63905   193296 |    21301       17    118 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: 306
0.59/0.63	o 306
0.59/0.63	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 179.397 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |        27 |    2018    63906   193431 |    21302       27    120 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 305
0.59/0.64	o 305
0.59/0.64	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 179.387 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |        27 |    2018    63907   193566 |    21302       27    120 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: 304
0.59/0.66	o 304
0.59/0.66	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 179.378 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |        33 |    2018    63908   193701 |    21302       33    120 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 303
0.59/0.67	o 303
0.59/0.67	c Elapsed CPU time: 0.630904 s	Remaining CPU time: 179.369 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |        35 |    2018    63909   193836 |    21303       35    120 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 302
0.59/0.68	o 302
0.59/0.68	c Elapsed CPU time: 0.641902 s	Remaining CPU time: 179.358 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        35 |    2018    63910   193971 |    21303       35    120 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 301
0.59/0.69	o 301
0.59/0.69	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 179.35 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        35 |    2018    63911   194106 |    21303       35    120 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 300
0.69/0.70	o 300
0.69/0.70	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 179.339 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        39 |    2018    63912   194241 |    21304       39    120 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: 299
0.69/0.71	o 299
0.69/0.71	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 179.329 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        45 |    2018    63913   194376 |    21304       45    120 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: 298
0.69/0.72	o 298
0.69/0.72	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 179.32 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        45 |    2018    63914   194511 |    21304       45    120 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: 297
0.69/0.73	o 297
0.69/0.73	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 179.309 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        45 |    2018    63915   194646 |    21305       45    120 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: 296
0.69/0.74	o 296
0.69/0.74	c Elapsed CPU time: 0.700893 s	Remaining CPU time: 179.299 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        45 |    2018    63916   194781 |    21305       45    120 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 295
0.69/0.75	o 295
0.69/0.75	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 179.289 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |        49 |    2018    63917   194916 |    21305       49    120 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: 294
0.69/0.77	o 294
0.69/0.77	c Elapsed CPU time: 0.72289 s	Remaining CPU time: 179.277 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        56 |    2018    63918   195051 |    21306       56    120 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 293
0.69/0.78	o 293
0.69/0.78	c Elapsed CPU time: 0.734888 s	Remaining CPU time: 179.265 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        63 |    2018    63919   195186 |    21306       63    119 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 292
0.69/0.79	o 292
0.69/0.79	c Elapsed CPU time: 0.745886 s	Remaining CPU time: 179.254 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        70 |    2018    63920   195321 |    21306       70    119 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: 291
0.79/0.80	o 291
0.79/0.80	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 179.243 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        70 |    2018    63921   195456 |    21307       70    119 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: 290
0.79/0.81	o 290
0.79/0.81	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 179.233 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        75 |    2018    63922   195591 |    21307       75    119 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: 289
0.79/0.83	o 289
0.79/0.83	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 179.221 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        92 |    2018    63923   195726 |    21307       92    116 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: 288
0.79/0.84	o 288
0.79/0.84	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |       150 |    2018    63924   195861 |    21308      150    113 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: 287
0.79/0.85	o 287
0.79/0.85	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 179.199 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |       169 |    2018    63925   195996 |    21308      169    112 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: 286
0.79/0.86	o 286
0.79/0.86	c Elapsed CPU time: 0.810876 s	Remaining CPU time: 179.189 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |       169 |    2018    63926   196131 |    21308      169    112 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: 285
0.79/0.88	o 285
0.79/0.88	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 179.176 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |       209 |    2018    63927   196266 |    21309      209    111 |  0.000 % |
0.79/0.89	c |       309 |    2018    63927   196266 |    23439      309    111 |  0.346 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: 284
0.89/0.91	o 284
0.89/0.91	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 179.143 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |       386 |    2018    63928   196401 |    21309      386    111 |  0.346 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 283
0.89/0.92	o 283
0.89/0.92	c Elapsed CPU time: 0.868867 s	Remaining CPU time: 179.131 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |       392 |    2018    63929   196536 |    21309      392    111 |  0.346 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: 282
0.89/0.94	o 282
0.89/0.94	c Elapsed CPU time: 0.887865 s	Remaining CPU time: 179.112 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |       462 |    2018    63930   196671 |    21310      462    111 |  0.346 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: 281
0.89/0.95	o 281
0.89/0.95	c Elapsed CPU time: 0.899863 s	Remaining CPU time: 179.1 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |       462 |    2018    63931   196806 |    21310      462    111 |  0.346 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: 280
0.89/0.97	o 280
0.89/0.97	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 179.086 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |       479 |    2018    63932   196941 |    21310      479    110 |  0.346 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: 279
0.89/0.98	o 279
0.89/0.98	c Elapsed CPU time: 0.924859 s	Remaining CPU time: 179.075 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |       486 |    2018    63933   197076 |    21311      486    110 |  0.346 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: 278
0.89/0.99	o 278
0.89/0.99	c Elapsed CPU time: 0.934857 s	Remaining CPU time: 179.065 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |       486 |    2018    63934   197211 |    21311      486    110 |  0.346 % |
1.00/1.01	c |       586 |    2018    63934   197211 |    23442      586    110 |  0.346 % |
1.00/1.03	c |       736 |    2018    63934   197211 |    25786      736    109 |  0.346 % |
1.00/1.07	c |       961 |    2018    63934   197211 |    28365      961    109 |  0.346 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: 277
1.00/1.09	o 277
1.00/1.09	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 178.966 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |      1014 |    2018    63935   197346 |    21311     1014    108 |  0.346 % |
1.10/1.11	c ===============================================================================
1.10/1.11	c New solution: 276
1.10/1.11	o 276
1.10/1.11	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 178.955 s
1.10/1.11	c ===============================================================================
1.10/1.11	c |      1015 |    2018    63936   197481 |    21312     1015    108 |  0.346 % |
1.10/1.12	c |      1116 |    2018    63936   197481 |    23443     1116    108 |  0.346 % |
1.10/1.13	c ===============================================================================
1.10/1.13	c New solution: 275
1.10/1.13	o 275
1.10/1.13	c Elapsed CPU time: 1.07184 s	Remaining CPU time: 178.928 s
1.10/1.13	c ===============================================================================
1.10/1.13	c |      1130 |    2018    63937   197616 |    21312     1130    108 |  0.346 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c New solution: 274
1.10/1.16	o 274
1.10/1.16	c Elapsed CPU time: 1.09283 s	Remaining CPU time: 178.907 s
1.10/1.16	c ===============================================================================
1.10/1.16	c |      1208 |    2018    63938   197751 |    21312     1208    108 |  0.346 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: 273
1.10/1.17	o 273
1.10/1.17	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 178.896 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |      1210 |    2018    63939   197886 |    21313     1210    108 |  0.346 % |
1.10/1.19	c |      1310 |    2018    63939   197886 |    23444     1310    108 |  0.346 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: 272
1.19/1.21	o 272
1.19/1.21	c Elapsed CPU time: 1.13883 s	Remaining CPU time: 178.861 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |      1362 |    2018    63940   198021 |    21313     1362    108 |  0.346 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c New solution: 271
1.19/1.23	o 271
1.19/1.23	c Elapsed CPU time: 1.15882 s	Remaining CPU time: 178.841 s
1.19/1.23	c ===============================================================================
1.19/1.23	c |      1448 |    2018    63941   198156 |    21313     1448    108 |  0.346 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: 270
1.19/1.24	o 270
1.19/1.24	c Elapsed CPU time: 1.16882 s	Remaining CPU time: 178.831 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |      1448 |    2018    63942   198291 |    21314     1448    108 |  0.346 % |
1.19/1.26	c |      1550 |    2018    63942   198291 |    23445     1550    108 |  0.346 % |
1.19/1.29	c |      1700 |    2018    63942   198291 |    25789     1700    108 |  0.346 % |
1.29/1.33	c |      1925 |    2018    63942   198291 |    28368     1925    108 |  0.346 % |
1.39/1.40	c ===============================================================================
1.39/1.40	c New solution: 269
1.39/1.40	o 269
1.39/1.40	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 178.679 s
1.39/1.40	c ===============================================================================
1.39/1.40	c |      2219 |    2018    63943   198426 |    21314     2219    108 |  0.346 % |
1.39/1.41	c ===============================================================================
1.39/1.41	c New solution: 268
1.39/1.41	o 268
1.39/1.41	c Elapsed CPU time: 1.3358 s	Remaining CPU time: 178.664 s
1.39/1.41	c ===============================================================================
1.39/1.41	c |      2229 |    2018    63944   198561 |    21314     2229    108 |  0.346 % |
1.39/1.43	c |      2330 |    2018    63944   198561 |    23446     2330    108 |  0.346 % |
1.39/1.46	c |      2480 |    2018    63944   198561 |    25790     2480    108 |  0.346 % |
1.39/1.47	c ===============================================================================
1.39/1.47	c New solution: 267
1.39/1.47	o 267
1.39/1.47	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 178.606 s
1.39/1.47	c ===============================================================================
1.39/1.47	c |      2501 |    2018    63945   198696 |    21315     2501    108 |  0.346 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: 266
1.39/1.49	o 266
1.39/1.49	c Elapsed CPU time: 1.40579 s	Remaining CPU time: 178.594 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |      2501 |    2018    63946   198831 |    21315     2501    108 |  0.346 % |
1.49/1.51	c |      2602 |    2018    63946   198831 |    23446     2602    108 |  0.346 % |
1.49/1.53	c |      2753 |    2018    63946   198831 |    25791     2753    108 |  0.346 % |
1.49/1.59	c |      2979 |    2018    63946   198831 |    28370     2979    107 |  0.346 % |
1.59/1.65	c |      3317 |    2018    63946   198831 |    31207     3317    107 |  0.346 % |
1.69/1.74	c |      3823 |    2018    63946   198831 |    34328     3823    107 |  0.346 % |
1.69/1.76	c ===============================================================================
1.69/1.76	c New solution: 265
1.69/1.76	o 265
1.69/1.76	c Elapsed CPU time: 1.67774 s	Remaining CPU time: 178.322 s
1.69/1.76	c ===============================================================================
1.69/1.76	c |      3880 |    2018    63947   198966 |    21315     3880    107 |  0.346 % |
1.69/1.78	c ===============================================================================
1.69/1.78	c New solution: 264
1.69/1.78	o 264
1.69/1.78	c Elapsed CPU time: 1.69174 s	Remaining CPU time: 178.308 s
1.69/1.78	c ===============================================================================
1.69/1.78	c |      3890 |    2018    63948   199101 |    21316     3890    107 |  0.346 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: 263
1.69/1.79	o 263
1.69/1.79	c Elapsed CPU time: 1.70374 s	Remaining CPU time: 178.296 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |      3890 |    2018    63949   199236 |    21316     3890    107 |  0.346 % |
1.79/1.81	c ===============================================================================
1.79/1.81	c New solution: 262
1.79/1.81	o 262
1.79/1.81	c Elapsed CPU time: 1.72474 s	Remaining CPU time: 178.275 s
1.79/1.81	c ===============================================================================
1.79/1.81	c |      3938 |    2018    63950   199371 |    21316     3938    107 |  0.346 % |
1.79/1.83	c ===============================================================================
1.79/1.83	c New solution: 261
1.79/1.83	o 261
1.79/1.83	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 178.258 s
1.79/1.83	c ===============================================================================
1.79/1.83	c |      3964 |    2018    63951   199506 |    21317     3964    107 |  0.346 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c New solution: 260
1.79/1.84	o 260
1.79/1.84	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 178.246 s
1.79/1.84	c ===============================================================================
1.79/1.84	c |      3964 |    2018    63952   199641 |    21317     3964    107 |  0.346 % |
1.79/1.86	c |      4065 |    2018    63952   199641 |    23449     4065    107 |  0.346 % |
1.79/1.89	c |      4216 |    2018    63952   199641 |    25793     4216    107 |  0.346 % |
1.89/1.94	c |      4441 |    2018    63952   199641 |    28373     4441    107 |  0.346 % |
1.89/1.98	c ===============================================================================
1.89/1.98	c New solution: 259
1.89/1.98	o 259
1.89/1.98	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 178.11 s
1.89/1.98	c ===============================================================================
1.89/1.98	c |      4647 |    2018    63953   199776 |    21317     4647    107 |  0.346 % |
1.89/1.99	c ===============================================================================
1.89/1.99	c New solution: 258
1.89/1.99	o 258
1.89/1.99	c Elapsed CPU time: 1.90171 s	Remaining CPU time: 178.098 s
1.89/1.99	c ===============================================================================
1.89/1.99	c |      4647 |    2018    63954   199911 |    21318     4647    107 |  0.346 % |
1.99/2.02	c |      4748 |    2018    63954   199911 |    23449     4748    107 |  0.346 % |
1.99/2.05	c ===============================================================================
1.99/2.05	c New solution: 257
1.99/2.05	o 257
1.99/2.05	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 178.049 s
1.99/2.05	c ===============================================================================
1.99/2.05	c |      4842 |    2018    63955   200046 |    21318     4842    106 |  0.346 % |
1.99/2.07	c |      4944 |    2018    63955   200046 |    23450     4944    106 |  0.346 % |
1.99/2.09	c |      5094 |    2018    63955   200046 |    25795     5094    106 |  0.346 % |
2.09/2.15	c |      5319 |    2018    63955   200046 |    28374     5319    106 |  0.346 % |
2.09/2.19	c ===============================================================================
2.09/2.19	c New solution: 256
2.09/2.19	o 256
2.09/2.19	c Elapsed CPU time: 2.09668 s	Remaining CPU time: 177.903 s
2.09/2.19	c ===============================================================================
2.09/2.19	c |      5469 |    2018    63956   200181 |    21318     5469    106 |  0.346 % |
2.20/2.23	c ===============================================================================
2.20/2.23	c New solution: 255
2.20/2.23	o 255
2.20/2.23	c Elapsed CPU time: 2.13468 s	Remaining CPU time: 177.865 s
2.20/2.23	c ===============================================================================
2.20/2.23	c |      5562 |    2018    63957   200316 |    21319     5562    106 |  0.346 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: 254
2.20/2.25	o 254
2.20/2.25	c Elapsed CPU time: 2.14967 s	Remaining CPU time: 177.85 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      5567 |    2018    63958   200451 |    21319     5567    106 |  0.346 % |
2.20/2.27	c |      5668 |    2018    63958   200451 |    23451     5668    106 |  0.346 % |
2.29/2.32	c |      5819 |    2018    63958   200451 |    25796     5819    106 |  0.346 % |
2.29/2.39	c |      6044 |    2018    63958   200451 |    28376     6044    106 |  0.346 % |
2.39/2.48	c |      6382 |    2018    63958   200451 |    31213     6382    106 |  0.346 % |
2.59/2.63	c |      6889 |    2018    63958   200451 |    34334     6889    106 |  0.346 % |
2.79/2.80	c ===============================================================================
2.79/2.80	c New solution: 253
2.79/2.80	o 253
2.79/2.80	c Elapsed CPU time: 2.69659 s	Remaining CPU time: 177.303 s
2.79/2.80	c ===============================================================================
2.79/2.80	c |      7377 |    2018    63959   200586 |    21319     7377    105 |  0.346 % |
2.79/2.84	c |      7478 |    2018    63959   200586 |    23451     7478    105 |  0.346 % |
2.89/2.90	c |      7628 |    2018    63959   200586 |    25796     7628    105 |  0.346 % |
2.89/2.99	c |      7853 |    2018    63959   200586 |    28376     7853    105 |  0.346 % |
3.09/3.15	c |      8191 |    2018    63959   200586 |    31214     8191    105 |  0.346 % |
3.29/3.33	c |      8699 |    2018    63959   200586 |    34335     8699    105 |  0.346 % |
3.59/3.61	c |      9458 |    2018    63959   200586 |    37769     9458    105 |  0.346 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c New solution: 252
3.59/3.63	o 252
3.59/3.63	c Elapsed CPU time: 3.52046 s	Remaining CPU time: 176.48 s
3.59/3.63	c ===============================================================================
3.59/3.63	c |      9472 |    2018    63960   200721 |    21320     9472    105 |  0.346 % |
3.59/3.67	c |      9572 |    2018    63960   200721 |    23452     9572    105 |  0.346 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c New solution: 251
3.69/3.70	o 251
3.69/3.70	c Elapsed CPU time: 3.59045 s	Remaining CPU time: 176.41 s
3.69/3.70	c ===============================================================================
3.69/3.70	c |      9606 |    2018    63961   200856 |    21320     9606    105 |  0.346 % |
3.69/3.75	c |      9707 |    2018    63961   200856 |    23452     9707    104 |  0.346 % |
3.79/3.81	c |      9859 |    2018    63961   200856 |    25797     9859    104 |  0.346 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 250
3.79/3.89	o 250
3.79/3.89	c Elapsed CPU time: 3.78342 s	Remaining CPU time: 176.217 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |     10009 |    2018    63962   200991 |    21320    10009    104 |  0.346 % |
3.89/3.93	c |     10109 |    2018    63962   200991 |    23452    10109    104 |  0.346 % |
3.89/3.98	c |     10260 |    2018    63962   200991 |    25798    10260    104 |  0.346 % |
3.89/3.99	c ===============================================================================
3.89/3.99	c New solution: 249
3.89/3.99	o 249
3.89/3.99	c Elapsed CPU time: 3.88241 s	Remaining CPU time: 176.118 s
3.89/3.99	c ===============================================================================
3.89/3.99	c |     10284 |    2018    63963   201126 |    21321    10284    104 |  0.346 % |
3.99/4.02	c ===============================================================================
3.99/4.02	c New solution: 248
3.99/4.02	o 248
3.99/4.02	c Elapsed CPU time: 3.9074 s	Remaining CPU time: 176.093 s
3.99/4.02	c ===============================================================================
3.99/4.02	c |     10334 |    2018    63964   201261 |    21321    10334    104 |  0.346 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 247
3.99/4.04	o 247
3.99/4.04	c Elapsed CPU time: 3.9204 s	Remaining CPU time: 176.08 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |     10334 |    2018    63965   201396 |    21321    10334    104 |  0.346 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: 246
3.99/4.05	o 246
3.99/4.05	c Elapsed CPU time: 3.9334 s	Remaining CPU time: 176.067 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |     10334 |    2018    63966   201531 |    21322    10334    104 |  0.346 % |
3.99/4.09	c ===============================================================================
3.99/4.09	c New solution: 245
3.99/4.09	o 245
3.99/4.09	c Elapsed CPU time: 3.9724 s	Remaining CPU time: 176.028 s
3.99/4.09	c ===============================================================================
3.99/4.09	c |     10426 |    2018    63967   201666 |    21322    10426    104 |  0.346 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c New solution: 243
4.09/4.12	o 243
4.09/4.12	c Elapsed CPU time: 4.00339 s	Remaining CPU time: 175.997 s
4.09/4.12	c ===============================================================================
4.09/4.12	c |     10480 |    2018    63968   201801 |    21322    10480    104 |  0.346 % |
4.09/4.14	c ===============================================================================
4.09/4.14	c New solution: 242
4.09/4.14	o 242
4.09/4.14	c Elapsed CPU time: 4.01639 s	Remaining CPU time: 175.984 s
4.09/4.14	c ===============================================================================
4.09/4.14	c |     10480 |    2018    63969   201936 |    21323    10480    104 |  0.346 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c New solution: 240
4.09/4.17	o 240
4.09/4.17	c Elapsed CPU time: 4.04638 s	Remaining CPU time: 175.954 s
4.09/4.17	c ===============================================================================
4.09/4.17	c |     10527 |    2018    63970   202071 |    21323    10527    104 |  0.346 % |
4.19/4.20	c |     10629 |    2018    63970   202071 |    23455    10629    104 |  0.346 % |
4.19/4.23	c ===============================================================================
4.19/4.23	c New solution: 239
4.19/4.23	o 239
4.19/4.23	c Elapsed CPU time: 4.10538 s	Remaining CPU time: 175.895 s
4.19/4.23	c ===============================================================================
4.19/4.23	c |     10661 |    2018    63971   202206 |    21323    10661    104 |  0.346 % |
4.19/4.24	c ===============================================================================
4.19/4.24	c New solution: 237
4.19/4.24	o 237
4.19/4.24	c Elapsed CPU time: 4.11637 s	Remaining CPU time: 175.884 s
4.19/4.24	c ===============================================================================
4.19/4.24	c |     10663 |    2018    63972   202341 |    21324    10663    104 |  0.346 % |
4.19/4.28	c |     10763 |    2018    63972   202341 |    23456    10763    104 |  0.346 % |
4.29/4.34	c ===============================================================================
4.29/4.34	c New solution: 236
4.29/4.34	o 236
4.29/4.34	c Elapsed CPU time: 4.21536 s	Remaining CPU time: 175.785 s
4.29/4.34	c ===============================================================================
4.29/4.34	c |     10898 |    2018    63973   202476 |    21324    10898    104 |  0.346 % |
4.29/4.36	c ===============================================================================
4.29/4.36	c New solution: 235
4.29/4.36	o 235
4.29/4.36	c Elapsed CPU time: 4.22736 s	Remaining CPU time: 175.773 s
4.29/4.36	c ===============================================================================
4.29/4.36	c |     10898 |    2018    63974   202611 |    21324    10898    104 |  0.346 % |
4.29/4.39	c ===============================================================================
4.29/4.39	c New solution: 234
4.29/4.39	o 234
4.29/4.39	c Elapsed CPU time: 4.25835 s	Remaining CPU time: 175.742 s
4.29/4.39	c ===============================================================================
4.29/4.39	c |     10948 |    2018    63975   202746 |    21325    10948    104 |  0.346 % |
4.40/4.42	c |     11048 |    2018    63975   202746 |    23457    11048    104 |  0.346 % |
4.40/4.47	c |     11198 |    2018    63975   202746 |    25803    11198    104 |  0.346 % |
4.49/4.50	c ===============================================================================
4.49/4.50	c New solution: 233
4.49/4.50	o 233
4.49/4.50	c Elapsed CPU time: 4.37033 s	Remaining CPU time: 175.63 s
4.49/4.50	c ===============================================================================
4.49/4.50	c |     11256 |    2018    63976   202881 |    21325    11256    104 |  0.346 % |
4.49/4.54	c |     11358 |    2018    63976   202881 |    23457    11358    104 |  0.346 % |
4.49/4.58	c ===============================================================================
4.49/4.58	c New solution: 232
4.49/4.58	o 232
4.49/4.58	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 175.552 s
4.49/4.58	c ===============================================================================
4.49/4.58	c |     11461 |    2018    63977   203016 |    21325    11461    104 |  0.346 % |
4.59/4.63	c |     11562 |    2018    63977   203016 |    23458    11562    104 |  0.346 % |
4.59/4.68	c |     11714 |    2018    63977   203016 |    25804    11714    103 |  0.346 % |
4.69/4.76	c |     11939 |    2018    63977   203016 |    28384    11939    103 |  0.346 % |
4.79/4.88	c |     12279 |    2018    63977   203016 |    31222    12279    103 |  0.346 % |
4.99/5.06	c |     12785 |    2018    63977   203016 |    34345    12785    103 |  0.346 % |
5.29/5.38	c |     13544 |    2018    63977   203016 |    37779    13544    102 |  0.346 % |
5.79/5.89	c |     14683 |    2018    63977   203016 |    41557    14683    101 |  0.346 % |
5.99/6.07	c ===============================================================================
5.99/6.07	c New solution: 231
5.99/6.07	o 231
5.99/6.07	c Elapsed CPU time: 5.9261 s	Remaining CPU time: 174.074 s
5.99/6.07	c ===============================================================================
5.99/6.07	c |     15029 |    2018    63978   203151 |    21326    15029    101 |  0.346 % |
6.09/6.11	c ===============================================================================
6.09/6.11	c New solution: 230
6.09/6.11	o 230
6.09/6.11	c Elapsed CPU time: 5.95909 s	Remaining CPU time: 174.041 s
6.09/6.11	c ===============================================================================
6.09/6.11	c |     15066 |    2018    63979   203286 |    21326    15066    101 |  0.346 % |
6.09/6.16	c |     15168 |    2018    63979   203286 |    23458    15168    101 |  0.346 % |
6.18/6.21	c |     15318 |    2018    63979   203286 |    25804    15318    101 |  0.346 % |
6.18/6.28	c |     15546 |    2018    63979   203286 |    28385    15546    101 |  0.346 % |
6.39/6.43	c |     15886 |    2018    63979   203286 |    31223    15886    101 |  0.346 % |
6.69/6.72	c |     16392 |    2018    63979   203286 |    34346    16392    100 |  0.346 % |
6.79/6.82	c ===============================================================================
6.79/6.82	c New solution: 229
6.79/6.82	o 229
6.79/6.82	c Elapsed CPU time: 6.66199 s	Remaining CPU time: 173.338 s
6.79/6.82	c ===============================================================================
6.79/6.82	c |     16528 |    2018    63980   203421 |    21326    16528    100 |  0.346 % |
6.79/6.83	c ===============================================================================
6.79/6.83	c New solution: 228
6.79/6.83	o 228
6.79/6.83	c Elapsed CPU time: 6.67898 s	Remaining CPU time: 173.321 s
6.79/6.83	c ===============================================================================
6.79/6.83	c |     16532 |    2018    63981   203556 |    21327    16532    100 |  0.346 % |
6.79/6.85	c ===============================================================================
6.79/6.85	c New solution: 227
6.79/6.85	o 227
6.79/6.85	c Elapsed CPU time: 6.69398 s	Remaining CPU time: 173.306 s
6.79/6.85	c ===============================================================================
6.79/6.85	c |     16537 |    2018    63982   203691 |    21327    16537    100 |  0.346 % |
6.88/6.92	c |     16637 |    2018    63982   203691 |    23460    16637    100 |  0.346 % |
6.88/6.98	c ===============================================================================
6.88/6.98	c New solution: 226
6.88/6.98	o 226
6.88/6.98	c Elapsed CPU time: 6.82596 s	Remaining CPU time: 173.174 s
6.88/6.98	c ===============================================================================
6.88/6.98	c |     16742 |    2018    63983   203826 |    21327    16742    100 |  0.346 % |
6.98/7.05	c |     16844 |    2018    63983   203826 |    23460    16844    100 |  0.346 % |
7.08/7.12	c |     16996 |    2018    63983   203826 |    25806    16996    100 |  0.346 % |
7.18/7.21	c |     17223 |    2018    63983   203826 |    28387    17223    100 |  0.346 % |
7.29/7.35	c |     17560 |    2018    63983   203826 |    31225    17560    100 |  0.346 % |
7.60/7.60	c |     18067 |    2018    63983   203826 |    34348    18067    100 |  0.346 % |
7.99/8.00	c |     18828 |    2018    63983   203826 |    37783    18828     99 |  0.346 % |
8.59/8.61	c ===============================================================================
8.59/8.61	c New solution: 225
8.59/8.61	o 225
8.59/8.61	c Elapsed CPU time: 8.44671 s	Remaining CPU time: 171.553 s
8.59/8.61	c ===============================================================================
8.59/8.61	c |     19781 |    2018    63984   203961 |    21328    19781     99 |  0.346 % |
8.59/8.65	c ===============================================================================
8.59/8.65	c New solution: 224
8.59/8.65	o 224
8.59/8.65	c Elapsed CPU time: 8.48771 s	Remaining CPU time: 171.512 s
8.59/8.65	c ===============================================================================
8.59/8.65	c |     19821 |    2018    63985   204096 |    21328    19821     99 |  0.346 % |
8.59/8.67	c ===============================================================================
8.59/8.67	c New solution: 223
8.59/8.67	o 223
8.59/8.67	c Elapsed CPU time: 8.50271 s	Remaining CPU time: 171.497 s
8.59/8.67	c ===============================================================================
8.59/8.67	c |     19836 |    2018    63986   204231 |    21328    19836     99 |  0.346 % |
8.59/8.68	c ===============================================================================
8.59/8.68	c New solution: 222
8.59/8.68	o 222
8.59/8.68	c Elapsed CPU time: 8.5167 s	Remaining CPU time: 171.483 s
8.59/8.68	c ===============================================================================
8.59/8.68	c |     19836 |    2018    63987   204366 |    21329    19836     99 |  0.346 % |
8.69/8.75	c |     19940 |    2018    63987   204366 |    23461    19940     99 |  0.346 % |
8.79/8.86	c |     20093 |    2018    63987   204366 |    25808    20093     99 |  0.346 % |
8.98/9.02	c |     20321 |    2018    63987   204366 |    28388    20321     99 |  0.346 % |
9.18/9.27	c |     20658 |    2018    63987   204366 |    31227    20658     99 |  0.346 % |
9.59/9.63	c |     21165 |    2018    63987   204366 |    34350    21165     98 |  0.346 % |
10.09/10.14	c |     21925 |    2018    63987   204366 |    37785    21925     98 |  0.346 % |
10.79/10.80	c |     23066 |    2018    63987   204366 |    41564    23066     98 |  0.346 % |
11.78/11.84	c |     24774 |    2018    63987   204366 |    45720    24774     97 |  0.346 % |
13.79/13.86	c |     27337 |    2018    63987   204366 |    50292    27337     96 |  0.346 % |
15.89/15.97	c |     31182 |    2018    63987   204366 |    55321    31182     95 |  0.346 % |
17.69/17.71	c ===============================================================================
17.69/17.71	c New solution: 221
17.69/17.71	o 221
17.69/17.71	c Elapsed CPU time: 17.4963 s	Remaining CPU time: 162.504 s
17.69/17.71	c ===============================================================================
17.69/17.71	c |     33192 |    2018    63988   204501 |    21329    33192     95 |  0.346 % |
17.99/18.02	c |     33293 |    2018    63988   204501 |    23462    11274     87 |  0.346 % |
17.99/18.08	c |     33444 |    2018    63988   204501 |    25808    11425     87 |  0.346 % |
18.18/18.23	c |     33671 |    2018    63988   204501 |    28389    11652     87 |  0.346 % |
18.38/18.40	c |     34008 |    2018    63988   204501 |    31228    11989     87 |  0.346 % |
18.60/18.67	c |     34515 |    2018    63988   204501 |    34351    12496     87 |  0.346 % |
18.98/19.05	c |     35274 |    2018    63988   204501 |    37786    13255     87 |  0.346 % |
19.69/19.74	c |     36414 |    2018    63988   204501 |    41564    14395     87 |  0.346 % |
20.69/20.77	c |     38123 |    2018    63988   204501 |    45721    16104     87 |  0.346 % |
22.19/22.23	c |     40685 |    2018    63988   204501 |    50293    18666     87 |  0.346 % |
23.98/24.09	c ===============================================================================
23.98/24.09	c New solution: 219
23.98/24.09	o 219
23.98/24.09	c Elapsed CPU time: 23.8344 s	Remaining CPU time: 156.166 s
23.98/24.09	c ===============================================================================
23.98/24.09	c |     44001 |    2018    63989   204636 |    21329    21982     87 |  0.346 % |
24.28/24.36	c |     44102 |    2018    63989   204636 |    23462    10935     87 |  0.346 % |
24.38/24.44	c |     44252 |    2018    63989   204636 |    25808    11085     87 |  0.346 % |
24.48/24.57	c |     44478 |    2018    63989   204636 |    28389    11311     87 |  0.346 % |
24.68/24.74	c |     44815 |    2018    63989   204636 |    31228    11648     87 |  0.346 % |
24.98/25.05	c |     45321 |    2018    63989   204636 |    34351    12154     87 |  0.346 % |
25.49/25.57	c |     46080 |    2018    63989   204636 |    37786    12913     87 |  0.346 % |
26.39/26.43	c |     47222 |    2018    63989   204636 |    41565    14055     87 |  0.346 % |
26.89/26.94	c ===============================================================================
26.89/26.94	c New solution: 218
26.89/26.94	o 218
26.89/26.94	c Elapsed CPU time: 26.6679 s	Remaining CPU time: 153.332 s
26.89/26.94	c ===============================================================================
26.89/26.94	c |     48324 |    2018    63990   204771 |    21330    15157     87 |  0.346 % |
26.89/26.96	c ===============================================================================
26.89/26.96	c New solution: 217
26.89/26.96	o 217
26.89/26.96	c Elapsed CPU time: 26.6839 s	Remaining CPU time: 153.316 s
26.89/26.96	c ===============================================================================
26.89/26.96	c |     48324 |    2018    63991   204906 |    21330    15157     87 |  0.346 % |
26.89/26.98	c ===============================================================================
26.89/26.98	c New solution: 216
26.89/26.98	o 216
26.89/26.98	c Elapsed CPU time: 26.7049 s	Remaining CPU time: 153.295 s
26.89/26.98	c ===============================================================================
26.89/26.98	c |     48337 |    2018    63992   205041 |    21330    15170     87 |  0.346 % |
26.99/27.02	c |     48437 |    2018    63992   205041 |    23463    15270     87 |  0.346 % |
26.99/27.10	c |     48588 |    2018    63992   205041 |    25810    15421     87 |  0.346 % |
27.09/27.19	c |     48813 |    2018    63992   205041 |    28391    15646     87 |  0.346 % |
27.28/27.31	c |     49150 |    2018    63992   205041 |    31230    15983     87 |  0.346 % |
27.58/27.61	c |     49658 |    2018    63992   205041 |    34353    16491     87 |  0.346 % |
27.88/27.96	c ===============================================================================
27.88/27.96	c New solution: 215
27.88/27.96	o 215
27.88/27.96	c Elapsed CPU time: 27.6758 s	Remaining CPU time: 152.324 s
27.88/27.96	c ===============================================================================
27.88/27.96	c |     50083 |    2018    63993   205176 |    21331    16916     87 |  0.346 % |
27.98/28.02	c |     50184 |    2018    63993   205176 |    23464    17017     87 |  0.346 % |
28.08/28.15	c |     50334 |    2018    63993   205176 |    25810    17167     87 |  0.346 % |
28.28/28.35	c |     50561 |    2018    63993   205176 |    28391    17394     87 |  0.346 % |
28.59/28.64	c |     50899 |    2018    63993   205176 |    31230    17732     87 |  0.346 % |
28.88/28.94	c |     51405 |    2018    63993   205176 |    34353    18238     87 |  0.346 % |
29.29/29.33	c |     52165 |    2018    63993   205176 |    37789    18998     87 |  0.346 % |
30.08/30.16	c |     53307 |    2018    63993   205176 |    41568    20140     87 |  0.346 % |
31.28/31.39	c ===============================================================================
31.28/31.39	c New solution: 214
31.28/31.39	o 214
31.28/31.39	c Elapsed CPU time: 31.1003 s	Remaining CPU time: 148.9 s
31.28/31.39	c ===============================================================================
31.28/31.39	c |     54961 |    2018    63994   205311 |    21331    21794     87 |  0.346 % |
31.48/31.58	c |     55061 |    2018    63994   205311 |    23464    10954     85 |  0.346 % |
31.58/31.64	c |     55214 |    2018    63994   205311 |    25810    11107     85 |  0.346 % |
31.68/31.76	c |     55439 |    2018    63994   205311 |    28392    11332     85 |  0.346 % |
31.89/31.97	c |     55777 |    2018    63994   205311 |    31231    11670     85 |  0.346 % |
32.29/32.31	c |     56283 |    2018    63994   205311 |    34354    12176     85 |  0.346 % |
32.68/32.79	c |     57044 |    2018    63994   205311 |    37789    12937     85 |  0.346 % |
33.38/33.47	c |     58183 |    2018    63994   205311 |    41568    14076     85 |  0.346 % |
34.48/34.59	c |     59893 |    2018    63994   205311 |    45725    15786     85 |  0.346 % |
36.08/36.13	c |     62456 |    2018    63994   205311 |    50298    18349     85 |  0.346 % |
36.48/36.51	c ===============================================================================
36.48/36.51	c New solution: 213
36.48/36.51	o 213
36.48/36.51	c Elapsed CPU time: 36.2025 s	Remaining CPU time: 143.798 s
36.48/36.51	c ===============================================================================
36.48/36.51	c |     63338 |    2018    63995   205446 |    21331    19231     85 |  0.346 % |
36.48/36.57	c |     63438 |    2018    63995   205446 |    23464    19331     85 |  0.346 % |
36.48/36.59	c ===============================================================================
36.48/36.59	c New solution: 212
36.48/36.59	o 212
36.48/36.59	c Elapsed CPU time: 36.2805 s	Remaining CPU time: 143.72 s
36.48/36.59	c ===============================================================================
36.48/36.59	c |     63448 |    2018    63996   205581 |    21332    19341     85 |  0.346 % |
36.58/36.62	c ===============================================================================
36.58/36.62	c New solution: 211
36.58/36.62	o 211
36.58/36.62	c Elapsed CPU time: 36.3145 s	Remaining CPU time: 143.686 s
36.58/36.62	c ===============================================================================
36.58/36.62	c |     63478 |    2018    63997   205716 |    21332    19371     85 |  0.346 % |
36.58/36.67	c ===============================================================================
36.58/36.67	c New solution: 210
36.58/36.67	o 210
36.58/36.67	c Elapsed CPU time: 36.3615 s	Remaining CPU time: 143.639 s
36.58/36.67	c ===============================================================================
36.58/36.67	c |     63529 |    2018    63998   205851 |    21332    19422     85 |  0.346 % |
36.68/36.73	c |     63631 |    2018    63998   205851 |    23465    19524     85 |  0.346 % |
36.78/36.85	c |     63782 |    2018    63998   205851 |    25812    19675     85 |  0.346 % |
36.88/36.98	c |     64008 |    2018    63998   205851 |    28393    19901     85 |  0.346 % |
37.18/37.21	c |     64349 |    2018    63998   205851 |    31233    20242     85 |  0.346 % |
37.39/37.44	c ===============================================================================
37.39/37.44	c New solution: 209
37.39/37.44	o 209
37.39/37.44	c Elapsed CPU time: 37.1314 s	Remaining CPU time: 142.869 s
37.39/37.44	c ===============================================================================
37.39/37.44	c |     64682 |    2018    63999   205986 |    21333    20575     85 |  0.346 % |
37.39/37.48	c ===============================================================================
37.39/37.48	c New solution: 208
37.39/37.48	o 208
37.39/37.48	c Elapsed CPU time: 37.1624 s	Remaining CPU time: 142.838 s
37.39/37.48	c ===============================================================================
37.39/37.48	c |     64698 |    2018    64000   206121 |    21333    20591     85 |  0.346 % |
37.48/37.59	c |     64799 |    2018    64000   206121 |    23466    20692     85 |  0.346 % |
37.68/37.71	c |     64949 |    2018    64000   206121 |    25813    20842     85 |  0.346 % |
37.78/37.88	c |     65175 |    2018    64000   206121 |    28394    21068     85 |  0.346 % |
37.98/38.09	c |     65512 |    2018    64000   206121 |    31234    21405     85 |  0.346 % |
38.39/38.45	c |     66018 |    2018    64000   206121 |    34357    21911     85 |  0.346 % |
38.39/38.49	c ===============================================================================
38.39/38.49	c New solution: 207
38.39/38.49	o 207
38.39/38.49	c Elapsed CPU time: 38.1632 s	Remaining CPU time: 141.837 s
38.39/38.49	c ===============================================================================
38.39/38.49	c |     66056 |    2018    64001   206256 |    21333    21949     85 |  0.346 % |
38.68/38.70	c |     66157 |    2018    64001   206256 |    23467    11076     83 |  0.346 % |
38.68/38.77	c |     66308 |    2018    64001   206256 |    25813    11227     83 |  0.346 % |
38.78/38.86	c |     66533 |    2018    64001   206256 |    28395    11452     83 |  0.346 % |
38.98/39.01	c |     66871 |    2018    64001   206256 |    31234    11790     83 |  0.346 % |
39.08/39.12	c ===============================================================================
39.08/39.12	c New solution: 206
39.08/39.12	o 206
39.08/39.12	c Elapsed CPU time: 38.7951 s	Remaining CPU time: 141.205 s
39.08/39.12	c ===============================================================================
39.08/39.12	c |     67138 |    2018    64002   206391 |    21334    12057     83 |  0.346 % |
39.08/39.17	c |     67239 |    2018    64002   206391 |    23467    12158     83 |  0.346 % |
39.18/39.23	c |     67391 |    2018    64002   206391 |    25814    12310     83 |  0.346 % |
39.28/39.32	c |     67618 |    2018    64002   206391 |    28395    12537     83 |  0.346 % |
39.38/39.47	c |     67956 |    2018    64002   206391 |    31235    12875     83 |  0.346 % |
39.68/39.72	c |     68463 |    2018    64002   206391 |    34358    13382     83 |  0.346 % |
40.08/40.14	c |     69224 |    2018    64002   206391 |    37794    14143     83 |  0.346 % |
40.68/40.71	c |     70363 |    2018    64002   206391 |    41573    15282     83 |  0.346 % |
41.48/41.53	c |     72071 |    2018    64002   206391 |    45731    16990     83 |  0.346 % |
42.89/42.95	c |     74635 |    2018    64002   206391 |    50304    19554     83 |  0.346 % |
45.87/45.91	c |     78480 |    2018    64002   206391 |    55334    23399     83 |  0.346 % |
49.78/49.80	c |     84246 |    2018    64002   206391 |    60868    29165     83 |  0.346 % |
53.18/53.23	c ===============================================================================
53.18/53.23	c New solution: 205
53.18/53.23	o 205
53.18/53.23	c Elapsed CPU time: 52.803 s	Remaining CPU time: 127.197 s
53.18/53.23	c ===============================================================================
53.18/53.23	c |     87674 |    2018    64003   206526 |    21334    32593     83 |  0.346 % |
53.58/53.65	c |     87774 |    2018    64003   206526 |    23467    11370     80 |  0.346 % |
53.68/53.71	c |     87925 |    2018    64003   206526 |    25814    11521     80 |  0.346 % |
53.68/53.80	c |     88150 |    2018    64003   206526 |    28395    11746     80 |  0.346 % |
53.88/53.92	c |     88487 |    2018    64003   206526 |    31235    12083     80 |  0.346 % |
54.07/54.10	c |     88994 |    2018    64003   206526 |    34359    12590     81 |  0.346 % |
54.48/54.54	c |     89754 |    2018    64003   206526 |    37795    13350     81 |  0.346 % |
54.88/54.99	c |     90893 |    2018    64003   206526 |    41574    14489     81 |  0.346 % |
55.88/55.95	c |     92602 |    2018    64003   206526 |    45732    16198     80 |  0.346 % |
57.28/57.33	c |     95164 |    2018    64003   206526 |    50305    18760     80 |  0.346 % |
60.08/60.11	c |     99008 |    2018    64003   206526 |    55335    22604     80 |  0.346 % |
62.88/62.92	c |    104774 |    2018    64003   206526 |    60869    28370     81 |  0.346 % |
70.07/70.10	c |    113423 |    2018    64003   206526 |    66956    37019     81 |  0.346 % |
80.87/80.98	c ===============================================================================
80.87/80.98	c New solution: 204
80.87/80.98	o 204
80.87/80.98	c Elapsed CPU time: 80.4048 s	Remaining CPU time: 99.5952 s
80.87/80.98	c ===============================================================================
80.87/80.98	c |    125864 |    2018    64004   206661 |    21334    49460     81 |  0.346 % |
83.36/83.41	c ===============================================================================
83.36/83.41	c New solution: 203
83.36/83.41	o 203
83.36/83.41	c Elapsed CPU time: 82.8314 s	Remaining CPU time: 97.1686 s
83.36/83.41	c ===============================================================================
83.36/83.41	c |    125864 |    2018    64005   206796 |    21335    11722     80 |  0.346 % |
83.36/83.46	c |    125964 |    2018    64005   206796 |    23468    11822     80 |  0.346 % |
83.48/83.50	c |    126115 |    2018    64005   206796 |    25815    11973     80 |  0.346 % |
83.48/83.57	c |    126341 |    2018    64005   206796 |    28396    12199     81 |  0.346 % |
83.58/83.69	c |    126678 |    2018    64005   206796 |    31236    12536     81 |  0.346 % |
83.77/83.88	c |    127184 |    2018    64005   206796 |    34360    13042     81 |  0.346 % |
83.97/84.01	c ===============================================================================
83.97/84.01	c New solution: 202
83.97/84.01	o 202
83.97/84.01	c Elapsed CPU time: 83.4213 s	Remaining CPU time: 96.5787 s
83.97/84.01	c ===============================================================================
83.97/84.01	c |    127437 |    2018    64006   206931 |    21335    13295     81 |  0.346 % |
83.97/84.07	c |    127537 |    2018    64006   206931 |    23468    13395     81 |  0.346 % |
84.07/84.14	c |    127687 |    2018    64006   206931 |    25815    13545     81 |  0.346 % |
84.17/84.23	c |    127913 |    2018    64006   206931 |    28397    13771     81 |  0.346 % |
84.27/84.37	c |    128251 |    2018    64006   206931 |    31237    14109     81 |  0.346 % |
84.57/84.63	c |    128757 |    2018    64006   206931 |    34360    14615     81 |  0.346 % |
84.97/85.07	c |    129516 |    2018    64006   206931 |    37796    15374     81 |  0.346 % |
85.77/85.81	c |    130657 |    2018    64006   206931 |    41576    16515     81 |  0.346 % |
86.77/86.84	c |    132365 |    2018    64006   206931 |    45734    18223     81 |  0.346 % |
88.47/88.53	c |    134927 |    2018    64006   206931 |    50307    20785     81 |  0.346 % |
90.46/90.53	c ===============================================================================
90.46/90.53	c New solution: 201
90.46/90.53	o 201
90.46/90.53	c Elapsed CPU time: 89.8933 s	Remaining CPU time: 90.1067 s
90.46/90.53	c ===============================================================================
90.46/90.53	c |    137936 |    2018    64007   207066 |    21335    23794     82 |  0.346 % |
90.67/90.75	c |    138036 |    2018    64007   207066 |    23469    11065     81 |  0.346 % |
90.77/90.84	c |    138186 |    2018    64007   207066 |    25816    11215     81 |  0.346 % |
90.87/90.93	c |    138411 |    2018    64007   207066 |    28397    11440     81 |  0.346 % |
91.06/91.11	c |    138748 |    2018    64007   207066 |    31237    11777     81 |  0.346 % |
91.17/91.28	c ===============================================================================
91.17/91.28	c New solution: 200
91.17/91.28	o 200
91.17/91.28	c Elapsed CPU time: 90.6422 s	Remaining CPU time: 89.3578 s
91.17/91.28	c ===============================================================================
91.17/91.28	c |    139101 |    2018    64008   207201 |    21336    12130     81 |  0.346 % |
91.27/91.33	c |    139201 |    2018    64008   207201 |    23469    12230     81 |  0.346 % |
91.27/91.35	c ===============================================================================
91.27/91.35	c New solution: 199
91.27/91.35	o 199
91.27/91.35	c Elapsed CPU time: 90.7132 s	Remaining CPU time: 89.2868 s
91.27/91.35	c ===============================================================================
91.27/91.35	c |    139216 |    2018    64009   207336 |    21336    12245     81 |  0.346 % |
91.36/91.40	c |    139316 |    2018    64009   207336 |    23469    12345     81 |  0.346 % |
91.36/91.48	c |    139467 |    2018    64009   207336 |    25816    12496     81 |  0.346 % |
91.56/91.60	c |    139692 |    2018    64009   207336 |    28398    12721     81 |  0.346 % |
91.66/91.77	c |    140029 |    2018    64009   207336 |    31238    13058     81 |  0.346 % |
91.97/92.04	c |    140536 |    2018    64009   207336 |    34362    13565     81 |  0.346 % |
92.27/92.39	c |    141295 |    2018    64009   207336 |    37798    14324     81 |  0.346 % |
92.96/93.02	c |    142438 |    2018    64009   207336 |    41578    15467     81 |  0.346 % |
94.06/94.19	c |    144148 |    2018    64009   207336 |    45736    17177     80 |  0.346 % |
95.76/95.82	c |    146710 |    2018    64009   207336 |    50309    19739     80 |  0.346 % |
98.57/98.62	c ===============================================================================
98.57/98.62	c New solution: 198
98.57/98.62	o 198
98.57/98.62	c Elapsed CPU time: 97.9371 s	Remaining CPU time: 82.0629 s
98.57/98.62	c ===============================================================================
98.57/98.62	c |    150545 |    2018    64010   207471 |    21336    23574     80 |  0.346 % |
98.76/98.82	c |    150645 |    2018    64010   207471 |    23470    11220     77 |  0.346 % |
98.76/98.90	c |    150795 |    2018    64010   207471 |    25817    11370     77 |  0.346 % |
98.97/99.03	c |    151021 |    2018    64010   207471 |    28399    11596     77 |  0.346 % |
99.16/99.22	c |    151359 |    2018    64010   207471 |    31239    11934     78 |  0.346 % |
99.46/99.57	c |    151867 |    2018    64010   207471 |    34362    12442     78 |  0.346 % |
99.97/100.08	c |    152627 |    2018    64010   207471 |    37799    13202     78 |  0.346 % |
100.66/100.75	c |    153766 |    2018    64010   207471 |    41579    14341     78 |  0.346 % |
101.66/101.78	c |    155475 |    2018    64010   207471 |    45737    16050     78 |  0.346 % |
103.37/103.48	c |    158038 |    2018    64010   207471 |    50310    18613     78 |  0.346 % |
104.86/104.98	c |    161882 |    2018    64010   207471 |    55341    22457     78 |  0.346 % |
108.46/108.56	c |    167648 |    2018    64010   207471 |    60876    28223     78 |  0.346 % |
115.15/115.27	c |    176298 |    2018    64010   207471 |    66963    36873     78 |  0.346 % |
129.06/129.16	c |    189272 |    2018    64010   207471 |    73659    49847     78 |  0.346 % |
154.44/154.53	c |    208734 |    2018    64010   207471 |    81025    69309     78 |  0.346 % |
180.93/181.02	c There are 7 assigned variables. 7 in cost function.
181.24/181.30	c core #1
181.24/181.30	c #cores: 1
181.24/181.30	c Final Weight: 198
181.24/181.30	o 198
181.24/181.30	s OPTIMUM FOUND
181.24/181.30	v x1 x2 x3 x4 -x5 x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 x15 x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 x26 x27 -x28 x29 -x30 -x31 x32 x33 x34 x35 x36 -x37 x38 -x39 -x40 -x41 x42 x43 x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 x65 -x66 x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 x88 x89 x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 x158 x159 x160 x161 -x162 x163 x164 x165 x166 x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 -x178 x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 x308 x309 -x310 x311 -x312 -x313 x314 x315 x316 -x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 x373 x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 x498 -x499 x500 -x501 -x502 -x503 x504 -x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 x583 -x584 -x585 x586 -x587 -x588 -x589 x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 -x1028 x1029 -x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1060 x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 x1590 -x1591 x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 x1793 -x1794 x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025
181.24/181.30	c Total CPU time: 180.278 s

Verifier Data 

OK	-142

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655739-1276685856/watcher-2655739-1276685856 -o /tmp/evaluation-result-2655739-1276685856/solver-2655739-1276685856 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655739-1276685856.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: 0.92 0.98 0.99 3/106 15600
/proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=4936 CPUtime=0
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 369 0 0 0 0 0 0 0 18 0 1 0 9878410 5054464 287 1992294400 134512640 135751879 4288697120 18446744073709551615 134562459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 1234 287 145 303 0 408 0

[startup+0.0620499 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15600
/proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=5644 CPUtime=0.05
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 603 0 0 0 5 0 0 0 21 0 1 0 9878410 5779456 521 1992294400 134512640 135751879 4288697120 18446744073709551615 134564646 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 1411 521 238 303 0 585 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5644

[startup+0.101055 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15600
/proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=6040 CPUtime=0.09
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 788 0 0 0 9 0 0 0 21 0 1 0 9878410 6184960 706 1992294400 134512640 135751879 4288697120 18446744073709551615 134517405 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 1510 706 306 303 0 684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6040

[startup+0.301077 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15600
/proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=6824 CPUtime=0.29
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 1881 0 0 0 29 0 0 0 21 0 1 0 9878410 6987776 1245 1992294400 134512640 135751879 4288697120 18446744073709551615 134581152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 1706 1245 143 303 0 1401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6824

[startup+0.70112 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15600
/proc/meminfo: memFree=1738368/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=7364 CPUtime=0.69
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 2014 0 0 0 65 4 0 0 22 0 1 0 9878410 7540736 1378 1992294400 134512640 135751879 4288697120 18446744073709551615 134517164 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 1841 1378 146 303 0 1536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7364

[startup+1.50121 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15601
/proc/meminfo: memFree=1733276/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=8552 CPUtime=1.49
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 2300 0 0 0 141 8 0 0 25 0 1 0 9878410 8757248 1664 1992294400 134512640 135751879 4288697120 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 2138 1664 147 303 0 1833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8552

[startup+3.10138 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15601
/proc/meminfo: memFree=1730548/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=11464 CPUtime=3.09
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 3050 0 0 0 299 10 0 0 25 0 1 0 9878410 11739136 2414 1992294400 134512640 135751879 4288697120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 2866 2414 147 303 0 2561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11464

[startup+6.30073 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15601
/proc/meminfo: memFree=1725960/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=15456 CPUtime=6.29
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 4019 0 0 0 614 15 0 0 25 0 1 0 9878410 15826944 3383 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 3864 3383 147 303 0 3559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15456

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 15603
/proc/meminfo: memFree=1720380/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=20308 CPUtime=12.69
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 5245 0 0 0 1251 18 0 0 25 0 1 0 9878410 20795392 4609 1992294400 134512640 135751879 4288697120 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 5077 4609 147 303 0 4772 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20308

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 15603
/proc/meminfo: memFree=1710832/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=29680 CPUtime=25.49
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 7564 0 0 0 2523 26 0 0 25 0 1 0 9878410 30392320 6928 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 7420 6928 148 303 0 7115 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29680

[startup+51.1006 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 15603
/proc/meminfo: memFree=1693472/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=47236 CPUtime=51.08
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 11918 0 0 0 5068 40 0 0 25 0 1 0 9878410 48369664 11282 1992294400 134512640 135751879 4288697120 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 11809 11282 148 303 0 11504 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47236

[startup+102.308 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 15605
/proc/meminfo: memFree=1663340/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=77068 CPUtime=102.27
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 19375 0 0 0 10159 68 0 0 25 0 1 0 9878410 78917632 18739 1992294400 134512640 135751879 4288697120 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 19267 18739 148 303 0 18962 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 77068

[startup+162.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 15607
/proc/meminfo: memFree=1639284/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=101332 CPUtime=162.24
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 25396 0 0 0 16133 91 0 0 25 0 1 0 9878410 103763968 24760 1992294400 134512640 135751879 4288697120 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 25333 24760 148 303 0 25028 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101332

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

[startup+166.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 15607
/proc/meminfo: memFree=1638292/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=102152 CPUtime=166.24
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 25581 0 0 0 16532 92 0 0 25 0 1 0 9878410 104603648 24945 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 25538 24945 148 303 0 25233 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 102152

[startup+172.709 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 15607
/proc/meminfo: memFree=1636680/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=103732 CPUtime=172.64
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26001 0 0 0 17171 93 0 0 25 0 1 0 9878410 106221568 25365 1992294400 134512640 135751879 4288697120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 25933 25365 148 303 0 25628 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 103732

[startup+175.9 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 15607
/proc/meminfo: memFree=1636060/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=104260 CPUtime=175.84
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26126 0 0 0 17490 94 0 0 25 0 1 0 9878410 106762240 25490 1992294400 134512640 135751879 4288697120 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 26065 25490 148 303 0 25760 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 104260

[startup+179.101 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 15607
/proc/meminfo: memFree=1636060/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=104788 CPUtime=179.04
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26274 0 0 0 17809 95 0 0 25 0 1 0 9878410 107302912 25638 1992294400 134512640 135751879 4288697120 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 26197 25638 148 303 0 25892 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 104788

[startup+180.701 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 15607
/proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=106108 CPUtime=180.64
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 26578 0 0 0 17968 96 0 0 25 0 1 0 9878410 108654592 25942 1992294400 134512640 135751879 4288697120 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 26527 25942 148 303 0 26222 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 106108

[startup+181.101 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 15607
/proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=109556 CPUtime=181.04
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 27414 0 0 0 18007 97 0 0 25 0 1 0 9878410 112185344 26778 1992294400 134512640 135751879 4288697120 18446744073709551615 135009632 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 27389 26778 149 303 0 27084 0
Current children cumulated CPU time (s) 181.04
Current children cumulated vsize (KiB) 109556

[startup+181.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 15607
/proc/meminfo: memFree=1634448/2059040 swapFree=4163396/4192956
[pid=15600] ppid=15598 vsize=109228 CPUtime=181.24
/proc/15600/stat : 15600 (wbo1.4b) R 15598 15600 15575 0 -1 4202496 27414 0 0 0 18027 97 0 0 25 0 1 0 9878410 111849472 26703 1992294400 134512640 135751879 4288697120 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15600/statm: 27307 26703 149 303 0 27002 0
Current children cumulated CPU time (s) 181.24
Current children cumulated vsize (KiB) 109228

Child status: 0
Real time (s): 181.316
CPU time (s): 181.262
CPU user time (s): 180.278
CPU system time (s): 0.98485
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 109556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.278
system time used= 0.98485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27415
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= 51
involuntary context switches= 1946

runsolver used 0.340948 second user time and 0.856869 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-16 12:57:37
IDJOB=2655739
IDBENCH=71828
IDSOLVER=1161
FILE ID=node038/2655739-1276685856
PBS_JOBID= 11172596
Free space on /tmp= 62476 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655739-1276685856/watcher-2655739-1276685856 -o /tmp/evaluation-result-2655739-1276685856/solver-2655739-1276685856 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655739-1276685856.opb

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

MD5SUM BENCH= 948226035ef0280d59f9150dd2b5c694
RANDOM SEED=1738398391

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
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:       1738896 kB
Buffers:         73352 kB
Cached:         136788 kB
SwapCached:       1600 kB
Active:          99160 kB
Inactive:       142340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738896 kB
SwapTotal:     4192956 kB
SwapFree:      4163396 kB
Dirty:            4824 kB
Writeback:           0 kB
AnonPages:       29868 kB
Mapped:          14016 kB
Slab:            56912 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62472 MiB
End job on node038 at 2010-06-16 13:00:38