Trace number 2655732

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4bOPT-82 65.2781 65.3085

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655732-1276684928.opb.
0.00/0.00	c Instance file HOME/instance-2655732-1276684928.opb
0.00/0.00	c File size is 1006550 bytes.
0.09/0.14	c Highest Coefficient sum: 4
0.09/0.14	c ============================[ Problem Statistics ]=============================
0.09/0.14	c |                                                                             |
0.09/0.14	c |  Parsing time:          0.14         s                                      |
0.09/0.14	c |  Number Variables:      2025                                                |
0.09/0.14	c |  Number Clauses:        30390                                               |
0.09/0.14	c |  Number Cardinality:    0                                                   |
0.09/0.14	c |  Number PB Constraints: 0                                                   |
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    2000    30415    90000 |    10130        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 316
0.19/0.20	o 316
0.19/0.20	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 179.811 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    2000    30416    90135 |    10138        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 315
0.19/0.20	o 315
0.19/0.20	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 179.809 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    2000    30417    90270 |    10139        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 312
0.19/0.21	o 312
0.19/0.21	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 179.806 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    2000    30418    90405 |    10139        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 309
0.19/0.21	o 309
0.19/0.21	c Elapsed CPU time: 0.197969 s	Remaining CPU time: 179.802 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    2000    30419    90540 |    10139        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 308
0.19/0.22	o 308
0.19/0.22	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 179.795 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         9 |    2000    30420    90675 |    10140        9    139 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 307
0.19/0.23	o 307
0.19/0.23	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 179.789 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         9 |    2000    30421    90810 |    10140        9    139 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 306
0.19/0.23	o 306
0.19/0.23	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 179.783 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         9 |    2000    30422    90945 |    10140        9    139 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 304
0.19/0.24	o 304
0.19/0.24	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 179.779 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: 303
0.19/0.25	o 303
0.19/0.25	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 179.774 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |        10 |    2000    30424    91215 |    10141       10    125 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 302
0.19/0.25	o 302
0.19/0.25	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 179.768 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |        11 |    2000    30425    91350 |    10141       11    114 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 301
0.19/0.26	o 301
0.19/0.26	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 179.762 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: 300
0.19/0.27	o 300
0.19/0.27	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 179.756 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        20 |    2000    30427    91620 |    10142       20    108 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 299
0.19/0.27	o 299
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 |        51 |    2000    30428    91755 |    10142       51    104 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 298
0.19/0.28	o 298
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 |        59 |    2000    30429    91890 |    10143       59    107 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 297
0.19/0.29	o 297
0.19/0.29	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 179.737 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        63 |    2000    30430    92025 |    10143       63    107 |  0.000 % |
0.19/0.30	c ===============================================================================
0.19/0.30	c New solution: 296
0.19/0.30	o 296
0.19/0.30	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 179.73 s
0.19/0.30	c ===============================================================================
0.19/0.30	c |        69 |    2000    30431    92160 |    10143       69    106 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 295
0.29/0.30	o 295
0.29/0.30	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 179.721 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        96 |    2000    30432    92295 |    10144       96    104 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 294
0.29/0.31	o 294
0.29/0.31	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 179.711 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: 293
0.29/0.32	o 293
0.29/0.32	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 179.703 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: 292
0.29/0.33	o 292
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.34	c ===============================================================================
0.29/0.34	c New solution: 291
0.29/0.34	o 291
0.29/0.34	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 179.69 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |       138 |    2000    30436    92835 |    10145      138    104 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.35	c New solution: 290
0.29/0.35	o 290
0.29/0.35	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 179.682 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       161 |    2000    30437    92970 |    10145      161    105 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 289
0.29/0.35	o 289
0.29/0.35	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 179.676 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: 288
0.29/0.36	o 288
0.29/0.36	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 179.671 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       178 |    2000    30439    93240 |    10146      178    106 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 287
0.29/0.37	o 287
0.29/0.37	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 179.664 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |       179 |    2000    30440    93375 |    10146      179    106 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 286
0.29/0.37	o 286
0.29/0.37	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 179.658 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: 285
0.29/0.38	o 285
0.29/0.38	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 179.653 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       184 |    2000    30442    93645 |    10147      184    106 |  0.000 % |
0.29/0.39	c |       286 |    2000    30442    93645 |    11162      286    107 |  1.235 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 284
0.39/0.40	o 284
0.39/0.40	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 179.635 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       295 |    2000    30443    93780 |    10147      295    107 |  1.235 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 283
0.39/0.41	o 283
0.39/0.41	c Elapsed CPU time: 0.371943 s	Remaining CPU time: 179.628 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       295 |    2000    30444    93915 |    10148      295    107 |  1.235 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 282
0.39/0.41	o 282
0.39/0.41	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 179.622 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: 281
0.39/0.42	o 281
0.39/0.42	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 179.615 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       332 |    2000    30446    94185 |    10148      332    108 |  1.235 % |
0.39/0.44	c |       433 |    2000    30446    94185 |    11163      433    108 |  1.235 % |
0.39/0.46	c |       586 |    2000    30446    94185 |    12279      586    105 |  1.235 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 280
0.39/0.49	o 280
0.39/0.49	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 179.553 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       810 |    2000    30447    94320 |    10149      810    105 |  1.235 % |
0.49/0.51	c |       910 |    2000    30447    94320 |    11163      910    105 |  1.235 % |
0.49/0.53	c |      1061 |    2000    30447    94320 |    12280     1061    105 |  1.235 % |
0.49/0.57	c |      1287 |    2000    30447    94320 |    13508     1287    105 |  1.235 % |
0.59/0.62	c |      1624 |    2000    30447    94320 |    14859     1624    106 |  1.235 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 279
0.59/0.69	o 279
0.59/0.69	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 179.359 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      1947 |    2000    30448    94455 |    10149     1947    107 |  1.235 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 277
0.69/0.70	o 277
0.69/0.70	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 179.351 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |      1965 |    2000    30449    94590 |    10149     1965    107 |  1.235 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: 276
0.69/0.71	o 276
0.69/0.71	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 179.343 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |      1993 |    2000    30450    94725 |    10150     1993    107 |  1.235 % |
0.69/0.73	c |      2095 |    2000    30450    94725 |    11165     2095    107 |  1.235 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 275
0.69/0.75	o 275
0.69/0.75	c Elapsed CPU time: 0.701893 s	Remaining CPU time: 179.298 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |      2162 |    2000    30451    94860 |    10150     2162    107 |  1.235 % |
0.69/0.78	c |      2263 |    2000    30451    94860 |    11165     2263    107 |  1.235 % |
0.79/0.81	c |      2415 |    2000    30451    94860 |    12281     2415    107 |  1.235 % |
0.79/0.85	c |      2640 |    2000    30451    94860 |    13510     2640    107 |  1.235 % |
0.89/0.91	c |      2978 |    2000    30451    94860 |    14861     2978    107 |  1.235 % |
0.89/1.00	c |      3485 |    2000    30451    94860 |    16347     3485    107 |  1.235 % |
1.09/1.13	c |      4244 |    2000    30451    94860 |    17981     4244    108 |  1.235 % |
1.49/1.50	c |      5384 |    2000    30451    94860 |    19780     5384    108 |  1.235 % |
1.69/1.76	c ===============================================================================
1.69/1.76	c New solution: 274
1.69/1.76	o 274
1.69/1.76	c Elapsed CPU time: 1.70274 s	Remaining CPU time: 178.297 s
1.69/1.76	c ===============================================================================
1.69/1.76	c |      6051 |    2000    30452    94995 |    10150     6051    109 |  1.235 % |
1.79/1.81	c |      6152 |    2000    30452    94995 |    11165     6152    109 |  1.235 % |
1.79/1.86	c |      6302 |    2000    30452    94995 |    12282     6302    109 |  1.235 % |
1.89/1.92	c |      6529 |    2000    30452    94995 |    13510     6529    109 |  1.235 % |
1.99/2.04	c ===============================================================================
1.99/2.04	c New solution: 273
1.99/2.04	o 273
1.99/2.04	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 178.029 s
1.99/2.04	c ===============================================================================
1.99/2.04	c |      6853 |    2000    30453    95130 |    10151     6853    109 |  1.235 % |
1.99/2.08	c |      6956 |    2000    30453    95130 |    11166     6956    109 |  1.235 % |
2.09/2.15	c |      7108 |    2000    30453    95130 |    12282     7108    109 |  1.235 % |
2.20/2.23	c |      7336 |    2000    30453    95130 |    13510     7336    109 |  1.235 % |
2.29/2.31	c ===============================================================================
2.29/2.31	c New solution: 272
2.29/2.31	o 272
2.29/2.31	c Elapsed CPU time: 2.24566 s	Remaining CPU time: 177.754 s
2.29/2.31	c ===============================================================================
2.29/2.31	c |      7512 |    2000    30454    95265 |    10151     7512    109 |  1.235 % |
2.29/2.37	c |      7612 |    2000    30454    95265 |    11166     7612    109 |  1.235 % |
2.39/2.43	c |      7764 |    2000    30454    95265 |    12283     7764    109 |  1.235 % |
2.49/2.57	c |      7991 |    2000    30454    95265 |    13511     7991    109 |  1.235 % |
2.69/2.75	c |      8330 |    2000    30454    95265 |    14862     8330    109 |  1.235 % |
2.89/2.92	c |      8837 |    2000    30454    95265 |    16348     8837    110 |  1.235 % |
3.20/3.30	c |      9597 |    2000    30454    95265 |    17983     9597    110 |  1.235 % |
4.09/4.10	c |     10737 |    2000    30454    95265 |    19782    10737    110 |  1.235 % |
4.69/4.76	c |     12447 |    2000    30454    95265 |    21760    12447    110 |  1.235 % |
6.69/6.75	c |     15011 |    2000    30454    95265 |    23936    15011    109 |  1.235 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c New solution: 271
7.09/7.18	o 271
7.09/7.18	c Elapsed CPU time: 7.08792 s	Remaining CPU time: 172.912 s
7.09/7.18	c ===============================================================================
7.09/7.18	c |     15558 |    2000    30455    95400 |    10151    15558    109 |  1.235 % |
7.29/7.37	c |     15661 |    2000    30455    95400 |    11166     7882    104 |  1.235 % |
7.39/7.43	c |     15811 |    2000    30455    95400 |    12283     8032    104 |  1.235 % |
7.49/7.52	c |     16037 |    2000    30455    95400 |    13511     8258    104 |  1.235 % |
7.69/7.71	c |     16376 |    2000    30455    95400 |    14863     8597    104 |  1.235 % |
7.89/7.99	c |     16883 |    2000    30455    95400 |    16349     9104    105 |  1.235 % |
8.39/8.41	c |     17644 |    2000    30455    95400 |    17984     9865    105 |  1.235 % |
8.99/9.02	c |     18783 |    2000    30455    95400 |    19782    11004    105 |  1.235 % |
9.68/9.75	c ===============================================================================
9.68/9.75	c New solution: 270
9.68/9.75	o 270
9.68/9.75	c Elapsed CPU time: 9.63853 s	Remaining CPU time: 170.361 s
9.68/9.75	c ===============================================================================
9.68/9.75	c |     19914 |    2000    30456    95535 |    10152    12135    106 |  1.235 % |
9.79/9.86	c |     20015 |    2000    30456    95535 |    11167     6169    100 |  1.235 % |
9.89/9.95	c |     20169 |    2000    30456    95535 |    12283     6323    100 |  1.235 % |
9.98/10.08	c |     20394 |    2000    30456    95535 |    13512     6548    101 |  1.235 % |
10.19/10.26	c |     20734 |    2000    30456    95535 |    14863     6888    101 |  1.235 % |
10.48/10.52	c |     21240 |    2000    30456    95535 |    16349     7394    101 |  1.235 % |
10.79/10.85	c |     21999 |    2000    30456    95535 |    17984     8153    102 |  1.235 % |
10.79/10.88	c ===============================================================================
10.79/10.88	c New solution: 269
10.79/10.88	o 269
10.79/10.88	c Elapsed CPU time: 10.7534 s	Remaining CPU time: 169.247 s
10.79/10.88	c ===============================================================================
10.79/10.88	c |     22042 |    2000    30457    95670 |    10152     8196    102 |  1.235 % |
10.89/10.93	c |     22148 |    2000    30457    95670 |    11167     8302    102 |  1.235 % |
10.99/11.05	c |     22298 |    2000    30457    95670 |    12284     8452    102 |  1.235 % |
11.09/11.17	c |     22525 |    2000    30457    95670 |    13512     8679    102 |  1.235 % |
11.29/11.32	c |     22862 |    2000    30457    95670 |    14864     9016    103 |  1.235 % |
11.38/11.45	c |     23369 |    2000    30457    95670 |    16350     9523    103 |  1.235 % |
11.68/11.76	c |     24130 |    2000    30457    95670 |    17985    10284    104 |  1.235 % |
12.48/12.52	c |     25270 |    2000    30457    95670 |    19784    11424    104 |  1.235 % |
13.20/13.27	c |     26979 |    2000    30457    95670 |    21762    13133    105 |  1.235 % |
14.99/15.09	c |     29542 |    2000    30457    95670 |    23938    15696    105 |  1.235 % |
15.49/15.50	c ===============================================================================
15.49/15.50	c New solution: 268
15.49/15.50	o 268
15.49/15.50	c Elapsed CPU time: 15.3507 s	Remaining CPU time: 164.649 s
15.49/15.50	c ===============================================================================
15.49/15.50	c |     29855 |    2000    30458    95805 |    10152    16009    105 |  1.235 % |
15.59/15.62	c ===============================================================================
15.59/15.62	c New solution: 267
15.59/15.62	o 267
15.59/15.62	c Elapsed CPU time: 15.4646 s	Remaining CPU time: 164.535 s
15.59/15.62	c ===============================================================================
15.59/15.62	c |     29880 |    2000    30459    95940 |    10153     8030    101 |  1.235 % |
15.59/15.69	c |     29981 |    2000    30459    95940 |    11168     8131    101 |  1.235 % |
15.79/15.81	c |     30131 |    2000    30459    95940 |    12285     8281    101 |  1.235 % |
15.88/15.93	c |     30356 |    2000    30459    95940 |    13513     8506    101 |  1.235 % |
16.18/16.20	c |     30694 |    2000    30459    95940 |    14865     8844    101 |  1.235 % |
16.39/16.49	c |     31200 |    2000    30459    95940 |    16351     9350    101 |  1.235 % |
16.89/16.96	c ===============================================================================
16.89/16.96	c New solution: 266
16.89/16.96	o 266
16.89/16.96	c Elapsed CPU time: 16.7964 s	Remaining CPU time: 163.204 s
16.89/16.96	c ===============================================================================
16.89/16.96	c |     31931 |    2000    30460    96075 |    10153    10081    102 |  1.235 % |
16.99/17.04	c |     32034 |    2000    30460    96075 |    11168    10184    102 |  1.235 % |
17.09/17.16	c |     32186 |    2000    30460    96075 |    12285    10336    102 |  1.235 % |
17.19/17.27	c |     32411 |    2000    30460    96075 |    13514    10561    102 |  1.235 % |
17.28/17.36	c |     32749 |    2000    30460    96075 |    14865    10899    102 |  1.235 % |
17.49/17.51	c ===============================================================================
17.49/17.51	c New solution: 265
17.49/17.51	o 265
17.49/17.51	c Elapsed CPU time: 17.3374 s	Remaining CPU time: 162.663 s
17.49/17.51	c ===============================================================================
17.49/17.51	c |     33013 |    2000    30461    96210 |    10153    11163    102 |  1.235 % |
17.49/17.59	c |     33117 |    2000    30461    96210 |    11169     5686     95 |  1.235 % |
17.59/17.64	c |     33267 |    2000    30461    96210 |    12285     5836     95 |  1.235 % |
17.69/17.71	c |     33495 |    2000    30461    96210 |    13514     6064     96 |  1.235 % |
17.79/17.81	c |     33832 |    2000    30461    96210 |    14865     6401     97 |  1.235 % |
17.99/18.04	c |     34340 |    2000    30461    96210 |    16352     6909     97 |  1.235 % |
18.18/18.26	c ===============================================================================
18.18/18.26	c New solution: 263
18.18/18.26	o 263
18.18/18.26	c Elapsed CPU time: 18.0763 s	Remaining CPU time: 161.924 s
18.18/18.26	c ===============================================================================
18.18/18.26	c |     34984 |    2000    30462    96345 |    10154     7553     99 |  1.235 % |
18.18/18.27	c ===============================================================================
18.18/18.27	c New solution: 262
18.18/18.27	o 262
18.18/18.27	c Elapsed CPU time: 18.0902 s	Remaining CPU time: 161.91 s
18.18/18.27	c ===============================================================================
18.18/18.27	c |     34992 |    2000    30463    96480 |    10154     7561     99 |  1.235 % |
18.18/18.28	c ===============================================================================
18.18/18.28	c New solution: 261
18.18/18.28	o 261
18.18/18.28	c Elapsed CPU time: 18.0992 s	Remaining CPU time: 161.901 s
18.18/18.28	c ===============================================================================
18.18/18.28	c |     34992 |    2000    30464    96615 |    10154     7561     99 |  1.235 % |
18.28/18.33	c |     35095 |    2000    30464    96615 |    11170     7664     99 |  1.235 % |
18.38/18.42	c |     35247 |    2000    30464    96615 |    12287     7816     99 |  1.235 % |
18.48/18.50	c |     35479 |    2000    30464    96615 |    13515     8048     99 |  1.235 % |
18.59/18.67	c |     35819 |    2000    30464    96615 |    14867     8388     99 |  1.235 % |
18.98/19.03	c |     36327 |    2000    30464    96615 |    16354     8896     99 |  1.235 % |
19.48/19.55	c |     37088 |    2000    30464    96615 |    17989     9657    100 |  1.235 % |
20.08/20.13	c ===============================================================================
20.08/20.13	c New solution: 260
20.08/20.13	o 260
20.08/20.13	c Elapsed CPU time: 19.943 s	Remaining CPU time: 160.057 s
20.08/20.13	c ===============================================================================
20.08/20.13	c |     37847 |    2000    30465    96750 |    10155    10416    101 |  1.235 % |
20.08/20.19	c |     37947 |    2000    30465    96750 |    11170     5308     96 |  1.235 % |
20.18/20.24	c |     38099 |    2000    30465    96750 |    12287     5460     96 |  1.235 % |
20.28/20.31	c |     38327 |    2000    30465    96750 |    13516     5688     96 |  1.235 % |
20.38/20.46	c |     38664 |    2000    30465    96750 |    14867     6025     97 |  1.235 % |
20.48/20.54	c ===============================================================================
20.48/20.54	c New solution: 259
20.48/20.54	o 259
20.48/20.54	c Elapsed CPU time: 20.3439 s	Remaining CPU time: 159.656 s
20.48/20.54	c ===============================================================================
20.48/20.54	c |     38804 |    2000    30466    96885 |    10155     6165     97 |  1.235 % |
20.48/20.59	c |     38904 |    2000    30466    96885 |    11170     6265     97 |  1.235 % |
20.58/20.62	c ===============================================================================
20.58/20.62	c New solution: 258
20.58/20.62	o 258
20.58/20.62	c Elapsed CPU time: 20.4219 s	Remaining CPU time: 159.578 s
20.58/20.62	c ===============================================================================
20.58/20.62	c |     38985 |    2000    30467    97020 |    10155     6346     97 |  1.235 % |
20.58/20.64	c ===============================================================================
20.58/20.64	c New solution: 257
20.58/20.64	o 257
20.58/20.64	c Elapsed CPU time: 20.4349 s	Remaining CPU time: 159.565 s
20.58/20.64	c ===============================================================================
20.58/20.64	c |     38998 |    2000    30468    97155 |    10156     6359     97 |  1.235 % |
20.58/20.64	c ===============================================================================
20.58/20.64	c New solution: 256
20.58/20.64	o 256
20.58/20.64	c Elapsed CPU time: 20.4429 s	Remaining CPU time: 159.557 s
20.58/20.64	c ===============================================================================
20.58/20.64	c |     38998 |    2000    30469    97290 |    10156     6359     97 |  1.235 % |
20.68/20.70	c |     39101 |    2000    30469    97290 |    11171     6462     97 |  1.235 % |
20.79/20.80	c |     39251 |    2000    30469    97290 |    12289     6612     98 |  1.235 % |
20.89/20.96	c |     39478 |    2000    30469    97290 |    13518     6839     98 |  1.235 % |
21.08/21.12	c |     39819 |    2000    30469    97290 |    14869     7180     98 |  1.235 % |
21.18/21.26	c |     40331 |    2000    30469    97290 |    16356     7692     98 |  1.235 % |
21.68/21.73	c |     41090 |    2000    30469    97290 |    17992     8451     99 |  1.235 % |
22.28/22.32	c ===============================================================================
22.28/22.32	c New solution: 255
22.28/22.32	o 255
22.28/22.32	c Elapsed CPU time: 22.1096 s	Remaining CPU time: 157.89 s
22.28/22.32	c ===============================================================================
22.28/22.32	c |     42029 |    2000    30470    97425 |    10156     9390     99 |  1.235 % |
22.28/22.36	c ===============================================================================
22.28/22.36	c New solution: 254
22.28/22.36	o 254
22.28/22.36	c Elapsed CPU time: 22.1486 s	Remaining CPU time: 157.851 s
22.28/22.36	c ===============================================================================
22.28/22.36	c |     42102 |    2000    30471    97560 |    10157     9463     99 |  1.235 % |
22.38/22.43	c |     42203 |    2000    30471    97560 |    11172     9564     99 |  1.235 % |
22.48/22.51	c |     42356 |    2000    30471    97560 |    12289     9717     99 |  1.235 % |
22.48/22.53	c ===============================================================================
22.48/22.53	c New solution: 253
22.48/22.53	o 253
22.48/22.53	c Elapsed CPU time: 22.3166 s	Remaining CPU time: 157.683 s
22.48/22.53	c ===============================================================================
22.48/22.53	c |     42388 |    2000    30472    97695 |    10157     9749     99 |  1.235 % |
22.48/22.54	c ===============================================================================
22.48/22.54	c New solution: 252
22.48/22.54	o 252
22.48/22.54	c Elapsed CPU time: 22.3266 s	Remaining CPU time: 157.673 s
22.48/22.54	c ===============================================================================
22.48/22.54	c |     42389 |    2000    30473    97830 |    10157     9750     99 |  1.235 % |
22.48/22.55	c ===============================================================================
22.48/22.55	c New solution: 250
22.48/22.55	o 250
22.48/22.55	c Elapsed CPU time: 22.3386 s	Remaining CPU time: 157.661 s
22.48/22.55	c ===============================================================================
22.48/22.55	c |     42394 |    2000    30474    97965 |    10158     9755     99 |  1.235 % |
22.48/22.56	c ===============================================================================
22.48/22.56	c New solution: 249
22.48/22.56	o 249
22.48/22.56	c Elapsed CPU time: 22.3466 s	Remaining CPU time: 157.653 s
22.48/22.56	c ===============================================================================
22.48/22.56	c |     42394 |    2000    30475    98100 |    10158     9755     99 |  1.235 % |
22.58/22.64	c |     42494 |    2000    30475    98100 |    11174     9855     99 |  1.235 % |
22.68/22.75	c |     42646 |    2000    30475    98100 |    12291    10007     99 |  1.235 % |
22.78/22.83	c |     42873 |    2000    30475    98100 |    13520    10234     99 |  1.235 % |
22.88/22.97	c |     43210 |    2000    30475    98100 |    14872    10571     99 |  1.235 % |
23.28/23.39	c |     43718 |    2000    30475    98100 |    16360    11079     99 |  1.235 % |
24.09/24.17	c |     44480 |    2000    30475    98100 |    17996    11841     99 |  1.235 % |
24.88/24.97	c |     45622 |    2000    30475    98100 |    19795    12983     99 |  1.235 % |
26.29/26.36	c |     47331 |    2000    30475    98100 |    21775    14692     99 |  1.235 % |
28.68/28.75	c |     49893 |    2000    30475    98100 |    23952    17254     99 |  1.235 % |
35.08/35.17	c ===============================================================================
35.08/35.17	c New solution: 248
35.08/35.17	o 248
35.08/35.17	c Elapsed CPU time: 34.9067 s	Remaining CPU time: 145.093 s
35.08/35.17	c ===============================================================================
35.08/35.17	c |     53521 |    2000    30476    98235 |    10158    20882     99 |  1.235 % |
35.28/35.37	c ===============================================================================
35.28/35.37	c New solution: 246
35.28/35.37	o 246
35.28/35.37	c Elapsed CPU time: 35.1077 s	Remaining CPU time: 144.892 s
35.28/35.37	c ===============================================================================
35.28/35.37	c |     53523 |    2000    30477    98370 |    10159     5223     84 |  1.235 % |
35.28/35.38	c ===============================================================================
35.28/35.38	c New solution: 245
35.28/35.38	o 245
35.28/35.38	c Elapsed CPU time: 35.1147 s	Remaining CPU time: 144.885 s
35.28/35.38	c ===============================================================================
35.28/35.38	c |     53523 |    2000    30478    98505 |    10159     5223     84 |  1.235 % |
35.37/35.44	c |     53628 |    2000    30478    98505 |    11175     5328     85 |  1.235 % |
35.47/35.54	c |     53778 |    2000    30478    98505 |    12292     5478     85 |  1.235 % |
35.57/35.66	c |     54003 |    2000    30478    98505 |    13522     5703     85 |  1.235 % |
35.77/35.82	c |     54340 |    2000    30478    98505 |    14874     6040     86 |  1.235 % |
36.07/36.12	c |     54853 |    2000    30478    98505 |    16361     6553     87 |  1.235 % |
36.48/36.52	c |     55613 |    2000    30478    98505 |    17997     7313     87 |  1.235 % |
36.97/37.05	c |     56755 |    2000    30478    98505 |    19797     8455     89 |  1.235 % |
37.78/37.82	c |     58464 |    2000    30478    98505 |    21777    10164     90 |  1.235 % |
39.58/39.64	c |     61026 |    2000    30478    98505 |    23955    12726     91 |  1.235 % |
42.67/42.74	c |     64875 |    2000    30478    98505 |    26350    16575     93 |  1.235 % |
48.17/48.24	c ===============================================================================
48.17/48.24	c New solution: 244
48.17/48.24	o 244
48.17/48.24	c Elapsed CPU time: 47.8967 s	Remaining CPU time: 132.103 s
48.17/48.24	c ===============================================================================
48.17/48.24	c |     69504 |    2000    30479    98640 |    10159    21204     94 |  1.235 % |
48.47/48.51	c ===============================================================================
48.47/48.51	c New solution: 242
48.47/48.51	o 242
48.47/48.51	c Elapsed CPU time: 48.1597 s	Remaining CPU time: 131.84 s
48.47/48.51	c ===============================================================================
48.47/48.51	c |     69516 |    2000    30480    98775 |    10160     5313     82 |  1.235 % |
48.47/48.52	c ===============================================================================
48.47/48.52	c New solution: 240
48.47/48.52	o 240
48.47/48.52	c Elapsed CPU time: 48.1677 s	Remaining CPU time: 131.832 s
48.47/48.52	c ===============================================================================
48.47/48.52	c |     69516 |    2000    30481    98910 |    10160     5313     82 |  1.235 % |
48.47/48.55	c |     69620 |    2000    30481    98910 |    11176     5417     83 |  1.235 % |
48.56/48.61	c |     69772 |    2000    30481    98910 |    12294     5569     83 |  1.235 % |
48.66/48.72	c |     69999 |    2000    30481    98910 |    13523     5796     83 |  1.235 % |
48.77/48.88	c |     70337 |    2000    30481    98910 |    14875     6134     84 |  1.235 % |
49.07/49.14	c |     70850 |    2000    30481    98910 |    16363     6647     85 |  1.235 % |
49.47/49.52	c |     71615 |    2000    30481    98910 |    17999     7412     86 |  1.235 % |
50.16/50.24	c |     72754 |    2000    30481    98910 |    19799     8551     87 |  1.235 % |
51.57/51.68	c |     74462 |    2000    30481    98910 |    21779    10259     88 |  1.235 % |
54.16/54.28	c |     77028 |    2000    30481    98910 |    23957    12825     88 |  1.235 % |
58.46/58.54	c |     80874 |    2000    30481    98910 |    26353    16671     89 |  1.235 % |
61.47/61.52	c ===============================================================================
61.47/61.52	c New solution: 239
61.47/61.52	o 239
61.47/61.52	c Elapsed CPU time: 61.1027 s	Remaining CPU time: 118.897 s
61.47/61.52	c ===============================================================================
61.47/61.52	c |     83089 |    2000    30482    99045 |    10160    18886     89 |  1.235 % |
61.57/61.67	c |     83190 |    2000    30482    99045 |    11176     9544     81 |  1.235 % |
61.66/61.74	c |     83340 |    2000    30482    99045 |    12294     9694     81 |  1.235 % |
61.76/61.85	c |     83567 |    2000    30482    99045 |    13523     9921     81 |  1.235 % |
61.96/62.07	c |     83906 |    2000    30482    99045 |    14876    10260     82 |  1.235 % |
62.26/62.39	c |     84415 |    2000    30482    99045 |    16363    10769     82 |  1.235 % |
62.87/62.94	c |     85175 |    2000    30482    99045 |    18000    11529     83 |  1.235 % |
63.67/63.78	c |     86318 |    2000    30482    99045 |    19800    12672     83 |  1.235 % |
64.86/64.95	c ===============================================================================
64.86/64.95	c New solution: 237
64.86/64.95	o 237
64.86/64.95	c Elapsed CPU time: 64.5152 s	Remaining CPU time: 115.485 s
64.86/64.95	c ===============================================================================
64.86/64.95	c |     87822 |    2000    30483    99180 |    10161    14176     84 |  1.235 % |
64.96/65.03	c ===============================================================================
64.96/65.03	c New solution: 235
64.96/65.03	o 235
64.96/65.03	c Elapsed CPU time: 64.5912 s	Remaining CPU time: 115.409 s
64.96/65.03	c ===============================================================================
64.96/65.03	c |     87822 |    2000    30484    99315 |    10161     7088     77 |  1.235 % |
64.96/65.05	c ===============================================================================
64.96/65.05	c New solution: 234
64.96/65.05	o 234
64.96/65.05	c Elapsed CPU time: 64.6092 s	Remaining CPU time: 115.391 s
64.96/65.05	c ===============================================================================
64.96/65.05	c |     87844 |    2000    30485    99450 |    10161     7110     78 |  1.235 % |
64.96/65.09	c |     87945 |    2000    30485    99450 |    11177     7211     78 |  1.235 % |
65.06/65.18	c |     88096 |    2000    30485    99450 |    12295     7362     78 |  1.235 % |
65.26/65.30	c ===============================================================================
65.26/65.30	c Best Solution: 234
65.26/65.30	s OPTIMUM FOUND
65.26/65.30	c Total CPU time: 64.8611 s
65.26/65.30	v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025

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-2655732-1276684928/watcher-2655732-1276684928 -o /tmp/evaluation-result-2655732-1276684928/solver-2655732-1276684928 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655732-1276684928.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10315
/proc/meminfo: memFree=1740516/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=3828 CPUtime=0
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 346 0 0 0 0 0 0 0 17 0 1 0 42149100 3919872 264 1992294400 134512640 135751879 4287309376 18446744073709551615 135196580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 957 264 144 303 0 406 0

[startup+0.0444269 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10315
/proc/meminfo: memFree=1740516/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=4304 CPUtime=0.04
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 520 0 0 0 4 0 0 0 17 0 1 0 42149100 4407296 438 1992294400 134512640 135751879 4287309376 18446744073709551615 134559684 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 1076 438 206 303 0 525 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4304

[startup+0.101437 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10315
/proc/meminfo: memFree=1740516/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=4916 CPUtime=0.09
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 786 0 0 0 9 0 0 0 17 0 1 0 42149100 5033984 704 1992294400 134512640 135751879 4287309376 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 1229 704 305 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4916

[startup+0.300474 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10315
/proc/meminfo: memFree=1740516/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=5208 CPUtime=0.29
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 1163 0 0 0 27 2 0 0 17 0 1 0 42149100 5332992 835 1992294400 134512640 135751879 4287309376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 1302 835 146 303 0 997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5208

[startup+0.700549 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 10315
/proc/meminfo: memFree=1740516/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=5988 CPUtime=0.69
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 1365 0 0 0 64 5 0 0 17 0 1 0 42149100 6131712 1037 1992294400 134512640 135751879 4287309376 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 1497 1037 147 303 0 1192 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5988

[startup+1.5007 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10316
/proc/meminfo: memFree=1736044/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=7920 CPUtime=1.49
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 1849 0 0 0 143 6 0 0 18 0 1 0 42149100 8110080 1521 1992294400 134512640 135751879 4287309376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 1980 1521 147 303 0 1675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7920

[startup+3.101 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10316
/proc/meminfo: memFree=1733936/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=10116 CPUtime=3.09
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 2408 0 0 0 302 7 0 0 21 0 1 0 42149100 10358784 2080 1992294400 134512640 135751879 4287309376 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 2529 2080 147 303 0 2224 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10116

[startup+6.30059 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10316
/proc/meminfo: memFree=1729968/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=13120 CPUtime=6.28
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 3143 0 0 0 620 8 0 0 25 0 1 0 42149100 13434880 2815 1992294400 134512640 135751879 4287309376 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 3280 2815 147 303 0 2975 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13120

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10316
/proc/meminfo: memFree=1724016/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=19344 CPUtime=12.68
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 4684 0 0 0 1255 13 0 0 25 0 1 0 42149100 19808256 4356 1992294400 134512640 135751879 4287309376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 4836 4356 148 303 0 4531 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19344

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1712608/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=30372 CPUtime=25.48
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 7438 0 0 0 2525 23 0 0 25 0 1 0 42149100 31100928 7110 1992294400 134512640 135751879 4287309376 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 7593 7110 148 303 0 7288 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30372

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1698968/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=43852 CPUtime=51.06
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 10822 0 0 0 5072 34 0 0 25 0 1 0 42149100 44904448 10494 1992294400 134512640 135751879 4287309376 18446744073709551615 134610198 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 10963 10494 148 303 0 10658 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43852

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

[startup+57.5011 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1695992/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=46808 CPUtime=57.47
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 11530 0 0 0 5709 38 0 0 25 0 1 0 42149100 47931392 11202 1992294400 134512640 135751879 4287309376 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 11702 11202 148 303 0 11397 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 46808

[startup+60.7007 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1694876/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=47756 CPUtime=60.66
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 11792 0 0 0 6028 38 0 0 25 0 1 0 42149100 48902144 11464 1992294400 134512640 135751879 4287309376 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 11939 11464 148 303 0 11634 0
Current children cumulated CPU time (s) 60.66
Current children cumulated vsize (KiB) 47756

[startup+63.9013 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1693140/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=49564 CPUtime=63.86
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 12248 0 0 0 6346 40 0 0 25 0 1 0 42149100 50753536 11920 1992294400 134512640 135751879 4287309376 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 12391 11920 148 303 0 12086 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 49564

[startup+64.7015 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 10318
/proc/meminfo: memFree=1693140/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=50076 CPUtime=64.66
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 12354 0 0 0 6426 40 0 0 25 0 1 0 42149100 51277824 12026 1992294400 134512640 135751879 4287309376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 12519 12026 148 303 0 12214 0
Current children cumulated CPU time (s) 64.66
Current children cumulated vsize (KiB) 50076

[startup+65.1006 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 10318
/proc/meminfo: memFree=1692520/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=50332 CPUtime=65.06
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 12427 0 0 0 6466 40 0 0 25 0 1 0 42149100 51539968 12099 1992294400 134512640 135751879 4287309376 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 12583 12099 148 303 0 12278 0
Current children cumulated CPU time (s) 65.06
Current children cumulated vsize (KiB) 50332

[startup+65.3006 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 10318
/proc/meminfo: memFree=1692520/2059040 swapFree=4140352/4192956
[pid=10315] ppid=10313 vsize=50460 CPUtime=65.26
/proc/10315/stat : 10315 (wbo1.4b) R 10313 10315 9964 0 -1 4202496 12462 0 0 0 6486 40 0 0 25 0 1 0 42149100 51671040 12134 1992294400 134512640 135751879 4287309376 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10315/statm: 12615 12134 148 303 0 12310 0
Current children cumulated CPU time (s) 65.26
Current children cumulated vsize (KiB) 50460

Child status: 0
Real time (s): 65.3085
CPU time (s): 65.2781
CPU user time (s): 64.8621
CPU system time (s): 0.415936
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 50460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.8621
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12464
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= 26
involuntary context switches= 877

runsolver used 0.120981 second user time and 0.316951 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 12:42:08
IDJOB=2655732
IDBENCH=71821
IDSOLVER=1161
FILE ID=node019/2655732-1276684928
PBS_JOBID= 11172571
Free space on /tmp= 62412 MiB

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

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

MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0
RANDOM SEED=899397633

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1741168 kB
Buffers:        109036 kB
Cached:         117540 kB
SwapCached:       6068 kB
Active:         107524 kB
Inactive:       132296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1741168 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            3640 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:          12968 kB
Slab:            56308 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182964 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= 62412 MiB
End job on node019 at 2010-06-16 12:43:13