Trace number 2680391

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-81 68.4386 68.4591

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
MD5SUMd02d20784bc67f5ad08bddab69f126bc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark6.25905
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 constraints30406
Number of constraints which are clauses30406
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 340
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 340
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680391-1277460449.opb.
0.00/0.00	c Instance file HOME/instance-2680391-1277460449.opb
0.00/0.00	c File size is 1007225 bytes.
0.09/0.15	c Highest Coefficient sum: 4
0.09/0.15	c ============================[ Problem Statistics ]=============================
0.09/0.15	c |                                                                             |
0.09/0.15	c |  Parsing time:          0.15         s                                      |
0.09/0.15	c |  Number Variables:      2025                                                |
0.09/0.15	c |  Number Clauses:        30406                                               |
0.09/0.15	c |  Number Cardinality:    0                                                   |
0.09/0.15	c |  Number PB Constraints: 0                                                   |
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1997    30434    90048 |    10135        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 0
0.19/0.21	o 0
0.19/0.21	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 179.798 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1997    30435    90183 |    10145        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -3
0.19/0.21	o -3
0.19/0.21	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 179.795 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1997    30436    90318 |    10145        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: -4
0.19/0.22	o -4
0.19/0.22	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         1 |    1997    30437    90453 |    10145        1    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -6
0.19/0.23	o -6
0.19/0.23	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 179.784 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         1 |    1997    30438    90588 |    10146        1    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -7
0.19/0.23	o -7
0.19/0.23	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 179.779 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         1 |    1997    30439    90723 |    10146        1    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -8
0.19/0.24	o -8
0.19/0.24	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 179.776 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         1 |    1997    30440    90858 |    10146        1    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -9
0.19/0.24	o -9
0.19/0.24	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 179.771 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         1 |    1997    30441    90993 |    10147        1    134 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -10
0.19/0.25	o -10
0.19/0.25	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 179.766 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1997    30442    91128 |    10147        3     89 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -11
0.19/0.25	o -11
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 |         3 |    1997    30443    91263 |    10147        3     89 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -12
0.19/0.26	o -12
0.19/0.26	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 179.757 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         5 |    1997    30444    91398 |    10148        5    105 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -13
0.19/0.27	o -13
0.19/0.27	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 179.752 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         5 |    1997    30445    91533 |    10148        5    105 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -14
0.19/0.27	o -14
0.19/0.27	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 179.748 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         7 |    1997    30446    91668 |    10148        7     94 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -15
0.19/0.28	o -15
0.19/0.28	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 179.744 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         7 |    1997    30447    91803 |    10149        7     94 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -16
0.19/0.29	o -16
0.19/0.29	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 179.738 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         7 |    1997    30448    91938 |    10149        7     94 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -17
0.19/0.29	o -17
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 |         7 |    1997    30449    92073 |    10149        7     94 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -18
0.29/0.30	o -18
0.29/0.30	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 179.728 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        17 |    1997    30450    92208 |    10150       17     98 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -20
0.29/0.30	o -20
0.29/0.30	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 179.724 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        18 |    1997    30451    92343 |    10150       18    100 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -21
0.29/0.31	o -21
0.29/0.31	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 179.72 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        19 |    1997    30452    92478 |    10150       19    102 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -22
0.29/0.32	o -22
0.29/0.32	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 179.714 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        24 |    1997    30453    92613 |    10151       24    101 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -24
0.29/0.32	o -24
0.29/0.32	c Elapsed CPU time: 0.290955 s	Remaining CPU time: 179.709 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        25 |    1997    30454    92748 |    10151       25    102 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -25
0.29/0.33	o -25
0.29/0.33	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 179.704 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        26 |    1997    30455    92883 |    10151       26    103 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -27
0.29/0.34	o -27
0.29/0.34	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 179.7 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        31 |    1997    30456    93018 |    10152       31    107 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -28
0.29/0.34	o -28
0.29/0.34	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 179.695 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        31 |    1997    30457    93153 |    10152       31    107 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -29
0.29/0.35	o -29
0.29/0.35	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 179.688 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        56 |    1997    30458    93288 |    10152       56    110 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -30
0.29/0.35	o -30
0.29/0.35	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 179.683 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        56 |    1997    30459    93423 |    10153       56    110 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.37	c New solution: -31
0.29/0.37	o -31
0.29/0.37	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 179.673 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |       118 |    1997    30460    93558 |    10153      118    102 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -32
0.29/0.38	o -32
0.29/0.38	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 179.665 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       170 |    1997    30461    93693 |    10153      170    105 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -33
0.29/0.39	o -33
0.29/0.39	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 179.656 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       222 |    1997    30462    93828 |    10154      222    105 |  0.000 % |
0.39/0.40	c |       322 |    1997    30462    93828 |    11169      322    106 |  1.383 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -34
0.39/0.41	o -34
0.39/0.41	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 179.635 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       356 |    1997    30463    93963 |    10154      356    105 |  1.383 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -35
0.39/0.41	o -35
0.39/0.41	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 179.63 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       356 |    1997    30464    94098 |    10154      356    105 |  1.383 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -36
0.39/0.42	o -36
0.39/0.42	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 179.624 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       356 |    1997    30465    94233 |    10155      356    105 |  1.383 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -37
0.39/0.43	o -37
0.39/0.43	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 179.616 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       377 |    1997    30466    94368 |    10155      377    105 |  1.383 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -38
0.39/0.44	o -38
0.39/0.44	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 179.601 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       458 |    1997    30467    94503 |    10155      458    107 |  1.383 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -39
0.39/0.46	o -39
0.39/0.46	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 179.592 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       497 |    1997    30468    94638 |    10156      497    107 |  1.383 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -40
0.39/0.46	o -40
0.39/0.46	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 179.587 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       497 |    1997    30469    94773 |    10156      497    107 |  1.383 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -41
0.39/0.47	o -41
0.39/0.47	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 179.581 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       497 |    1997    30470    94908 |    10156      497    107 |  1.383 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -42
0.39/0.48	o -42
0.39/0.48	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 179.574 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       504 |    1997    30471    95043 |    10157      504    107 |  1.383 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -43
0.39/0.48	o -43
0.39/0.48	c Elapsed CPU time: 0.431934 s	Remaining CPU time: 179.568 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       505 |    1997    30472    95178 |    10157      505    107 |  1.383 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -44
0.39/0.49	o -44
0.39/0.49	c Elapsed CPU time: 0.437933 s	Remaining CPU time: 179.562 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       505 |    1997    30473    95313 |    10157      505    107 |  1.383 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -45
0.49/0.50	o -45
0.49/0.50	c Elapsed CPU time: 0.443932 s	Remaining CPU time: 179.556 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |       505 |    1997    30474    95448 |    10158      505    107 |  1.383 % |
0.49/0.51	c |       607 |    1997    30474    95448 |    11173      607    105 |  1.383 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -46
0.49/0.52	o -46
0.49/0.52	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 179.532 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |       648 |    1997    30475    95583 |    10158      648    105 |  1.383 % |
0.49/0.54	c |       748 |    1997    30475    95583 |    11174      748    104 |  1.383 % |
0.49/0.55	c |       898 |    1997    30475    95583 |    12291      898    103 |  1.383 % |
0.49/0.58	c |      1123 |    1997    30475    95583 |    13520     1123    103 |  1.383 % |
0.59/0.63	c |      1462 |    1997    30475    95583 |    14872     1462    103 |  1.383 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -47
0.59/0.64	o -47
0.59/0.64	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 179.415 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |      1551 |    1997    30476    95718 |    10158     1551    103 |  1.383 % |
0.59/0.66	c |      1651 |    1997    30476    95718 |    11174     1651    103 |  1.383 % |
0.59/0.69	c |      1801 |    1997    30476    95718 |    12291     1801    103 |  1.383 % |
0.69/0.74	c |      2027 |    1997    30476    95718 |    13521     2027    103 |  1.383 % |
0.79/0.80	c |      2365 |    1997    30476    95718 |    14873     2365    103 |  1.383 % |
0.89/0.92	c |      2872 |    1997    30476    95718 |    16360     2872    103 |  1.383 % |
1.00/1.09	c |      3631 |    1997    30476    95718 |    17996     3631    103 |  1.383 % |
1.39/1.40	c |      4773 |    1997    30476    95718 |    19796     4773    105 |  1.383 % |
1.79/1.83	c |      6481 |    1997    30476    95718 |    21776     6481    105 |  1.383 % |
1.79/1.90	c ===============================================================================
1.79/1.90	c New solution: -48
1.79/1.90	o -48
1.79/1.90	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 178.184 s
1.79/1.90	c ===============================================================================
1.79/1.90	c |      6688 |    1997    30477    95853 |    10159     6688    105 |  1.383 % |
1.89/1.90	c ===============================================================================
1.89/1.90	c New solution: -50
1.89/1.91	o -50
1.89/1.91	c Elapsed CPU time: 1.82372 s	Remaining CPU time: 178.176 s
1.89/1.91	c ===============================================================================
1.89/1.91	c |      6691 |    1997    30478    95988 |    10159     6691    105 |  1.383 % |
1.89/1.91	c ===============================================================================
1.89/1.91	c New solution: -51
1.89/1.91	o -51
1.89/1.91	c Elapsed CPU time: 1.83272 s	Remaining CPU time: 178.167 s
1.89/1.91	c ===============================================================================
1.89/1.91	c |      6697 |    1997    30479    96123 |    10159     6697    105 |  1.383 % |
1.89/1.96	c |      6798 |    1997    30479    96123 |    11175     6798    105 |  1.383 % |
1.99/2.00	c |      6950 |    1997    30479    96123 |    12293     6950    106 |  1.383 % |
1.99/2.05	c |      7179 |    1997    30479    96123 |    13522     7179    106 |  1.383 % |
2.10/2.12	c |      7517 |    1997    30479    96123 |    14874     7517    106 |  1.383 % |
2.19/2.24	c |      8024 |    1997    30479    96123 |    16362     8024    106 |  1.383 % |
2.39/2.47	c |      8784 |    1997    30479    96123 |    17998     8784    106 |  1.383 % |
2.79/2.86	c |      9926 |    1997    30479    96123 |    19798     9926    106 |  1.383 % |
3.59/3.62	c ===============================================================================
3.59/3.62	c New solution: -53
3.59/3.62	o -53
3.59/3.62	c Elapsed CPU time: 3.52646 s	Remaining CPU time: 176.474 s
3.59/3.62	c ===============================================================================
3.59/3.62	c |     11589 |    1997    30480    96258 |    10160    11589    106 |  1.383 % |
3.69/3.71	c |     11689 |    1997    30480    96258 |    11176     5895    102 |  1.383 % |
3.69/3.78	c |     11840 |    1997    30480    96258 |    12293     6046    102 |  1.383 % |
3.79/3.87	c |     12066 |    1997    30480    96258 |    13522     6272    102 |  1.383 % |
3.89/4.00	c |     12404 |    1997    30480    96258 |    14875     6610    102 |  1.383 % |
4.18/4.20	c |     12910 |    1997    30480    96258 |    16362     7116    102 |  1.383 % |
4.39/4.46	c |     13675 |    1997    30480    96258 |    17999     7881    103 |  1.383 % |
4.49/4.52	c ===============================================================================
4.49/4.52	c New solution: -54
4.49/4.52	o -54
4.49/4.52	c Elapsed CPU time: 4.42233 s	Remaining CPU time: 175.578 s
4.49/4.52	c ===============================================================================
4.49/4.52	c |     13892 |    1997    30481    96393 |    10160     8098    103 |  1.383 % |
4.49/4.53	c ===============================================================================
4.49/4.53	c New solution: -55
4.49/4.53	o -55
4.49/4.53	c Elapsed CPU time: 4.43233 s	Remaining CPU time: 175.568 s
4.49/4.53	c ===============================================================================
4.49/4.53	c |     13894 |    1997    30482    96528 |    10160     8100    103 |  1.383 % |
4.49/4.55	c ===============================================================================
4.49/4.55	c New solution: -56
4.49/4.55	o -56
4.49/4.55	c Elapsed CPU time: 4.44632 s	Remaining CPU time: 175.554 s
4.49/4.55	c ===============================================================================
4.49/4.55	c |     13917 |    1997    30483    96663 |    10161     8123    103 |  1.383 % |
4.49/4.58	c |     14019 |    1997    30483    96663 |    11177     8225    103 |  1.383 % |
4.59/4.64	c |     14170 |    1997    30483    96663 |    12294     8376    103 |  1.383 % |
4.69/4.72	c |     14398 |    1997    30483    96663 |    13524     8604    103 |  1.383 % |
4.79/4.87	c |     14735 |    1997    30483    96663 |    14876     8941    103 |  1.383 % |
5.08/5.15	c |     15245 |    1997    30483    96663 |    16364     9451    103 |  1.383 % |
5.50/5.54	c |     16006 |    1997    30483    96663 |    18000    10212    104 |  1.383 % |
5.50/5.56	c ===============================================================================
5.50/5.56	c New solution: -57
5.50/5.56	o -57
5.50/5.56	c Elapsed CPU time: 5.44017 s	Remaining CPU time: 174.56 s
5.50/5.56	c ===============================================================================
5.50/5.56	c |     16013 |    1997    30484    96798 |    10161    10219    104 |  1.383 % |
5.59/5.62	c |     16114 |    1997    30484    96798 |    11177     5211     97 |  1.383 % |
5.59/5.64	c |     16264 |    1997    30484    96798 |    12295     5361     98 |  1.383 % |
5.69/5.70	c |     16489 |    1997    30484    96798 |    13524     5586     98 |  1.383 % |
5.69/5.76	c ===============================================================================
5.69/5.76	c New solution: -58
5.69/5.76	o -58
5.69/5.76	c Elapsed CPU time: 5.64214 s	Remaining CPU time: 174.358 s
5.69/5.76	c ===============================================================================
5.69/5.76	c |     16671 |    1997    30485    96933 |    10161     5768     98 |  1.383 % |
5.69/5.77	c ===============================================================================
5.69/5.77	c New solution: -60
5.69/5.77	o -60
5.69/5.77	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 174.349 s
5.69/5.77	c ===============================================================================
5.69/5.77	c |     16672 |    1997    30486    97068 |    10162     5769     98 |  1.383 % |
5.78/5.80	c |     16772 |    1997    30486    97068 |    11178     5869     98 |  1.383 % |
5.78/5.84	c |     16925 |    1997    30486    97068 |    12296     6022     98 |  1.383 % |
5.78/5.88	c |     17151 |    1997    30486    97068 |    13525     6248     99 |  1.383 % |
5.88/5.94	c |     17490 |    1997    30486    97068 |    14878     6587     99 |  1.383 % |
6.09/6.11	c |     17996 |    1997    30486    97068 |    16366     7093    100 |  1.383 % |
6.29/6.36	c |     18755 |    1997    30486    97068 |    18002     7852    100 |  1.383 % |
6.88/6.90	c |     19895 |    1997    30486    97068 |    19802     8992    101 |  1.383 % |
7.79/7.82	c |     21604 |    1997    30486    97068 |    21783    10701    101 |  1.383 % |
9.28/9.34	c |     24167 |    1997    30486    97068 |    23961    13264    102 |  1.383 % |
9.99/10.03	c ===============================================================================
9.99/10.03	c New solution: -61
9.99/10.03	o -61
9.99/10.03	c Elapsed CPU time: 9.8815 s	Remaining CPU time: 170.119 s
9.99/10.03	c ===============================================================================
9.99/10.03	c |     25400 |    1997    30487    97203 |    10162    14497    103 |  1.383 % |
10.08/10.12	c |     25501 |    1997    30487    97203 |    11178     7350     98 |  1.383 % |
10.18/10.20	c |     25651 |    1997    30487    97203 |    12296     7500     98 |  1.383 % |
10.28/10.35	c |     25882 |    1997    30487    97203 |    13526     7731     98 |  1.383 % |
10.48/10.52	c |     26221 |    1997    30487    97203 |    14878     8070     98 |  1.383 % |
10.68/10.77	c |     26731 |    1997    30487    97203 |    16366     8580     99 |  1.383 % |
11.08/11.15	c |     27491 |    1997    30487    97203 |    18003     9340     99 |  1.383 % |
11.59/11.66	c |     28630 |    1997    30487    97203 |    19803    10479    100 |  1.383 % |
12.58/12.65	c ===============================================================================
12.58/12.65	c New solution: -63
12.58/12.65	o -63
12.58/12.65	c Elapsed CPU time: 12.4931 s	Remaining CPU time: 167.507 s
12.58/12.65	c ===============================================================================
12.58/12.65	c |     30161 |    1997    30488    97338 |    10162    12010    101 |  1.383 % |
12.69/12.70	c ===============================================================================
12.69/12.70	c New solution: -64
12.69/12.70	o -64
12.69/12.70	c Elapsed CPU time: 12.5331 s	Remaining CPU time: 167.467 s
12.69/12.70	c ===============================================================================
12.69/12.70	c |     30184 |    1997    30489    97473 |    10163     6028     95 |  1.383 % |
12.69/12.71	c ===============================================================================
12.69/12.71	c New solution: -66
12.69/12.71	o -66
12.69/12.71	c Elapsed CPU time: 12.5421 s	Remaining CPU time: 167.458 s
12.69/12.71	c ===============================================================================
12.69/12.71	c |     30184 |    1997    30490    97608 |    10163     6028     95 |  1.383 % |
12.69/12.76	c |     30286 |    1997    30490    97608 |    11179     6130     95 |  1.383 % |
12.79/12.84	c |     30439 |    1997    30490    97608 |    12297     6283     95 |  1.383 % |
12.89/12.94	c |     30664 |    1997    30490    97608 |    13527     6508     95 |  1.383 % |
13.09/13.15	c |     31002 |    1997    30490    97608 |    14880     6846     96 |  1.383 % |
13.28/13.33	c |     31510 |    1997    30490    97608 |    16368     7354     96 |  1.383 % |
13.48/13.50	c |     32271 |    1997    30490    97608 |    18004     8115     97 |  1.383 % |
13.99/14.01	c |     33410 |    1997    30490    97608 |    19805     9254     98 |  1.383 % |
15.18/15.21	c |     35120 |    1997    30490    97608 |    21786    10964     98 |  1.383 % |
16.99/17.05	c |     37684 |    1997    30490    97608 |    23964    13528     99 |  1.383 % |
18.89/18.94	c |     41531 |    1997    30490    97608 |    26361    17375    100 |  1.383 % |
22.88/23.00	c |     47302 |    1997    30490    97608 |    28997    23146    102 |  1.383 % |
29.28/29.35	c ===============================================================================
29.28/29.35	c New solution: -67
29.28/29.35	o -67
29.28/29.35	c Elapsed CPU time: 29.0956 s	Remaining CPU time: 150.904 s
29.28/29.35	c ===============================================================================
29.28/29.35	c |     51112 |    1997    30491    97743 |    10163    26956    102 |  1.383 % |
29.48/29.59	c |     51212 |    1997    30491    97743 |    11180     5921     92 |  1.383 % |
29.59/29.67	c |     51364 |    1997    30491    97743 |    12298     6073     92 |  1.383 % |
29.69/29.79	c |     51590 |    1997    30491    97743 |    13527     6299     92 |  1.383 % |
29.88/29.95	c |     51928 |    1997    30491    97743 |    14880     6637     93 |  1.383 % |
30.08/30.18	c |     52436 |    1997    30491    97743 |    16368     7145     93 |  1.383 % |
30.58/30.63	c |     53195 |    1997    30491    97743 |    18005     7904     94 |  1.383 % |
31.28/31.30	c |     54334 |    1997    30491    97743 |    19806     9043     95 |  1.383 % |
31.98/32.00	c |     56044 |    1997    30491    97743 |    21786    10753     96 |  1.383 % |
32.18/32.21	c ===============================================================================
32.18/32.21	c New solution: -68
32.18/32.21	o -68
32.18/32.21	c Elapsed CPU time: 31.9361 s	Remaining CPU time: 148.064 s
32.18/32.21	c ===============================================================================
32.18/32.21	c |     56441 |    1997    30492    97878 |    10164    11150     96 |  1.383 % |
32.18/32.26	c ===============================================================================
32.18/32.26	c New solution: -69
32.18/32.26	o -69
32.18/32.26	c Elapsed CPU time: 31.9901 s	Remaining CPU time: 148.01 s
32.18/32.26	c ===============================================================================
32.18/32.26	c |     56506 |    1997    30493    98013 |    10164     5640     89 |  1.383 % |
32.18/32.29	c |     56606 |    1997    30493    98013 |    11180     5740     89 |  1.383 % |
32.18/32.29	c ===============================================================================
32.18/32.29	c New solution: -70
32.18/32.29	o -70
32.18/32.29	c Elapsed CPU time: 32.0231 s	Remaining CPU time: 147.977 s
32.18/32.29	c ===============================================================================
32.18/32.29	c |     56609 |    1997    30494    98148 |    10164     5743     89 |  1.383 % |
32.28/32.33	c ===============================================================================
32.28/32.33	c New solution: -71
32.28/32.33	o -71
32.28/32.33	c Elapsed CPU time: 32.0541 s	Remaining CPU time: 147.946 s
32.28/32.33	c ===============================================================================
32.28/32.33	c |     56695 |    1997    30495    98283 |    10165     5829     89 |  1.383 % |
32.28/32.36	c |     56795 |    1997    30495    98283 |    11181     5929     90 |  1.383 % |
32.38/32.41	c |     56947 |    1997    30495    98283 |    12299     6081     90 |  1.383 % |
32.38/32.48	c |     57173 |    1997    30495    98283 |    13529     6307     90 |  1.383 % |
32.58/32.63	c |     57512 |    1997    30495    98283 |    14882     6646     91 |  1.383 % |
32.78/32.86	c |     58018 |    1997    30495    98283 |    16370     7152     92 |  1.383 % |
33.08/33.13	c |     58780 |    1997    30495    98283 |    18007     7914     92 |  1.383 % |
33.47/33.56	c |     59926 |    1997    30495    98283 |    19808     9060     94 |  1.383 % |
34.58/34.61	c |     61636 |    1997    30495    98283 |    21789    10770     95 |  1.383 % |
36.58/36.65	c |     64201 |    1997    30495    98283 |    23968    13335     96 |  1.383 % |
39.77/39.82	c ===============================================================================
39.77/39.82	c New solution: -72
39.77/39.82	o -72
39.77/39.82	c Elapsed CPU time: 39.496 s	Remaining CPU time: 140.504 s
39.77/39.82	c ===============================================================================
39.77/39.82	c |     67708 |    1997    30496    98418 |    10165    16842     97 |  1.383 % |
39.88/39.96	c |     67809 |    1997    30496    98418 |    11181     8522     90 |  1.383 % |
39.98/40.05	c |     67965 |    1997    30496    98418 |    12300     8678     90 |  1.383 % |
40.08/40.15	c |     68191 |    1997    30496    98418 |    13530     8904     91 |  1.383 % |
40.18/40.23	c |     68528 |    1997    30496    98418 |    14883     9241     91 |  1.383 % |
40.38/40.47	c |     69038 |    1997    30496    98418 |    16371     9751     92 |  1.383 % |
40.98/41.00	c |     69798 |    1997    30496    98418 |    18008    10511     92 |  1.383 % |
41.69/41.74	c |     70939 |    1997    30496    98418 |    19809    11652     93 |  1.383 % |
42.78/42.89	c ===============================================================================
42.78/42.89	c New solution: -73
42.78/42.89	o -73
42.78/42.89	c Elapsed CPU time: 42.5505 s	Remaining CPU time: 137.449 s
42.78/42.89	c ===============================================================================
42.78/42.89	c |     72237 |    1997    30497    98553 |    10165    12950     94 |  1.383 % |
42.89/42.96	c ===============================================================================
42.89/42.96	c New solution: -74
42.89/42.96	o -74
42.89/42.96	c Elapsed CPU time: 42.6125 s	Remaining CPU time: 137.387 s
42.89/42.96	c ===============================================================================
42.89/42.96	c |     72268 |    1997    30498    98688 |    10166     6506     87 |  1.383 % |
42.89/42.97	c ===============================================================================
42.89/42.97	c New solution: -77
42.89/42.97	o -77
42.89/42.97	c Elapsed CPU time: 42.6285 s	Remaining CPU time: 137.371 s
42.89/42.97	c ===============================================================================
42.89/42.97	c |     72302 |    1997    30499    98823 |    10166     6540     88 |  1.383 % |
42.89/42.99	c ===============================================================================
42.89/42.99	c New solution: -78
42.89/42.99	o -78
42.89/42.99	c Elapsed CPU time: 42.6485 s	Remaining CPU time: 137.351 s
42.89/42.99	c ===============================================================================
42.89/42.99	c |     72350 |    1997    30500    98958 |    10166     6588     88 |  1.383 % |
42.98/43.03	c |     72450 |    1997    30500    98958 |    11183     6688     88 |  1.383 % |
43.07/43.11	c |     72600 |    1997    30500    98958 |    12301     6838     88 |  1.383 % |
43.17/43.21	c |     72826 |    1997    30500    98958 |    13531     7064     88 |  1.383 % |
43.17/43.22	c ===============================================================================
43.17/43.22	c New solution: -79
43.17/43.22	o -79
43.17/43.22	c Elapsed CPU time: 42.8755 s	Remaining CPU time: 137.125 s
43.17/43.22	c ===============================================================================
43.17/43.22	c |     72832 |    1997    30501    99093 |    10167     7070     88 |  1.383 % |
43.27/43.30	c |     72933 |    1997    30501    99093 |    11183     7171     88 |  1.383 % |
43.27/43.36	c |     73083 |    1997    30501    99093 |    12302     7321     89 |  1.383 % |
43.37/43.46	c |     73311 |    1997    30501    99093 |    13532     7549     89 |  1.383 % |
43.57/43.65	c |     73649 |    1997    30501    99093 |    14885     7887     89 |  1.383 % |
43.89/43.98	c |     74158 |    1997    30501    99093 |    16374     8396     89 |  1.383 % |
44.38/44.43	c |     74917 |    1997    30501    99093 |    18011     9155     90 |  1.383 % |
44.87/44.92	c |     76057 |    1997    30501    99093 |    19812    10295     90 |  1.383 % |
45.48/45.59	c |     77767 |    1997    30501    99093 |    21793    12005     91 |  1.383 % |
46.77/46.87	c |     80329 |    1997    30501    99093 |    23973    14567     93 |  1.383 % |
50.48/50.57	c |     84183 |    1997    30501    99093 |    26370    18421     94 |  1.383 % |
53.57/53.64	c ===============================================================================
53.57/53.64	c New solution: -80
53.57/53.64	o -80
53.57/53.64	c Elapsed CPU time: 53.2389 s	Remaining CPU time: 126.761 s
53.57/53.64	c ===============================================================================
53.57/53.64	c |     87248 |    1997    30502    99228 |    10167    21486     95 |  1.383 % |
53.78/53.85	c |     87348 |    1997    30502    99228 |    11184     5472     83 |  1.383 % |
53.78/53.90	c |     87502 |    1997    30502    99228 |    12302     5626     84 |  1.383 % |
53.97/54.00	c |     87727 |    1997    30502    99228 |    13532     5851     84 |  1.383 % |
54.08/54.18	c |     88067 |    1997    30502    99228 |    14885     6191     84 |  1.383 % |
54.38/54.40	c |     88573 |    1997    30502    99228 |    16374     6697     85 |  1.383 % |
54.68/54.76	c |     89336 |    1997    30502    99228 |    18012     7460     86 |  1.383 % |
55.08/55.17	c |     90480 |    1997    30502    99228 |    19813     8604     88 |  1.383 % |
55.98/56.03	c |     92194 |    1997    30502    99228 |    21794    10318     90 |  1.383 % |
57.47/57.59	c |     94756 |    1997    30502    99228 |    23974    12880     92 |  1.383 % |
61.17/61.23	c |     98600 |    1997    30502    99228 |    26371    16724     93 |  1.383 % |
64.97/65.08	c ===============================================================================
64.97/65.08	c New solution: -81
64.97/65.08	o -81
64.97/65.08	c Elapsed CPU time: 64.6182 s	Remaining CPU time: 115.382 s
64.97/65.08	c ===============================================================================
64.97/65.08	c |    102207 |    1997    30503    99363 |    10167    20331     94 |  1.383 % |
65.17/65.23	c |    102309 |    1997    30503    99363 |    11184    10268     89 |  1.383 % |
65.27/65.33	c |    102463 |    1997    30503    99363 |    12302    10422     89 |  1.383 % |
65.37/65.47	c |    102690 |    1997    30503    99363 |    13533    10649     89 |  1.383 % |
65.67/65.72	c |    103034 |    1997    30503    99363 |    14886    10993     90 |  1.383 % |
66.08/66.18	c |    103543 |    1997    30503    99363 |    16375    11502     90 |  1.383 % |
66.77/66.88	c |    104312 |    1997    30503    99363 |    18012    12271     90 |  1.383 % |
68.08/68.13	c |    105451 |    1997    30503    99363 |    19813    13410     90 |  1.383 % |
68.37/68.45	c ===============================================================================
68.37/68.45	c Best Solution: 259
68.37/68.45	s OPTIMUM FOUND
68.37/68.45	c Total CPU time: 67.9667 s
68.37/68.45	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	-81

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26792
/proc/meminfo: memFree=1801732/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=3556 CPUtime=0
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 284 0 0 0 0 0 0 0 25 0 1 0 87338671 3641344 202 1992294400 134512640 135752675 4289450592 18446744073709551615 135228427 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 889 202 135 303 0 338 0

[startup+0.0162551 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26792
/proc/meminfo: memFree=1801732/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=3984 CPUtime=0.01
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 376 0 0 0 1 0 0 0 25 0 1 0 87338671 4079616 294 1992294400 134512640 135752675 4289450592 18446744073709551615 134564638 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 996 294 147 303 0 445 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3984

[startup+0.101264 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26792
/proc/meminfo: memFree=1801732/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=4916 CPUtime=0.09
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 741 0 0 0 9 0 0 0 25 0 1 0 87338671 5033984 659 1992294400 134512640 135752675 4289450592 18446744073709551615 135205787 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 1229 659 286 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4916

[startup+0.301284 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26792
/proc/meminfo: memFree=1801732/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=5204 CPUtime=0.29
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 1161 0 0 0 27 2 0 0 18 0 1 0 87338671 5328896 833 1992294400 134512640 135752675 4289450592 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 1301 833 144 303 0 996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5204

[startup+0.701326 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26792
/proc/meminfo: memFree=1801732/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=5848 CPUtime=0.69
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 1352 0 0 0 63 6 0 0 18 0 1 0 87338671 5988352 1024 1992294400 134512640 135752675 4289450592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 1462 1024 145 303 0 1157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5848

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26793
/proc/meminfo: memFree=1797260/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=7768 CPUtime=1.49
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 1831 0 0 0 142 7 0 0 19 0 1 0 87338671 7954432 1503 1992294400 134512640 135752675 4289450592 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 1942 1503 145 303 0 1637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7768

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26793
/proc/meminfo: memFree=1794780/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=10664 CPUtime=3.09
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 2533 0 0 0 300 9 0 0 19 0 1 0 87338671 10919936 2205 1992294400 134512640 135752675 4289450592 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 2666 2205 145 303 0 2361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10664

[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26793
/proc/meminfo: memFree=1790068/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=15068 CPUtime=6.29
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 3637 0 0 0 617 12 0 0 18 0 1 0 87338671 15429632 3309 1992294400 134512640 135752675 4289450592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 3767 3309 145 303 0 3462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15068

[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 26793
/proc/meminfo: memFree=1782884/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=21284 CPUtime=12.69
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 5174 0 0 0 1253 16 0 0 25 0 1 0 87338671 21794816 4846 1992294400 134512640 135752675 4289450592 18446744073709551615 134599257 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 5321 4846 145 303 0 5016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21284

[startup+25.5009 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26795
/proc/meminfo: memFree=1772468/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=31208 CPUtime=25.48
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 7651 0 0 0 2526 22 0 0 25 0 1 0 87338671 31956992 7323 1992294400 134512640 135752675 4289450592 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 7802 7323 145 303 0 7497 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31208

[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1754736/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=49012 CPUtime=51.07
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 12109 0 0 0 5070 37 0 0 25 0 1 0 87338671 50188288 11781 1992294400 134512640 135752675 4289450592 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 12253 11781 145 303 0 11948 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49012

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

[startup+57.5012 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1750148/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=53752 CPUtime=57.47
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 13287 0 0 0 5707 40 0 0 25 0 1 0 87338671 55042048 12959 1992294400 134512640 135752675 4289450592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 13438 12959 145 303 0 13133 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 53752

[startup+63.9019 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1746676/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=57004 CPUtime=63.87
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14084 0 0 0 6344 43 0 0 25 0 1 0 87338671 58372096 13756 1992294400 134512640 135752675 4289450592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14251 13756 145 303 0 13946 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 57004

[startup+65.501 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1746180/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=57772 CPUtime=65.47
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14293 0 0 0 6503 44 0 0 18 0 1 0 87338671 59158528 13965 1992294400 134512640 135752675 4289450592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14443 13965 145 303 0 14138 0
Current children cumulated CPU time (s) 65.47
Current children cumulated vsize (KiB) 57772

[startup+67.1082 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1744940/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=58544 CPUtime=67.08
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14497 0 0 0 6662 46 0 0 21 0 1 0 87338671 59949056 14169 1992294400 134512640 135752675 4289450592 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14636 14169 145 303 0 14331 0
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (KiB) 58544

[startup+67.9013 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1744940/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=58928 CPUtime=67.87
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14575 0 0 0 6741 46 0 0 23 0 1 0 87338671 60342272 14247 1992294400 134512640 135752675 4289450592 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14732 14247 145 303 0 14427 0
Current children cumulated CPU time (s) 67.87
Current children cumulated vsize (KiB) 58928

[startup+68.3013 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1744568/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=59056 CPUtime=68.27
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14621 0 0 0 6781 46 0 0 25 0 1 0 87338671 60473344 14293 1992294400 134512640 135752675 4289450592 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14764 14293 145 303 0 14459 0
Current children cumulated CPU time (s) 68.27
Current children cumulated vsize (KiB) 59056

[startup+68.4013 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26795
/proc/meminfo: memFree=1744568/2059040 swapFree=4140024/4192956
[pid=26792] ppid=26790 vsize=59184 CPUtime=68.37
/proc/26792/stat : 26792 (wbo1.4b) R 26790 26792 26227 0 -1 4202496 14632 0 0 0 6791 46 0 0 25 0 1 0 87338671 60604416 14304 1992294400 134512640 135752675 4289450592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26792/statm: 14796 14304 145 303 0 14491 0
Current children cumulated CPU time (s) 68.37
Current children cumulated vsize (KiB) 59184

Child status: 0
Real time (s): 68.4591
CPU time (s): 68.4386
CPU user time (s): 67.9667
CPU system time (s): 0.471928
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 59184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.9667
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14638
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= 37
involuntary context switches= 130

runsolver used 0.107983 second user time and 0.352946 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-25 12:07:29
IDJOB=2680391
IDBENCH=71837
IDSOLVER=1190
FILE ID=node083/2680391-1277460449
PBS_JOBID= 11188107
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc
RANDOM SEED=1721210894

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802260 kB
Buffers:         46400 kB
Cached:         111216 kB
SwapCached:       5544 kB
Active:          61748 kB
Inactive:       109140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802260 kB
SwapTotal:     4192956 kB
SwapFree:      4140024 kB
Dirty:            3612 kB
Writeback:           0 kB
AnonPages:       11808 kB
Mapped:          11936 kB
Slab:            63932 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183480 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= 62492 MiB
End job on node083 at 2010-06-25 12:08:38