Trace number 2655748

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-81 72.416 72.4341

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655748-1276687170.opb.
0.00/0.00	c Instance file HOME/instance-2655748-1276687170.opb
0.00/0.00	c File size is 1007225 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:        30406                                               |
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 |    1997    30434    90048 |    10135        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 340
0.19/0.20	o 340
0.19/0.20	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 179.804 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1997    30435    90183 |    10145        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 337
0.19/0.20	o 337
0.19/0.20	c Elapsed CPU time: 0.197969 s	Remaining CPU time: 179.802 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1997    30436    90318 |    10145        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 336
0.19/0.21	o 336
0.19/0.21	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 179.798 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         1 |    1997    30437    90453 |    10145        1    134 |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 334
0.19/0.21	o 334
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 179.793 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         1 |    1997    30438    90588 |    10146        1    134 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 333
0.19/0.22	o 333
0.19/0.22	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 179.787 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         1 |    1997    30439    90723 |    10146        1    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 332
0.19/0.23	o 332
0.19/0.23	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 179.782 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         1 |    1997    30440    90858 |    10146        1    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 331
0.19/0.23	o 331
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 |         1 |    1997    30441    90993 |    10147        1    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 330
0.19/0.24	o 330
0.19/0.24	c Elapsed CPU time: 0.226965 s	Remaining CPU time: 179.773 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         3 |    1997    30442    91128 |    10147        3     89 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 329
0.19/0.25	o 329
0.19/0.25	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 179.769 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1997    30443    91263 |    10147        3     89 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 328
0.19/0.25	o 328
0.19/0.25	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 179.763 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         5 |    1997    30444    91398 |    10148        5    105 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 327
0.19/0.26	o 327
0.19/0.26	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 179.76 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         5 |    1997    30445    91533 |    10148        5    105 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 326
0.19/0.27	o 326
0.19/0.27	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 179.754 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         7 |    1997    30446    91668 |    10148        7     94 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 325
0.19/0.27	o 325
0.19/0.27	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 179.748 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         7 |    1997    30447    91803 |    10149        7     94 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 324
0.19/0.28	o 324
0.19/0.28	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 179.742 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         7 |    1997    30448    91938 |    10149        7     94 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 323
0.19/0.28	o 323
0.19/0.28	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 179.737 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         7 |    1997    30449    92073 |    10149        7     94 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 322
0.19/0.29	o 322
0.19/0.29	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 179.731 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        17 |    1997    30450    92208 |    10150       17     98 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 320
0.29/0.30	o 320
0.29/0.30	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 179.726 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        18 |    1997    30451    92343 |    10150       18    100 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 319
0.29/0.30	o 319
0.29/0.30	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 179.72 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        19 |    1997    30452    92478 |    10150       19    102 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 318
0.29/0.31	o 318
0.29/0.31	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 179.714 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        24 |    1997    30453    92613 |    10151       24    101 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 316
0.29/0.32	o 316
0.29/0.32	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 179.707 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        25 |    1997    30454    92748 |    10151       25    102 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 315
0.29/0.32	o 315
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 |        26 |    1997    30455    92883 |    10151       26    103 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 313
0.29/0.33	o 313
0.29/0.33	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 179.698 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        31 |    1997    30456    93018 |    10152       31    107 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 312
0.29/0.34	o 312
0.29/0.34	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 179.692 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        31 |    1997    30457    93153 |    10152       31    107 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 311
0.29/0.35	o 311
0.29/0.35	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 179.684 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        56 |    1997    30458    93288 |    10152       56    110 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 310
0.29/0.35	o 310
0.29/0.35	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 179.679 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        56 |    1997    30459    93423 |    10153       56    110 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 309
0.29/0.36	o 309
0.29/0.36	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 179.67 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       118 |    1997    30460    93558 |    10153      118    102 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 308
0.29/0.38	o 308
0.29/0.38	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 179.658 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       170 |    1997    30461    93693 |    10153      170    105 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 307
0.29/0.39	o 307
0.29/0.39	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 179.65 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       222 |    1997    30462    93828 |    10154      222    105 |  0.000 % |
0.39/0.40	c |       322 |    1997    30462    93828 |    11169      322    106 |  1.383 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 306
0.39/0.41	o 306
0.39/0.41	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 179.627 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       356 |    1997    30463    93963 |    10154      356    105 |  1.383 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 305
0.39/0.42	o 305
0.39/0.42	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 179.622 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       356 |    1997    30464    94098 |    10154      356    105 |  1.383 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 304
0.39/0.42	o 304
0.39/0.42	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 179.616 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       356 |    1997    30465    94233 |    10155      356    105 |  1.383 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 303
0.39/0.43	o 303
0.39/0.43	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 179.607 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       377 |    1997    30466    94368 |    10155      377    105 |  1.383 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 302
0.39/0.45	o 302
0.39/0.45	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 179.589 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       458 |    1997    30467    94503 |    10155      458    107 |  1.383 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: 301
0.39/0.46	o 301
0.39/0.46	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 179.577 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       497 |    1997    30468    94638 |    10156      497    107 |  1.383 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 300
0.39/0.47	o 300
0.39/0.47	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       497 |    1997    30469    94773 |    10156      497    107 |  1.383 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 299
0.39/0.48	o 299
0.39/0.48	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 179.566 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       497 |    1997    30470    94908 |    10156      497    107 |  1.383 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 298
0.39/0.48	o 298
0.39/0.48	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 179.558 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       504 |    1997    30471    95043 |    10157      504    107 |  1.383 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 297
0.39/0.49	o 297
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 |       505 |    1997    30472    95178 |    10157      505    107 |  1.383 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: 296
0.49/0.50	o 296
0.49/0.50	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 179.548 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |       505 |    1997    30473    95313 |    10157      505    107 |  1.383 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 295
0.49/0.51	o 295
0.49/0.51	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 179.541 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |       505 |    1997    30474    95448 |    10158      505    107 |  1.383 % |
0.49/0.52	c |       607 |    1997    30474    95448 |    11173      607    105 |  1.383 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: 294
0.49/0.53	o 294
0.49/0.53	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 179.516 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |       648 |    1997    30475    95583 |    10158      648    105 |  1.383 % |
0.49/0.55	c |       748 |    1997    30475    95583 |    11174      748    104 |  1.383 % |
0.49/0.57	c |       898 |    1997    30475    95583 |    12291      898    103 |  1.383 % |
0.49/0.60	c |      1123 |    1997    30475    95583 |    13520     1123    103 |  1.383 % |
0.59/0.64	c |      1462 |    1997    30475    95583 |    14872     1462    103 |  1.383 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: 293
0.59/0.66	o 293
0.59/0.66	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 179.387 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |      1551 |    1997    30476    95718 |    10158     1551    103 |  1.383 % |
0.59/0.68	c |      1651 |    1997    30476    95718 |    11174     1651    103 |  1.383 % |
0.69/0.71	c |      1801 |    1997    30476    95718 |    12291     1801    103 |  1.383 % |
0.69/0.76	c |      2027 |    1997    30476    95718 |    13521     2027    103 |  1.383 % |
0.79/0.84	c |      2365 |    1997    30476    95718 |    14873     2365    103 |  1.383 % |
0.89/0.96	c |      2872 |    1997    30476    95718 |    16360     2872    103 |  1.383 % |
1.10/1.14	c |      3631 |    1997    30476    95718 |    17996     3631    103 |  1.383 % |
1.39/1.48	c |      4773 |    1997    30476    95718 |    19796     4773    105 |  1.383 % |
1.89/1.93	c |      6481 |    1997    30476    95718 |    21776     6481    105 |  1.383 % |
1.99/2.00	c ===============================================================================
1.99/2.00	c New solution: 292
1.99/2.00	o 292
1.99/2.00	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 178.055 s
1.99/2.00	c ===============================================================================
1.99/2.00	c |      6688 |    1997    30477    95853 |    10159     6688    105 |  1.383 % |
1.99/2.01	c ===============================================================================
1.99/2.01	c New solution: 290
1.99/2.01	o 290
1.99/2.01	c Elapsed CPU time: 1.9547 s	Remaining CPU time: 178.045 s
1.99/2.01	c ===============================================================================
1.99/2.01	c |      6691 |    1997    30478    95988 |    10159     6691    105 |  1.383 % |
1.99/2.02	c ===============================================================================
1.99/2.02	c New solution: 289
1.99/2.02	o 289
1.99/2.02	c Elapsed CPU time: 1.9617 s	Remaining CPU time: 178.038 s
1.99/2.02	c ===============================================================================
1.99/2.02	c |      6697 |    1997    30479    96123 |    10159     6697    105 |  1.383 % |
1.99/2.07	c |      6798 |    1997    30479    96123 |    11175     6798    105 |  1.383 % |
2.10/2.12	c |      6950 |    1997    30479    96123 |    12293     6950    106 |  1.383 % |
2.10/2.16	c |      7179 |    1997    30479    96123 |    13522     7179    106 |  1.383 % |
2.20/2.24	c |      7517 |    1997    30479    96123 |    14874     7517    106 |  1.383 % |
2.29/2.38	c |      8024 |    1997    30479    96123 |    16362     8024    106 |  1.383 % |
2.59/2.62	c |      8784 |    1997    30479    96123 |    17998     8784    106 |  1.383 % |
2.99/3.04	c |      9926 |    1997    30479    96123 |    19798     9926    106 |  1.383 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 287
3.79/3.85	o 287
3.79/3.85	c Elapsed CPU time: 3.76343 s	Remaining CPU time: 176.237 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |     11589 |    1997    30480    96258 |    10160    11589    106 |  1.383 % |
3.89/3.97	c |     11689 |    1997    30480    96258 |    11176     5895    102 |  1.383 % |
3.99/4.04	c |     11840 |    1997    30480    96258 |    12293     6046    102 |  1.383 % |
4.09/4.14	c |     12066 |    1997    30480    96258 |    13522     6272    102 |  1.383 % |
4.19/4.27	c |     12404 |    1997    30480    96258 |    14875     6610    102 |  1.383 % |
4.39/4.49	c |     12910 |    1997    30480    96258 |    16362     7116    102 |  1.383 % |
4.69/4.76	c |     13675 |    1997    30480    96258 |    17999     7881    103 |  1.383 % |
4.79/4.83	c ===============================================================================
4.79/4.83	c New solution: 286
4.79/4.83	o 286
4.79/4.83	c Elapsed CPU time: 4.73728 s	Remaining CPU time: 175.263 s
4.79/4.83	c ===============================================================================
4.79/4.83	c |     13892 |    1997    30481    96393 |    10160     8098    103 |  1.383 % |
4.79/4.84	c ===============================================================================
4.79/4.84	c New solution: 285
4.79/4.84	o 285
4.79/4.84	c Elapsed CPU time: 4.74728 s	Remaining CPU time: 175.253 s
4.79/4.84	c ===============================================================================
4.79/4.84	c |     13894 |    1997    30482    96528 |    10160     8100    103 |  1.383 % |
4.79/4.85	c ===============================================================================
4.79/4.85	c New solution: 284
4.79/4.85	o 284
4.79/4.85	c Elapsed CPU time: 4.76228 s	Remaining CPU time: 175.238 s
4.79/4.85	c ===============================================================================
4.79/4.85	c |     13917 |    1997    30483    96663 |    10161     8123    103 |  1.383 % |
4.79/4.89	c |     14019 |    1997    30483    96663 |    11177     8225    103 |  1.383 % |
4.89/4.95	c |     14170 |    1997    30483    96663 |    12294     8376    103 |  1.383 % |
4.99/5.04	c |     14398 |    1997    30483    96663 |    13524     8604    103 |  1.383 % |
5.09/5.19	c |     14735 |    1997    30483    96663 |    14876     8941    103 |  1.383 % |
5.39/5.50	c |     15245 |    1997    30483    96663 |    16364     9451    103 |  1.383 % |
5.89/5.91	c |     16006 |    1997    30483    96663 |    18000    10212    104 |  1.383 % |
5.89/5.92	c ===============================================================================
5.89/5.92	c New solution: 283
5.89/5.92	o 283
5.89/5.92	c Elapsed CPU time: 5.81912 s	Remaining CPU time: 174.181 s
5.89/5.92	c ===============================================================================
5.89/5.92	c |     16013 |    1997    30484    96798 |    10161    10219    104 |  1.383 % |
5.99/6.00	c |     16114 |    1997    30484    96798 |    11177     5211     97 |  1.383 % |
5.99/6.03	c |     16264 |    1997    30484    96798 |    12295     5361     98 |  1.383 % |
5.99/6.09	c |     16489 |    1997    30484    96798 |    13524     5586     98 |  1.383 % |
6.09/6.15	c ===============================================================================
6.09/6.15	c New solution: 282
6.09/6.15	o 282
6.09/6.15	c Elapsed CPU time: 6.04608 s	Remaining CPU time: 173.954 s
6.09/6.15	c ===============================================================================
6.09/6.15	c |     16671 |    1997    30485    96933 |    10161     5768     98 |  1.383 % |
6.09/6.16	c ===============================================================================
6.09/6.16	c New solution: 280
6.09/6.16	o 280
6.09/6.16	c Elapsed CPU time: 6.05508 s	Remaining CPU time: 173.945 s
6.09/6.16	c ===============================================================================
6.09/6.16	c |     16672 |    1997    30486    97068 |    10162     5769     98 |  1.383 % |
6.09/6.19	c |     16772 |    1997    30486    97068 |    11178     5869     98 |  1.383 % |
6.19/6.24	c |     16925 |    1997    30486    97068 |    12296     6022     98 |  1.383 % |
6.19/6.28	c |     17151 |    1997    30486    97068 |    13525     6248     99 |  1.383 % |
6.29/6.35	c |     17490 |    1997    30486    97068 |    14878     6587     99 |  1.383 % |
6.50/6.52	c |     17996 |    1997    30486    97068 |    16366     7093    100 |  1.383 % |
6.69/6.79	c |     18755 |    1997    30486    97068 |    18002     7852    100 |  1.383 % |
7.29/7.36	c |     19895 |    1997    30486    97068 |    19802     8992    101 |  1.383 % |
8.29/8.33	c |     21604 |    1997    30486    97068 |    21783    10701    101 |  1.383 % |
9.89/9.93	c |     24167 |    1997    30486    97068 |    23961    13264    102 |  1.383 % |
10.59/10.65	c ===============================================================================
10.59/10.65	c New solution: 279
10.59/10.65	o 279
10.59/10.65	c Elapsed CPU time: 10.5094 s	Remaining CPU time: 169.491 s
10.59/10.65	c ===============================================================================
10.59/10.65	c |     25400 |    1997    30487    97203 |    10162    14497    103 |  1.383 % |
10.69/10.76	c |     25501 |    1997    30487    97203 |    11178     7350     98 |  1.383 % |
10.79/10.85	c |     25651 |    1997    30487    97203 |    12296     7500     98 |  1.383 % |
11.00/11.01	c |     25882 |    1997    30487    97203 |    13526     7731     98 |  1.383 % |
11.09/11.19	c |     26221 |    1997    30487    97203 |    14878     8070     98 |  1.383 % |
11.39/11.46	c |     26731 |    1997    30487    97203 |    16366     8580     99 |  1.383 % |
11.79/11.86	c |     27491 |    1997    30487    97203 |    18003     9340     99 |  1.383 % |
12.38/12.41	c |     28630 |    1997    30487    97203 |    19803    10479    100 |  1.383 % |
13.38/13.46	c ===============================================================================
13.38/13.46	c New solution: 277
13.38/13.46	o 277
13.38/13.46	c Elapsed CPU time: 13.311 s	Remaining CPU time: 166.689 s
13.38/13.46	c ===============================================================================
13.38/13.46	c |     30161 |    1997    30488    97338 |    10162    12010    101 |  1.383 % |
13.49/13.52	c ===============================================================================
13.49/13.52	c New solution: 276
13.49/13.52	o 276
13.49/13.52	c Elapsed CPU time: 13.37 s	Remaining CPU time: 166.63 s
13.49/13.52	c ===============================================================================
13.49/13.52	c |     30184 |    1997    30489    97473 |    10163     6028     95 |  1.383 % |
13.49/13.53	c ===============================================================================
13.49/13.53	c New solution: 274
13.49/13.53	o 274
13.49/13.53	c Elapsed CPU time: 13.379 s	Remaining CPU time: 166.621 s
13.49/13.53	c ===============================================================================
13.49/13.53	c |     30184 |    1997    30490    97608 |    10163     6028     95 |  1.383 % |
13.49/13.58	c |     30286 |    1997    30490    97608 |    11179     6130     95 |  1.383 % |
13.59/13.67	c |     30439 |    1997    30490    97608 |    12297     6283     95 |  1.383 % |
13.69/13.78	c |     30664 |    1997    30490    97608 |    13527     6508     95 |  1.383 % |
13.99/14.00	c |     31002 |    1997    30490    97608 |    14880     6846     96 |  1.383 % |
14.09/14.19	c |     31510 |    1997    30490    97608 |    16368     7354     96 |  1.383 % |
14.29/14.37	c |     32271 |    1997    30490    97608 |    18004     8115     97 |  1.383 % |
14.89/14.91	c |     33410 |    1997    30490    97608 |    19805     9254     98 |  1.383 % |
16.08/16.16	c |     35120 |    1997    30490    97608 |    21786    10964     98 |  1.383 % |
18.08/18.10	c |     37684 |    1997    30490    97608 |    23964    13528     99 |  1.383 % |
19.99/20.08	c |     41531 |    1997    30490    97608 |    26361    17375    100 |  1.383 % |
24.29/24.33	c |     47302 |    1997    30490    97608 |    28997    23146    102 |  1.383 % |
30.89/30.94	c ===============================================================================
30.89/30.94	c New solution: 273
30.89/30.94	o 273
30.89/30.94	c Elapsed CPU time: 30.6803 s	Remaining CPU time: 149.32 s
30.89/30.94	c ===============================================================================
30.89/30.94	c |     51112 |    1997    30491    97743 |    10163    26956    102 |  1.383 % |
31.28/31.31	c |     51212 |    1997    30491    97743 |    11180     5921     92 |  1.383 % |
31.38/31.40	c |     51364 |    1997    30491    97743 |    12298     6073     92 |  1.383 % |
31.48/31.52	c |     51590 |    1997    30491    97743 |    13527     6299     92 |  1.383 % |
31.68/31.70	c |     51928 |    1997    30491    97743 |    14880     6637     93 |  1.383 % |
31.90/31.94	c |     52436 |    1997    30491    97743 |    16368     7145     93 |  1.383 % |
32.39/32.42	c |     53195 |    1997    30491    97743 |    18005     7904     94 |  1.383 % |
33.08/33.13	c |     54334 |    1997    30491    97743 |    19806     9043     95 |  1.383 % |
33.78/33.87	c |     56044 |    1997    30491    97743 |    21786    10753     96 |  1.383 % |
33.99/34.08	c ===============================================================================
33.99/34.08	c New solution: 272
33.99/34.08	o 272
33.99/34.08	c Elapsed CPU time: 33.8089 s	Remaining CPU time: 146.191 s
33.99/34.08	c ===============================================================================
33.99/34.08	c |     56441 |    1997    30492    97878 |    10164    11150     96 |  1.383 % |
34.09/34.16	c ===============================================================================
34.09/34.16	c New solution: 271
34.09/34.16	o 271
34.09/34.16	c Elapsed CPU time: 33.8838 s	Remaining CPU time: 146.116 s
34.09/34.16	c ===============================================================================
34.09/34.16	c |     56506 |    1997    30493    98013 |    10164     5640     89 |  1.383 % |
34.09/34.19	c |     56606 |    1997    30493    98013 |    11180     5740     89 |  1.383 % |
34.18/34.20	c ===============================================================================
34.18/34.20	c New solution: 270
34.18/34.20	o 270
34.18/34.20	c Elapsed CPU time: 33.9198 s	Remaining CPU time: 146.08 s
34.18/34.20	c ===============================================================================
34.18/34.20	c |     56609 |    1997    30494    98148 |    10164     5743     89 |  1.383 % |
34.18/34.23	c ===============================================================================
34.18/34.23	c New solution: 269
34.18/34.23	o 269
34.18/34.23	c Elapsed CPU time: 33.9538 s	Remaining CPU time: 146.046 s
34.18/34.23	c ===============================================================================
34.18/34.23	c |     56695 |    1997    30495    98283 |    10165     5829     89 |  1.383 % |
34.18/34.27	c |     56795 |    1997    30495    98283 |    11181     5929     90 |  1.383 % |
34.28/34.32	c |     56947 |    1997    30495    98283 |    12299     6081     90 |  1.383 % |
34.38/34.40	c |     57173 |    1997    30495    98283 |    13529     6307     90 |  1.383 % |
34.48/34.56	c |     57512 |    1997    30495    98283 |    14882     6646     91 |  1.383 % |
34.79/34.80	c |     58018 |    1997    30495    98283 |    16370     7152     92 |  1.383 % |
34.99/35.08	c |     58780 |    1997    30495    98283 |    18007     7914     92 |  1.383 % |
35.48/35.54	c |     59926 |    1997    30495    98283 |    19808     9060     94 |  1.383 % |
36.59/36.65	c |     61636 |    1997    30495    98283 |    21789    10770     95 |  1.383 % |
38.79/38.81	c |     64201 |    1997    30495    98283 |    23968    13335     96 |  1.383 % |
42.08/42.13	c ===============================================================================
42.08/42.13	c New solution: 268
42.08/42.13	o 268
42.08/42.13	c Elapsed CPU time: 41.8076 s	Remaining CPU time: 138.192 s
42.08/42.13	c ===============================================================================
42.08/42.13	c |     67708 |    1997    30496    98418 |    10165    16842     97 |  1.383 % |
42.28/42.32	c |     67809 |    1997    30496    98418 |    11181     8522     90 |  1.383 % |
42.38/42.42	c |     67965 |    1997    30496    98418 |    12300     8678     90 |  1.383 % |
42.48/42.53	c |     68191 |    1997    30496    98418 |    13530     8904     91 |  1.383 % |
42.58/42.62	c |     68528 |    1997    30496    98418 |    14883     9241     91 |  1.383 % |
42.78/42.87	c |     69038 |    1997    30496    98418 |    16371     9751     92 |  1.383 % |
43.38/43.42	c |     69798 |    1997    30496    98418 |    18008    10511     92 |  1.383 % |
44.18/44.20	c |     70939 |    1997    30496    98418 |    19809    11652     93 |  1.383 % |
45.38/45.42	c ===============================================================================
45.38/45.42	c New solution: 267
45.38/45.42	o 267
45.38/45.42	c Elapsed CPU time: 45.0861 s	Remaining CPU time: 134.914 s
45.38/45.42	c ===============================================================================
45.38/45.42	c |     72237 |    1997    30497    98553 |    10165    12950     94 |  1.383 % |
45.48/45.51	c ===============================================================================
45.48/45.51	c New solution: 266
45.48/45.51	o 266
45.48/45.51	c Elapsed CPU time: 45.1731 s	Remaining CPU time: 134.827 s
45.48/45.51	c ===============================================================================
45.48/45.51	c |     72268 |    1997    30498    98688 |    10166     6506     87 |  1.383 % |
45.48/45.53	c ===============================================================================
45.48/45.53	c New solution: 263
45.48/45.53	o 263
45.48/45.53	c Elapsed CPU time: 45.1911 s	Remaining CPU time: 134.809 s
45.48/45.53	c ===============================================================================
45.48/45.53	c |     72302 |    1997    30499    98823 |    10166     6540     88 |  1.383 % |
45.48/45.55	c ===============================================================================
45.48/45.55	c New solution: 262
45.48/45.55	o 262
45.48/45.55	c Elapsed CPU time: 45.2131 s	Remaining CPU time: 134.787 s
45.48/45.55	c ===============================================================================
45.48/45.55	c |     72350 |    1997    30500    98958 |    10166     6588     88 |  1.383 % |
45.58/45.60	c |     72450 |    1997    30500    98958 |    11183     6688     88 |  1.383 % |
45.58/45.68	c |     72600 |    1997    30500    98958 |    12301     6838     88 |  1.383 % |
45.68/45.79	c |     72826 |    1997    30500    98958 |    13531     7064     88 |  1.383 % |
45.78/45.80	c ===============================================================================
45.78/45.80	c New solution: 261
45.78/45.80	o 261
45.78/45.80	c Elapsed CPU time: 45.4581 s	Remaining CPU time: 134.542 s
45.78/45.80	c ===============================================================================
45.78/45.80	c |     72832 |    1997    30501    99093 |    10167     7070     88 |  1.383 % |
45.78/45.88	c |     72933 |    1997    30501    99093 |    11183     7171     88 |  1.383 % |
45.88/45.95	c |     73083 |    1997    30501    99093 |    12302     7321     89 |  1.383 % |
45.98/46.05	c |     73311 |    1997    30501    99093 |    13532     7549     89 |  1.383 % |
46.19/46.26	c |     73649 |    1997    30501    99093 |    14885     7887     89 |  1.383 % |
46.58/46.61	c |     74158 |    1997    30501    99093 |    16374     8396     89 |  1.383 % |
46.97/47.09	c |     74917 |    1997    30501    99093 |    18011     9155     90 |  1.383 % |
47.58/47.61	c |     76057 |    1997    30501    99093 |    19812    10295     90 |  1.383 % |
48.29/48.33	c |     77767 |    1997    30501    99093 |    21793    12005     91 |  1.383 % |
49.58/49.68	c |     80329 |    1997    30501    99093 |    23973    14567     93 |  1.383 % |
53.48/53.56	c |     84183 |    1997    30501    99093 |    26370    18421     94 |  1.383 % |
56.68/56.77	c ===============================================================================
56.68/56.77	c New solution: 260
56.68/56.77	o 260
56.68/56.77	c Elapsed CPU time: 56.3534 s	Remaining CPU time: 123.647 s
56.68/56.77	c ===============================================================================
56.68/56.77	c |     87248 |    1997    30502    99228 |    10167    21486     95 |  1.383 % |
57.08/57.12	c |     87348 |    1997    30502    99228 |    11184     5472     83 |  1.383 % |
57.08/57.17	c |     87502 |    1997    30502    99228 |    12302     5626     84 |  1.383 % |
57.18/57.27	c |     87727 |    1997    30502    99228 |    13532     5851     84 |  1.383 % |
57.37/57.47	c |     88067 |    1997    30502    99228 |    14885     6191     84 |  1.383 % |
57.67/57.70	c |     88573 |    1997    30502    99228 |    16374     6697     85 |  1.383 % |
57.98/58.08	c |     89336 |    1997    30502    99228 |    18012     7460     86 |  1.383 % |
58.48/58.51	c |     90480 |    1997    30502    99228 |    19813     8604     88 |  1.383 % |
59.38/59.42	c |     92194 |    1997    30502    99228 |    21794    10318     90 |  1.383 % |
60.98/61.05	c |     94756 |    1997    30502    99228 |    23974    12880     92 |  1.383 % |
64.78/64.83	c |     98600 |    1997    30502    99228 |    26371    16724     93 |  1.383 % |
68.78/68.82	c ===============================================================================
68.78/68.82	c New solution: 259
68.78/68.82	o 259
68.78/68.82	c Elapsed CPU time: 68.3476 s	Remaining CPU time: 111.652 s
68.78/68.82	c ===============================================================================
68.78/68.82	c |    102207 |    1997    30503    99363 |    10167    20331     94 |  1.383 % |
68.97/69.03	c |    102309 |    1997    30503    99363 |    11184    10268     89 |  1.383 % |
69.07/69.14	c |    102463 |    1997    30503    99363 |    12302    10422     89 |  1.383 % |
69.18/69.28	c |    102690 |    1997    30503    99363 |    13533    10649     89 |  1.383 % |
69.47/69.55	c |    103034 |    1997    30503    99363 |    14886    10993     90 |  1.383 % |
69.97/70.04	c |    103543 |    1997    30503    99363 |    16375    11502     90 |  1.383 % |
70.67/70.76	c |    104312 |    1997    30503    99363 |    18012    12271     90 |  1.383 % |
71.97/72.07	c |    105451 |    1997    30503    99363 |    19813    13410     90 |  1.383 % |
72.37/72.42	c ===============================================================================
72.37/72.42	c Best Solution: 259
72.37/72.42	s OPTIMUM FOUND
72.37/72.42	c Total CPU time: 71.9331 s
72.37/72.42	v -x1 x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 x15 x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 x35 x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x600 x601 x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025

Verifier Data 

OK	-81

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.04 1.01 3/106 15051
/proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=3820 CPUtime=0
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 10008865 3911680 265 1992294400 134512640 135751879 4286966688 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 955 265 144 303 0 404 0

[startup+0.0489921 s]
/proc/loadavg: 1.02 1.04 1.01 3/106 15051
/proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=4300 CPUtime=0.04
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 543 0 0 0 4 0 0 0 20 0 1 0 10008865 4403200 461 1992294400 134512640 135751879 4286966688 18446744073709551615 135118584 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 1075 461 214 303 0 524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4300

[startup+0.100997 s]
/proc/loadavg: 1.02 1.04 1.01 3/106 15051
/proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=4916 CPUtime=0.09
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 783 0 0 0 9 0 0 0 20 0 1 0 10008865 5033984 701 1992294400 134512640 135751879 4286966688 18446744073709551615 134559744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 1229 702 304 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4916

[startup+0.301016 s]
/proc/loadavg: 1.02 1.04 1.01 3/106 15051
/proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=5204 CPUtime=0.29
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1165 0 0 0 27 2 0 0 20 0 1 0 10008865 5328896 837 1992294400 134512640 135751879 4286966688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 1301 837 146 303 0 996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5204

[startup+0.701052 s]
/proc/loadavg: 1.02 1.04 1.01 3/106 15051
/proc/meminfo: memFree=1704684/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=5848 CPUtime=0.69
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1339 0 0 0 64 5 0 0 21 0 1 0 10008865 5988352 1011 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 1462 1011 147 303 0 1157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5848

[startup+1.50113 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 15052
/proc/meminfo: memFree=1700460/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=7640 CPUtime=1.49
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 1779 0 0 0 144 5 0 0 23 0 1 0 10008865 7823360 1451 1992294400 134512640 135751879 4286966688 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 1910 1451 147 303 0 1605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7640

[startup+3.10128 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 15052
/proc/meminfo: memFree=1697980/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=10392 CPUtime=3.09
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 2482 0 0 0 302 7 0 0 25 0 1 0 10008865 10641408 2154 1992294400 134512640 135751879 4286966688 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 2598 2154 147 303 0 2293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10392

[startup+6.30157 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 15052
/proc/meminfo: memFree=1693392/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=14292 CPUtime=6.29
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 3458 0 0 0 618 11 0 0 25 0 1 0 10008865 14635008 3130 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 3573 3130 148 303 0 3268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14292

[startup+12.7012 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 15052
/proc/meminfo: memFree=1686572/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=20516 CPUtime=12.68
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 5013 0 0 0 1254 14 0 0 25 0 1 0 10008865 21008384 4685 1992294400 134512640 135751879 4286966688 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 5129 4685 148 303 0 4824 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20516

[startup+25.5003 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 15052
/proc/meminfo: memFree=1675784/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=30796 CPUtime=25.48
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 7562 0 0 0 2525 23 0 0 25 0 1 0 10008865 31535104 7234 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 7699 7234 148 303 0 7394 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30796

[startup+51.1007 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1659168/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=47604 CPUtime=51.08
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 11769 0 0 0 5070 38 0 0 25 0 1 0 10008865 48746496 11441 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 11901 11441 148 303 0 11596 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47604

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

[startup+63.9009 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1651232/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=55420 CPUtime=63.88
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 13710 0 0 0 6344 44 0 0 25 0 1 0 10008865 56750080 13382 1992294400 134512640 135751879 4286966688 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 13855 13382 148 303 0 13550 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 55420

[startup+67.1092 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1649744/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=56700 CPUtime=67.08
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14031 0 0 0 6663 45 0 0 25 0 1 0 10008865 58060800 13703 1992294400 134512640 135751879 4286966688 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14175 13703 148 303 0 13870 0
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (KiB) 56700

[startup+70.3005 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1648132/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=58288 CPUtime=70.28
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14416 0 0 0 6982 46 0 0 25 0 1 0 10008865 59686912 14088 1992294400 134512640 135751879 4286966688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14572 14088 148 303 0 14267 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 58288

[startup+71.1006 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1648132/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=58672 CPUtime=71.08
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14511 0 0 0 7061 47 0 0 25 0 1 0 10008865 60080128 14183 1992294400 134512640 135751879 4286966688 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14668 14183 148 303 0 14363 0
Current children cumulated CPU time (s) 71.08
Current children cumulated vsize (KiB) 58672

[startup+71.9007 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=58928 CPUtime=71.87
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14587 0 0 0 7140 47 0 0 25 0 1 0 10008865 60342272 14259 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14732 14259 148 303 0 14427 0
Current children cumulated CPU time (s) 71.87
Current children cumulated vsize (KiB) 58928

[startup+72.3017 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=59056 CPUtime=72.27
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14630 0 0 0 7180 47 0 0 25 0 1 0 10008865 60473344 14302 1992294400 134512640 135751879 4286966688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14764 14302 148 303 0 14459 0
Current children cumulated CPU time (s) 72.27
Current children cumulated vsize (KiB) 59056

[startup+72.4017 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15054
/proc/meminfo: memFree=1647636/2059040 swapFree=4187148/4192956
[pid=15051] ppid=15049 vsize=59184 CPUtime=72.37
/proc/15051/stat : 15051 (wbo1.4b) R 15049 15051 14868 0 -1 4202496 14637 0 0 0 7190 47 0 0 25 0 1 0 10008865 60604416 14309 1992294400 134512640 135751879 4286966688 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15051/statm: 14796 14309 148 303 0 14491 0
Current children cumulated CPU time (s) 72.37
Current children cumulated vsize (KiB) 59184

Child status: 0
Real time (s): 72.4341
CPU time (s): 72.416
CPU user time (s): 71.9331
CPU system time (s): 0.482926
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 59184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.9331
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14641
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= 50

runsolver used 0.119981 second user time and 0.364944 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-16 13:19:30
IDJOB=2655748
IDBENCH=71837
IDSOLVER=1161
FILE ID=node048/2655748-1276687170
PBS_JOBID= 11172602
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc
RANDOM SEED=1146405146

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1705088 kB
Buffers:         99956 kB
Cached:         133596 kB
SwapCached:        280 kB
Active:         100364 kB
Inactive:       187068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1705088 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            3660 kB
Writeback:           0 kB
AnonPages:       53576 kB
Mapped:          15340 kB
Slab:            44680 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182752 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= 62452 MiB
End job on node048 at 2010-06-16 13:20:42