Trace number 347854

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.16SAT117 1800.02 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark117
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
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 constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb
0.00/0.01	c File size is 109193 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.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 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: 4.94187e+06
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.021 s
0.00/0.03	c Var: 2754 Constr: 486 0/0/486 Lit: 13020 Watch. Lit: 8251
0.00/0.03	c Obj. Vars: 168 (6.10022 % of total variables)
0.00/0.07	c Pre-processing Time: 0.067 s
4.88/4.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.88/4.90	c        0   1794      234     8661   37     6030   17322      0      0 0.07
4.88/4.90	c      101   1794      335    13788   41     7033   19055    101   1346 0.07
4.88/4.90	c      251   1794      485    22923   47     7557   20961    251   2820 0.09
4.88/4.90	c      476   1794      710    31978   45     7933   23058    476   4288 0.11
4.88/4.90	c      814   1794     1048    41361   39     8603   25364    814   5856 0.14
4.88/4.90	c     1322   1794     1556    51001   32     9628   27901   1322   7184 0.18
4.88/4.90	c     2085   1794     2319    70031   30    11160   30692   2085   8306 0.25
4.88/4.90	c     3233   1794     3467   117069   33    13689   33762   3233   8507 0.38
4.88/4.90	c     4954   1793     5188   173042   33    17165   37139   4954   7574 0.65
4.88/4.90	c     7539   1793     7773   244803   31    22301   40853   7539   6515 1.16
4.88/4.90	c    11420   1793    11654   359038   30    30080   44939  11420   5874 1.94
4.88/4.90	c    17242   1793    17476   517119   29    41715   49433  17242   4915 3.51
4.88/4.90	o 120	4.892
133.95/134.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.95/134.01	c    22695   1793    22930   973398   42    52889   17560  22696   4638 4.89
133.95/134.01	c    22796   1793     9119   574424   62    25164   19317   8885   4488 5.08
133.95/134.01	c    23046   1793     9369   582210   62    25586   21249   9135   4499 5.12
133.95/134.01	c    23522   1793     9845   593553   60    26511   23374   9611   4515 5.21
133.95/134.01	c    24335   1793    10658   618119   57    28166   25712  10424   4519 5.38
133.95/134.01	c    25655   1793    11978   688234   57    30929   28284  11744   4561 5.62
133.95/134.01	c    27736   1793    14059   764879   54    35169   31113  13825   4472 6.20
133.95/134.01	c    30961   1793    17284   904355   52    41570   34225  17050   4475 6.92
133.95/134.01	c    35897   1793    22220  1118253   50    51442   37648  21986   3554 10.10
133.95/134.01	c    43404   1793    29727  1590305   53    66555   41413  29493   3728 11.64
133.95/134.01	c    54767   1793    41090  2353407   57    89217   45555  40856   2925 18.72
133.95/134.01	c    71911   1793    23557  1575923   66    54155   50111  23323   2348 30.61
133.95/134.01	c    97736   1793    49382  2758547   55   105843   55123  49148   1992 49.05
133.95/134.01	c   136568   1793    44131  2245767   50    95252   60636  43897   1362 100.25
133.95/134.01	o 119	133.967
295.19/295.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
295.19/295.34	c   174794   1793    33540  1784748   53    74205   17560  33306   1304 133.97
295.19/295.34	c   174894   1793     9118   604395   66    25231   19317   8884   1295 134.99
295.19/295.34	c   175144   1793     9368   618112   65    25698   21249   9134   1297 135.03
295.19/295.34	c   175619   1793     9843   640152   65    26638   23374   9609   1300 135.07
295.19/295.34	c   176433   1793    10657   696665   65    28347   25712  10423   1304 135.21
295.19/295.34	c   177753   1793    11977   748881   62    30893   28284  11743   1312 135.46
295.19/295.34	c   179836   1793    14060   860839   61    35009   31113  13826   1325 135.70
295.19/295.34	c   183059   1793    17283  1014180   58    41415   34225  17049   1341 136.41
295.19/295.34	c   187995   1793    22219  1304066   58    51293   37648  21985   1369 137.31
295.19/295.34	c   195501   1793    29725  1591972   53    66371   41413  29491   1397 139.91
295.19/295.34	c   206863   1793    41087  2139265   52    89063   45555  40853   1434 144.16
295.19/295.34	c   224007   1793    24188  1733124   71    55323   50111  23954   1436 155.98
295.19/295.34	c   249826   1793    50007  3115048   62   106978   55123  49773   1373 181.84
295.19/295.34	c   288660   1793    45070  2970975   65    97029   60636  44836   1356 212.72
295.19/295.34	c   347013   1793    53454  3562429   66   113974   66700  53220   1297 267.38
295.19/295.34	o 118	295.247
371.11/371.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
371.11/371.32	c   378101   1793    28528  2328759   81    64199   17560  28294   1280 295.25
371.11/371.32	c   378202   1793     9120   726828   79    25315   19317   8886   1278 295.81
371.11/371.32	c   378454   1793     9372   732631   78    25717   21249   9138   1279 295.84
371.11/371.32	c   378929   1793     9847   742236   75    26671   23374   9613   1280 295.90
371.11/371.32	c   379744   1793    10662   757729   71    28328   25712  10428   1282 296.02
371.11/371.32	c   381064   1793    11982   827976   69    30963   28284  11748   1286 296.20
371.11/371.32	c   383145   1793    14063   890887   63    35059   31113  13829   1291 296.70
371.11/371.32	c   386368   1793    17286   971966   56    41533   34225  17052   1298 297.63
371.11/371.32	c   391304   1793    22222  1264815   56    51340   37648  21988   1310 298.62
371.11/371.32	c   398811   1793    29729  1747206   58    66347   41413  29495   1327 300.45
371.11/371.32	c   410172   1793    41090  2497003   60    89036   45555  40856   1340 306.02
371.11/371.32	c   427316   1793    22512  1643518   73    51901   50111  22278   1342 318.25
371.11/371.32	c   453139   1793    48335  2721043   56   103617   55123  48101   1383 327.63
371.11/371.32	c   491971   1793    43232  2081524   48    93367   60636  42998   1339 367.36
371.11/371.32	o 117	371.144
1799.99/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.60	c   499903   1793    51165  2903430   56   109362   17560  50931   1346 371.14
1799.99/1800.60	c   500003   1793     9119   861685   94    25209   19317   8885   1342 372.39
1799.99/1800.60	c   500254   1793     9370   870508   92    25709   21249   9136   1343 372.43
1799.99/1800.60	c   500729   1793     9845   891567   90    26624   23374   9611   1344 372.52
1799.99/1800.60	c   501543   1793    10659   933771   87    28353   25712  10425   1345 372.63
1799.99/1800.60	c   502863   1793    11979   963845   80    30939   28284  11745   1348 372.79
1799.99/1800.60	c   504944   1793    14060  1050509   74    35134   31113  13826   1353 373.17
1799.99/1800.60	c   508167   1793    17283  1177552   68    41585   34225  17049   1359 373.90
1799.99/1800.60	c   513104   1793    22220  1408732   63    51435   37648  21986   1367 375.25
1799.99/1800.60	c   520610   1793    29726  1761566   59    66419   41413  29492   1371 379.52
1799.99/1800.60	c   531972   1792    41088  2185092   53    89227   45555  40854   1366 389.16
1799.99/1800.60	c   549117   1792    23521  1112118   47    54056   50111  23287   1384 396.57
1799.99/1800.60	c   574936   1792    49340  2761393   55   105580   55123  49106   1377 417.24
1799.99/1800.60	c   613769   1792    43809  2173920   49    94570   60636  43575   1320 464.92
1799.99/1800.60	c   672121   1792    51488  4747044   92   109992   66700  51254   1262 532.31
1799.99/1800.60	c   759754   1792    27128  1354400   49    61228   73371  26894    879 863.41
1799.99/1800.60	c   891307   1792    32489  2173357   66    71932   80709  32255    684 1302.46
1799.99/1800.60	c Resources Exceeded
1799.99/1800.60	v -x848 x860 -x861 -x862 -x863 x864 x865 x866 x867 -x868 -x869 x881 x882 -x883 x884 x885 -x886 x887 x888 x889 -x890 -x902 -x903
1799.99/1800.60	v -x904 -x905 x906 x907 x908 -x909 -x910 -x911 x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x955 -x956 -x957 -x958
1799.99/1800.60	v x959 x960 -x961 -x962 -x963 -x964 x976 x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x997 -x998 -x999 x1000 -x1001 -x1002
1799.99/1800.60	v -x1003 -x1004 -x1005 x1006 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1039 x1040 x1041 -x1042
1799.99/1800.60	v -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1081 -x1082
1799.99/1800.60	v -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111
1799.99/1800.60	v x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1799.99/1800.60	v x1163 -x1164 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1799.99/1800.60	v x1203 -x1204 -x1205 -x1206 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x912
1799.99/1800.60	v -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1799.99/1800.60	v -x1142 -x1143 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2150 -x2151 -x2152 -x2153
1799.99/1800.60	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 x2278 -x2279 -x2280 -x2281
1799.99/1800.60	v -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2513 -x2514 -x2515 x2516 -x2517 x2518 x2519
1799.99/1800.60	v x2520 x2521 -x2522 -x2523 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x12 -x13 -x14 -x15
1799.99/1800.60	v -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x254 x255 x256 -x257
1799.99/1800.60	v x258 x259 x260 -x261 -x262 -x263 -x264 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x496 -x497 -x498 -x499
1799.99/1800.60	v -x500 -x501 -x502 -x503 -x504 -x505 -x506 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x738 -x739 -x740
1799.99/1800.60	v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x870 x871
1799.99/1800.60	v x872 x873 x874 x875 -x876 -x877 x878 x879 -x880 -x891 -x892 -x893 x894 x895 x896 x897 -x898 x899 x900 -x901 -x923 -x924 -x925
1799.99/1800.60	v -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x965 -x966
1799.99/1800.60	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x1007
1799.99/1800.60	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
1799.99/1800.60	v -x1035 -x1036 -x1037 -x1038 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1070 x1071 x1072
1799.99/1800.60	v x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100
1799.99/1800.60	v -x1101 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1144 -x1145 -x1146 -x1147 -x1148
1799.99/1800.60	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1799.99/1800.60	v -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1799.99/1800.60	v -x1214 -x1215 -x1216 -x1217 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1469 x1470
1799.99/1800.60	v x1471 x1472 x1473 x1474 x1475 x1476 x1477 -x1478 -x1479 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1799.99/1800.60	v -x1659 -x1660 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2007 -x2008 -x2009 -x2010
1799.99/1800.60	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1799.99/1800.60	v -x2028 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1799.99/1800.60	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1799.99/1800.60	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1799.99/1800.60	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
1799.99/1800.60	v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1799.99/1800.60	v x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141
1799.99/1800.60	v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1799.99/1800.60	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 x2184 x2185 x2186 x2187
1799.99/1800.60	v x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1799.99/1800.60	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223
1799.99/1800.60	v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
1799.99/1800.60	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 x2255 x2256 x2257 -x2258 -x2259
1799.99/1800.60	v x2260 x2261 x2262 x2263 x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1799.99/1800.60	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1799.99/1800.60	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1799.99/1800.60	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 x2340
1799.99/1800.60	v x2341 -x2342 x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
1799.99/1800.60	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375
1799.99/1800.60	v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2403
1799.99/1800.60	v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 x2418 x2419 x2420 x2421
1799.99/1800.60	v x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1799.99/1800.60	v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
1799.99/1800.60	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1799.99/1800.60	v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 -x2489 -x2490 x2491
1799.99/1800.60	v x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1799.99/1800.60	v -x2510 -x2511 -x2512 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1799.99/1800.60	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1799.99/1800.60	v -x2555 -x2556 -x2557 x2558 x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 -x2573
1799.99/1800.60	v -x2574 -x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
1799.99/1800.60	v -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
1799.99/1800.60	v x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1799.99/1800.60	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1799.99/1800.60	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1799.99/1800.60	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1799.99/1800.60	v -x2706 -x2707 -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 -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 -x55 -x56
1799.99/1800.60	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1799.99/1800.60	v -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 x93 x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1799.99/1800.60	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.99/1800.60	v -x129 -x130 -x131 -x132 -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
1799.99/1800.60	v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223
1799.99/1800.60	v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1799.99/1800.60	v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276
1799.99/1800.60	v x277 x278 -x279 x280 x281 -x282 x283 x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298
1799.99/1800.60	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1799.99/1800.60	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1799.99/1800.60	v -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1799.99/1800.60	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394
1799.99/1800.60	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415
1799.99/1800.60	v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436
1799.99/1800.60	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
1799.99/1800.60	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1799.99/1800.60	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x507 -x508 -x509 -x510
1799.99/1800.60	v x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1799.99/1800.60	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552
1799.99/1800.60	v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1799.99/1800.60	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1799.99/1800.60	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1799.99/1800.60	v -x616 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1799.99/1800.60	v -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1799.99/1800.60	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1799.99/1800.60	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1799.99/1800.60	v -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 x719 x720 x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1799.99/1800.60	v -x733 -x734 -x735 -x736 -x737 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1799.99/1800.60	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1799.99/1800.60	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1799.99/1800.60	v -x807 -x808 -x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1799.99/1800.60	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x1225
1799.99/1800.60	v -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1799.99/1800.60	v -x1244 -x1245 -x1246 x1247 x1248 -x1249 x1250 x1251 x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262
1799.99/1800.60	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1290
1799.99/1800.60	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308
1799.99/1800.60	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 x1325 -x1326
1799.99/1800.60	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1799.99/1800.60	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 x1361
1799.99/1800.60	v -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 x1378 -x1379
1799.99/1800.60	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 x1397
1799.99/1800.60	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 x1415
1799.99/1800.60	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1799.99/1800.60	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1799.99/1800.60	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466
1799.99/1800.60	v x1467 x1468 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495
1799.99/1800.60	v x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513
1799.99/1800.60	v -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531
1799.99/1800.60	v -x1532 x1533 -x1534 -x1535 x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1799.99/1800.60	v x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1799.99/1800.60	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585
1799.99/1800.60	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1799.99/1800.60	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1799.99/1800.60	v -x1622 -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 -x1661 -x1662 x1663 -x1664 -x1665 x1666 x1667 -x1668
1799.99/1800.60	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1799.99/1800.60	v -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1799.99/1800.60	v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1799.99/1800.60	v -x1722 -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 -x1757 -x1758
1799.99/1800.60	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1799.99/1800.60	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1799.99/1800.60	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1799.99/1800.60	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
1799.99/1800.60	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1854 -x1855
1799.99/1800.60	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1799.99/1800.60	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1799.99/1800.60	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1799.99/1800.60	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924
1799.99/1800.60	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1799.99/1800.60	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1799.99/1800.60	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1799.99/1800.60	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1799.99/1800.60	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
1799.99/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.61	c   71  1064203  83911  1304373    64871  3868414  64637    591 1800.00
1799.99/1800.61	c Objective: 117
1799.99/1800.61	s SATISFIABLE
1799.99/1800.61	c Total time: 1800 s

Verifier Data (download as text)

OK	117

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-347854-1176522917 -o ROOT/results/node14/solver-347854-1176522917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.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.92 0.98 0.99 3/77 15050
/proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=3780 CPUtime=0
/proc/15050/stat : 15050 (bsolo3.0.16) D 15048 15050 14925 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 100209468 3870720 155 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/15050/statm: 945 223 196 324 0 14 0

[startup+0.089663 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15050
/proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=4860 CPUtime=0.07
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 647 0 3 0 7 0 0 0 18 0 1 0 100209468 4976640 591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 1215 591 311 324 0 284 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4860

[startup+0.101664 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15050
/proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=4860 CPUtime=0.08
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 647 0 3 0 8 0 0 0 18 0 1 0 100209468 4976640 591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 1215 591 311 324 0 284 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4860

[startup+0.301683 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15050
/proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=5912 CPUtime=0.28
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 892 0 3 0 28 0 0 0 19 0 1 0 100209468 6053888 836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 1478 836 312 324 0 547 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5912

[startup+0.701721 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15050
/proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=7356 CPUtime=0.68
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 1271 0 3 0 68 0 0 0 23 0 1 0 100209468 7532544 1215 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 1839 1215 312 324 0 908 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7356

[startup+1.5018 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1934016/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=9196 CPUtime=1.48
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 1714 0 3 0 147 1 0 0 25 0 1 0 100209468 9416704 1658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 2299 1658 312 324 0 1368 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9196

[startup+3.10195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1931392/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=12324 CPUtime=3.08
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 2507 0 3 0 306 2 0 0 25 0 1 0 100209468 12619776 2451 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 3081 2451 312 324 0 2150 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12324

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1922368/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=19596 CPUtime=6.29
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 4339 0 3 0 624 5 0 0 25 0 1 0 100209468 20066304 4283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 4899 4283 313 324 0 3968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19596

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1913088/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=29472 CPUtime=12.68
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 6787 0 3 0 1260 8 0 0 25 0 1 0 100209468 30179328 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 7368 6731 313 324 0 6437 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29472

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1898304/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=43616 CPUtime=25.48
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 10380 0 3 0 2535 13 0 0 25 0 1 0 100209468 44662784 10277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 10904 10277 313 324 0 9973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43616

[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1896000/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=46480 CPUtime=51.07
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 11094 0 3 0 5088 19 0 0 25 0 1 0 100209468 47595520 10991 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 11620 10991 313 324 0 10689 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46480

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1891584/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=50268 CPUtime=102.25
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 12115 0 3 0 10198 27 0 0 25 0 1 0 100209468 51474432 11956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 12567 11956 313 324 0 11636 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 50268

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1891136/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=50680 CPUtime=162.24
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 12279 0 3 0 16183 41 0 0 25 0 1 0 100209468 51896320 12059 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 12670 12059 313 324 0 11739 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 50680

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 15051
/proc/meminfo: memFree=1881408/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=60380 CPUtime=222.22
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 14803 0 3 0 22168 54 0 0 25 0 1 0 100209468 61829120 14466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 15095 14466 313 324 0 14164 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 60380

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1870784/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=70884 CPUtime=282.21
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 28155 66 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 17721 17094 313 324 0 16790 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70884

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15051
/proc/meminfo: memFree=1870784/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=70884 CPUtime=342.18
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 34141 77 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 17721 17094 313 324 0 16790 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 70884

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1870328/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=70884 CPUtime=402.06
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 40117 89 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 17721 17094 313 324 0 16790 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 70884

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1870336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=70884 CPUtime=462.04
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 46107 97 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160036204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 17721 17094 313 324 0 16790 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 70884

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1870336/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=70884 CPUtime=522.03
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 52099 104 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 17721 17094 313 324 0 16790 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 70884

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1852160/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88800 CPUtime=582.02
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22057 0 3 0 58089 113 0 0 25 0 1 0 100209468 90931200 21586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22200 21586 313 324 0 21269 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 88800

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1852160/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88800 CPUtime=642
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22057 0 3 0 64084 116 0 0 25 0 1 0 100209468 90931200 21586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22200 21586 313 324 0 21269 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 88800


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

/proc/meminfo: memFree=1851776/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88828 CPUtime=1121.87
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 112041 146 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7360040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22207 21593 313 324 0 21276 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 88828

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851712/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88828 CPUtime=1181.85
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 118036 149 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22207 21593 313 324 0 21276 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 88828

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851520/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88828 CPUtime=1241.84
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 124031 153 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22207 21593 313 324 0 21276 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 88828

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851392/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88828 CPUtime=1301.82
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 130026 156 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22207 21593 313 324 0 21276 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 88828

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851328/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88840 CPUtime=1361.81
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22067 0 3 0 136018 163 0 0 25 0 1 0 100209468 90972160 21596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22210 21596 313 324 0 21279 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 88840

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851264/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1421.79
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 142013 166 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 88860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851264/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1481.77
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 148005 172 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 88860

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851200/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1541.75
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 154001 174 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 88860

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851136/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1601.74
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 159996 178 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 88860

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1851008/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1661.72
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 165991 181 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 88860

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850944/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1721.71
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 171985 186 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 88860

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1781.69
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 177979 190 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 88860

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1791.29
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 178939 190 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 88860

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1794.49
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179258 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 88860

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1797.69
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179578 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 88860

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1799.29
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179738 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 88860

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1799.69
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179778 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 88860

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1799.89
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179798 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 88860

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15249
/proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956
[pid=15050] ppid=15048 vsize=88860 CPUtime=1799.99
/proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179808 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15050/statm: 22215 21601 313 324 0 21284 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 88860

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.02
CPU user time (s): 1798.09
CPU system time (s): 1.92671
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 89068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 1.92671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22073
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 2542

runsolver used 2.13967 second user time and 4.38333 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Apr 14 03:55:17 UTC 2007

IDJOB= 347854
IDBENCH= 1524
IDSOLVER= 163
FILE ID= node14/347854-1176522917

PBS_JOBID= 4556724

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-347854-1176522917 -o ROOT/results/node14/solver-347854-1176522917 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f81823d3f3bf1b9e5d936e06c7f51a9c

RANDOM SEED= 691209897

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1939744 kB
Buffers:          8008 kB
Cached:          47660 kB
SwapCached:      11380 kB
Active:          49032 kB
Inactive:        29932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1939744 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            4512 kB
Writeback:           0 kB
Mapped:          29380 kB
Slab:            22736 kB
Committed_AS:  4456580 kB
PageTables:       1784 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= 66557 MiB

End job on node14 on Sat Apr 14 04:25:18 UTC 2007