Trace number 2680375

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-82 61.7586 61.7763

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
MD5SUM78d7b4bc270e158c16f301038a8fbfa0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-82
Best CPU time to get the best result obtained on this benchmark3.99639
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 constraints30390
Number of constraints which are clauses30390
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 316
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 316
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-2680375-1277460293.opb.
0.00/0.00	c Instance file HOME/instance-2680375-1277460293.opb
0.00/0.00	c File size is 1006550 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:        30390                                               |
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 |    2000    30415    90000 |    10130        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 0
0.19/0.20	o 0
0.19/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 179.798 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    2000    30416    90135 |    10138        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -1
0.19/0.21	o -1
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 |    2000    30417    90270 |    10139        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -4
0.19/0.21	o -4
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    2000    30418    90405 |    10139        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: -7
0.19/0.22	o -7
0.19/0.22	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 179.785 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    2000    30419    90540 |    10139        0    nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -8
0.19/0.23	o -8
0.19/0.23	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 179.78 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         9 |    2000    30420    90675 |    10140        9    139 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -9
0.19/0.23	o -9
0.19/0.23	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 179.776 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         9 |    2000    30421    90810 |    10140        9    139 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -10
0.19/0.24	o -10
0.19/0.24	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         9 |    2000    30422    90945 |    10140        9    139 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -12
0.19/0.24	o -12
0.19/0.24	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 179.767 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |        10 |    2000    30423    91080 |    10141       10    125 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -13
0.19/0.25	o -13
0.19/0.25	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 179.762 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |        10 |    2000    30424    91215 |    10141       10    125 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -14
0.19/0.26	o -14
0.19/0.26	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 179.758 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |        11 |    2000    30425    91350 |    10141       11    114 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -15
0.19/0.26	o -15
0.19/0.26	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 179.754 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |        19 |    2000    30426    91485 |    10142       19    107 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -16
0.19/0.27	o -16
0.19/0.27	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 179.749 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        20 |    2000    30427    91620 |    10142       20    108 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -17
0.19/0.28	o -17
0.19/0.28	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 179.741 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        51 |    2000    30428    91755 |    10142       51    104 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -18
0.19/0.28	o -18
0.19/0.28	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 179.735 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        59 |    2000    30429    91890 |    10143       59    107 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -19
0.19/0.29	o -19
0.19/0.29	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 179.73 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        63 |    2000    30430    92025 |    10143       63    107 |  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 |        69 |    2000    30431    92160 |    10143       69    106 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -21
0.29/0.30	o -21
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 |        96 |    2000    30432    92295 |    10144       96    104 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -22
0.29/0.31	o -22
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 |       128 |    2000    30433    92430 |    10144      128    104 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -23
0.29/0.32	o -23
0.29/0.32	c Elapsed CPU time: 0.297954 s	Remaining CPU time: 179.702 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |       135 |    2000    30434    92565 |    10144      135    104 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -24
0.29/0.33	o -24
0.29/0.33	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 179.697 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |       135 |    2000    30435    92700 |    10145      135    104 |  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.307953 s	Remaining CPU time: 179.692 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |       138 |    2000    30436    92835 |    10145      138    104 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -26
0.29/0.34	o -26
0.29/0.34	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 179.683 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |       161 |    2000    30437    92970 |    10145      161    105 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -27
0.29/0.35	o -27
0.29/0.35	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 179.677 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       172 |    2000    30438    93105 |    10146      172    106 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -28
0.29/0.36	o -28
0.29/0.36	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 179.672 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       178 |    2000    30439    93240 |    10146      178    106 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -29
0.29/0.36	o -29
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 |       179 |    2000    30440    93375 |    10146      179    106 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -30
0.29/0.37	o -30
0.29/0.37	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |       179 |    2000    30441    93510 |    10147      179    106 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -31
0.29/0.38	o -31
0.29/0.38	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 179.657 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       184 |    2000    30442    93645 |    10147      184    106 |  0.000 % |
0.29/0.39	c |       286 |    2000    30442    93645 |    11162      286    107 |  1.235 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -32
0.29/0.39	o -32
0.29/0.39	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 179.641 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       295 |    2000    30443    93780 |    10147      295    107 |  1.235 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -33
0.39/0.40	o -33
0.39/0.40	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 179.634 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       295 |    2000    30444    93915 |    10148      295    107 |  1.235 % |
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.370943 s	Remaining CPU time: 179.629 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       295 |    2000    30445    94050 |    10148      295    107 |  1.235 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -35
0.39/0.42	o -35
0.39/0.42	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 179.621 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       332 |    2000    30446    94185 |    10148      332    108 |  1.235 % |
0.39/0.43	c |       433 |    2000    30446    94185 |    11163      433    108 |  1.235 % |
0.39/0.45	c |       586 |    2000    30446    94185 |    12279      586    105 |  1.235 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -36
0.39/0.48	o -36
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 |       810 |    2000    30447    94320 |    10149      810    105 |  1.235 % |
0.39/0.49	c |       910 |    2000    30447    94320 |    11163      910    105 |  1.235 % |
0.49/0.52	c |      1061 |    2000    30447    94320 |    12280     1061    105 |  1.235 % |
0.49/0.55	c |      1287 |    2000    30447    94320 |    13508     1287    105 |  1.235 % |
0.59/0.60	c |      1624 |    2000    30447    94320 |    14859     1624    106 |  1.235 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -37
0.59/0.66	o -37
0.59/0.66	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 179.378 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |      1947 |    2000    30448    94455 |    10149     1947    107 |  1.235 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -39
0.59/0.67	o -39
0.59/0.67	c Elapsed CPU time: 0.628904 s	Remaining CPU time: 179.371 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      1965 |    2000    30449    94590 |    10149     1965    107 |  1.235 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -40
0.59/0.68	o -40
0.59/0.68	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 179.364 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      1993 |    2000    30450    94725 |    10150     1993    107 |  1.235 % |
0.69/0.70	c |      2095 |    2000    30450    94725 |    11165     2095    107 |  1.235 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -41
0.69/0.73	o -41
0.69/0.73	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 179.321 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |      2162 |    2000    30451    94860 |    10150     2162    107 |  1.235 % |
0.69/0.76	c |      2263 |    2000    30451    94860 |    11165     2263    107 |  1.235 % |
0.69/0.78	c |      2415 |    2000    30451    94860 |    12281     2415    107 |  1.235 % |
0.79/0.82	c |      2640 |    2000    30451    94860 |    13510     2640    107 |  1.235 % |
0.79/0.88	c |      2978 |    2000    30451    94860 |    14861     2978    107 |  1.235 % |
0.89/0.96	c |      3485 |    2000    30451    94860 |    16347     3485    107 |  1.235 % |
0.99/1.08	c |      4244 |    2000    30451    94860 |    17981     4244    108 |  1.235 % |
1.39/1.43	c |      5384 |    2000    30451    94860 |    19780     5384    108 |  1.235 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: -42
1.59/1.68	o -42
1.59/1.68	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 178.382 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |      6051 |    2000    30452    94995 |    10150     6051    109 |  1.235 % |
1.69/1.72	c |      6152 |    2000    30452    94995 |    11165     6152    109 |  1.235 % |
1.69/1.77	c |      6302 |    2000    30452    94995 |    12282     6302    109 |  1.235 % |
1.79/1.82	c |      6529 |    2000    30452    94995 |    13510     6529    109 |  1.235 % |
1.89/1.94	c ===============================================================================
1.89/1.94	c New solution: -43
1.89/1.94	o -43
1.89/1.94	c Elapsed CPU time: 1.87472 s	Remaining CPU time: 178.125 s
1.89/1.94	c ===============================================================================
1.89/1.94	c |      6853 |    2000    30453    95130 |    10151     6853    109 |  1.235 % |
1.89/1.98	c |      6956 |    2000    30453    95130 |    11166     6956    109 |  1.235 % |
1.99/2.04	c |      7108 |    2000    30453    95130 |    12282     7108    109 |  1.235 % |
2.09/2.12	c |      7336 |    2000    30453    95130 |    13510     7336    109 |  1.235 % |
2.09/2.20	c ===============================================================================
2.09/2.20	c New solution: -44
2.09/2.20	o -44
2.09/2.20	c Elapsed CPU time: 2.13167 s	Remaining CPU time: 177.868 s
2.09/2.20	c ===============================================================================
2.09/2.20	c |      7512 |    2000    30454    95265 |    10151     7512    109 |  1.235 % |
2.20/2.25	c |      7612 |    2000    30454    95265 |    11166     7612    109 |  1.235 % |
2.29/2.31	c |      7764 |    2000    30454    95265 |    12283     7764    109 |  1.235 % |
2.39/2.44	c |      7991 |    2000    30454    95265 |    13511     7991    109 |  1.235 % |
2.59/2.61	c |      8330 |    2000    30454    95265 |    14862     8330    109 |  1.235 % |
2.69/2.78	c |      8837 |    2000    30454    95265 |    16348     8837    110 |  1.235 % |
3.09/3.14	c |      9597 |    2000    30454    95265 |    17983     9597    110 |  1.235 % |
3.79/3.90	c |     10737 |    2000    30454    95265 |    19782    10737    110 |  1.235 % |
4.49/4.52	c |     12447 |    2000    30454    95265 |    21760    12447    110 |  1.235 % |
6.39/6.40	c |     15011 |    2000    30454    95265 |    23936    15011    109 |  1.235 % |
6.79/6.81	c ===============================================================================
6.79/6.81	c New solution: -45
6.79/6.81	o -45
6.79/6.81	c Elapsed CPU time: 6.70898 s	Remaining CPU time: 173.291 s
6.79/6.81	c ===============================================================================
6.79/6.81	c |     15558 |    2000    30455    95400 |    10151    15558    109 |  1.235 % |
6.89/6.94	c |     15661 |    2000    30455    95400 |    11166     7882    104 |  1.235 % |
6.89/6.99	c |     15811 |    2000    30455    95400 |    12283     8032    104 |  1.235 % |
6.99/7.08	c |     16037 |    2000    30455    95400 |    13511     8258    104 |  1.235 % |
7.19/7.25	c |     16376 |    2000    30455    95400 |    14863     8597    104 |  1.235 % |
7.49/7.52	c |     16883 |    2000    30455    95400 |    16349     9104    105 |  1.235 % |
7.89/7.91	c |     17644 |    2000    30455    95400 |    17984     9865    105 |  1.235 % |
8.39/8.48	c |     18783 |    2000    30455    95400 |    19782    11004    105 |  1.235 % |
9.09/9.17	c ===============================================================================
9.09/9.17	c New solution: -46
9.09/9.17	o -46
9.09/9.17	c Elapsed CPU time: 9.05562 s	Remaining CPU time: 170.944 s
9.09/9.17	c ===============================================================================
9.09/9.17	c |     19914 |    2000    30456    95535 |    10152    12135    106 |  1.235 % |
9.19/9.25	c |     20015 |    2000    30456    95535 |    11167     6169    100 |  1.235 % |
9.28/9.33	c |     20169 |    2000    30456    95535 |    12283     6323    100 |  1.235 % |
9.38/9.47	c |     20394 |    2000    30456    95535 |    13512     6548    101 |  1.235 % |
9.58/9.63	c |     20734 |    2000    30456    95535 |    14863     6888    101 |  1.235 % |
9.80/9.88	c |     21240 |    2000    30456    95535 |    16349     7394    101 |  1.235 % |
10.09/10.19	c |     21999 |    2000    30456    95535 |    17984     8153    102 |  1.235 % |
10.19/10.22	c ===============================================================================
10.19/10.22	c New solution: -47
10.19/10.22	o -47
10.19/10.22	c Elapsed CPU time: 10.0945 s	Remaining CPU time: 169.906 s
10.19/10.22	c ===============================================================================
10.19/10.22	c |     22042 |    2000    30457    95670 |    10152     8196    102 |  1.235 % |
10.19/10.27	c |     22148 |    2000    30457    95670 |    11167     8302    102 |  1.235 % |
10.29/10.38	c |     22298 |    2000    30457    95670 |    12284     8452    102 |  1.235 % |
10.49/10.50	c |     22525 |    2000    30457    95670 |    13512     8679    102 |  1.235 % |
10.58/10.64	c |     22862 |    2000    30457    95670 |    14864     9016    103 |  1.235 % |
10.68/10.76	c |     23369 |    2000    30457    95670 |    16350     9523    103 |  1.235 % |
11.00/11.06	c |     24130 |    2000    30457    95670 |    17985    10284    104 |  1.235 % |
11.69/11.78	c |     25270 |    2000    30457    95670 |    19784    11424    104 |  1.235 % |
12.49/12.50	c |     26979 |    2000    30457    95670 |    21762    13133    105 |  1.235 % |
14.19/14.24	c |     29542 |    2000    30457    95670 |    23938    15696    105 |  1.235 % |
14.59/14.63	c ===============================================================================
14.59/14.63	c New solution: -48
14.59/14.63	o -48
14.59/14.63	c Elapsed CPU time: 14.4798 s	Remaining CPU time: 165.52 s
14.59/14.63	c ===============================================================================
14.59/14.63	c |     29855 |    2000    30458    95805 |    10152    16009    105 |  1.235 % |
14.69/14.71	c ===============================================================================
14.69/14.71	c New solution: -49
14.69/14.71	o -49
14.69/14.71	c Elapsed CPU time: 14.5568 s	Remaining CPU time: 165.443 s
14.69/14.71	c ===============================================================================
14.69/14.71	c |     29880 |    2000    30459    95940 |    10153     8030    101 |  1.235 % |
14.69/14.78	c |     29981 |    2000    30459    95940 |    11168     8131    101 |  1.235 % |
14.78/14.89	c |     30131 |    2000    30459    95940 |    12285     8281    101 |  1.235 % |
14.98/15.01	c |     30356 |    2000    30459    95940 |    13513     8506    101 |  1.235 % |
15.19/15.26	c |     30694 |    2000    30459    95940 |    14865     8844    101 |  1.235 % |
15.49/15.53	c |     31200 |    2000    30459    95940 |    16351     9350    101 |  1.235 % |
15.88/15.98	c ===============================================================================
15.88/15.98	c New solution: -50
15.88/15.98	o -50
15.88/15.98	c Elapsed CPU time: 15.8106 s	Remaining CPU time: 164.189 s
15.88/15.98	c ===============================================================================
15.88/15.98	c |     31931 |    2000    30460    96075 |    10153    10081    102 |  1.235 % |
15.98/16.05	c |     32034 |    2000    30460    96075 |    11168    10184    102 |  1.235 % |
16.09/16.16	c |     32186 |    2000    30460    96075 |    12285    10336    102 |  1.235 % |
16.19/16.27	c |     32411 |    2000    30460    96075 |    13514    10561    102 |  1.235 % |
16.29/16.35	c |     32749 |    2000    30460    96075 |    14865    10899    102 |  1.235 % |
16.39/16.50	c ===============================================================================
16.39/16.50	c New solution: -51
16.39/16.50	o -51
16.39/16.50	c Elapsed CPU time: 16.3205 s	Remaining CPU time: 163.679 s
16.39/16.50	c ===============================================================================
16.39/16.50	c |     33013 |    2000    30461    96210 |    10153    11163    102 |  1.235 % |
16.49/16.56	c |     33117 |    2000    30461    96210 |    11169     5686     95 |  1.235 % |
16.58/16.61	c |     33267 |    2000    30461    96210 |    12285     5836     95 |  1.235 % |
16.58/16.67	c |     33495 |    2000    30461    96210 |    13514     6064     96 |  1.235 % |
16.68/16.77	c |     33832 |    2000    30461    96210 |    14865     6401     97 |  1.235 % |
16.89/16.98	c |     34340 |    2000    30461    96210 |    16352     6909     97 |  1.235 % |
17.09/17.18	c ===============================================================================
17.09/17.18	c New solution: -53
17.09/17.18	o -53
17.09/17.18	c Elapsed CPU time: 16.9964 s	Remaining CPU time: 163.004 s
17.09/17.18	c ===============================================================================
17.09/17.18	c |     34984 |    2000    30462    96345 |    10154     7553     99 |  1.235 % |
17.09/17.20	c ===============================================================================
17.09/17.20	c New solution: -54
17.09/17.20	o -54
17.09/17.20	c Elapsed CPU time: 17.0064 s	Remaining CPU time: 162.994 s
17.09/17.20	c ===============================================================================
17.09/17.20	c |     34992 |    2000    30463    96480 |    10154     7561     99 |  1.235 % |
17.18/17.20	c ===============================================================================
17.18/17.20	c New solution: -55
17.18/17.20	o -55
17.18/17.20	c Elapsed CPU time: 17.0144 s	Remaining CPU time: 162.986 s
17.18/17.20	c ===============================================================================
17.18/17.20	c |     34992 |    2000    30464    96615 |    10154     7561     99 |  1.235 % |
17.18/17.25	c |     35095 |    2000    30464    96615 |    11170     7664     99 |  1.235 % |
17.28/17.34	c |     35247 |    2000    30464    96615 |    12287     7816     99 |  1.235 % |
17.38/17.41	c |     35479 |    2000    30464    96615 |    13515     8048     99 |  1.235 % |
17.50/17.57	c |     35819 |    2000    30464    96615 |    14867     8388     99 |  1.235 % |
17.89/17.91	c |     36327 |    2000    30464    96615 |    16354     8896     99 |  1.235 % |
18.38/18.40	c |     37088 |    2000    30464    96615 |    17989     9657    100 |  1.235 % |
18.88/18.95	c ===============================================================================
18.88/18.95	c New solution: -56
18.88/18.95	o -56
18.88/18.95	c Elapsed CPU time: 18.7511 s	Remaining CPU time: 161.249 s
18.88/18.95	c ===============================================================================
18.88/18.95	c |     37847 |    2000    30465    96750 |    10155    10416    101 |  1.235 % |
18.98/19.00	c |     37947 |    2000    30465    96750 |    11170     5308     96 |  1.235 % |
18.98/19.05	c |     38099 |    2000    30465    96750 |    12287     5460     96 |  1.235 % |
19.09/19.11	c |     38327 |    2000    30465    96750 |    13516     5688     96 |  1.235 % |
19.19/19.25	c |     38664 |    2000    30465    96750 |    14867     6025     97 |  1.235 % |
19.29/19.33	c ===============================================================================
19.29/19.33	c New solution: -57
19.29/19.33	o -57
19.29/19.33	c Elapsed CPU time: 19.1211 s	Remaining CPU time: 160.879 s
19.29/19.33	c ===============================================================================
19.29/19.33	c |     38804 |    2000    30466    96885 |    10155     6165     97 |  1.235 % |
19.29/19.37	c |     38904 |    2000    30466    96885 |    11170     6265     97 |  1.235 % |
19.38/19.41	c ===============================================================================
19.38/19.41	c New solution: -58
19.38/19.41	o -58
19.38/19.41	c Elapsed CPU time: 19.1971 s	Remaining CPU time: 160.803 s
19.38/19.41	c ===============================================================================
19.38/19.41	c |     38985 |    2000    30467    97020 |    10155     6346     97 |  1.235 % |
19.38/19.42	c ===============================================================================
19.38/19.42	c New solution: -59
19.38/19.42	o -59
19.38/19.42	c Elapsed CPU time: 19.2091 s	Remaining CPU time: 160.791 s
19.38/19.42	c ===============================================================================
19.38/19.42	c |     38998 |    2000    30468    97155 |    10156     6359     97 |  1.235 % |
19.38/19.43	c ===============================================================================
19.38/19.43	c New solution: -60
19.38/19.43	o -60
19.38/19.43	c Elapsed CPU time: 19.2161 s	Remaining CPU time: 160.784 s
19.38/19.43	c ===============================================================================
19.38/19.43	c |     38998 |    2000    30469    97290 |    10156     6359     97 |  1.235 % |
19.38/19.48	c |     39101 |    2000    30469    97290 |    11171     6462     97 |  1.235 % |
19.48/19.58	c |     39251 |    2000    30469    97290 |    12289     6612     98 |  1.235 % |
19.70/19.72	c |     39478 |    2000    30469    97290 |    13518     6839     98 |  1.235 % |
19.80/19.88	c |     39819 |    2000    30469    97290 |    14869     7180     98 |  1.235 % |
19.98/20.01	c |     40331 |    2000    30469    97290 |    16356     7692     98 |  1.235 % |
20.38/20.44	c |     41090 |    2000    30469    97290 |    17992     8451     99 |  1.235 % |
20.99/21.00	c ===============================================================================
20.99/21.00	c New solution: -61
20.99/21.00	o -61
20.99/21.00	c Elapsed CPU time: 20.7808 s	Remaining CPU time: 159.219 s
20.99/21.00	c ===============================================================================
20.99/21.00	c |     42029 |    2000    30470    97425 |    10156     9390     99 |  1.235 % |
20.99/21.04	c ===============================================================================
20.99/21.04	c New solution: -62
20.99/21.04	o -62
20.99/21.04	c Elapsed CPU time: 20.8168 s	Remaining CPU time: 159.183 s
20.99/21.04	c ===============================================================================
20.99/21.04	c |     42102 |    2000    30471    97560 |    10157     9463     99 |  1.235 % |
21.09/21.11	c |     42203 |    2000    30471    97560 |    11172     9564     99 |  1.235 % |
21.09/21.18	c |     42356 |    2000    30471    97560 |    12289     9717     99 |  1.235 % |
21.19/21.20	c ===============================================================================
21.19/21.20	c New solution: -63
21.19/21.20	o -63
21.19/21.20	c Elapsed CPU time: 20.9758 s	Remaining CPU time: 159.024 s
21.19/21.20	c ===============================================================================
21.19/21.20	c |     42388 |    2000    30472    97695 |    10157     9749     99 |  1.235 % |
21.19/21.21	c ===============================================================================
21.19/21.21	c New solution: -64
21.19/21.21	o -64
21.19/21.21	c Elapsed CPU time: 20.9858 s	Remaining CPU time: 159.014 s
21.19/21.21	c ===============================================================================
21.19/21.21	c |     42389 |    2000    30473    97830 |    10157     9750     99 |  1.235 % |
21.19/21.22	c ===============================================================================
21.19/21.22	c New solution: -66
21.19/21.22	o -66
21.19/21.22	c Elapsed CPU time: 20.9948 s	Remaining CPU time: 159.005 s
21.19/21.22	c ===============================================================================
21.19/21.22	c |     42394 |    2000    30474    97965 |    10158     9755     99 |  1.235 % |
21.19/21.23	c ===============================================================================
21.19/21.23	c New solution: -67
21.19/21.23	o -67
21.19/21.23	c Elapsed CPU time: 21.0038 s	Remaining CPU time: 158.996 s
21.19/21.23	c ===============================================================================
21.19/21.23	c |     42394 |    2000    30475    98100 |    10158     9755     99 |  1.235 % |
21.28/21.31	c |     42494 |    2000    30475    98100 |    11174     9855     99 |  1.235 % |
21.38/21.41	c |     42646 |    2000    30475    98100 |    12291    10007     99 |  1.235 % |
21.38/21.49	c |     42873 |    2000    30475    98100 |    13520    10234     99 |  1.235 % |
21.59/21.62	c |     43210 |    2000    30475    98100 |    14872    10571     99 |  1.235 % |
21.99/22.02	c |     43718 |    2000    30475    98100 |    16360    11079     99 |  1.235 % |
22.68/22.76	c |     44480 |    2000    30475    98100 |    17996    11841     99 |  1.235 % |
23.48/23.51	c |     45622 |    2000    30475    98100 |    19795    12983     99 |  1.235 % |
24.78/24.83	c |     47331 |    2000    30475    98100 |    21775    14692     99 |  1.235 % |
27.08/27.11	c |     49893 |    2000    30475    98100 |    23952    17254     99 |  1.235 % |
33.18/33.25	c ===============================================================================
33.18/33.25	c New solution: -68
33.18/33.25	o -68
33.18/33.25	c Elapsed CPU time: 32.966 s	Remaining CPU time: 147.034 s
33.18/33.25	c ===============================================================================
33.18/33.25	c |     53521 |    2000    30476    98235 |    10158    20882     99 |  1.235 % |
33.28/33.38	c ===============================================================================
33.28/33.38	c New solution: -70
33.28/33.38	o -70
33.28/33.38	c Elapsed CPU time: 33.097 s	Remaining CPU time: 146.903 s
33.28/33.38	c ===============================================================================
33.28/33.38	c |     53523 |    2000    30477    98370 |    10159     5223     84 |  1.235 % |
33.28/33.39	c ===============================================================================
33.28/33.39	c New solution: -71
33.28/33.39	o -71
33.28/33.39	c Elapsed CPU time: 33.106 s	Remaining CPU time: 146.894 s
33.28/33.39	c ===============================================================================
33.28/33.39	c |     53523 |    2000    30478    98505 |    10159     5223     84 |  1.235 % |
33.38/33.44	c |     53628 |    2000    30478    98505 |    11175     5328     85 |  1.235 % |
33.48/33.53	c |     53778 |    2000    30478    98505 |    12292     5478     85 |  1.235 % |
33.58/33.65	c |     54003 |    2000    30478    98505 |    13522     5703     85 |  1.235 % |
33.68/33.79	c |     54340 |    2000    30478    98505 |    14874     6040     86 |  1.235 % |
33.99/34.08	c |     54853 |    2000    30478    98505 |    16361     6553     87 |  1.235 % |
34.38/34.45	c |     55613 |    2000    30478    98505 |    17997     7313     87 |  1.235 % |
34.88/34.95	c |     56755 |    2000    30478    98505 |    19797     8455     89 |  1.235 % |
35.58/35.67	c |     58464 |    2000    30478    98505 |    21777    10164     90 |  1.235 % |
37.29/37.40	c |     61026 |    2000    30478    98505 |    23955    12726     91 |  1.235 % |
40.28/40.36	c |     64875 |    2000    30478    98505 |    26350    16575     93 |  1.235 % |
45.58/45.67	c ===============================================================================
45.58/45.67	c New solution: -72
45.58/45.67	o -72
45.58/45.67	c Elapsed CPU time: 45.3211 s	Remaining CPU time: 134.679 s
45.58/45.67	c ===============================================================================
45.58/45.67	c |     69504 |    2000    30479    98640 |    10159    21204     94 |  1.235 % |
45.78/45.84	c ===============================================================================
45.78/45.84	c New solution: -74
45.78/45.84	o -74
45.78/45.84	c Elapsed CPU time: 45.4921 s	Remaining CPU time: 134.508 s
45.78/45.84	c ===============================================================================
45.78/45.84	c |     69516 |    2000    30480    98775 |    10160     5313     82 |  1.235 % |
45.78/45.85	c ===============================================================================
45.78/45.85	c New solution: -76
45.78/45.85	o -76
45.78/45.85	c Elapsed CPU time: 45.5011 s	Remaining CPU time: 134.499 s
45.78/45.85	c ===============================================================================
45.78/45.85	c |     69516 |    2000    30481    98910 |    10160     5313     82 |  1.235 % |
45.78/45.88	c |     69620 |    2000    30481    98910 |    11176     5417     83 |  1.235 % |
45.88/45.94	c |     69772 |    2000    30481    98910 |    12294     5569     83 |  1.235 % |
45.98/46.05	c |     69999 |    2000    30481    98910 |    13523     5796     83 |  1.235 % |
46.08/46.20	c |     70337 |    2000    30481    98910 |    14875     6134     84 |  1.235 % |
46.37/46.44	c |     70850 |    2000    30481    98910 |    16363     6647     85 |  1.235 % |
46.77/46.80	c |     71615 |    2000    30481    98910 |    17999     7412     86 |  1.235 % |
47.38/47.49	c |     72754 |    2000    30481    98910 |    19799     8551     87 |  1.235 % |
48.78/48.86	c |     74462 |    2000    30481    98910 |    21779    10259     88 |  1.235 % |
51.28/51.34	c |     77028 |    2000    30481    98910 |    23957    12825     88 |  1.235 % |
55.28/55.38	c |     80874 |    2000    30481    98910 |    26353    16671     89 |  1.235 % |
58.18/58.24	c ===============================================================================
58.18/58.24	c New solution: -77
58.18/58.24	o -77
58.18/58.24	c Elapsed CPU time: 57.8132 s	Remaining CPU time: 122.187 s
58.18/58.24	c ===============================================================================
58.18/58.24	c |     83089 |    2000    30482    99045 |    10160    18886     89 |  1.235 % |
58.28/58.34	c |     83190 |    2000    30482    99045 |    11176     9544     81 |  1.235 % |
58.38/58.41	c |     83340 |    2000    30482    99045 |    12294     9694     81 |  1.235 % |
58.48/58.51	c |     83567 |    2000    30482    99045 |    13523     9921     81 |  1.235 % |
58.68/58.72	c |     83906 |    2000    30482    99045 |    14876    10260     82 |  1.235 % |
58.97/59.03	c |     84415 |    2000    30482    99045 |    16363    10769     82 |  1.235 % |
59.47/59.55	c |     85175 |    2000    30482    99045 |    18000    11529     83 |  1.235 % |
60.27/60.35	c |     86318 |    2000    30482    99045 |    19800    12672     83 |  1.235 % |
61.37/61.47	c ===============================================================================
61.37/61.47	c New solution: -79
61.37/61.47	o -79
61.37/61.47	c Elapsed CPU time: 61.0297 s	Remaining CPU time: 118.97 s
61.37/61.47	c ===============================================================================
61.37/61.47	c |     87822 |    2000    30483    99180 |    10161    14176     84 |  1.235 % |
61.48/61.52	c ===============================================================================
61.48/61.52	c New solution: -81
61.48/61.52	o -81
61.48/61.52	c Elapsed CPU time: 61.0817 s	Remaining CPU time: 118.918 s
61.48/61.52	c ===============================================================================
61.48/61.52	c |     87822 |    2000    30484    99315 |    10161     7088     77 |  1.235 % |
61.48/61.54	c ===============================================================================
61.48/61.54	c New solution: -82
61.48/61.54	o -82
61.48/61.54	c Elapsed CPU time: 61.0987 s	Remaining CPU time: 118.901 s
61.48/61.54	c ===============================================================================
61.48/61.54	c |     87844 |    2000    30485    99450 |    10161     7110     78 |  1.235 % |
61.48/61.58	c |     87945 |    2000    30485    99450 |    11177     7211     78 |  1.235 % |
61.58/61.66	c |     88096 |    2000    30485    99450 |    12295     7362     78 |  1.235 % |
61.67/61.77	c ===============================================================================
61.67/61.77	c Best Solution: 234
61.67/61.77	s OPTIMUM FOUND
61.67/61.77	c Total CPU time: 61.3237 s
61.67/61.77	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	-82

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.95 1.06 1.00 2/105 28402
/proc/meminfo: memFree=1851812/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=3820 CPUtime=0
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 87323046 3911680 249 1992294400 134512640 135752675 4292735280 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 955 250 139 303 0 404 0

[startup+0.064996 s]
/proc/loadavg: 0.95 1.06 1.00 2/105 28402
/proc/meminfo: memFree=1851812/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=4428 CPUtime=0.06
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 595 0 0 0 6 0 0 0 25 0 1 0 87323046 4534272 514 1992294400 134512640 135752675 4292735280 18446744073709551615 134574177 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 1107 514 231 303 0 556 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4428

[startup+0.101 s]
/proc/loadavg: 0.95 1.06 1.00 2/105 28402
/proc/meminfo: memFree=1851812/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=4908 CPUtime=0.09
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 749 0 0 0 9 0 0 0 25 0 1 0 87323046 5025792 668 1992294400 134512640 135752675 4292735280 18446744073709551615 135380631 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 1227 668 290 303 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4908

[startup+0.301021 s]
/proc/loadavg: 0.95 1.06 1.00 2/105 28402
/proc/meminfo: memFree=1851812/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=5200 CPUtime=0.29
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 1159 0 0 0 27 2 0 0 18 0 1 0 87323046 5324800 832 1992294400 134512640 135752675 4292735280 18446744073709551615 134599103 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 1300 832 144 303 0 995 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5200

[startup+0.701066 s]
/proc/loadavg: 0.95 1.06 1.00 2/105 28402
/proc/meminfo: memFree=1851812/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=5980 CPUtime=0.69
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 1377 0 0 0 64 5 0 0 18 0 1 0 87323046 6123520 1050 1992294400 134512640 135752675 4292735280 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 1495 1050 145 303 0 1190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5980

[startup+1.50115 s]
/proc/loadavg: 0.95 1.06 1.00 2/106 28403
/proc/meminfo: memFree=1847092/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=8040 CPUtime=1.49
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 1875 0 0 0 143 6 0 0 18 0 1 0 87323046 8232960 1548 1992294400 134512640 135752675 4292735280 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 2010 1548 145 303 0 1705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8040

[startup+3.10133 s]
/proc/loadavg: 0.95 1.06 1.00 2/106 28403
/proc/meminfo: memFree=1844860/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=10236 CPUtime=3.09
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 2447 0 0 0 301 8 0 0 19 0 1 0 87323046 10481664 2120 1992294400 134512640 135752675 4292735280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 2559 2120 145 303 0 2254 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10236

[startup+6.30069 s]
/proc/loadavg: 0.95 1.06 1.00 2/106 28405
/proc/meminfo: memFree=1841016/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=13376 CPUtime=6.29
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 3197 0 0 0 619 10 0 0 25 0 1 0 87323046 13697024 2870 1992294400 134512640 135752675 4292735280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 3344 2870 145 303 0 3039 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13376

[startup+12.7014 s]
/proc/loadavg: 0.95 1.06 1.00 2/106 28405
/proc/meminfo: memFree=1834320/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=20104 CPUtime=12.69
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 4888 0 0 0 1255 14 0 0 25 0 1 0 87323046 20586496 4561 1992294400 134512640 135752675 4292735280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 5026 4561 145 303 0 4721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20104

[startup+25.5008 s]
/proc/loadavg: 0.96 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1822664/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=31160 CPUtime=25.48
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 7647 0 0 0 2524 24 0 0 25 0 1 0 87323046 31907840 7320 1992294400 134512640 135752675 4292735280 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 7790 7320 145 303 0 7485 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31160

[startup+51.1006 s]
/proc/loadavg: 0.97 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1808652/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=45124 CPUtime=51.08
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 11134 0 0 0 5071 37 0 0 25 0 1 0 87323046 46206976 10807 1992294400 134512640 135752675 4292735280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 11281 10807 145 303 0 10976 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45124

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

[startup+57.5004 s]
/proc/loadavg: 0.98 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1805924/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=47748 CPUtime=57.47
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 11790 0 0 0 5707 40 0 0 25 0 1 0 87323046 48893952 11463 1992294400 134512640 135752675 4292735280 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 11937 11463 145 303 0 11632 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 47748

[startup+59.1005 s]
/proc/loadavg: 0.98 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1805552/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=48780 CPUtime=59.07
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 12030 0 0 0 5866 41 0 0 25 0 1 0 87323046 49950720 11703 1992294400 134512640 135752675 4292735280 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 12195 11703 145 303 0 11890 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 48780

[startup+60.7007 s]
/proc/loadavg: 0.98 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1804064/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=49684 CPUtime=60.67
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 12265 0 0 0 6025 42 0 0 25 0 1 0 87323046 50876416 11938 1992294400 134512640 135752675 4292735280 18446744073709551615 134605278 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 12421 11938 145 303 0 12116 0
Current children cumulated CPU time (s) 60.67
Current children cumulated vsize (KiB) 49684

[startup+61.5008 s]
/proc/loadavg: 0.98 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1803320/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=50196 CPUtime=61.48
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 12404 0 0 0 6106 42 0 0 25 0 1 0 87323046 51400704 12077 1992294400 134512640 135752675 4292735280 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 12549 12077 145 303 0 12244 0
Current children cumulated CPU time (s) 61.48
Current children cumulated vsize (KiB) 50196

[startup+61.7008 s]
/proc/loadavg: 0.98 1.05 1.00 2/106 28405
/proc/meminfo: memFree=1803320/2059040 swapFree=4136664/4192956
[pid=28402] ppid=28400 vsize=50452 CPUtime=61.67
/proc/28402/stat : 28402 (wbo1.4b) R 28400 28402 27867 0 -1 4202496 12441 0 0 0 6125 42 0 0 18 0 1 0 87323046 51662848 12114 1992294400 134512640 135752675 4292735280 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28402/statm: 12613 12114 145 303 0 12308 0
Current children cumulated CPU time (s) 61.67
Current children cumulated vsize (KiB) 50452

Child status: 0
Real time (s): 61.7763
CPU time (s): 61.7586
CPU user time (s): 61.3247
CPU system time (s): 0.433934
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 50452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3247
system time used= 0.433934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12460
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= 29
involuntary context switches= 190

runsolver used 0.091986 second user time and 0.32395 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-25 12:04:53
IDJOB=2680375
IDBENCH=71821
IDSOLVER=1190
FILE ID=node086/2680375-1277460293
PBS_JOBID= 11188104
Free space on /tmp= 62388 MiB

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

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

MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0
RANDOM SEED=239509916

node086.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.244
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.244
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:       1852340 kB
Buffers:         46420 kB
Cached:          70356 kB
SwapCached:       9312 kB
Active:          57256 kB
Inactive:        72952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852340 kB
SwapTotal:     4192956 kB
SwapFree:      4136664 kB
Dirty:            3604 kB
Writeback:           0 kB
AnonPages:       11988 kB
Mapped:           8428 kB
Slab:            54580 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182704 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= 62388 MiB
End job on node086 at 2010-06-25 12:05:55