Trace number 353915

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, and are wall clock time (not CPU 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
bsolo 3.0.16SAT (TO)4426511 1800.11 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
MD5SUM3aa00837dd74901ce1879f04fea91920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1751040
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1751040
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 550843571711
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 550843571711
Number of bits of the biggest sum of numbers40
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb
0.00/0.00	c File size is 155881 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Highest Coefficient sum: 5.50844e+11
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.026 s
0.00/0.03	c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140
0.00/0.03	c Obj. Vars: 3100 (100 % of total variables)
0.00/0.06	c Pre-processing Time: 0.058 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   1418      140    15100  107     9167   30200      0      0 0.06
0.09/0.14	c      100   1418      240    25248  105     9404   33221    100   1408 0.07
0.09/0.14	c      254   1418      394    42298  107    10445   36544    254   2015 0.13
0.09/0.14	o 5075418	0.143
136.95/137.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
136.95/137.08	c      298   1418      439    50920  115    11896   33036    299   2055 0.14
136.95/137.08	c      398   1418      539    74479  138    12322   36340    399   1941 0.20
136.95/137.08	c      648   1418      789   181699  230    12644   39975    649   1723 0.38
136.95/137.08	c     1125   1418     1266   344241  271    13407   43973   1126   1794 0.63
136.95/137.08	c     1940   1418     2081   573550  275    14746   48371   1941   2018 0.96
136.95/137.08	c     3262   1418     3403   950767  279    17968   53209   3263   1897 1.72
136.95/137.08	c     5344   1418     5485  1282731  233    21579   58530   5345   2187 2.44
136.95/137.08	c     8568   1418     8709  2673243  306    28536   64384   8569   1227 6.98
136.95/137.08	c    13504   1418    13645  4097513  300    38072   70823  13505   1288 10.48
136.95/137.08	c    21010   1418    21151  7676245  362    53321   77906  21011    656 32.00
136.95/137.08	c    32371   1418    32512 12150044  373    76231   85697  32372    594 54.42
136.95/137.08	c    49515   1418    49656 16234889  326   110088   94267  49516    504 98.23
136.95/137.08	o 4952067	137.043
145.15/145.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.15/145.28	c    66067   1418    66209 20010748  302   144532   33036  66069    482 137.04
145.15/145.28	c    66167   1418    12566  2831436  225    36143   36340  12426    476 138.86
145.15/145.28	c    66418   1418    12817  2915076  227    36696   39975  12677    477 139.09
145.15/145.28	c    66893   1418    13292  3078757  231    37727   43973  13152    479 139.36
145.15/145.28	c    67709   1418    14108  3500773  248    39100   48371  13968    481 140.53
145.15/145.28	c    69029   1418    15428  3821854  247    41501   53209  15288    488 141.23
145.15/145.28	c    71111   1418    17510  4663884  266    46081   58530  17370    491 144.61
145.15/145.28	o 4941262	145.242
156.35/156.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
156.35/156.49	c    71889   1418    18289  4856411  265    48810   33036  18149    494 145.24
156.35/156.49	c    71991   1418    18391  4868811  264    48484   36340  18251    495 145.31
156.35/156.49	c    72242   1418    18642  4946268  265    49580   39975  18502    496 145.56
156.35/156.49	c    72717   1418    19117  5062302  264    50114   43973  18977    498 145.98
156.35/156.49	c    73530   1418    19930  5299285  265    52138   48371  19790    501 146.69
156.35/156.49	c    74850   1418    21250  5712188  268    54802   53209  21110    505 147.94
156.35/156.49	c    76935   1418    23335  6609294  283    58959   58530  23195    512 150.25
156.35/156.49	c    80159   1418    26559  7962289  299    65426   64384  26419    514 155.69
156.35/156.49	o 4426511	156.446
1799.99/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.60	c    81414   1418    27815  8274763  297    68643   33036  27675    520 156.45
1799.99/1800.60	c    81514   1418    27915  8323859  298    68777   36340  27775    520 156.69
1799.99/1800.60	c    81764   1418    28165  8381338  297    69017   39975  28025    521 156.85
1799.99/1800.60	c    82240   1418    28641  8508034  297    70114   43973  28501    522 157.36
1799.99/1800.60	c    83054   1418    29455  8782792  298    71510   48371  29315    524 158.40
1799.99/1800.60	c    84378   1418    30779  9423106  306    74015   53209  30639    526 160.38
1799.99/1800.60	c    86459   1418    32860 10356692  315    78061   58530  32720    529 163.43
1799.99/1800.60	c    89682   1418    36083 11500456  318    84321   64384  35943    535 167.57
1799.99/1800.60	c    94618   1418    41019 13244306  322    93719   70823  40879    546 172.98
1799.99/1800.60	c   102124   1418    48525 16230097  334   109046   77906  48385    556 183.62
1799.99/1800.60	c   113486   1418    59887 21519807  359   131867   85697  59747    535 212.09
1799.99/1800.60	c   130632   1418    77033 26394822  342   165687   94267  76893    526 248.06
1799.99/1800.60	c   156452   1418    18258  4492846  246    47608  103694  18118    472 331.02
1799.99/1800.60	c   195285   1418    57091 20701793  362   125310  114064  56951    384 508.14
1799.99/1800.60	c   253638   1418   115444 47868400  414   241986  125471 115304    217 1165.66
1799.99/1800.60	c Resources Exceeded
1799.99/1800.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
1799.99/1800.60	v -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
1799.99/1800.60	v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1799.99/1800.60	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1799.99/1800.60	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1799.99/1800.60	v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 x1028 x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037
1799.99/1800.60	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 -x1354
1799.99/1800.60	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1799.99/1800.60	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1799.99/1800.60	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1799.99/1800.60	v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022
1799.99/1800.60	v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039
1799.99/1800.60	v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1799.99/1800.60	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673
1799.99/1800.60	v -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1799.99/1800.60	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71
1799.99/1800.60	v -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
1799.99/1800.60	v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1799.99/1800.60	v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139
1799.99/1800.60	v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
1799.99/1800.60	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181
1799.99/1800.60	v x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203
1799.99/1800.60	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
1799.99/1800.60	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245
1799.99/1800.60	v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
1799.99/1800.60	v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
1799.99/1800.60	v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308
1799.99/1800.60	v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
1799.99/1800.60	v -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351
1799.99/1800.60	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1799.99/1800.60	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.99/1800.60	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.99/1800.60	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.99/1800.60	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1799.99/1800.60	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1799.99/1800.60	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1799.99/1800.60	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1799.99/1800.60	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1799.99/1800.60	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1799.99/1800.60	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1799.99/1800.60	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1799.99/1800.60	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
1799.99/1800.60	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675
1799.99/1800.60	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726
1799.99/1800.60	v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747
1799.99/1800.60	v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768
1799.99/1800.60	v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1799.99/1800.60	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
1799.99/1800.60	v -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831
1799.99/1800.60	v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852
1799.99/1800.60	v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873
1799.99/1800.60	v x874 x875 x876 x877 x878 x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895
1799.99/1800.60	v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916
1799.99/1800.60	v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937
1799.99/1800.60	v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958
1799.99/1800.60	v -x959 -x960 x961 x962 -x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
1799.99/1800.60	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1799.99/1800.60	v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
1799.99/1800.60	v -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065
1799.99/1800.60	v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
1799.99/1800.60	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099
1799.99/1800.60	v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116
1799.99/1800.60	v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133
1799.99/1800.60	v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1799.99/1800.60	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1799.99/1800.60	v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1799.99/1800.60	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1799.99/1800.60	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1799.99/1800.60	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1799.99/1800.60	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252
1799.99/1800.60	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1799.99/1800.60	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286
1799.99/1800.60	v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303
1799.99/1800.60	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
1799.99/1800.60	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
1799.99/1800.60	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384
1799.99/1800.60	v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1799.99/1800.60	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1799.99/1800.60	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1799.99/1800.60	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
1799.99/1800.60	v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
1799.99/1800.60	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1799.99/1800.60	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503
1799.99/1800.60	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
1799.99/1800.60	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1799.99/1800.60	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1799.99/1800.60	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571
1799.99/1800.60	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1799.99/1800.60	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1799.99/1800.60	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1799.99/1800.60	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1799.99/1800.60	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 x1655 x1656 x1657
1799.99/1800.60	v x1658 x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1799.99/1800.60	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1799.99/1800.60	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1799.99/1800.60	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1799.99/1800.60	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1799.99/1800.60	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1799.99/1800.60	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807
1799.99/1800.60	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
1799.99/1800.60	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 -x1842 -x1843
1799.99/1800.60	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1799.99/1800.60	v x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879
1799.99/1800.60	v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1799.99/1800.60	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913
1799.99/1800.60	v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930
1799.99/1800.60	v x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1799.99/1800.60	v -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966
1799.99/1800.60	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1799.99/1800.60	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1799.99/1800.60	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1799.99/1800.60	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1799.99/1800.60	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1799.99/1800.60	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1799.99/1800.60	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115
1799.99/1800.60	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1799.99/1800.60	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1799.99/1800.60	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1799.99/1800.60	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1799.99/1800.60	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1799.99/1800.60	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1799.99/1800.60	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1799.99/1800.60	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1799.99/1800.60	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1799.99/1800.60	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1799.99/1800.60	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1799.99/1800.60	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1799.99/1800.60	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1799.99/1800.60	v -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383
1799.99/1800.60	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1799.99/1800.60	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1799.99/1800.60	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1799.99/1800.60	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
1799.99/1800.60	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1799.99/1800.60	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1799.99/1800.60	v -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504
1799.99/1800.60	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1799.99/1800.60	v -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1799.99/1800.60	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1799.99/1800.60	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1799.99/1800.60	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 x2584 x2585 x2586 x2587 x2588 -x2589 x2590
1799.99/1800.60	v x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1799.99/1800.60	v -x2609 -x2610 x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626
1799.99/1800.60	v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1799.99/1800.60	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1799.99/1800.60	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707
1799.99/1800.60	v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1799.99/1800.60	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1799.99/1800.60	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1799.99/1800.60	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1799.99/1800.60	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1799.99/1800.60	v -x2793 x2794 x2795 x2796 -x2797 x2798 x2799 x2800 -x2801 x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
1799.99/1800.60	v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1799.99/1800.60	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845
1799.99/1800.60	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862
1799.99/1800.60	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1799.99/1800.60	v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1799.99/1800.60	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914
1799.99/1800.60	v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931
1799.99/1800.60	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1799.99/1800.60	v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1799.99/1800.60	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983
1799.99/1800.60	v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1799.99/1800.60	v -x3001 -x3002 -x3013 -x3024 x3035 -x3046 -x3057 -x3068 -x3079 x3090 -x3003 -x3004 -x3005 x3006 x3007 -x3008 -x3009 -x3010
1799.99/1800.60	v -x3011 x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3025 -x3026 -x3027 x3028 -x3029 x3030
1799.99/1800.60	v -x3031 -x3032 x3033 -x3034 x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050
1799.99/1800.60	v x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3058 -x3059 -x3060 -x3061 x3062 x3063 -x3064 x3065 x3066 -x3067 -x3069 -x3070
1799.99/1800.60	v x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 x3087 x3088 -x3089
1799.99/1800.60	v -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 x3100
1799.99/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.61	c   44   319596  32216   438480    65590 32380186  65450    177 1800.00
1799.99/1800.61	c Objective: 4426511
1799.99/1800.61	s SATISFIABLE
1799.99/1800.61	c Total time: 1800 s

Verifier Data (download as text)

OK	4426511

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node55/watcher-353915-1176688272 -o ROOT/results/node55/solver-353915-1176688272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.03 0.97 3/64 11404
/proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=11892 CPUtime=0
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 116737213 12177408 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 2973 335 281 324 0 2003 0

[startup+0.0827711 s]
/proc/loadavg: 1.02 1.03 0.97 3/64 11404
/proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=5056 CPUtime=0.07
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 704 0 0 0 7 0 0 0 18 0 1 0 116737213 5177344 630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 1264 630 311 324 0 333 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5056

[startup+0.101772 s]
/proc/loadavg: 1.02 1.03 0.97 3/64 11404
/proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=5056 CPUtime=0.09
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 721 0 0 0 9 0 0 0 18 0 1 0 116737213 5177344 647 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 1264 647 311 324 0 333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5056

[startup+0.301791 s]
/proc/loadavg: 1.02 1.03 0.97 3/64 11404
/proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=6460 CPUtime=0.29
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 1053 0 0 0 29 0 0 0 19 0 1 0 116737213 6615040 979 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 1615 979 313 324 0 684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6460

[startup+0.701829 s]
/proc/loadavg: 1.02 1.03 0.97 3/64 11404
/proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=9940 CPUtime=0.69
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 1935 0 0 0 68 1 0 0 22 0 1 0 116737213 10178560 1861 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 2485 1861 313 324 0 1554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9940

[startup+1.50191 s]
/proc/loadavg: 1.02 1.03 0.97 2/65 11405
/proc/meminfo: memFree=1732276/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=15884 CPUtime=1.49
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 3410 0 0 0 148 1 0 0 25 0 1 0 116737213 16265216 3336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 3971 3338 313 324 0 3040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15884

[startup+3.10106 s]
/proc/loadavg: 1.02 1.03 0.97 2/65 11405
/proc/meminfo: memFree=1724788/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=24636 CPUtime=3.09
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 5603 0 0 0 307 2 0 0 25 0 1 0 116737213 25227264 5529 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 6159 5529 313 324 0 5228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24636

[startup+6.30136 s]
/proc/loadavg: 1.02 1.03 0.97 2/65 11405
/proc/meminfo: memFree=1710260/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=37144 CPUtime=6.29
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 8730 0 0 0 625 4 0 0 25 0 1 0 116737213 38035456 8656 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 9286 8656 313 324 0 8355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37144

[startup+12.702 s]
/proc/loadavg: 1.02 1.03 0.97 2/65 11405
/proc/meminfo: memFree=1679548/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=67056 CPUtime=12.69
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 16225 0 0 0 1262 7 0 0 25 0 1 0 116737213 68665344 16151 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 16764 16151 313 324 0 15833 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67056

[startup+25.5012 s]
/proc/loadavg: 1.01 1.03 0.97 2/65 11405
/proc/meminfo: memFree=1649676/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=95144 CPUtime=25.48
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 23235 0 0 0 2536 12 0 0 25 0 1 0 116737213 97427456 23161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 23786 23161 313 324 0 22855 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95144

[startup+51.1016 s]
/proc/loadavg: 1.01 1.02 0.97 2/65 11405
/proc/meminfo: memFree=1588748/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=156692 CPUtime=51.07
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 38633 0 0 0 5087 20 0 0 25 0 1 0 116737213 160452608 38559 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 39173 38559 313 324 0 38242 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 156692

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 0.97 2/65 11405
/proc/meminfo: memFree=1520524/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=223796 CPUtime=102.26
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 55401 0 0 0 10192 34 0 0 25 0 1 0 116737213 229167104 55327 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 55949 55327 313 324 0 55018 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 223796

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 11405
/proc/meminfo: memFree=1477324/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=266560 CPUtime=162.25
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 66145 0 0 0 16178 47 0 0 25 0 1 0 116737213 272957440 66006 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 66640 66006 313 324 0 65709 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 266560

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 11405
/proc/meminfo: memFree=1435724/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=308504 CPUtime=222.23
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 76643 0 0 0 22163 60 0 0 25 0 1 0 116737213 315908096 76504 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 77126 76504 313 324 0 76195 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 308504

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1354124/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=390552 CPUtime=282.21
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 97168 0 0 0 28142 79 0 0 25 0 1 0 116737213 399925248 97029 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 97638 97029 313 324 0 96707 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 390552

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1319116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=424240 CPUtime=342.19
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 34127 92 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 106060 105442 313 324 0 105129 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 424240

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1319116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=424240 CPUtime=402.19
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 40124 95 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 106060 105442 313 324 0 105129 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 424240

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1319244/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=424240 CPUtime=462.17
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 46121 96 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 106060 105442 313 324 0 105129 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 424240

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1319308/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=424240 CPUtime=522.16
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 52117 99 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 106060 105442 313 324 0 105129 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 424240

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11405
/proc/meminfo: memFree=1319308/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=424240 CPUtime=582.14
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 58113 101 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 106060 105442 313 324 0 105129 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 424240

[startup+642.302 s]
/proc/loadavg: 1.04 1.01 0.98 2/71 11581
/proc/meminfo: memFree=1313844/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=428328 CPUtime=642.04
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 106688 0 0 0 64101 103 0 0 25 0 1 0 116737213 438607872 106454 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 107082 106454 313 324 0 106151 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 428328


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

[startup+882.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 12013
/proc/meminfo: memFree=1197580/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=518800 CPUtime=881.92
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 129298 0 0 0 88066 126 0 0 25 0 1 0 116737213 531251200 129064 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 129700 129064 313 324 0 128769 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 518800

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12013
/proc/meminfo: memFree=1181388/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=535004 CPUtime=941.89
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 133370 0 0 0 94060 129 0 0 25 0 1 0 116737213 547844096 133136 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 133751 133136 313 324 0 132820 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 535004

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12013
/proc/meminfo: memFree=1163084/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=553088 CPUtime=1001.88
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 137893 0 0 0 100053 135 0 0 25 0 1 0 116737213 566362112 137659 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 138272 137659 313 324 0 137341 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 553088

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12013
/proc/meminfo: memFree=1138444/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=578128 CPUtime=1061.86
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 144154 0 0 0 106045 141 0 0 25 0 1 0 116737213 592003072 143920 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 144532 143920 313 324 0 143601 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 578128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12013
/proc/meminfo: memFree=1109324/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=607032 CPUtime=1121.85
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 151360 0 0 0 112038 147 0 0 25 0 1 0 116737213 621600768 151126 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 151758 151126 313 324 0 150827 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 607032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=1050380/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=667560 CPUtime=1181.84
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 166502 0 0 0 118025 159 0 0 25 0 1 0 116737213 683581440 166268 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 166890 166268 313 324 0 165959 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 667560

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1241.83
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 124014 169 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 716612

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1301.81
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 130012 169 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 716612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1361.8
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 136009 171 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 716612

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1421.78
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 142006 172 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 716612

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1481.77
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 148003 174 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 716612

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1541.75
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 154000 175 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 716612

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1601.73
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 159997 176 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 716612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1661.72
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 165994 178 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 716612

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1721.7
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 171992 178 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 716612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=716612 CPUtime=1781.7
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 177990 180 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 179153 178522 313 324 0 178222 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 716612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=1656332/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=0 CPUtime=1800.09
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194308 178883 0 0 0 179820 189 0 0 17 0 1 0 116737213 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12013
/proc/meminfo: memFree=1656332/2055920 swapFree=4184748/4192956
[pid=11404] ppid=11402 vsize=0 CPUtime=1800.09
/proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194308 178883 0 0 0 179820 189 0 0 17 0 1 0 116737213 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11404/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1798.2
CPU system time (s): 1.90671
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 717116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.90671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178883
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= 14
involuntary context switches= 3478

runsolver used 1.22181 second user time and 3.77043 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Apr 16 01:51:12 UTC 2007

IDJOB= 353915
IDBENCH= 2291
IDSOLVER= 163
FILE ID= node55/353915-1176688272

PBS_JOBID= 4559987

Free space on /tmp= 66513 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-353915-1176688272 -o ROOT/results/node55/solver-353915-1176688272 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3aa00837dd74901ce1879f04fea91920

RANDOM SEED= 718321807

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.216
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.216
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:       1741460 kB
Buffers:         19560 kB
Cached:         213524 kB
SwapCached:       2060 kB
Active:         103964 kB
Inactive:       138640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1741460 kB
SwapTotal:     4192956 kB
SwapFree:      4184748 kB
Dirty:            4536 kB
Writeback:           0 kB
Mapped:          16580 kB
Slab:            57900 kB
Committed_AS:  1028576 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66513 MiB

End job on node55 on Mon Apr 16 02:21:15 UTC 2007