Trace number 433157

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.17SAT (TO)105108903 1800.14 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
MD5SUMa6e8ee977a9ad5045237a2abc87084b8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark100429824
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72779466
Optimality of the best value was proved NO
Number of variables2976
Total number of constraints116
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 constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 412316860416
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 35253236940736
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 412316860416
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 35253236940736
Number of bits of the biggest sum of numbers46
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433157-1177955654/instance-433157-1177955654.opb
0.00/0.00	c File size is 154675 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Highest Coefficient sum: 3.52532e+13
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.024 s
0.00/0.03	c Var: 2976 Constr: 136 0/0/136 Lit: 14496 Watch. Lit: 8776
0.00/0.03	c Obj. Vars: 2976 (100 % of total variables)
0.00/0.05	c Pre-processing Time: 0.052 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0   1463      136    14496  106     8811   28992      0      0 0.05
0.00/0.07	o 134914552	0.075
3.89/3.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.94	c       95   1463      232    25905  111    10934   31918     96   1250 0.08
3.89/3.94	c      195   1463      332    68154  205    11598   35110    196   1413 0.14
3.89/3.94	c      445   1463      582   130541  224    11717   38622    446   1718 0.26
3.89/3.94	c      920   1463     1057   230695  218    13286   42485    921   1851 0.50
3.89/3.94	c     1735   1463     1872   653899  349    14648   46734   1736   1532 1.13
3.89/3.94	c     3058   1463     3195   895486  280    16763   51408   3059   1826 1.67
3.89/3.94	c     5140   1463     5277  1969956  373    21492   56549   5141   1436 3.58
3.89/3.94	o 126673864	3.937
4.10/4.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.10/4.13	c     6250   1463     6388  2162723  338    24814   31918   6252   1587 3.94
4.10/4.13	c     6351   1463     6489  2174923  335    24813   35110   6353   1601 3.96
4.10/4.13	c     6602   1463     6740  2233373  331    25645   38622   6604   1608 4.10
4.10/4.13	o 110112768	4.134
5.09/5.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.13	c     6651   1463     6790  2241413  330    26878   31918   6654   1608 4.13
5.09/5.13	c     6751   1463     6890  2282743  331    27158   35110   6754   1594 4.24
5.09/5.13	c     7001   1463     7140  2361377  330    27453   38622   7004   1586 4.41
5.09/5.13	c     7477   1463     7616  2487984  326    28692   42485   7480   1563 4.78
5.09/5.13	o 110097711	5.126
12.38/12.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.38/12.49	c     7915   1463     8055  2556962  317    30755   31918   7919   1543 5.13
12.38/12.49	c     8015   1463     8155  2584900  316    31027   35110   8019   1536 5.21
12.38/12.49	c     8265   1463     8405  2634743  313    31837   38622   8269   1545 5.35
12.38/12.49	c     8741   1463     8881  2809108  316    32506   42485   8745   1479 5.91
12.38/12.49	c     9554   1463     9694  3047333  314    33413   46734   9558   1466 6.52
12.38/12.49	c    10875   1463    11015  3727752  338    36602   51408  10879   1338 8.12
12.38/12.49	c    12956   1463    13096  4396661  335    40861   56549  12960   1282 10.11
12.38/12.49	o 110041868	12.482
37.38/37.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.38/37.48	c    15122   1463    15263  5312243  348    46539   31918  15127   1211 12.48
37.38/37.48	c    15222   1463    15363  5339961  347    46558   35110  15227   1210 12.57
37.38/37.48	c    15473   1463    15614  5408733  346    46632   38622  15478   1213 12.75
37.38/37.48	c    15949   1463    16090  5544454  344    48095   42485  15954   1199 13.29
37.38/37.48	c    16762   1463    16903  5802594  343    50322   46734  16767   1178 14.22
37.38/37.48	c    18083   1463    18224  5997053  329    52047   51408  18088   1228 14.72
37.38/37.48	c    20165   1463    20306  6570573  323    57059   56549  20170   1198 16.82
37.38/37.48	c    23388   1463    23529  7219282  306    63294   62204  23393   1107 21.11
37.38/37.48	c    28325   1463    28466  8729293  306    73194   68425  28330   1049 26.99
37.38/37.48	o 109955935	37.47
176.64/176.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.64/176.76	c    33459   1463    33601 11529681  343    84415   31918  33465    892 37.47
176.64/176.76	c    33560   1463    11486  4608560  401    33133   35110  11350    889 37.72
176.64/176.76	c    33810   1463    11736  4676587  398    34125   38622  11600    892 37.87
176.64/176.76	c    34285   1463    12211  4830765  395    35317   42485  12075    896 38.23
176.64/176.76	c    35099   1463    13025  4975999  382    36423   46734  12889    902 38.89
176.64/176.76	c    36419   1463    14345  5490847  382    39671   51408  14209    907 40.12
176.64/176.76	c    38500   1463    16426  6038872  367    44003   56549  16290    926 41.55
176.64/176.76	c    41723   1463    19649  7196906  366    50074   62204  19513    930 44.85
176.64/176.76	c    46660   1463    24586  8710701  354    60133   68425  24450    928 50.26
176.64/176.76	c    54167   1463    32093 12173976  379    75091   75268  31957    902 60.02
176.64/176.76	c    65529   1463    43455 17331008  398    97630   82795  43319    778 84.16
176.64/176.76	c    82673   1463    60599 24224471  399   131968   91075  60463    674 122.64
176.64/176.76	c   108493   1463    86419 37491040  433   183644  100183  86283    615 176.19
176.64/176.76	o 109243063	176.716
182.74/182.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.74/182.86	c   108792   1463    86719 37535108  432   185535   31918  86583    615 176.72
182.74/182.86	c   108892   1463    12593  6397314  508    36120   35110  12457    605 179.91
182.74/182.86	c   109143   1463    12844  6508416  506    36677   38622  12708    605 180.17
182.74/182.86	c   109618   1463    13319  6709005  503    37423   42485  13183    607 180.55
182.74/182.86	c   110432   1463    14133  7011349  496    39119   46734  13997    609 181.10
182.74/182.86	c   111753   1463    15454  7555295  488    41825   51408  15318    612 182.32
182.74/182.86	o 107071950	182.816
641.93/642.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
641.93/642.24	c   112249   1463    15951  7824978  490    43852   31918  15815    613 182.82
641.93/642.24	c   112349   1463    16051  7843501  488    43721   35110  15915    614 182.91
641.93/642.24	c   112600   1463    16302  7933857  486    44841   38622  16166    614 183.22
641.93/642.24	c   113076   1463    16778  8021329  478    45902   42485  16642    614 184.00
641.93/642.24	c   113889   1463    17591  8183694  465    47749   46734  17455    610 186.59
641.93/642.24	c   115211   1463    18913  8744162  462    50075   51408  18777    609 188.96
641.93/642.24	c   117292   1463    20994  9340702  444    54320   56549  20858    613 191.05
641.93/642.24	c   120520   1463    24222 10835187  447    60731   62204  24086    610 197.52
641.93/642.24	c   125456   1463    29158 12769921  437    70451   68425  29022    614 204.17
641.93/642.24	c   132963   1463    36665 15211774  414    85658   75268  36529    627 212.04
641.93/642.24	c   144328   1463    48030 20039497  417   108486   82795  47894    600 240.31
641.93/642.24	c   161474   1463    65176 24893903  381   142808   91075  65040    584 276.26
641.93/642.24	c   187294   1463    90996 36006152  395   194289  100183  90860    547 342.38
641.93/642.24	c   226127   1463    39387 13129013  333    89550  110202  39251    487 463.72
641.93/642.24	c   284479   1463    97739 29460226  301   206374  121223  97603    475 598.08
641.93/642.24	o 107014594	641.981
992.65/993.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
992.65/993.09	c   293648   1463   106909 33098232  309   226208   31918 106773    457 641.98
992.65/993.09	c   293748   1463    12655  4570735  361    35719   35110  12519    450 652.24
992.65/993.09	c   293999   1463    12906  4617071  357    36456   38622  12770    450 652.50
992.65/993.09	c   294475   1463    13382  4692608  350    37405   42485  13246    451 652.75
992.65/993.09	c   295288   1463    14195  4853771  341    39384   46734  14059    452 653.29
992.65/993.09	c   296609   1463    15516  5347156  344    42188   51408  15380    452 655.41
992.65/993.09	c   298690   1463    17597  6343271  360    46050   56549  17461    453 658.10
992.65/993.09	c   301914   1463    20821  8430493  404    52469   62204  20685    454 664.59
992.65/993.09	c   306850   1463    25757 10354785  402    62452   68425  25621    455 673.39
992.65/993.09	c   314356   1463    33263 13319328  400    77520   75268  33127    451 695.76
992.65/993.09	c   325720   1463    44627 16423000  368   100105   82795  44491    453 717.93
992.65/993.09	c   342865   1463    61772 23516611  380   134444   91075  61636    447 766.49
992.65/993.09	c   368685   1463    87592 30879011  352   185927  100183  87456    432 852.87
992.65/993.09	c   407517   1463    35989 15659538  435    83063  110202  35853    410 992.46
992.65/993.09	o 105108903	992.744
1800.04/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.60	c   407939   1463    36412 15735707  432    85106   31918  36276    410 992.75
1800.04/1800.60	c   408040   1463    11775  4757689  404    34233   35110  11639    404 1009.23
1800.04/1800.60	c   408290   1463    12025  4871813  405    34891   38622  11889    404 1009.44
1800.04/1800.60	c   408767   1463    12502  4955074  396    35655   42485  12366    404 1009.65
1800.04/1800.60	c   409581   1463    13316  5335376  400    37533   46734  13180    405 1010.29
1800.04/1800.60	c   410901   1463    14636  5752321  393    40085   51408  14500    406 1011.30
1800.04/1800.60	c   412983   1463    16718  6540450  391    44171   56549  16582    407 1012.90
1800.04/1800.60	c   416207   1463    19942  7637026  382    50681   62204  19806    409 1016.80
1800.04/1800.60	c   421146   1463    24881  8752005  351    60426   68425  24745    412 1020.59
1800.04/1800.60	c   428652   1463    32387 11506896  355    75867   75268  32251    414 1032.92
1800.04/1800.60	c   440014   1463    43749 15704715  358    98646   82795  43613    417 1052.75
1800.04/1800.60	c   457159   1463    60894 20770719  341   132742   91075  60758    421 1084.18
1800.04/1800.60	c   482978   1463    86713 27530708  317   184380  100183  86577    429 1124.77
1800.04/1800.60	c   521810   1463    34954 17016447  486    80698  110202  34818    427 1220.52
1800.04/1800.60	c   580163   1463    93307 34026580  364   197393  121223  93171    393 1473.26
1800.04/1800.60	c Caught signal: 15
1800.04/1800.61	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
1800.04/1800.61	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 -x55
1800.04/1800.61	v -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.04/1800.61	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x691 x692 x693 x694 x695 -x696 -x697 x698 x699
1800.04/1800.61	v x700 -x701 -x702 x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1800.04/1800.61	v -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
1800.04/1800.61	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 -x1354
1800.04/1800.61	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1800.04/1800.61	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.04/1800.61	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1800.04/1800.61	v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022
1800.04/1800.61	v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039
1800.04/1800.61	v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.04/1800.61	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673
1800.04/1800.61	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1800.04/1800.61	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 -x71 -x72 -x73
1800.04/1800.61	v -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
1800.04/1800.61	v -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1800.04/1800.61	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1800.04/1800.61	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 x156 -x157 -x158 -x159 -x160 x161 -x162
1800.04/1800.61	v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183
1800.04/1800.61	v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204
1800.04/1800.61	v -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.04/1800.61	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246
1800.04/1800.61	v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267
1800.04/1800.61	v -x268 -x269 -x270 x271 x272 x273 -x274 -x275 -x276 x277 x278 x279 x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289
1800.04/1800.61	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
1800.04/1800.61	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331
1800.04/1800.61	v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352
1800.04/1800.61	v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1800.04/1800.61	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1800.04/1800.61	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1800.04/1800.61	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.04/1800.61	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.04/1800.61	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
1800.04/1800.61	v -x509 -x510 -x511 -x512 x513 -x514 -x515 x516 x517 x518 x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530
1800.04/1800.61	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.04/1800.61	v -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1800.04/1800.61	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.04/1800.61	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.04/1800.61	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635
1800.04/1800.61	v -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1800.04/1800.61	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1800.04/1800.61	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728
1800.04/1800.61	v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749
1800.04/1800.61	v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
1800.04/1800.61	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791
1800.04/1800.61	v -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812
1800.04/1800.61	v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833
1800.04/1800.61	v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854
1800.04/1800.61	v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875
1800.04/1800.61	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896
1800.04/1800.61	v -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917
1800.04/1800.61	v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938
1800.04/1800.61	v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959
1800.04/1800.61	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
1800.04/1800.61	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1800.04/1800.61	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017
1800.04/1800.61	v -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.04/1800.61	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.04/1800.61	v -x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
1800.04/1800.61	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
1800.04/1800.61	v x1118 x1119 x1120 x1121 -x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
1800.04/1800.61	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152
1800.04/1800.61	v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.04/1800.61	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186
1800.04/1800.61	v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204
1800.04/1800.61	v x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223
1800.04/1800.61	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241
1800.04/1800.61	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
1800.04/1800.61	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
1800.04/1800.61	v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292
1800.04/1800.61	v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309
1800.04/1800.61	v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326
1800.04/1800.61	v -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.04/1800.61	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 x1390 x1391
1800.04/1800.61	v x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1800.04/1800.61	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.04/1800.61	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443
1800.04/1800.61	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
1800.04/1800.61	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 x1475 x1476 x1477 x1478
1800.04/1800.61	v x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496
1800.04/1800.61	v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513
1800.04/1800.61	v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
1800.04/1800.61	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547
1800.04/1800.61	v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564
1800.04/1800.61	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581
1800.04/1800.61	v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600
1800.04/1800.61	v x1601 x1602 x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1800.04/1800.61	v -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1800.04/1800.61	v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.04/1800.61	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1800.04/1800.61	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717
1800.04/1800.61	v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1800.04/1800.61	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1800.04/1800.61	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1800.04/1800.61	v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.04/1800.61	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802
1800.04/1800.61	v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1800.04/1800.61	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1800.04/1800.61	v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
1800.04/1800.61	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
1800.04/1800.61	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887
1800.04/1800.61	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904
1800.04/1800.61	v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921
1800.04/1800.61	v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
1800.04/1800.61	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1800.04/1800.61	v -x1956 -x1957 -x1958 x1959 x1960 -x1961 x1962 x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.04/1800.61	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1800.04/1800.61	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1800.04/1800.61	v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055
1800.04/1800.61	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1800.04/1800.61	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1800.04/1800.61	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1800.04/1800.61	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1800.04/1800.61	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 x2137 x2138 x2139 -x2140 -x2141
1800.04/1800.61	v x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1800.04/1800.61	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175
1800.04/1800.61	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1800.04/1800.61	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209
1800.04/1800.61	v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1800.04/1800.61	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1800.04/1800.61	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1800.04/1800.61	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
1800.04/1800.61	v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1800.04/1800.61	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1800.04/1800.61	v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1800.04/1800.61	v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375
1800.04/1800.61	v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392
1800.04/1800.61	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409
1800.04/1800.61	v -x2410 x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1800.04/1800.61	v -x2428 -x2429 -x2430 x2431 -x2432 x2433 -x2434 x2435 x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.04/1800.61	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.04/1800.61	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1800.04/1800.61	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.04/1800.61	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.04/1800.61	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530
1800.04/1800.61	v -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1800.04/1800.61	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564
1800.04/1800.61	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1800.04/1800.61	v -x2582 -x2583 -x2584 -x2585 x2586 x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599
1800.04/1800.61	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616
1800.04/1800.61	v x2617 x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634
1800.04/1800.61	v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 x2651 -x2652
1800.04/1800.61	v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669
1800.04/1800.61	v -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.04/1800.61	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733
1800.04/1800.61	v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1800.04/1800.61	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.04/1800.61	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.04/1800.61	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802
1800.04/1800.61	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.04/1800.61	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1800.04/1800.61	v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
1800.04/1800.61	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871
1800.04/1800.61	v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 x2893 x2904 x2915 -x2926 -x2937 -x2948 -x2959
1800.04/1800.61	v -x2970 x2883 -x2884 -x2885 x2886 x2887 x2888 -x2889 x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 x2898 x2899 x2900 -x2901
1800.04/1800.61	v x2902 -x2903 -x2905 -x2906 x2907 -x2908 x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2916 x2917 x2918 -x2919 -x2920 x2921
1800.04/1800.61	v x2922 -x2923 -x2924 x2925 x2927 -x2928 x2929 x2930 -x2931 -x2932 -x2933 x2934 x2935 -x2936 -x2938 -x2939 -x2940 -x2941
1800.04/1800.61	v -x2942 -x2943 -x2944 -x2945 x2946 -x2947 x2949 -x2950 -x2951 x2952 x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2960 x2961
1800.04/1800.61	v x2962 -x2963 -x2964 x2965 -x2966 x2967 x2968 x2969 x2971 x2972 -x2973 -x2974 -x2975 x2976
1800.04/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.61	c   93   664341  91482   999137    66392 25211273  66256    369 1800.05
1800.04/1800.61	c Objective: 105108903
1800.04/1800.61	s SATISFIABLE
1800.04/1800.61	c Total time: 1800.05 s

Verifier Data (download as text)

OK	105108903

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-433157-1177955654 -o ROOT/results/node63/solver-433157-1177955654 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433157-1177955654/instance-433157-1177955654.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: 0.71 0.91 0.89 3/64 14364
/proc/meminfo: memFree=1810508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=11888 CPUtime=0
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 271555321 12173312 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 2972 333 279 324 0 2004 0

[startup+0.0122091 s]
/proc/loadavg: 0.71 0.91 0.89 3/64 14364
/proc/meminfo: memFree=1810508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=12192 CPUtime=0
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 436 0 0 0 0 0 0 0 18 0 1 0 271555321 12484608 406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 3048 406 293 324 0 2080 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12192

[startup+0.101219 s]
/proc/loadavg: 0.71 0.91 0.89 3/64 14364
/proc/meminfo: memFree=1810508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=5136 CPUtime=0.09
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 271555321 5259264 661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 1284 661 310 324 0 354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5136

[startup+0.30124 s]
/proc/loadavg: 0.71 0.91 0.89 3/64 14364
/proc/meminfo: memFree=1810508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=6684 CPUtime=0.29
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 1113 0 0 0 29 0 0 0 19 0 1 0 271555321 6844416 1041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 1671 1041 311 324 0 741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6684

[startup+0.701281 s]
/proc/loadavg: 0.71 0.91 0.89 3/64 14364
/proc/meminfo: memFree=1810508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=9600 CPUtime=0.69
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 1846 0 0 0 69 0 0 0 22 0 1 0 271555321 9830400 1774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 2400 1774 311 324 0 1470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9600

[startup+1.50137 s]
/proc/loadavg: 0.71 0.91 0.89 2/65 14365
/proc/meminfo: memFree=1802052/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=15492 CPUtime=1.49
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 3307 0 0 0 148 1 0 0 25 0 1 0 271555321 15863808 3235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 3873 3235 311 324 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15492

[startup+3.10154 s]
/proc/loadavg: 0.73 0.91 0.89 2/65 14365
/proc/meminfo: memFree=1794628/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=26628 CPUtime=3.09
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 6115 0 0 0 307 2 0 0 25 0 1 0 271555321 27267072 6043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 6657 6043 311 324 0 5727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26628

[startup+6.30187 s]
/proc/loadavg: 0.73 0.91 0.89 2/65 14365
/proc/meminfo: memFree=1774276/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=43416 CPUtime=6.29
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 10294 0 0 0 625 4 0 0 25 0 1 0 271555321 44457984 10222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 10854 10222 311 324 0 9924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43416

[startup+12.7015 s]
/proc/loadavg: 0.77 0.91 0.90 2/65 14365
/proc/meminfo: memFree=1742340/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=74960 CPUtime=12.69
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 18182 0 0 0 1262 7 0 0 25 0 1 0 271555321 76759040 18110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 18740 18110 311 324 0 17810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74960

[startup+25.5019 s]
/proc/loadavg: 0.81 0.91 0.90 2/65 14365
/proc/meminfo: memFree=1699404/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=115244 CPUtime=25.48
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 28250 0 0 0 2537 11 0 0 25 0 1 0 271555321 118009856 28178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 28811 28178 311 324 0 27881 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115244

[startup+51.1016 s]
/proc/loadavg: 0.87 0.92 0.90 2/65 14365
/proc/meminfo: memFree=1658508/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=155208 CPUtime=51.07
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 38272 0 0 0 5091 16 0 0 25 0 1 0 271555321 158932992 38167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 38802 38167 311 324 0 37872 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 155208

[startup+102.305 s]
/proc/loadavg: 0.95 0.93 0.90 2/65 14365
/proc/meminfo: memFree=1535564/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=278196 CPUtime=102.26
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 69041 0 0 0 10194 32 0 0 25 0 1 0 271555321 284872704 68936 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 69549 68936 311 324 0 68619 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 278196

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.91 2/65 14365
/proc/meminfo: memFree=1360204/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=454588 CPUtime=162.25
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 113125 0 0 0 16169 56 0 0 25 0 1 0 271555321 465498112 113020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 113647 113020 311 324 0 112717 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 454588

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.91 2/65 14365
/proc/meminfo: memFree=1321612/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=491428 CPUtime=222.24
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 122405 0 0 0 22162 62 0 0 25 0 1 0 271555321 503222272 122215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 122857 122215 311 324 0 121927 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 491428

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/65 14365
/proc/meminfo: memFree=1321612/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=491428 CPUtime=282.22
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 122405 0 0 0 28160 62 0 0 25 0 1 0 271555321 503222272 122215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 122857 122215 311 324 0 121927 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 491428

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.91 2/65 14365
/proc/meminfo: memFree=1321612/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=491444 CPUtime=342.2
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 122409 0 0 0 34158 62 0 0 25 0 1 0 271555321 503238656 122219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 122861 122219 311 324 0 121931 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 491444

[startup+402.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/65 14365
/proc/meminfo: memFree=1300428/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=512440 CPUtime=402.18
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127762 0 0 0 40153 65 0 0 25 0 1 0 271555321 524738560 127471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 128110 127471 311 324 0 127180 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 512440

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1300148/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=512440 CPUtime=462.08
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127762 0 0 0 46142 66 0 0 25 0 1 0 271555321 524738560 127471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 128110 127471 311 324 0 127180 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 512440

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1300172/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=512440 CPUtime=522.07
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127762 0 0 0 52141 66 0 0 25 0 1 0 271555321 524738560 127471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 128110 127471 311 324 0 127180 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 512440

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1300172/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=512440 CPUtime=582.05
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127762 0 0 0 58139 66 0 0 25 0 1 0 271555321 524738560 127471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 128110 127471 311 324 0 127180 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 512440

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1300172/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=512456 CPUtime=642.04
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 64138 66 0 0 25 0 1 0 271555321 524754944 127475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134558917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 128114 127475 311 324 0 127184 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 512456


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1300876/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511488 CPUtime=821.98
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 82132 66 0 0 25 0 1 0 271555321 523763712 127262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127872 127262 311 324 0 126942 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 511488

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301004/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511488 CPUtime=881.97
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 88131 66 0 0 25 0 1 0 271555321 523763712 127262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127872 127262 311 324 0 126942 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 511488

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301004/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511460 CPUtime=941.96
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 94129 67 0 0 25 0 1 0 271555321 523735040 127255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127865 127255 311 324 0 126935 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 511460

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511380 CPUtime=1001.94
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 100127 67 0 0 25 0 1 0 271555321 523653120 127235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127845 127235 311 324 0 126915 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 511380

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511380 CPUtime=1061.92
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 106125 67 0 0 25 0 1 0 271555321 523653120 127235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127845 127235 311 324 0 126915 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 511380

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511380 CPUtime=1121.91
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 112124 67 0 0 25 0 1 0 271555321 523653120 127235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127845 127235 311 324 0 126915 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 511380

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301132/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1181.89
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 118122 67 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 511340

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301196/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1241.87
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 124120 67 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 511340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301196/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1301.87
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 130119 68 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 511340

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301196/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1361.85
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 136117 68 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 511340

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301196/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1421.84
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 142116 68 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 511340

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1301196/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=511340 CPUtime=1481.81
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 127766 0 0 0 148113 68 0 0 25 0 1 0 271555321 523612160 127225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 127835 127225 311 324 0 126905 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 511340

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1271948/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=540796 CPUtime=1541.8
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 135120 0 0 0 154106 74 0 0 25 0 1 0 271555321 553775104 134579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 135199 134579 311 324 0 134269 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 540796

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1237068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=575176 CPUtime=1601.78
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 143837 0 0 0 160099 79 0 0 25 0 1 0 271555321 588980224 143175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 143794 143175 311 324 0 142864 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 575176

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1237068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=575176 CPUtime=1661.76
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 143837 0 0 0 166097 79 0 0 25 0 1 0 271555321 588980224 143175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 143794 143175 311 324 0 142864 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 575176

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1237068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=575176 CPUtime=1721.75
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 143837 0 0 0 172096 79 0 0 25 0 1 0 271555321 588980224 143175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 143794 143175 311 324 0 142864 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 575176

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1237068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=575176 CPUtime=1781.74
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 143837 0 0 0 178094 80 0 0 25 0 1 0 271555321 588980224 143175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 143794 143175 311 324 0 142864 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 575176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14563
/proc/meminfo: memFree=1237068/2055920 swapFree=4182900/4192956
[pid=14364] ppid=14362 vsize=575176 CPUtime=1800.04
/proc/14364/stat : 14364 (bsolo3.0.17) R 14362 14364 14301 0 -1 4194304 143837 0 0 0 179924 80 0 0 25 0 1 0 271555321 588980224 143175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14364/statm: 143794 143175 311 324 0 142864 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 575176

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

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

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.14
CPU user time (s): 1799.25
CPU system time (s): 0.893864
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 575660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.893864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143841
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= 12
involuntary context switches= 4551

runsolver used 1.41078 second user time and 3.56546 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 30 17:54:14 UTC 2007

IDJOB= 433157
IDBENCH= 2309
IDSOLVER= 199
FILE ID= node63/433157-1177955654

PBS_JOBID= 4727723

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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-bal8x12.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433157-1177955654/instance-433157-1177955654.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-433157-1177955654 -o ROOT/results/node63/solver-433157-1177955654 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433157-1177955654/instance-433157-1177955654.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a6e8ee977a9ad5045237a2abc87084b8

RANDOM SEED= 185964332

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.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:       1810980 kB
Buffers:         13896 kB
Cached:         155712 kB
SwapCached:       3860 kB
Active:          78520 kB
Inactive:       100336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1810980 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            6956 kB
Writeback:           0 kB
Mapped:          15208 kB
Slab:            52144 kB
Committed_AS:  2354168 kB
PageTables:       1460 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= 66558 MiB

End job on node63 on Mon Apr 30 18:24:17 UTC 2007