Trace number 2655746

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.4bOPT-78 94.1827 94.2081

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-1000opt.opb
MD5SUM6db624ef9d444e54f2daac91a1bb8591
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark7.2459
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 constraints30658
Number of constraints which are clauses30658
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 327
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 327
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-2655746-1276687012.opb.
0.00/0.00	c Instance file HOME/instance-2655746-1276687012.opb
0.00/0.00	c File size is 1015615 bytes.
0.09/0.14	c Highest Coefficient sum: 4
0.09/0.14	c ============================[ Problem Statistics ]=============================
0.09/0.14	c |                                                                             |
0.09/0.14	c |  Parsing time:          0.14         s                                      |
0.09/0.14	c |  Number Variables:      2025                                                |
0.09/0.14	c |  Number Clauses:        30658                                               |
0.09/0.14	c |  Number Cardinality:    0                                                   |
0.09/0.14	c |  Number PB Constraints: 0                                                   |
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1996    30687    90804 |    10219        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 327
0.19/0.20	o 327
0.19/0.20	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 179.805 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1996    30688    90939 |    10229        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 326
0.19/0.20	o 326
0.19/0.20	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 179.803 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1996    30689    91074 |    10229        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 323
0.19/0.21	o 323
0.19/0.21	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 179.797 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1996    30690    91209 |    10230        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 322
0.19/0.22	o 322
0.19/0.22	c Elapsed CPU time: 0.208968 s	Remaining CPU time: 179.791 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         4 |    1996    30691    91344 |    10230        4    133 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 321
0.19/0.22	o 321
0.19/0.22	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 179.786 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         4 |    1996    30692    91479 |    10230        4    133 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 320
0.19/0.23	o 320
0.19/0.23	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 179.782 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         4 |    1996    30693    91614 |    10231        4    133 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 319
0.19/0.23	o 319
0.19/0.23	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 179.776 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         4 |    1996    30694    91749 |    10231        4    133 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 318
0.19/0.24	o 318
0.19/0.24	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 179.772 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         4 |    1996    30695    91884 |    10231        4    133 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 317
0.19/0.25	o 317
0.19/0.25	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 179.769 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         4 |    1996    30696    92019 |    10232        4    133 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 316
0.19/0.25	o 316
0.19/0.25	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 179.764 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         5 |    1996    30697    92154 |    10232        5    133 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 315
0.19/0.26	o 315
0.19/0.26	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 179.76 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         5 |    1996    30698    92289 |    10232        5    133 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 314
0.19/0.27	o 314
0.19/0.27	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 179.753 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         7 |    1996    30699    92424 |    10233        7    131 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 313
0.19/0.27	o 313
0.19/0.27	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 179.747 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         9 |    1996    30700    92559 |    10233        9    130 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 312
0.19/0.28	o 312
0.19/0.28	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 179.741 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        11 |    1996    30701    92694 |    10233       11    129 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 311
0.19/0.29	o 311
0.19/0.29	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 179.734 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        15 |    1996    30702    92829 |    10234       15    128 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 310
0.19/0.29	o 310
0.19/0.29	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 179.728 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        19 |    1996    30703    92964 |    10234       19    121 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 309
0.29/0.30	o 309
0.29/0.30	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 179.721 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        20 |    1996    30704    93099 |    10234       20    121 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 308
0.29/0.31	o 308
0.29/0.31	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 179.715 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        23 |    1996    30705    93234 |    10235       23    117 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 307
0.29/0.31	o 307
0.29/0.31	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 179.708 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        31 |    1996    30706    93369 |    10235       31    118 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 306
0.29/0.32	o 306
0.29/0.32	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 179.701 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        63 |    1996    30707    93504 |    10235       63    112 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 305
0.29/0.33	o 305
0.29/0.33	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 179.694 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        75 |    1996    30708    93639 |    10236       75    112 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 304
0.29/0.34	o 304
0.29/0.34	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 179.688 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        78 |    1996    30709    93774 |    10236       78    112 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 303
0.29/0.35	o 303
0.29/0.35	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 179.685 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        78 |    1996    30710    93909 |    10236       78    112 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 302
0.29/0.36	o 302
0.29/0.36	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 179.674 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       123 |    1996    30711    94044 |    10237      123    113 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 301
0.29/0.36	o 301
0.29/0.36	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 179.668 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       125 |    1996    30712    94179 |    10237      125    113 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 300
0.29/0.37	o 300
0.29/0.37	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 179.663 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |       125 |    1996    30713    94314 |    10237      125    113 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 299
0.29/0.38	o 299
0.29/0.38	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 179.654 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       154 |    1996    30714    94449 |    10238      154    111 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 298
0.39/0.40	o 298
0.39/0.40	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 179.637 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       228 |    1996    30715    94584 |    10238      228    111 |  0.000 % |
0.39/0.41	c |       329 |    1996    30715    94584 |    11262      329    109 |  1.432 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 297
0.39/0.43	o 297
0.39/0.43	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 179.602 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       458 |    1996    30716    94719 |    10238      458    110 |  1.432 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 296
0.39/0.44	o 296
0.39/0.44	c Elapsed CPU time: 0.404938 s	Remaining CPU time: 179.595 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       462 |    1996    30717    94854 |    10239      462    110 |  1.432 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 295
0.39/0.45	o 295
0.39/0.45	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 179.588 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       462 |    1996    30718    94989 |    10239      462    110 |  1.432 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: 294
0.39/0.46	o 294
0.39/0.46	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 179.577 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       498 |    1996    30719    95124 |    10239      498    110 |  1.432 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 293
0.39/0.47	o 293
0.39/0.47	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       507 |    1996    30720    95259 |    10240      507    110 |  1.432 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 292
0.39/0.49	o 292
0.39/0.49	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 179.553 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       590 |    1996    30721    95394 |    10240      590    110 |  1.432 % |
0.49/0.50	c |       690 |    1996    30721    95394 |    11264      690    109 |  1.432 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: 291
0.49/0.52	o 291
0.49/0.52	c Elapsed CPU time: 0.476927 s	Remaining CPU time: 179.523 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |       756 |    1996    30722    95529 |    10240      756    110 |  1.432 % |
0.49/0.53	c |       856 |    1996    30722    95529 |    11264      856    110 |  1.432 % |
0.49/0.56	c |      1006 |    1996    30722    95529 |    12391     1006    109 |  1.432 % |
0.58/0.60	c ===============================================================================
0.58/0.60	c New solution: 290
0.58/0.60	o 290
0.58/0.60	c Elapsed CPU time: 0.551916 s	Remaining CPU time: 179.448 s
0.58/0.60	c ===============================================================================
0.58/0.60	c |      1197 |    1996    30723    95664 |    10241     1197    109 |  1.432 % |
0.58/0.62	c |      1299 |    1996    30723    95664 |    11265     1299    110 |  1.432 % |
0.58/0.66	c ===============================================================================
0.58/0.66	c New solution: 289
0.58/0.66	o 289
0.58/0.66	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 179.389 s
0.58/0.66	c ===============================================================================
0.58/0.66	c |      1440 |    1996    30724    95799 |    10241     1440    110 |  1.432 % |
0.58/0.66	c ===============================================================================
0.58/0.66	c New solution: 288
0.58/0.66	o 288
0.58/0.66	c Elapsed CPU time: 0.615906 s	Remaining CPU time: 179.384 s
0.58/0.66	c ===============================================================================
0.58/0.66	c |      1444 |    1996    30725    95934 |    10241     1444    110 |  1.432 % |
0.58/0.68	c ===============================================================================
0.58/0.68	c New solution: 287
0.58/0.68	o 287
0.58/0.68	c Elapsed CPU time: 0.632903 s	Remaining CPU time: 179.367 s
0.58/0.68	c ===============================================================================
0.58/0.68	c |      1513 |    1996    30726    96069 |    10242     1513    110 |  1.432 % |
0.58/0.69	c ===============================================================================
0.58/0.69	c New solution: 286
0.58/0.69	o 286
0.58/0.69	c Elapsed CPU time: 0.638902 s	Remaining CPU time: 179.361 s
0.58/0.69	c ===============================================================================
0.58/0.69	c |      1513 |    1996    30727    96204 |    10242     1513    110 |  1.432 % |
0.69/0.72	c |      1617 |    1996    30727    96204 |    11266     1617    110 |  1.432 % |
0.69/0.75	c |      1767 |    1996    30727    96204 |    12393     1767    110 |  1.432 % |
0.79/0.81	c |      1993 |    1996    30727    96204 |    13632     1993    110 |  1.432 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: 285
0.79/0.85	o 285
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 |      2130 |    1996    30728    96339 |    10242     2130    110 |  1.432 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: 284
0.79/0.87	o 284
0.79/0.87	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 179.185 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |      2175 |    1996    30729    96474 |    10243     2175    110 |  1.432 % |
0.89/0.90	c |      2276 |    1996    30729    96474 |    11267     2276    110 |  1.432 % |
0.89/0.94	c |      2426 |    1996    30729    96474 |    12394     2426    109 |  1.432 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: 283
0.89/0.97	o 283
0.89/0.97	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 179.085 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |      2607 |    1996    30730    96609 |    10243     2607    109 |  1.432 % |
0.89/0.99	c |      2707 |    1996    30730    96609 |    11267     2707    109 |  1.432 % |
0.99/1.01	c ===============================================================================
0.99/1.01	c New solution: 282
0.99/1.01	o 282
0.99/1.01	c Elapsed CPU time: 0.951855 s	Remaining CPU time: 179.048 s
0.99/1.01	c ===============================================================================
0.99/1.01	c |      2776 |    1996    30731    96744 |    10243     2776    109 |  1.432 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: 281
0.99/1.02	o 281
0.99/1.02	c Elapsed CPU time: 0.959854 s	Remaining CPU time: 179.04 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |      2776 |    1996    30732    96879 |    10244     2776    109 |  1.432 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: 280
0.99/1.02	o 280
0.99/1.02	c Elapsed CPU time: 0.967852 s	Remaining CPU time: 179.032 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |      2776 |    1996    30733    97014 |    10244     2776    109 |  1.432 % |
0.99/1.05	c |      2877 |    1996    30733    97014 |    11268     2877    109 |  1.432 % |
0.99/1.06	c ===============================================================================
0.99/1.06	c New solution: 279
0.99/1.06	o 279
0.99/1.06	c Elapsed CPU time: 1.00285 s	Remaining CPU time: 178.997 s
0.99/1.06	c ===============================================================================
0.99/1.06	c |      2878 |    1996    30734    97149 |    10244     2878    109 |  1.432 % |
0.99/1.09	c |      2983 |    1996    30734    97149 |    11269     2983    109 |  1.432 % |
1.10/1.13	c |      3135 |    1996    30734    97149 |    12396     3135    109 |  1.432 % |
1.10/1.19	c |      3360 |    1996    30734    97149 |    13635     3360    108 |  1.432 % |
1.29/1.30	c |      3697 |    1996    30734    97149 |    14999     3697    108 |  1.432 % |
1.39/1.44	c |      4205 |    1996    30734    97149 |    16499     4205    107 |  1.432 % |
1.69/1.70	c |      4967 |    1996    30734    97149 |    18149     4967    107 |  1.432 % |
1.99/2.09	c ===============================================================================
1.99/2.09	c New solution: 278
1.99/2.09	o 278
1.99/2.09	c Elapsed CPU time: 2.02269 s	Remaining CPU time: 177.977 s
1.99/2.09	c ===============================================================================
1.99/2.09	c |      5954 |    1996    30735    97284 |    10245     5954    107 |  1.432 % |
2.09/2.13	c |      6054 |    1996    30735    97284 |    11269     6054    107 |  1.432 % |
2.09/2.20	c |      6205 |    1996    30735    97284 |    12396     6205    107 |  1.432 % |
2.29/2.35	c |      6431 |    1996    30735    97284 |    13636     6431    107 |  1.432 % |
2.39/2.47	c ===============================================================================
2.39/2.47	c New solution: 277
2.39/2.47	o 277
2.39/2.47	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 177.598 s
2.39/2.47	c ===============================================================================
2.39/2.47	c |      6595 |    1996    30736    97419 |    10245     6595    107 |  1.432 % |
2.49/2.52	c |      6696 |    1996    30736    97419 |    11269     6696    107 |  1.432 % |
2.59/2.62	c |      6846 |    1996    30736    97419 |    12396     6846    107 |  1.432 % |
2.69/2.75	c |      7071 |    1996    30736    97419 |    13636     7071    107 |  1.432 % |
2.89/2.93	c |      7411 |    1996    30736    97419 |    15000     7411    107 |  1.432 % |
3.09/3.16	c |      7917 |    1996    30736    97419 |    16500     7917    107 |  1.432 % |
3.49/3.51	c |      8677 |    1996    30736    97419 |    18150     8677    106 |  1.432 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c New solution: 276
3.59/3.61	o 276
3.59/3.61	c Elapsed CPU time: 3.53146 s	Remaining CPU time: 176.469 s
3.59/3.61	c ===============================================================================
3.59/3.61	c |      8864 |    1996    30737    97554 |    10245     8864    106 |  1.432 % |
3.59/3.62	c ===============================================================================
3.59/3.62	c New solution: 274
3.59/3.62	o 274
3.59/3.62	c Elapsed CPU time: 3.53746 s	Remaining CPU time: 176.463 s
3.59/3.62	c ===============================================================================
3.59/3.62	c |      8867 |    1996    30738    97689 |    10246     8867    106 |  1.432 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c New solution: 273
3.59/3.64	o 273
3.59/3.64	c Elapsed CPU time: 3.55746 s	Remaining CPU time: 176.443 s
3.59/3.64	c ===============================================================================
3.59/3.64	c |      8894 |    1996    30739    97824 |    10246     8894    106 |  1.432 % |
3.69/3.70	c |      8995 |    1996    30739    97824 |    11270     8995    106 |  1.432 % |
3.69/3.78	c |      9146 |    1996    30739    97824 |    12398     9146    106 |  1.432 % |
3.89/3.94	c |      9371 |    1996    30739    97824 |    13637     9371    106 |  1.432 % |
3.99/4.07	c |      9708 |    1996    30739    97824 |    15001     9708    106 |  1.432 % |
4.30/4.32	c |     10215 |    1996    30739    97824 |    16501    10215    106 |  1.432 % |
4.69/4.74	c |     10974 |    1996    30739    97824 |    18152    10974    106 |  1.432 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 272
4.69/4.77	o 272
4.69/4.77	c Elapsed CPU time: 4.67929 s	Remaining CPU time: 175.321 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |     11032 |    1996    30740    97959 |    10246    11032    106 |  1.432 % |
4.79/4.89	c |     11135 |    1996    30740    97959 |    11271     5619    101 |  1.432 % |
4.89/4.92	c |     11285 |    1996    30740    97959 |    12398     5769    101 |  1.432 % |
4.99/5.00	c |     11510 |    1996    30740    97959 |    13638     5994    101 |  1.432 % |
5.09/5.12	c |     11847 |    1996    30740    97959 |    15002     6331    102 |  1.432 % |
5.29/5.38	c |     12353 |    1996    30740    97959 |    16502     6837    102 |  1.432 % |
5.69/5.73	c |     13112 |    1996    30740    97959 |    18152     7596    102 |  1.432 % |
6.19/6.25	c |     14251 |    1996    30740    97959 |    19967     8735    103 |  1.432 % |
7.18/7.29	c |     15963 |    1996    30740    97959 |    21964    10447    103 |  1.432 % |
8.18/8.22	c ===============================================================================
8.18/8.22	c New solution: 271
8.18/8.22	o 271
8.18/8.22	c Elapsed CPU time: 8.09877 s	Remaining CPU time: 171.901 s
8.18/8.22	c ===============================================================================
8.18/8.22	c |     18081 |    1996    30741    98094 |    10247    12565    104 |  1.432 % |
8.28/8.31	c |     18186 |    1996    30741    98094 |    11271     6388    101 |  1.432 % |
8.28/8.36	c |     18337 |    1996    30741    98094 |    12398     6539    101 |  1.432 % |
8.38/8.44	c |     18562 |    1996    30741    98094 |    13638     6764    101 |  1.432 % |
8.49/8.60	c |     18899 |    1996    30741    98094 |    15002     7101    102 |  1.432 % |
8.79/8.81	c |     19406 |    1996    30741    98094 |    16502     7608    102 |  1.432 % |
9.19/9.23	c |     20166 |    1996    30741    98094 |    18153     8368    102 |  1.432 % |
9.48/9.55	c ===============================================================================
9.48/9.55	c New solution: 270
9.48/9.55	o 270
9.48/9.55	c Elapsed CPU time: 9.42057 s	Remaining CPU time: 170.579 s
9.48/9.55	c ===============================================================================
9.48/9.55	c |     20827 |    1996    30742    98229 |    10247     9029    102 |  1.432 % |
9.48/9.58	c |     20927 |    1996    30742    98229 |    11272     9129    102 |  1.432 % |
9.58/9.62	c |     21077 |    1996    30742    98229 |    12399     9279    102 |  1.432 % |
9.58/9.68	c |     21302 |    1996    30742    98229 |    13639     9504    103 |  1.432 % |
9.80/9.83	c |     21640 |    1996    30742    98229 |    15003     9842    103 |  1.432 % |
9.99/10.09	c |     22152 |    1996    30742    98229 |    16503    10354    103 |  1.432 % |
10.39/10.46	c |     22914 |    1996    30742    98229 |    18153    11116    103 |  1.432 % |
10.99/11.01	c ===============================================================================
10.99/11.01	c New solution: 269
10.99/11.01	o 269
10.99/11.01	c Elapsed CPU time: 10.8723 s	Remaining CPU time: 169.128 s
10.99/11.01	c ===============================================================================
10.99/11.01	c |     23750 |    1996    30743    98364 |    10247    11952    103 |  1.432 % |
10.99/11.09	c ===============================================================================
10.99/11.09	c New solution: 268
10.99/11.09	o 268
10.99/11.09	c Elapsed CPU time: 10.9473 s	Remaining CPU time: 169.053 s
10.99/11.09	c ===============================================================================
10.99/11.09	c |     23768 |    1996    30744    98499 |    10248     5994     99 |  1.432 % |
11.09/11.10	c ===============================================================================
11.09/11.10	c New solution: 267
11.09/11.10	o 267
11.09/11.10	c Elapsed CPU time: 10.9563 s	Remaining CPU time: 169.044 s
11.09/11.10	c ===============================================================================
11.09/11.10	c |     23769 |    1996    30745    98634 |    10248     5995     99 |  1.432 % |
11.09/11.11	c ===============================================================================
11.09/11.11	c New solution: 266
11.09/11.11	o 266
11.09/11.11	c Elapsed CPU time: 10.9663 s	Remaining CPU time: 169.034 s
11.09/11.11	c ===============================================================================
11.09/11.11	c |     23775 |    1996    30746    98769 |    10248     6001     99 |  1.432 % |
11.09/11.15	c |     23876 |    1996    30746    98769 |    11273     6102     99 |  1.432 % |
11.19/11.22	c |     24031 |    1996    30746    98769 |    12400     6257     99 |  1.432 % |
11.29/11.33	c |     24256 |    1996    30746    98769 |    13640     6482    100 |  1.432 % |
11.39/11.49	c |     24596 |    1996    30746    98769 |    15005     6822    100 |  1.432 % |
11.69/11.71	c |     25107 |    1996    30746    98769 |    16505     7333    100 |  1.432 % |
11.99/12.02	c |     25867 |    1996    30746    98769 |    18156     8093    100 |  1.432 % |
12.59/12.61	c |     27007 |    1996    30746    98769 |    19971     9233    101 |  1.432 % |
13.68/13.72	c |     28716 |    1996    30746    98769 |    21968    10942    101 |  1.432 % |
14.58/14.60	c ===============================================================================
14.58/14.60	c New solution: 264
14.58/14.60	o 264
14.58/14.60	c Elapsed CPU time: 14.4318 s	Remaining CPU time: 165.568 s
14.58/14.60	c ===============================================================================
14.58/14.60	c |     30389 |    1996    30747    98904 |    10249    12615    102 |  1.432 % |
14.68/14.70	c |     30489 |    1996    30747    98904 |    11273     6408     96 |  1.432 % |
14.68/14.74	c ===============================================================================
14.68/14.74	c New solution: 263
14.68/14.74	o 263
14.68/14.74	c Elapsed CPU time: 14.5738 s	Remaining CPU time: 165.426 s
14.68/14.74	c ===============================================================================
14.68/14.74	c |     30583 |    1996    30748    99039 |    10249     6502     96 |  1.432 % |
14.68/14.78	c |     30685 |    1996    30748    99039 |    11274     6604     96 |  1.432 % |
14.78/14.83	c |     30835 |    1996    30748    99039 |    12401     6754     96 |  1.432 % |
14.78/14.88	c |     31061 |    1996    30748    99039 |    13641     6980     97 |  1.432 % |
14.88/14.96	c |     31398 |    1996    30748    99039 |    15006     7317     97 |  1.432 % |
15.09/15.16	c |     31905 |    1996    30748    99039 |    16506     7824     97 |  1.432 % |
15.59/15.61	c |     32664 |    1996    30748    99039 |    18157     8583     97 |  1.432 % |
16.08/16.19	c |     33804 |    1996    30748    99039 |    19973     9723     98 |  1.432 % |
17.09/17.15	c |     35512 |    1996    30748    99039 |    21970    11431     99 |  1.432 % |
18.78/18.81	c |     38076 |    1996    30748    99039 |    24167    13995    100 |  1.432 % |
23.19/23.20	c |     41921 |    1996    30748    99039 |    26584    17840    100 |  1.432 % |
30.69/30.75	c |     47692 |    1996    30748    99039 |    29242    23611    101 |  1.432 % |
33.38/33.40	c ===============================================================================
33.38/33.40	c New solution: 262
33.38/33.40	o 262
33.38/33.40	c Elapsed CPU time: 33.15 s	Remaining CPU time: 146.85 s
33.38/33.40	c ===============================================================================
33.38/33.40	c |     49435 |    1996    30749    99174 |    10249    25354    101 |  1.432 % |
33.58/33.67	c |     49536 |    1996    30749    99174 |    11274     5964     91 |  1.432 % |
33.68/33.74	c |     49687 |    1996    30749    99174 |    12402     6115     91 |  1.432 % |
33.78/33.84	c |     49913 |    1996    30749    99174 |    13642     6341     92 |  1.432 % |
33.88/33.96	c |     50250 |    1996    30749    99174 |    15006     6678     92 |  1.432 % |
34.09/34.14	c |     50757 |    1996    30749    99174 |    16507     7185     93 |  1.432 % |
34.28/34.37	c |     51516 |    1996    30749    99174 |    18157     7944     94 |  1.432 % |
34.78/34.87	c |     52659 |    1996    30749    99174 |    19973     9087     95 |  1.432 % |
35.68/35.79	c |     54373 |    1996    30749    99174 |    21971    10801     96 |  1.432 % |
37.29/37.39	c |     56935 |    1996    30749    99174 |    24168    13363     98 |  1.432 % |
40.88/40.95	c |     60782 |    1996    30749    99174 |    26584    17210     99 |  1.432 % |
44.08/44.11	c ===============================================================================
44.08/44.11	c New solution: 261
44.08/44.11	o 261
44.08/44.11	c Elapsed CPU time: 43.7803 s	Remaining CPU time: 136.22 s
44.08/44.11	c ===============================================================================
44.08/44.11	c |     65032 |    1996    30750    99309 |    10250    21460    100 |  1.432 % |
44.68/44.73	c ===============================================================================
44.68/44.73	c New solution: 260
44.68/44.73	o 260
44.68/44.73	c Elapsed CPU time: 44.3963 s	Remaining CPU time: 135.604 s
44.68/44.73	c ===============================================================================
44.68/44.73	c |     65045 |    1996    30751    99444 |    10250     5378     89 |  1.432 % |
44.68/44.74	c ===============================================================================
44.68/44.74	c New solution: 259
44.68/44.74	o 259
44.68/44.74	c Elapsed CPU time: 44.4032 s	Remaining CPU time: 135.597 s
44.68/44.74	c ===============================================================================
44.68/44.74	c |     65045 |    1996    30752    99579 |    10250     5378     89 |  1.432 % |
44.68/44.75	c ===============================================================================
44.68/44.75	c New solution: 258
44.68/44.75	o 258
44.68/44.75	c Elapsed CPU time: 44.4102 s	Remaining CPU time: 135.59 s
44.68/44.75	c ===============================================================================
44.68/44.75	c |     65045 |    1996    30753    99714 |    10251     5378     89 |  1.432 % |
44.78/44.80	c |     65145 |    1996    30753    99714 |    11276     5478     89 |  1.432 % |
44.78/44.85	c |     65295 |    1996    30753    99714 |    12403     5628     90 |  1.432 % |
44.88/44.95	c |     65520 |    1996    30753    99714 |    13644     5853     90 |  1.432 % |
44.99/45.10	c |     65857 |    1996    30753    99714 |    15008     6190     90 |  1.432 % |
45.28/45.38	c |     66370 |    1996    30753    99714 |    16509     6703     91 |  1.432 % |
45.58/45.69	c |     67129 |    1996    30753    99714 |    18160     7462     92 |  1.432 % |
46.18/46.25	c |     68273 |    1996    30753    99714 |    19976     8606     94 |  1.432 % |
47.18/47.28	c |     69986 |    1996    30753    99714 |    21973    10319     95 |  1.432 % |
47.68/47.73	c ===============================================================================
47.68/47.73	c New solution: 257
47.68/47.73	o 257
47.68/47.73	c Elapsed CPU time: 47.3688 s	Remaining CPU time: 132.631 s
47.68/47.73	c ===============================================================================
47.68/47.73	c |     70626 |    1996    30754    99849 |    10251    10959     95 |  1.432 % |
47.77/47.84	c |     70727 |    1996    30754    99849 |    11276     5581     88 |  1.432 % |
47.87/47.91	c |     70878 |    1996    30754    99849 |    12404     5732     88 |  1.432 % |
47.97/48.01	c |     71106 |    1996    30754    99849 |    13644     5960     89 |  1.432 % |
48.08/48.18	c |     71445 |    1996    30754    99849 |    15008     6299     90 |  1.432 % |
48.39/48.47	c |     71952 |    1996    30754    99849 |    16509     6806     90 |  1.432 % |
48.77/48.84	c |     72711 |    1996    30754    99849 |    18160     7565     92 |  1.432 % |
49.07/49.15	c ===============================================================================
49.07/49.15	c New solution: 255
49.07/49.15	o 255
49.07/49.15	c Elapsed CPU time: 48.7756 s	Remaining CPU time: 131.224 s
49.07/49.15	c ===============================================================================
49.07/49.15	c |     73306 |    1996    30755    99984 |    10251     8160     92 |  1.432 % |
49.07/49.16	c ===============================================================================
49.07/49.16	c New solution: 254
49.07/49.16	o 254
49.07/49.16	c Elapsed CPU time: 48.7896 s	Remaining CPU time: 131.21 s
49.07/49.16	c ===============================================================================
49.07/49.16	c |     73321 |    1996    30756   100119 |    10252     8175     92 |  1.432 % |
49.07/49.17	c ===============================================================================
49.07/49.17	c New solution: 252
49.07/49.17	o 252
49.07/49.17	c Elapsed CPU time: 48.7976 s	Remaining CPU time: 131.202 s
49.07/49.17	c ===============================================================================
49.07/49.17	c |     73321 |    1996    30757   100254 |    10252     8175     92 |  1.432 % |
49.18/49.22	c |     73423 |    1996    30757   100254 |    11277     8277     92 |  1.432 % |
49.28/49.30	c |     73575 |    1996    30757   100254 |    12405     8429     93 |  1.432 % |
49.38/49.44	c |     73800 |    1996    30757   100254 |    13645     8654     93 |  1.432 % |
49.58/49.69	c |     74137 |    1996    30757   100254 |    15010     8991     93 |  1.432 % |
49.88/49.94	c |     74645 |    1996    30757   100254 |    16511     9499     93 |  1.432 % |
50.37/50.42	c |     75406 |    1996    30757   100254 |    18162    10260     94 |  1.432 % |
51.28/51.36	c |     76547 |    1996    30757   100254 |    19978    11401     94 |  1.432 % |
52.88/52.96	c |     78259 |    1996    30757   100254 |    21976    13113     95 |  1.432 % |
55.27/55.36	c |     80826 |    1996    30757   100254 |    24174    15680     95 |  1.432 % |
59.08/59.17	c |     84675 |    1996    30757   100254 |    26591    19529     95 |  1.432 % |
67.68/67.78	c |     90444 |    1996    30757   100254 |    29251    25298     95 |  1.432 % |
79.37/79.49	c |     99097 |    1996    30757   100254 |    32176    16616     91 |  1.432 % |
85.47/85.57	c ===============================================================================
85.47/85.57	c New solution: 251
85.47/85.57	o 251
85.47/85.57	c Elapsed CPU time: 85.0231 s	Remaining CPU time: 94.9769 s
85.47/85.57	c ===============================================================================
85.47/85.57	c |    105362 |    1996    30758   100389 |    10252    22881     93 |  1.432 % |
85.86/85.90	c |    105468 |    1996    30758   100389 |    11277     5827     82 |  1.432 % |
85.86/85.95	c |    105618 |    1996    30758   100389 |    12405     5977     83 |  1.432 % |
85.97/86.04	c |    105843 |    1996    30758   100389 |    13646     6202     83 |  1.432 % |
86.07/86.19	c |    106180 |    1996    30758   100389 |    15010     6539     84 |  1.432 % |
86.37/86.42	c |    106687 |    1996    30758   100389 |    16512     7046     85 |  1.432 % |
86.37/86.45	c ===============================================================================
86.37/86.45	c New solution: 249
86.37/86.45	o 249
86.37/86.45	c Elapsed CPU time: 85.8929 s	Remaining CPU time: 94.1071 s
86.37/86.45	c ===============================================================================
86.37/86.45	c |    106744 |    1996    30759   100524 |    10253     7103     85 |  1.432 % |
86.47/86.50	c |    106846 |    1996    30759   100524 |    11278     7205     85 |  1.432 % |
86.47/86.59	c |    106999 |    1996    30759   100524 |    12406     7358     85 |  1.432 % |
86.66/86.71	c |    107225 |    1996    30759   100524 |    13646     7584     85 |  1.432 % |
86.87/86.92	c |    107565 |    1996    30759   100524 |    15011     7924     85 |  1.432 % |
87.16/87.21	c |    108072 |    1996    30759   100524 |    16512     8431     86 |  1.432 % |
87.57/87.69	c |    108832 |    1996    30759   100524 |    18163     9191     87 |  1.432 % |
88.37/88.44	c |    109974 |    1996    30759   100524 |    19980    10333     88 |  1.432 % |
89.16/89.28	c |    111683 |    1996    30759   100524 |    21978    12042     89 |  1.432 % |
91.07/91.14	c |    114247 |    1996    30759   100524 |    24176    14606     90 |  1.432 % |
94.07/94.20	c ===============================================================================
94.07/94.20	c Best Solution: 249
94.07/94.20	s OPTIMUM FOUND
94.07/94.20	c Total CPU time: 93.5898 s
94.07/94.20	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

Verifier Data 

OK	-78

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655746-1276687012/watcher-2655746-1276687012 -o /tmp/evaluation-result-2655746-1276687012/solver-2655746-1276687012 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655746-1276687012.opb 

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


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 16557
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=3828 CPUtime=0
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 343 0 0 0 0 0 0 0 15 0 1 0 9996577 3919872 262 1992294400 134512640 135751879 4291046928 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 957 262 143 303 0 404 0

[startup+0.047429 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 16557
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=4308 CPUtime=0.04
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 533 0 0 0 4 0 0 0 17 0 1 0 9996577 4411392 452 1992294400 134512640 135751879 4291046928 18446744073709551615 135118564 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 1077 452 211 303 0 524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4308

[startup+0.100433 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 16557
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=4924 CPUtime=0.09
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 780 0 0 0 9 0 0 0 17 0 1 0 9996577 5042176 699 1992294400 134512640 135751879 4291046928 18446744073709551615 135161874 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 1231 699 304 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4924

[startup+0.300445 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 16557
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=5216 CPUtime=0.29
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 1168 0 0 0 27 2 0 0 17 0 1 0 9996577 5341184 839 1992294400 134512640 135751879 4291046928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 1304 839 146 303 0 999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5216

[startup+0.700469 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 16557
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=5732 CPUtime=0.69
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 1324 0 0 0 64 5 0 0 17 0 1 0 9996577 5869568 995 1992294400 134512640 135751879 4291046928 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 1433 995 147 303 0 1128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5732

[startup+1.50052 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 16558
/proc/meminfo: memFree=1761024/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=7420 CPUtime=1.49
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 1726 0 0 0 143 6 0 0 18 0 1 0 9996577 7598080 1397 1992294400 134512640 135751879 4291046928 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 1855 1397 147 303 0 1550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7420

[startup+3.10062 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 16558
/proc/meminfo: memFree=1759040/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=9224 CPUtime=3.09
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 2195 0 0 0 302 7 0 0 21 0 1 0 9996577 9445376 1866 1992294400 134512640 135751879 4291046928 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 2306 1866 147 303 0 2001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9224

[startup+6.30182 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 16558
/proc/meminfo: memFree=1755320/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=12868 CPUtime=6.29
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 3104 0 0 0 619 10 0 0 25 0 1 0 9996577 13176832 2775 1992294400 134512640 135751879 4291046928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 3217 2775 148 303 0 2912 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12868

[startup+12.7012 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 16560
/proc/meminfo: memFree=1748128/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=19580 CPUtime=12.69
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 4772 0 0 0 1254 15 0 0 25 0 1 0 9996577 20049920 4443 1992294400 134512640 135751879 4291046928 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 4895 4443 148 303 0 4590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19580

[startup+25.501 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 16560
/proc/meminfo: memFree=1739076/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=28108 CPUtime=25.48
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 6903 0 0 0 2526 22 0 0 25 0 1 0 9996577 28782592 6574 1992294400 134512640 135751879 4291046928 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 7027 6574 148 303 0 6722 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28108

[startup+51.1006 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16560
/proc/meminfo: memFree=1722708/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=44936 CPUtime=51.08
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 11070 0 0 0 5070 38 0 0 25 0 1 0 9996577 46014464 10741 1992294400 134512640 135751879 4291046928 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 11234 10741 148 303 0 10929 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44936

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

[startup+76.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16560
/proc/meminfo: memFree=1713408/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=54032 CPUtime=76.67
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 13322 0 0 0 7620 47 0 0 25 0 1 0 9996577 55328768 12993 1992294400 134512640 135751879 4291046928 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 13508 12993 148 303 0 13203 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 54032

[startup+83.1015 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16560
/proc/meminfo: memFree=1709192/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=58024 CPUtime=83.07
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 14328 0 0 0 8256 51 0 0 25 0 1 0 9996577 59416576 13999 1992294400 134512640 135751879 4291046928 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 14506 13999 148 303 0 14201 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 58024

[startup+89.5009 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1704976/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=62380 CPUtime=89.47
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 15409 0 0 0 8891 56 0 0 25 0 1 0 9996577 63877120 15080 1992294400 134512640 135751879 4291046928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 15595 15080 148 303 0 15290 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 62380

[startup+92.7011 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1703240/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=63916 CPUtime=92.66
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 15791 0 0 0 9209 57 0 0 25 0 1 0 9996577 65449984 15462 1992294400 134512640 135751879 4291046928 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 15979 15462 148 303 0 15674 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 63916

[startup+93.5082 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1702744/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=64172 CPUtime=93.47
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 15880 0 0 0 9290 57 0 0 25 0 1 0 9996577 65712128 15551 1992294400 134512640 135751879 4291046928 18446744073709551615 134616806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 16043 15551 148 303 0 15738 0
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (KiB) 64172

[startup+93.9002 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1702744/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=64556 CPUtime=93.87
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 15961 0 0 0 9329 58 0 0 25 0 1 0 9996577 66105344 15632 1992294400 134512640 135751879 4291046928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 16139 15632 148 303 0 15834 0
Current children cumulated CPU time (s) 93.87
Current children cumulated vsize (KiB) 64556

[startup+94.1012 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1702744/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=64684 CPUtime=94.07
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202496 16006 0 0 0 9349 58 0 0 25 0 1 0 9996577 66236416 15677 1992294400 134512640 135751879 4291046928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16557/statm: 16171 15677 148 303 0 15866 0
Current children cumulated CPU time (s) 94.07
Current children cumulated vsize (KiB) 64684

[startup+94.2012 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16562
/proc/meminfo: memFree=1702744/2059040 swapFree=4164944/4192956
[pid=16557] ppid=16555 vsize=0 CPUtime=94.16
/proc/16557/stat : 16557 (wbo1.4b) R 16555 16557 16317 0 -1 4202500 16026 0 0 0 9358 58 0 0 25 0 1 0 9996577 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/16557/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 94.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 94.2081
CPU time (s): 94.1827
CPU user time (s): 93.5898
CPU system time (s): 0.592909
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 64684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.5898
system time used= 0.592909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16026
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= 20
involuntary context switches= 200

runsolver used 0.162975 second user time and 0.45793 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-16 13:16:52
IDJOB=2655746
IDBENCH=71835
IDSOLVER=1161
FILE ID=node029/2655746-1276687012
PBS_JOBID= 11172587
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= 6db624ef9d444e54f2daac91a1bb8591
RANDOM SEED=1035927437

node029.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.221
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.221
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:       1765776 kB
Buffers:         80332 kB
Cached:         112448 kB
SwapCached:       1508 kB
Active:         101428 kB
Inactive:       125464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1765776 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:            3684 kB
Writeback:           0 kB
AnonPages:       32604 kB
Mapped:          15080 kB
Slab:            44636 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181636 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= 62572 MiB
End job on node029 at 2010-06-16 13:18:26