Trace number 1879733

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT-45 1798.13 1798.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1795.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879733-1245247704.opb
0.00/0.00	c File size is 218792 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.031 s
0.00/0.03	c Var: 2882 Constr: 5566 2682/402/2482 Lit: 21056 Watch. Lit: 18176
0.00/0.03	c Obj. Vars: 200 (6.93963 % of total variables)
0.59/0.64	c Pre-processing Time: 0.638 s
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c        0   2882     5566    21056    3    18176   37326      0      0 0.64
0.59/0.64	c Switching off lower bounding mode.
0.59/0.64	o -1
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c        0   2882     5567    21256    3    18179   37459      1      0 0.64
0.59/0.65	o -2
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c        1   2882     5570    21856    3    18188   37526      4      1 0.65
0.59/0.66	o -3
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c        2   2882     5573    22469    4    18199   37592      7      3 0.67
0.59/0.67	o -4
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c        4   2882     5578    23102    4    18230   37659     12      5 0.68
0.59/0.69	o -5
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c        7   2882     5585    24711    4    18469   37726     19     10 0.69
0.69/0.70	o -6
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c        8   2882     5588    25313    4    18485   37792     22     11 0.70
0.69/0.72	o -7
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c       11   2882     5595    26336    4    18526   37859     29     15 0.73
0.69/0.75	o -8
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c       16   2882     5606    27810    4    18621   37926     40     21 0.75
0.69/0.76	o -9
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c       18   2882     5611    28843    5    18670   37992     45     23 0.76
0.69/0.77	o -10
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c       20   2882     5616    29876    5    18722   38059     50     25 0.77
0.69/0.78	o -11
0.79/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.80	c       22   2882     5621    30909    5    18777   38126     55     27 0.79
0.79/0.80	o -12
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c       24   2882     5626    31998    5    18821   38192     60     29 0.81
0.79/0.81	o -13
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c       28   2882     5635    33466    5    18926   38259     69     34 0.82
0.79/0.83	o -14
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c       33   2882     5646    35040    6    19035   38326     80     39 0.83
0.79/0.84	o -15
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c       39   2882     5659    36547    6    19176   38326     93     46 0.85
0.79/0.85	o -16
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c       45   2882     5672    38075    6    19332   38326    106     52 0.86
0.79/0.87	o -17
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c       49   2882     5681    39562    6    19454   38326    115     56 0.87
0.79/0.88	o -18
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c       52   2882     5688    41037    7    19565   38326    122     59 0.88
0.79/0.89	o -19
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c       56   2882     5697    42530    7    19692   38326    131     62 0.89
0.79/0.89	o -20
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c       59   2882     5704    44015    7    19811   38326    138     65 0.90
0.89/0.90	o -21
0.89/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.92	c       64   2882     5715    45537    7    19963   38326    149     70 0.91
0.89/0.92	o -22
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c       77   2882     5742    47205    8    20239   38326    176     83 0.92
0.89/0.93	o -23
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c       90   2882     5769    49378    8    20531   38326    203     96 0.93
0.89/0.94	o -24
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c       94   2882     5778    51273    8    20707   38326    212     99 0.94
0.89/0.95	o -25
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c      102   2882     5795    53601    9    20974   38326    229    107 0.95
0.89/0.96	o -26
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c      109   2882     5810    55915    9    21234   38326    244    113 0.96
0.89/0.97	o -27
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c      124   2882     5841    58368    9    21625   38326    275    127 0.97
0.89/0.98	o -28
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c      135   2882     5864    60911   10    21946   38326    298    137 0.98
0.89/0.99	o -29
0.89/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/1.00	c      141   2882     5877    62831   10    22174   38326    311    142 0.99
0.89/1.00	o -30
1.00/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.01	c      160   2882     5916    64968   10    22597   38326    350    159 1.00
1.00/1.01	o -31
1.00/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.02	c      167   2882     5931    66906   11    22851   38326    365    165 1.01
1.00/1.02	o -32
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c      173   2882     5944    68825   11    23093   38326    378    169 1.02
1.00/1.03	o -33
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c      182   2882     5963    72034   12    23476   38326    397    176 1.03
1.00/1.04	o -34
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c      189   2882     5978    74314   12    23777   38326    412    181 1.04
1.00/1.05	o -35
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c      202   2882     6005    76698   12    24181   38326    439    192 1.05
1.00/1.05	o -36
1.00/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.07	c      210   2882     6022    78996   13    24516   38326    456    198 1.06
1.00/1.07	o -37
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c      260   2882     6123    82696   13    25564   38326    557    241 1.08
1.10/1.13	o -38
2.69/2.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.74	c      352   2882     6308    98342   15    30376   38326    742    310 1.13
2.69/2.74	c      454   2882     6512   158481   24    53769   42159    946    347 1.31
2.69/2.74	c      704   2882     7012   262996   37    99053   46375   1446    355 1.98
2.69/2.74	o -39
2.69/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.76	c      918   2882     7441   358679   48   141959   38326   1875    334 2.74
2.69/2.76	o -40
2.79/2.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.80	c      930   2882     7466   362792   48   142459   38326   1900    335 2.77
2.79/2.80	o -41
2.79/2.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.82	c      946   2882     7499   366962   48   142407   38326   1933    337 2.80
2.79/2.82	o -42
2.79/2.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.85	c      955   2882     7518   370505   49   143009   38326   1952    338 2.82
2.79/2.85	o -43
2.79/2.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.86	c      970   2882     7549   374492   49   143119   38326   1983    339 2.85
2.79/2.86	o -44
2.79/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.90	c      975   2882     7560   376769   49   142924   38326   1994    340 2.87
2.79/2.90	o -45
1798.07/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.07/1798.60	c      990   2882     7591   378820   49   141399   38326   2025    341 2.90
1798.07/1798.60	c     1090   2882     7791   391480   50   138009   42159   2225    348 3.13
1798.07/1798.60	c     1341   2882     8267   476862   57   164135   46375   2701    330 4.06
1798.07/1798.60	c     1816   2882     9205   666638   72   202776   51013   3639    261 6.95
1798.07/1798.60	c     2629   2882    10830  1127223  104   302373   56115   5264    178 14.70
1798.07/1798.60	c     3949   2882    13469  1815905  134   439435   61727   7903    129 30.50
1798.07/1798.60	c     6030   2882    17629  2976626  168   662081   67900  12063     86 69.51
1798.07/1798.60	c     9253   2882    24070  4606663  191   970749   74691  18504     61 151.00
1798.07/1798.60	c    14189   2882    33928  7754399  228  1635632   82161  28362     35 395.58
1798.07/1798.60	c    21695   2882    48875 12432195  254  2630924   90378  43309     22 984.09
1798.07/1798.60	c Resources Exceeded
1798.07/1798.60	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 -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 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 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 
1798.07/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.07/1798.60	c   56    28717   4343    51760    62885 16966996  57319     15 1798.08
1798.07/1798.60	c Objective: -45
1798.07/1798.60	s SATISFIABLE
1798.07/1798.60	c Total time: 1798.08 s

Verifier Data 

OK	-45

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879733-1245247704/watcher-1879733-1245247704 -o /tmp/evaluation-result-1879733-1245247704/solver-1879733-1245247704 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879733-1245247704.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14390
/proc/meminfo: memFree=1850728/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=10932 CPUtime=0
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 192367655 11194368 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 2733 244 174 640 0 2035 0

[startup+0.0977549 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14390
/proc/meminfo: memFree=1850728/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=12104 CPUtime=0.09
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 192367655 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 3026 608 189 640 0 2382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12104

[startup+0.101754 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14390
/proc/meminfo: memFree=1850728/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=12104 CPUtime=0.09
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 192367655 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 3026 608 189 640 0 2382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12104

[startup+0.301776 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14390
/proc/meminfo: memFree=1850728/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=12104 CPUtime=0.29
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 678 0 0 0 29 0 0 0 19 0 1 0 192367655 12394496 608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 3026 608 189 640 0 2382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12104

[startup+0.701821 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14390
/proc/meminfo: memFree=1850728/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=12480 CPUtime=0.69
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 826 0 0 0 68 1 0 0 22 0 1 0 192367655 12779520 696 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 3120 696 197 640 0 2476 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12480

[startup+1.50291 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1848224/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=15860 CPUtime=1.49
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 1676 0 0 0 147 2 0 0 25 0 1 0 192367655 16240640 1546 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 3965 1546 197 640 0 3321 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15860

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1843424/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=19956 CPUtime=3.09
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 2705 0 0 0 306 3 0 0 25 0 1 0 192367655 20434944 2575 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 4989 2575 197 640 0 4345 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19956

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1837600/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=24460 CPUtime=6.29
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 3826 0 0 0 625 4 0 0 25 0 1 0 192367655 25047040 3696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 6115 3696 197 640 0 5471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24460

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1830304/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=31236 CPUtime=12.69
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 5509 0 0 0 1264 5 0 0 25 0 1 0 192367655 31985664 5379 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 7809 5379 198 640 0 7165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31236

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1819360/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=41680 CPUtime=25.49
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 8118 0 0 0 2542 7 0 0 25 0 1 0 192367655 42680320 7988 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 10420 7988 198 640 0 9776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41680

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1803808/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=57168 CPUtime=51.07
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 12007 0 0 0 5098 9 0 0 25 0 1 0 192367655 58540032 11877 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 14292 11877 198 640 0 13648 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57168

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1782304/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=78488 CPUtime=102.26
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 17328 0 0 0 10212 14 0 0 25 0 1 0 192367655 80371712 17198 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 19622 17198 198 640 0 18978 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78488

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1763360/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=97476 CPUtime=162.24
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 22068 0 0 0 16206 18 0 0 25 0 1 0 192367655 99815424 21938 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 24369 21938 198 640 0 23725 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97476

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1747808/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=112804 CPUtime=222.23
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 25920 0 0 0 22201 22 0 0 25 0 1 0 192367655 115511296 25790 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 28201 25790 198 640 0 27557 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 112804

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1733536/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=127240 CPUtime=282.21
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 29517 0 0 0 28196 25 0 0 25 0 1 0 192367655 130293760 29387 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 31810 29387 198 640 0 31166 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127240

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1720544/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=140008 CPUtime=342.19
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 32725 0 0 0 34192 27 0 0 25 0 1 0 192367655 143368192 32595 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 35002 32595 198 640 0 34358 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 140008

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1709152/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=151472 CPUtime=402.17
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 35575 0 0 0 40187 30 0 0 25 0 1 0 192367655 155107328 35445 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 37868 35445 198 640 0 37224 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 151472

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1699104/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=161388 CPUtime=462.16
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 38056 0 0 0 46184 32 0 0 25 0 1 0 192367655 165261312 37926 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 40347 37926 198 640 0 39703 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 161388

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1690656/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=169876 CPUtime=522.14
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 40190 0 0 0 52181 33 0 0 25 0 1 0 192367655 173953024 40060 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 42469 40060 198 640 0 41825 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 169876

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1681760/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=178576 CPUtime=582.12
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 42363 0 0 0 58177 35 0 0 25 0 1 0 192367655 182861824 42233 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 44644 42233 198 640 0 44000 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 178576

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1672672/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=187624 CPUtime=642.11
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 44628 0 0 0 64174 37 0 0 25 0 1 0 192367655 192126976 44498 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 46906 44498 198 640 0 46262 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 187624

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1610400/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=249556 CPUtime=1121.96
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 60114 0 0 0 112147 49 0 0 25 0 1 0 192367655 255545344 59984 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 62389 59984 198 640 0 61745 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 249556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14391
/proc/meminfo: memFree=1604640/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=255472 CPUtime=1181.95
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 61570 0 0 0 118144 51 0 0 25 0 1 0 192367655 261603328 61440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 63868 61440 198 640 0 63224 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 255472

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1597280/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=262676 CPUtime=1241.93
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 63376 0 0 0 124140 53 0 0 25 0 1 0 192367655 268980224 63246 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 65669 63246 198 640 0 65025 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 262676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1591008/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=268864 CPUtime=1301.91
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 64923 0 0 0 130137 54 0 0 25 0 1 0 192367655 275316736 64793 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 67216 64793 198 640 0 66572 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 268864

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1584416/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=275572 CPUtime=1361.89
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 66591 0 0 0 136133 56 0 0 25 0 1 0 192367655 282185728 66461 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 68893 66461 198 640 0 68249 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 275572

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1580000/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=279876 CPUtime=1421.88
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 67671 0 0 0 142131 57 0 0 25 0 1 0 192367655 286593024 67541 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 69969 67541 198 640 0 69325 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 279876

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1574304/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=285516 CPUtime=1481.86
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 69097 0 0 0 148127 59 0 0 25 0 1 0 192367655 292368384 68967 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 71379 68967 198 640 0 70735 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 285516

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1568800/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=290948 CPUtime=1541.84
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 70458 0 0 0 154124 60 0 0 25 0 1 0 192367655 297930752 70328 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 72737 70328 198 640 0 72093 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 290948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1562528/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=297336 CPUtime=1601.83
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 72033 0 0 0 160121 62 0 0 25 0 1 0 192367655 304472064 71903 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 74334 71903 198 640 0 73690 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 297336

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1556448/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=303320 CPUtime=1661.81
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 73546 0 0 0 166118 63 0 0 25 0 1 0 192367655 310599680 73416 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 75830 73416 198 640 0 75186 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 303320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1551840/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=307880 CPUtime=1721.79
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 74679 0 0 0 172116 63 0 0 25 0 1 0 192367655 315269120 74549 1992294400 134512640 137136520 4294956256 18446744073709551615 134544774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 76970 74549 198 640 0 76326 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 307880

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1545824/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=313884 CPUtime=1781.77
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76176 0 0 0 178112 65 0 0 25 0 1 0 192367655 321417216 76046 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78471 76046 198 640 0 77827 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 313884

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1545184/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=314456 CPUtime=1791.37
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76323 0 0 0 179072 65 0 0 25 0 1 0 192367655 322002944 76193 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78614 76193 198 640 0 77970 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 314456

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544928/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=314688 CPUtime=1794.57
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76397 0 0 0 179392 65 0 0 25 0 1 0 192367655 322240512 76267 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78672 76267 198 640 0 78028 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 314688

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544672/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=315056 CPUtime=1796.17
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76462 0 0 0 179552 65 0 0 25 0 1 0 192367655 322617344 76332 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78764 76332 198 640 0 78120 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 315056

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544608/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=315056 CPUtime=1796.97
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76473 0 0 0 179632 65 0 0 25 0 1 0 192367655 322617344 76343 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78764 76343 198 640 0 78120 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 315056

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544608/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=315056 CPUtime=1797.77
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76485 0 0 0 179712 65 0 0 25 0 1 0 192367655 322617344 76355 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78764 76355 198 640 0 78120 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 315056

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544544/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=315172 CPUtime=1797.97
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76491 0 0 0 179732 65 0 0 25 0 1 0 192367655 322736128 76361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78793 76361 198 640 0 78149 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 315172

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14391
/proc/meminfo: memFree=1544544/2055920 swapFree=4181976/4192956
[pid=14390] ppid=14388 vsize=315172 CPUtime=1798.07
/proc/14390/stat : 14390 (bsolo) R 14388 14390 13655 0 -1 4194304 76494 0 0 0 179742 65 0 0 25 0 1 0 192367655 322736128 76364 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14390/statm: 78793 76364 198 640 0 78149 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 315172

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.13
CPU user time (s): 1797.43
CPU system time (s): 0.708892
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 315172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 0.708892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76496
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= 2
involuntary context switches= 3021

runsolver used 1.25881 second user time and 3.88741 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-17 16:08:25
IDJOB=1879733
IDBENCH=48283
IDSOLVER=701
FILE ID=node38/1879733-1245247704
PBS_JOBID= 9372301
Free space on /tmp= 66232 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879733-1245247704/watcher-1879733-1245247704 -o /tmp/evaluation-result-1879733-1245247704/solver-1879733-1245247704 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879733-1245247704.opb

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=1667230424

node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.232
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.232
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1851400 kB
Buffers:         19324 kB
Cached:         112024 kB
SwapCached:       4992 kB
Active:          28928 kB
Inactive:       110544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851400 kB
SwapTotal:     4192956 kB
SwapFree:      4181976 kB
Dirty:            4012 kB
Writeback:           0 kB
Mapped:          14396 kB
Slab:            51076 kB
Committed_AS:   180364 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879733-1245247704.opb

Free space on /tmp at the end= 66228 MiB
End job on node38 at 2009-06-17 16:38:23