Trace number 2680389

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)OPT-78 94.0147 94.037

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680389-1277460447.opb.
0.00/0.00	c Instance file HOME/instance-2680389-1277460447.opb
0.00/0.00	c File size is 1015615 bytes.
0.09/0.16	c Highest Coefficient sum: 4
0.09/0.16	c ============================[ Problem Statistics ]=============================
0.09/0.16	c |                                                                             |
0.09/0.16	c |  Parsing time:          0.16         s                                      |
0.09/0.16	c |  Number Variables:      2025                                                |
0.09/0.16	c |  Number Clauses:        30658                                               |
0.09/0.16	c |  Number Cardinality:    0                                                   |
0.09/0.16	c |  Number PB Constraints: 0                                                   |
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1996    30687    90804 |    10219        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 0
0.19/0.22	o 0
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 179.782 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1996    30688    90939 |    10229        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: -1
0.19/0.22	o -1
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 179.779 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1996    30689    91074 |    10229        0    nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -4
0.19/0.23	o -4
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 179.774 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1996    30690    91209 |    10230        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -5
0.19/0.24	o -5
0.19/0.24	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 179.768 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         4 |    1996    30691    91344 |    10230        4    133 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -6
0.19/0.24	o -6
0.19/0.24	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         4 |    1996    30692    91479 |    10230        4    133 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -7
0.19/0.25	o -7
0.19/0.25	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 179.761 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         4 |    1996    30693    91614 |    10231        4    133 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -8
0.19/0.25	o -8
0.19/0.25	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 179.754 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         4 |    1996    30694    91749 |    10231        4    133 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -9
0.19/0.26	o -9
0.19/0.26	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 179.749 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         4 |    1996    30695    91884 |    10231        4    133 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -10
0.19/0.27	o -10
0.19/0.27	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 179.743 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         4 |    1996    30696    92019 |    10232        4    133 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -11
0.19/0.27	o -11
0.19/0.27	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 179.736 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         5 |    1996    30697    92154 |    10232        5    133 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -12
0.19/0.28	o -12
0.19/0.28	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 179.731 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         5 |    1996    30698    92289 |    10232        5    133 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -13
0.19/0.29	o -13
0.19/0.29	c Elapsed CPU time: 0.274958 s	Remaining CPU time: 179.725 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         7 |    1996    30699    92424 |    10233        7    131 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -14
0.19/0.29	o -14
0.19/0.29	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 179.722 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         9 |    1996    30700    92559 |    10233        9    130 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -15
0.29/0.30	o -15
0.29/0.30	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 179.716 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        11 |    1996    30701    92694 |    10233       11    129 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -16
0.29/0.31	o -16
0.29/0.31	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 179.71 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        15 |    1996    30702    92829 |    10234       15    128 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -17
0.29/0.31	o -17
0.29/0.31	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 179.706 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        19 |    1996    30703    92964 |    10234       19    121 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -18
0.29/0.32	o -18
0.29/0.32	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 179.7 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        20 |    1996    30704    93099 |    10234       20    121 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -19
0.29/0.33	o -19
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 |        23 |    1996    30705    93234 |    10235       23    117 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -20
0.29/0.33	o -20
0.29/0.33	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 179.688 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        31 |    1996    30706    93369 |    10235       31    118 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -21
0.29/0.34	o -21
0.29/0.34	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 179.68 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        63 |    1996    30707    93504 |    10235       63    112 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -22
0.29/0.35	o -22
0.29/0.35	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 179.673 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        75 |    1996    30708    93639 |    10236       75    112 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -23
0.29/0.36	o -23
0.29/0.36	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 179.667 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        78 |    1996    30709    93774 |    10236       78    112 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -24
0.29/0.36	o -24
0.29/0.36	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 179.664 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        78 |    1996    30710    93909 |    10236       78    112 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -25
0.29/0.38	o -25
0.29/0.38	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 179.653 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       123 |    1996    30711    94044 |    10237      123    113 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -26
0.29/0.38	o -26
0.29/0.38	c Elapsed CPU time: 0.353946 s	Remaining CPU time: 179.646 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       125 |    1996    30712    94179 |    10237      125    113 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -27
0.29/0.39	o -27
0.29/0.39	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 179.642 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       125 |    1996    30713    94314 |    10237      125    113 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -28
0.39/0.40	o -28
0.39/0.40	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 179.635 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       154 |    1996    30714    94449 |    10238      154    111 |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -29
0.39/0.42	o -29
0.39/0.42	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 179.62 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       228 |    1996    30715    94584 |    10238      228    111 |  0.000 % |
0.39/0.43	c |       329 |    1996    30715    94584 |    11262      329    109 |  1.432 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -30
0.39/0.45	o -30
0.39/0.45	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 179.586 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       458 |    1996    30716    94719 |    10238      458    110 |  1.432 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -31
0.39/0.46	o -31
0.39/0.46	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 179.58 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       462 |    1996    30717    94854 |    10239      462    110 |  1.432 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -32
0.39/0.47	o -32
0.39/0.47	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 179.574 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       462 |    1996    30718    94989 |    10239      462    110 |  1.432 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -33
0.39/0.48	o -33
0.39/0.48	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 179.563 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       498 |    1996    30719    95124 |    10239      498    110 |  1.432 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -34
0.39/0.49	o -34
0.39/0.49	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 179.557 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       507 |    1996    30720    95259 |    10240      507    110 |  1.432 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -35
0.49/0.51	o -35
0.49/0.51	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 179.539 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |       590 |    1996    30721    95394 |    10240      590    110 |  1.432 % |
0.49/0.52	c |       690 |    1996    30721    95394 |    11264      690    109 |  1.432 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -36
0.49/0.54	o -36
0.49/0.54	c Elapsed CPU time: 0.492925 s	Remaining CPU time: 179.507 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |       756 |    1996    30722    95529 |    10240      756    110 |  1.432 % |
0.49/0.55	c |       856 |    1996    30722    95529 |    11264      856    110 |  1.432 % |
0.49/0.58	c |      1006 |    1996    30722    95529 |    12391     1006    109 |  1.432 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -37
0.59/0.62	o -37
0.59/0.62	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 179.431 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |      1197 |    1996    30723    95664 |    10241     1197    109 |  1.432 % |
0.59/0.64	c |      1299 |    1996    30723    95664 |    11265     1299    110 |  1.432 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -38
0.59/0.68	o -38
0.59/0.68	c Elapsed CPU time: 0.629904 s	Remaining CPU time: 179.37 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      1440 |    1996    30724    95799 |    10241     1440    110 |  1.432 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -39
0.59/0.69	o -39
0.59/0.69	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 179.363 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      1444 |    1996    30725    95934 |    10241     1444    110 |  1.432 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -40
0.69/0.71	o -40
0.69/0.71	c Elapsed CPU time: 0.6559 s	Remaining CPU time: 179.344 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |      1513 |    1996    30726    96069 |    10242     1513    110 |  1.432 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -41
0.69/0.71	o -41
0.69/0.71	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 179.338 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |      1513 |    1996    30727    96204 |    10242     1513    110 |  1.432 % |
0.69/0.74	c |      1617 |    1996    30727    96204 |    11266     1617    110 |  1.432 % |
0.69/0.78	c |      1767 |    1996    30727    96204 |    12393     1767    110 |  1.432 % |
0.79/0.84	c |      1993 |    1996    30727    96204 |    13632     1993    110 |  1.432 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -42
0.79/0.88	o -42
0.79/0.88	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 179.18 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      2130 |    1996    30728    96339 |    10242     2130    110 |  1.432 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -43
0.79/0.89	o -43
0.79/0.89	c Elapsed CPU time: 0.833873 s	Remaining CPU time: 179.166 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |      2175 |    1996    30729    96474 |    10243     2175    110 |  1.432 % |
0.89/0.92	c |      2276 |    1996    30729    96474 |    11267     2276    110 |  1.432 % |
0.89/0.96	c |      2426 |    1996    30729    96474 |    12394     2426    109 |  1.432 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -44
0.89/0.99	o -44
0.89/0.99	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 179.066 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |      2607 |    1996    30730    96609 |    10243     2607    109 |  1.432 % |
1.00/1.01	c |      2707 |    1996    30730    96609 |    11267     2707    109 |  1.432 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -45
1.00/1.03	o -45
1.00/1.03	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 179.028 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |      2776 |    1996    30731    96744 |    10243     2776    109 |  1.432 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -46
1.00/1.04	o -46
1.00/1.04	c Elapsed CPU time: 0.978851 s	Remaining CPU time: 179.021 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |      2776 |    1996    30732    96879 |    10244     2776    109 |  1.432 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: -47
1.00/1.05	o -47
1.00/1.05	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 179.014 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |      2776 |    1996    30733    97014 |    10244     2776    109 |  1.432 % |
1.00/1.08	c |      2877 |    1996    30733    97014 |    11268     2877    109 |  1.432 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: -48
1.00/1.09	o -48
1.00/1.09	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 178.981 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |      2878 |    1996    30734    97149 |    10244     2878    109 |  1.432 % |
1.10/1.12	c |      2983 |    1996    30734    97149 |    11269     2983    109 |  1.432 % |
1.10/1.15	c |      3135 |    1996    30734    97149 |    12396     3135    109 |  1.432 % |
1.19/1.21	c |      3360 |    1996    30734    97149 |    13635     3360    108 |  1.432 % |
1.29/1.33	c |      3697 |    1996    30734    97149 |    14999     3697    108 |  1.432 % |
1.39/1.47	c |      4205 |    1996    30734    97149 |    16499     4205    107 |  1.432 % |
1.69/1.73	c |      4967 |    1996    30734    97149 |    18149     4967    107 |  1.432 % |
2.09/2.12	c ===============================================================================
2.09/2.12	c New solution: -49
2.09/2.12	o -49
2.09/2.12	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 177.955 s
2.09/2.12	c ===============================================================================
2.09/2.12	c |      5954 |    1996    30735    97284 |    10245     5954    107 |  1.432 % |
2.09/2.16	c |      6054 |    1996    30735    97284 |    11269     6054    107 |  1.432 % |
2.19/2.23	c |      6205 |    1996    30735    97284 |    12396     6205    107 |  1.432 % |
2.29/2.39	c |      6431 |    1996    30735    97284 |    13636     6431    107 |  1.432 % |
2.49/2.51	c ===============================================================================
2.49/2.51	c New solution: -50
2.49/2.51	o -50
2.49/2.51	c Elapsed CPU time: 2.42463 s	Remaining CPU time: 177.575 s
2.49/2.51	c ===============================================================================
2.49/2.51	c |      6595 |    1996    30736    97419 |    10245     6595    107 |  1.432 % |
2.49/2.56	c |      6696 |    1996    30736    97419 |    11269     6696    107 |  1.432 % |
2.59/2.66	c |      6846 |    1996    30736    97419 |    12396     6846    107 |  1.432 % |
2.69/2.78	c |      7071 |    1996    30736    97419 |    13636     7071    107 |  1.432 % |
2.89/2.97	c |      7411 |    1996    30736    97419 |    15000     7411    107 |  1.432 % |
3.09/3.20	c |      7917 |    1996    30736    97419 |    16500     7917    107 |  1.432 % |
3.49/3.55	c |      8677 |    1996    30736    97419 |    18150     8677    106 |  1.432 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: -51
3.59/3.65	o -51
3.59/3.65	c Elapsed CPU time: 3.56346 s	Remaining CPU time: 176.437 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |      8864 |    1996    30737    97554 |    10245     8864    106 |  1.432 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c New solution: -53
3.59/3.66	o -53
3.59/3.66	c Elapsed CPU time: 3.57046 s	Remaining CPU time: 176.43 s
3.59/3.66	c ===============================================================================
3.59/3.66	c |      8867 |    1996    30738    97689 |    10246     8867    106 |  1.432 % |
3.59/3.68	c ===============================================================================
3.59/3.68	c New solution: -54
3.59/3.68	o -54
3.59/3.68	c Elapsed CPU time: 3.59045 s	Remaining CPU time: 176.41 s
3.59/3.68	c ===============================================================================
3.59/3.68	c |      8894 |    1996    30739    97824 |    10246     8894    106 |  1.432 % |
3.69/3.74	c |      8995 |    1996    30739    97824 |    11270     8995    106 |  1.432 % |
3.79/3.83	c |      9146 |    1996    30739    97824 |    12398     9146    106 |  1.432 % |
3.89/3.98	c |      9371 |    1996    30739    97824 |    13637     9371    106 |  1.432 % |
4.09/4.12	c |      9708 |    1996    30739    97824 |    15001     9708    106 |  1.432 % |
4.30/4.37	c |     10215 |    1996    30739    97824 |    16501    10215    106 |  1.432 % |
4.69/4.80	c |     10974 |    1996    30739    97824 |    18152    10974    106 |  1.432 % |
4.79/4.82	c ===============================================================================
4.79/4.82	c New solution: -55
4.79/4.82	o -55
4.79/4.82	c Elapsed CPU time: 4.72228 s	Remaining CPU time: 175.278 s
4.79/4.82	c ===============================================================================
4.79/4.82	c |     11032 |    1996    30740    97959 |    10246    11032    106 |  1.432 % |
4.89/4.91	c |     11135 |    1996    30740    97959 |    11271     5619    101 |  1.432 % |
4.89/4.95	c |     11285 |    1996    30740    97959 |    12398     5769    101 |  1.432 % |
4.99/5.03	c |     11510 |    1996    30740    97959 |    13638     5994    101 |  1.432 % |
5.09/5.15	c |     11847 |    1996    30740    97959 |    15002     6331    102 |  1.432 % |
5.39/5.41	c |     12353 |    1996    30740    97959 |    16502     6837    102 |  1.432 % |
5.69/5.76	c |     13112 |    1996    30740    97959 |    18152     7596    102 |  1.432 % |
6.19/6.29	c |     14251 |    1996    30740    97959 |    19967     8735    103 |  1.432 % |
7.29/7.33	c |     15963 |    1996    30740    97959 |    21964    10447    103 |  1.432 % |
8.19/8.27	c ===============================================================================
8.19/8.27	c New solution: -56
8.19/8.27	o -56
8.19/8.27	c Elapsed CPU time: 8.15176 s	Remaining CPU time: 171.848 s
8.19/8.27	c ===============================================================================
8.19/8.27	c |     18081 |    1996    30741    98094 |    10247    12565    104 |  1.432 % |
8.29/8.35	c |     18186 |    1996    30741    98094 |    11271     6388    101 |  1.432 % |
8.39/8.40	c |     18337 |    1996    30741    98094 |    12398     6539    101 |  1.432 % |
8.39/8.48	c |     18562 |    1996    30741    98094 |    13638     6764    101 |  1.432 % |
8.59/8.64	c |     18899 |    1996    30741    98094 |    15002     7101    102 |  1.432 % |
8.79/8.85	c |     19406 |    1996    30741    98094 |    16502     7608    102 |  1.432 % |
9.19/9.27	c |     20166 |    1996    30741    98094 |    18153     8368    102 |  1.432 % |
9.49/9.59	c ===============================================================================
9.49/9.59	c New solution: -57
9.49/9.59	o -57
9.49/9.59	c Elapsed CPU time: 9.45856 s	Remaining CPU time: 170.541 s
9.49/9.59	c ===============================================================================
9.49/9.59	c |     20827 |    1996    30742    98229 |    10247     9029    102 |  1.432 % |
9.59/9.63	c |     20927 |    1996    30742    98229 |    11272     9129    102 |  1.432 % |
9.59/9.67	c |     21077 |    1996    30742    98229 |    12399     9279    102 |  1.432 % |
9.68/9.72	c |     21302 |    1996    30742    98229 |    13639     9504    103 |  1.432 % |
9.79/9.88	c |     21640 |    1996    30742    98229 |    15003     9842    103 |  1.432 % |
10.08/10.14	c |     22152 |    1996    30742    98229 |    16503    10354    103 |  1.432 % |
10.49/10.51	c |     22914 |    1996    30742    98229 |    18153    11116    103 |  1.432 % |
10.99/11.07	c ===============================================================================
10.99/11.07	c New solution: -58
10.99/11.07	o -58
10.99/11.07	c Elapsed CPU time: 10.9183 s	Remaining CPU time: 169.082 s
10.99/11.07	c ===============================================================================
10.99/11.07	c |     23750 |    1996    30743    98364 |    10247    11952    103 |  1.432 % |
11.08/11.12	c ===============================================================================
11.08/11.12	c New solution: -59
11.08/11.12	o -59
11.08/11.12	c Elapsed CPU time: 10.9743 s	Remaining CPU time: 169.026 s
11.08/11.12	c ===============================================================================
11.08/11.12	c |     23768 |    1996    30744    98499 |    10248     5994     99 |  1.432 % |
11.08/11.13	c ===============================================================================
11.08/11.13	c New solution: -60
11.08/11.13	o -60
11.08/11.13	c Elapsed CPU time: 10.9833 s	Remaining CPU time: 169.017 s
11.08/11.13	c ===============================================================================
11.08/11.13	c |     23769 |    1996    30745    98634 |    10248     5995     99 |  1.432 % |
11.08/11.14	c ===============================================================================
11.08/11.14	c New solution: -61
11.08/11.14	o -61
11.08/11.14	c Elapsed CPU time: 10.9923 s	Remaining CPU time: 169.008 s
11.08/11.14	c ===============================================================================
11.08/11.14	c |     23775 |    1996    30746    98769 |    10248     6001     99 |  1.432 % |
11.08/11.19	c |     23876 |    1996    30746    98769 |    11273     6102     99 |  1.432 % |
11.19/11.25	c |     24031 |    1996    30746    98769 |    12400     6257     99 |  1.432 % |
11.29/11.36	c |     24256 |    1996    30746    98769 |    13640     6482    100 |  1.432 % |
11.49/11.53	c |     24596 |    1996    30746    98769 |    15005     6822    100 |  1.432 % |
11.69/11.75	c |     25107 |    1996    30746    98769 |    16505     7333    100 |  1.432 % |
12.00/12.06	c |     25867 |    1996    30746    98769 |    18156     8093    100 |  1.432 % |
12.59/12.66	c |     27007 |    1996    30746    98769 |    19971     9233    101 |  1.432 % |
13.69/13.77	c |     28716 |    1996    30746    98769 |    21968    10942    101 |  1.432 % |
14.59/14.65	c ===============================================================================
14.59/14.65	c New solution: -63
14.59/14.65	o -63
14.59/14.65	c Elapsed CPU time: 14.4688 s	Remaining CPU time: 165.531 s
14.59/14.65	c ===============================================================================
14.59/14.65	c |     30389 |    1996    30747    98904 |    10249    12615    102 |  1.432 % |
14.69/14.74	c |     30489 |    1996    30747    98904 |    11273     6408     96 |  1.432 % |
14.69/14.78	c ===============================================================================
14.69/14.78	c New solution: -64
14.69/14.78	o -64
14.69/14.78	c Elapsed CPU time: 14.5908 s	Remaining CPU time: 165.409 s
14.69/14.78	c ===============================================================================
14.69/14.78	c |     30583 |    1996    30748    99039 |    10249     6502     96 |  1.432 % |
14.78/14.81	c |     30685 |    1996    30748    99039 |    11274     6604     96 |  1.432 % |
14.78/14.87	c |     30835 |    1996    30748    99039 |    12401     6754     96 |  1.432 % |
14.88/14.92	c |     31061 |    1996    30748    99039 |    13641     6980     97 |  1.432 % |
14.99/15.00	c |     31398 |    1996    30748    99039 |    15006     7317     97 |  1.432 % |
15.09/15.19	c |     31905 |    1996    30748    99039 |    16506     7824     97 |  1.432 % |
15.59/15.66	c |     32664 |    1996    30748    99039 |    18157     8583     97 |  1.432 % |
16.18/16.24	c |     33804 |    1996    30748    99039 |    19973     9723     98 |  1.432 % |
17.19/17.21	c |     35512 |    1996    30748    99039 |    21970    11431     99 |  1.432 % |
18.79/18.89	c |     38076 |    1996    30748    99039 |    24167    13995    100 |  1.432 % |
23.28/23.34	c |     41921 |    1996    30748    99039 |    26584    17840    100 |  1.432 % |
30.89/30.94	c |     47692 |    1996    30748    99039 |    29242    23611    101 |  1.432 % |
33.59/33.61	c ===============================================================================
33.59/33.61	c New solution: -65
33.59/33.61	o -65
33.59/33.61	c Elapsed CPU time: 33.3469 s	Remaining CPU time: 146.653 s
33.59/33.61	c ===============================================================================
33.59/33.61	c |     49435 |    1996    30749    99174 |    10249    25354    101 |  1.432 % |
33.78/33.81	c |     49536 |    1996    30749    99174 |    11274     5964     91 |  1.432 % |
33.78/33.88	c |     49687 |    1996    30749    99174 |    12402     6115     91 |  1.432 % |
33.88/33.98	c |     49913 |    1996    30749    99174 |    13642     6341     92 |  1.432 % |
33.99/34.10	c |     50250 |    1996    30749    99174 |    15006     6678     92 |  1.432 % |
34.19/34.28	c |     50757 |    1996    30749    99174 |    16507     7185     93 |  1.432 % |
34.48/34.51	c |     51516 |    1996    30749    99174 |    18157     7944     94 |  1.432 % |
34.98/35.01	c |     52659 |    1996    30749    99174 |    19973     9087     95 |  1.432 % |
35.88/35.94	c |     54373 |    1996    30749    99174 |    21971    10801     96 |  1.432 % |
37.48/37.53	c |     56935 |    1996    30749    99174 |    24168    13363     98 |  1.432 % |
41.09/41.11	c |     60782 |    1996    30749    99174 |    26584    17210     99 |  1.432 % |
44.18/44.27	c ===============================================================================
44.18/44.27	c New solution: -66
44.18/44.27	o -66
44.18/44.27	c Elapsed CPU time: 43.9273 s	Remaining CPU time: 136.073 s
44.18/44.27	c ===============================================================================
44.18/44.27	c |     65032 |    1996    30750    99309 |    10250    21460    100 |  1.432 % |
44.58/44.68	c ===============================================================================
44.58/44.68	c New solution: -67
44.58/44.68	o -67
44.58/44.68	c Elapsed CPU time: 44.3333 s	Remaining CPU time: 135.667 s
44.58/44.68	c ===============================================================================
44.58/44.68	c |     65045 |    1996    30751    99444 |    10250     5378     89 |  1.432 % |
44.58/44.68	c ===============================================================================
44.58/44.68	c New solution: -68
44.58/44.68	o -68
44.58/44.68	c Elapsed CPU time: 44.3423 s	Remaining CPU time: 135.658 s
44.58/44.68	c ===============================================================================
44.58/44.68	c |     65045 |    1996    30752    99579 |    10250     5378     89 |  1.432 % |
44.58/44.69	c ===============================================================================
44.58/44.69	c New solution: -69
44.58/44.69	o -69
44.58/44.69	c Elapsed CPU time: 44.3503 s	Remaining CPU time: 135.65 s
44.58/44.69	c ===============================================================================
44.58/44.69	c |     65045 |    1996    30753    99714 |    10251     5378     89 |  1.432 % |
44.68/44.75	c |     65145 |    1996    30753    99714 |    11276     5478     89 |  1.432 % |
44.78/44.80	c |     65295 |    1996    30753    99714 |    12403     5628     90 |  1.432 % |
44.88/44.90	c |     65520 |    1996    30753    99714 |    13644     5853     90 |  1.432 % |
44.98/45.05	c |     65857 |    1996    30753    99714 |    15008     6190     90 |  1.432 % |
45.28/45.33	c |     66370 |    1996    30753    99714 |    16509     6703     91 |  1.432 % |
45.58/45.64	c |     67129 |    1996    30753    99714 |    18160     7462     92 |  1.432 % |
46.08/46.20	c |     68273 |    1996    30753    99714 |    19976     8606     94 |  1.432 % |
47.18/47.23	c |     69986 |    1996    30753    99714 |    21973    10319     95 |  1.432 % |
47.58/47.67	c ===============================================================================
47.58/47.67	c New solution: -70
47.58/47.67	o -70
47.58/47.67	c Elapsed CPU time: 47.3068 s	Remaining CPU time: 132.693 s
47.58/47.67	c ===============================================================================
47.58/47.67	c |     70626 |    1996    30754    99849 |    10251    10959     95 |  1.432 % |
47.68/47.77	c |     70727 |    1996    30754    99849 |    11276     5581     88 |  1.432 % |
47.77/47.84	c |     70878 |    1996    30754    99849 |    12404     5732     88 |  1.432 % |
47.88/47.94	c |     71106 |    1996    30754    99849 |    13644     5960     89 |  1.432 % |
48.08/48.10	c |     71445 |    1996    30754    99849 |    15008     6299     90 |  1.432 % |
48.29/48.39	c |     71952 |    1996    30754    99849 |    16509     6806     90 |  1.432 % |
48.68/48.76	c |     72711 |    1996    30754    99849 |    18160     7565     92 |  1.432 % |
48.98/49.07	c ===============================================================================
48.98/49.07	c New solution: -72
48.98/49.07	o -72
48.98/49.07	c Elapsed CPU time: 48.6976 s	Remaining CPU time: 131.302 s
48.98/49.07	c ===============================================================================
48.98/49.07	c |     73306 |    1996    30755    99984 |    10251     8160     92 |  1.432 % |
48.98/49.09	c ===============================================================================
48.98/49.09	c New solution: -73
48.98/49.09	o -73
48.98/49.09	c Elapsed CPU time: 48.7106 s	Remaining CPU time: 131.289 s
48.98/49.09	c ===============================================================================
48.98/49.09	c |     73321 |    1996    30756   100119 |    10252     8175     92 |  1.432 % |
49.08/49.10	c ===============================================================================
49.08/49.10	c New solution: -75
49.08/49.10	o -75
49.08/49.10	c Elapsed CPU time: 48.7186 s	Remaining CPU time: 131.281 s
49.08/49.10	c ===============================================================================
49.08/49.10	c |     73321 |    1996    30757   100254 |    10252     8175     92 |  1.432 % |
49.08/49.15	c |     73423 |    1996    30757   100254 |    11277     8277     92 |  1.432 % |
49.18/49.23	c |     73575 |    1996    30757   100254 |    12405     8429     93 |  1.432 % |
49.28/49.36	c |     73800 |    1996    30757   100254 |    13645     8654     93 |  1.432 % |
49.58/49.62	c |     74137 |    1996    30757   100254 |    15010     8991     93 |  1.432 % |
49.78/49.87	c |     74645 |    1996    30757   100254 |    16511     9499     93 |  1.432 % |
50.28/50.36	c |     75406 |    1996    30757   100254 |    18162    10260     94 |  1.432 % |
51.27/51.30	c |     76547 |    1996    30757   100254 |    19978    11401     94 |  1.432 % |
52.88/52.90	c |     78259 |    1996    30757   100254 |    21976    13113     95 |  1.432 % |
55.27/55.32	c |     80826 |    1996    30757   100254 |    24174    15680     95 |  1.432 % |
59.07/59.14	c |     84675 |    1996    30757   100254 |    26591    19529     95 |  1.432 % |
67.78/67.80	c |     90444 |    1996    30757   100254 |    29251    25298     95 |  1.432 % |
79.37/79.44	c |     99097 |    1996    30757   100254 |    32176    16616     91 |  1.432 % |
85.47/85.52	c ===============================================================================
85.47/85.52	c New solution: -76
85.47/85.52	o -76
85.47/85.52	c Elapsed CPU time: 84.9851 s	Remaining CPU time: 95.0149 s
85.47/85.52	c ===============================================================================
85.47/85.52	c |    105362 |    1996    30758   100389 |    10252    22881     93 |  1.432 % |
85.68/85.76	c |    105468 |    1996    30758   100389 |    11277     5827     82 |  1.432 % |
85.78/85.81	c |    105618 |    1996    30758   100389 |    12405     5977     83 |  1.432 % |
85.87/85.90	c |    105843 |    1996    30758   100389 |    13646     6202     83 |  1.432 % |
85.97/86.05	c |    106180 |    1996    30758   100389 |    15010     6539     84 |  1.432 % |
86.17/86.27	c |    106687 |    1996    30758   100389 |    16512     7046     85 |  1.432 % |
86.27/86.30	c ===============================================================================
86.27/86.30	c New solution: -78
86.27/86.30	o -78
86.27/86.30	c Elapsed CPU time: 85.753 s	Remaining CPU time: 94.247 s
86.27/86.30	c ===============================================================================
86.27/86.30	c |    106744 |    1996    30759   100524 |    10253     7103     85 |  1.432 % |
86.27/86.36	c |    106846 |    1996    30759   100524 |    11278     7205     85 |  1.432 % |
86.37/86.44	c |    106999 |    1996    30759   100524 |    12406     7358     85 |  1.432 % |
86.47/86.56	c |    107225 |    1996    30759   100524 |    13646     7584     85 |  1.432 % |
86.67/86.77	c |    107565 |    1996    30759   100524 |    15011     7924     85 |  1.432 % |
86.97/87.05	c |    108072 |    1996    30759   100524 |    16512     8431     86 |  1.432 % |
87.47/87.54	c |    108832 |    1996    30759   100524 |    18163     9191     87 |  1.432 % |
88.17/88.29	c |    109974 |    1996    30759   100524 |    19980    10333     88 |  1.432 % |
89.07/89.12	c |    111683 |    1996    30759   100524 |    21978    12042     89 |  1.432 % |
90.87/90.99	c |    114247 |    1996    30759   100524 |    24176    14606     90 |  1.432 % |
93.96/94.02	c ===============================================================================
93.96/94.02	c Best Solution: 249
93.96/94.02	s OPTIMUM FOUND
93.96/94.02	c Total CPU time: 93.4358 s
93.96/94.02	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-2680389-1277460447/watcher-2680389-1277460447 -o /tmp/evaluation-result-2680389-1277460447/solver-2680389-1277460447 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680389-1277460447.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27194
/proc/meminfo: memFree=1514592/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=3828 CPUtime=0
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 87337099 3919872 249 1992294400 134512640 135752675 4287506544 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 957 249 138 303 0 404 0

[startup+0.046682 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27194
/proc/meminfo: memFree=1514592/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=4308 CPUtime=0.04
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 502 0 0 0 4 0 0 0 18 0 1 0 87337099 4411392 420 1992294400 134512640 135752675 4287506544 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 1077 420 196 303 0 524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4308

[startup+0.100686 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27194
/proc/meminfo: memFree=1514592/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=4924 CPUtime=0.09
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 734 0 0 0 9 0 0 0 21 0 1 0 87337099 5042176 652 1992294400 134512640 135752675 4287506544 18446744073709551615 134612596 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 1231 652 279 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4924

[startup+0.300704 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27194
/proc/meminfo: memFree=1514592/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=5216 CPUtime=0.29
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 1166 0 0 0 27 2 0 0 21 0 1 0 87337099 5341184 836 1992294400 134512640 135752675 4287506544 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 1304 836 144 303 0 999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5216

[startup+0.700739 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27194
/proc/meminfo: memFree=1514592/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=5732 CPUtime=0.69
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 1315 0 0 0 64 5 0 0 22 0 1 0 87337099 5869568 985 1992294400 134512640 135752675 4287506544 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 1433 985 145 303 0 1128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5732

[startup+1.50081 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27195
/proc/meminfo: memFree=1510368/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=7292 CPUtime=1.49
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 1717 0 0 0 142 7 0 0 25 0 1 0 87337099 7467008 1387 1992294400 134512640 135752675 4287506544 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 1823 1387 145 303 0 1518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7292

[startup+3.10095 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27195
/proc/meminfo: memFree=1508384/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=9224 CPUtime=3.09
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 2183 0 0 0 301 8 0 0 25 0 1 0 87337099 9445376 1853 1992294400 134512640 135752675 4287506544 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 2306 1853 145 303 0 2001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9224

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27197
/proc/meminfo: memFree=1504540/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=12868 CPUtime=6.29
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 3089 0 0 0 618 11 0 0 25 0 1 0 87337099 13176832 2759 1992294400 134512640 135752675 4287506544 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 3217 2759 145 303 0 2912 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12868

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27197
/proc/meminfo: memFree=1497472/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=19580 CPUtime=12.69
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 4761 0 0 0 1252 17 0 0 25 0 1 0 87337099 20049920 4431 1992294400 134512640 135752675 4287506544 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 4895 4431 145 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.00 1.00 0.97 2/107 27197
/proc/meminfo: memFree=1488420/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=28108 CPUtime=25.48
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 6882 0 0 0 2525 23 0 0 25 0 1 0 87337099 28782592 6552 1992294400 134512640 135752675 4287506544 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 7027 6552 145 303 0 6722 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28108

[startup+51.1002 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27197
/proc/meminfo: memFree=1471804/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=44936 CPUtime=51.07
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 11074 0 0 0 5069 38 0 0 25 0 1 0 87337099 46014464 10744 1992294400 134512640 135752675 4287506544 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 11234 10744 145 303 0 10929 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44936

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

[startup+76.7005 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27197
/proc/meminfo: memFree=1462628/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=54032 CPUtime=76.67
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 13319 0 0 0 7620 47 0 0 25 0 1 0 87337099 55328768 12989 1992294400 134512640 135752675 4287506544 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 13508 12989 145 303 0 13203 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 54032

[startup+83.1011 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1458536/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=58024 CPUtime=83.07
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 14331 0 0 0 8256 51 0 0 25 0 1 0 87337099 59416576 14001 1992294400 134512640 135752675 4287506544 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 14506 14001 145 303 0 14201 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 58024

[startup+89.5017 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1454320/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=62508 CPUtime=89.47
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 15435 0 0 0 8892 55 0 0 25 0 1 0 87337099 64008192 15105 1992294400 134512640 135752675 4287506544 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 15627 15105 145 303 0 15322 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 62508

[startup+91.1018 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1453452/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=63404 CPUtime=91.07
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 15682 0 0 0 9052 55 0 0 25 0 1 0 87337099 64925696 15352 1992294400 134512640 135752675 4287506544 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 15851 15352 145 303 0 15546 0
Current children cumulated CPU time (s) 91.07
Current children cumulated vsize (KiB) 63404

[startup+92.7019 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1452584/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=63916 CPUtime=92.67
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 15798 0 0 0 9211 56 0 0 25 0 1 0 87337099 65449984 15468 1992294400 134512640 135752675 4287506544 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 15979 15468 145 303 0 15674 0
Current children cumulated CPU time (s) 92.67
Current children cumulated vsize (KiB) 63916

[startup+93.508 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1452088/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=64300 CPUtime=93.47
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 15910 0 0 0 9291 56 0 0 25 0 1 0 87337099 65843200 15580 1992294400 134512640 135752675 4287506544 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 16075 15580 145 303 0 15770 0
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (KiB) 64300

[startup+93.901 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1452088/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=64684 CPUtime=93.86
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 15998 0 0 0 9330 56 0 0 25 0 1 0 87337099 66236416 15668 1992294400 134512640 135752675 4287506544 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 16171 15668 145 303 0 15866 0
Current children cumulated CPU time (s) 93.86
Current children cumulated vsize (KiB) 64684

[startup+94.0011 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27199
/proc/meminfo: memFree=1452088/2059040 swapFree=4140380/4192956
[pid=27194] ppid=27192 vsize=64812 CPUtime=93.96
/proc/27194/stat : 27194 (wbo1.4b) R 27192 27194 26441 0 -1 4202496 16016 0 0 0 9340 56 0 0 25 0 1 0 87337099 66367488 15686 1992294400 134512640 135752675 4287506544 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27194/statm: 16203 15686 145 303 0 15898 0
Current children cumulated CPU time (s) 93.96
Current children cumulated vsize (KiB) 64812

Child status: 0
Real time (s): 94.037
CPU time (s): 94.0147
CPU user time (s): 93.4368
CPU system time (s): 0.577912
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 64812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.4368
system time used= 0.577912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16024
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= 13
involuntary context switches= 149

runsolver used 0.148977 second user time and 0.467928 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-25 12:07:27
IDJOB=2680389
IDBENCH=71835
IDSOLVER=1190
FILE ID=node043/2680389-1277460447
PBS_JOBID= 11188124
Free space on /tmp= 62324 MiB

SOLVER NAME= wbo 1.4b (fixed)
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-2680389-1277460447/watcher-2680389-1277460447 -o /tmp/evaluation-result-2680389-1277460447/solver-2680389-1277460447 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680389-1277460447.opb

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

MD5SUM BENCH= 6db624ef9d444e54f2daac91a1bb8591
RANDOM SEED=1187965760

node043.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.241
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.48
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.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1514996 kB
Buffers:        119844 kB
Cached:         315836 kB
SwapCached:       5496 kB
Active:          33252 kB
Inactive:       416292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1514996 kB
SwapTotal:     4192956 kB
SwapFree:      4140380 kB
Dirty:            3652 kB
Writeback:           0 kB
AnonPages:       12364 kB
Mapped:          12072 kB
Slab:            72328 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183492 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= 62320 MiB
End job on node043 at 2010-06-25 12:09:01