Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 1265106943 | 1800.04 | 1800.94 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.26 c Time Limit set via PBTIMEOUT to 1800 0.28 c INFO: OSL Context initialized. 0.28 c BIG Int formula... 1.44 c Initial problem consists of 6651 variables and 721 constraints. 1.53 c No problem reductions applied in OPT. instance. 1.53 c preprocess terminated. Elapsed time: 1.26 1.53 c After prepocess the problem consists of 6651 variables and 453 constraints. 1.53 c Initial Lower Bound: 0 1.59 c Sol. found (all assignments made)... 1.59 o 1342177279 1.59 c NEW SOLUTION FOUND: 1342177279 @ 1.323 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 o 1325400063 1.60 c NEW SOLUTION FOUND: 1325400063 @ 1.329 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.64 o 1308622847 1.64 c NEW SOLUTION FOUND: 1308622847 @ 1.371 2.38 c Restart #1 #Var: 6651 LB: 0 @ 2.104 3.61 c Restart #2 #Var: 6651 LB: 0 @ 3.337 4.13 c Sol. found (all assignments made)... 4.13 o 1291845631 4.13 c NEW SOLUTION FOUND: 1291845631 @ 3.858 4.82 c Restart #3 #Var: 6651 LB: 0 @ 4.544 5.88 c Restart #4 #Var: 6651 LB: 0 @ 5.605 6.78 c Restart #5 #Var: 6651 LB: 0 @ 6.51 10.36 c Restart #6 #Var: 6651 LB: 0 @ 10.085 15.39 c CHANGE to MIS mode... UB: 1291845631 MIS: 1073741824 LPR: -2147483648 (0) Diff: -0.5 15.39 c Restart #0 #Var: 6650 LB: 1073741824 @ 15.115 16.31 c Restart #1 #Var: 6650 LB: 1073741824 @ 16.026 17.29 c Restart #2 #Var: 6650 LB: 1073741824 @ 17.01 19.54 c Restart #3 #Var: 6650 LB: 1073741824 @ 19.26 20.06 c Sol. found (all assignments made)... 20.06 o 1275068415 20.06 c NEW SOLUTION FOUND: 1275068415 @ 19.785 20.07 c Sol. found (all assignments made)... 20.07 o 1274019839 20.07 c NEW SOLUTION FOUND: 1274019839 @ 19.793 20.08 c Sol. found (all assignments made)... 20.08 o 1266679807 20.08 c NEW SOLUTION FOUND: 1266679807 @ 19.802 20.54 c Sol. found (all assignments made)... 20.54 o 1265631231 20.54 c NEW SOLUTION FOUND: 1265631231 @ 20.258 21.79 c Sol. found (all assignments made)... 21.79 o 1265106943 21.79 c NEW SOLUTION FOUND: 1265106943 @ 21.507 29.01 c Restart #4 #Var: 6650 LB: 1073741824 @ 28.732 33.59 c Restart #5 #Var: 6650 LB: 1073741824 @ 33.307 36.04 c Restart #6 #Var: 6650 LB: 1073741824 @ 35.755 40.65 c Restart #7 #Var: 6650 LB: 1073741824 @ 40.363 46.77 c Restart #8 #Var: 6650 LB: 1073741824 @ 46.48 51.37 c Restart #9 #Var: 6648 LB: 1073741824 @ 51.081 57.48 c Restart #10 #Var: 6648 LB: 1073741824 @ 57.185 65.93 c Restart #11 #Var: 6648 LB: 1073741824 @ 65.64 80.40 c Restart #12 #Var: 6648 LB: 1073741824 @ 80.097 86.95 c Restart #13 #Var: 6648 LB: 1073741824 @ 86.645 104.73 c Restart #14 #Var: 6648 LB: 1073741824 @ 104.42 113.80 c Restart #15 #Var: 6648 LB: 1073741824 @ 113.49 135.46 c Restart #16 #Var: 6648 LB: 1073741824 @ 135.14 152.81 c Restart #17 #Var: 6648 LB: 1073741824 @ 152.49 163.40 c Restart #18 #Var: 6648 LB: 1073741824 @ 163.07 185.02 c Restart #19 #Var: 6648 LB: 1073741824 @ 184.69 200.60 c Restart #20 #Var: 6648 LB: 1073741824 @ 200.27 217.67 c Restart #21 #Var: 6648 LB: 1073741824 @ 217.32 246.14 c Restart #22 #Var: 6648 LB: 1073741824 @ 245.79 267.11 c Restart #23 #Var: 6648 LB: 1073741824 @ 266.76 284.32 c Restart #24 #Var: 6648 LB: 1073741824 @ 283.95 317.68 c Restart #25 #Var: 6648 LB: 1073741824 @ 317.31 342.06 c Restart #26 #Var: 6648 LB: 1073741824 @ 341.68 377.62 c Restart #27 #Var: 6648 LB: 1073741824 @ 377.23 401.43 c Restart #28 #Var: 6648 LB: 1073741824 @ 401.03 429.79 c Restart #29 #Var: 6648 LB: 1073741824 @ 429.38 452.39 c Restart #30 #Var: 6648 LB: 1073741824 @ 451.98 481.78 c Restart #31 #Var: 6648 LB: 1073741824 @ 481.35 499.94 c Restart #32 #Var: 6648 LB: 1073741824 @ 499.51 528.11 c Restart #33 #Var: 6648 LB: 1073741824 @ 527.67 563.80 c Restart #34 #Var: 6648 LB: 1073741824 @ 563.36 598.48 c Restart #35 #Var: 6648 LB: 1073741824 @ 598.03 631.39 c Restart #36 #Var: 6648 LB: 1073741824 @ 630.92 676.43 c Restart #37 #Var: 6648 LB: 1073741824 @ 675.94 717.63 c Restart #38 #Var: 6648 LB: 1073741824 @ 717.14 772.36 c Restart #39 #Var: 6648 LB: 1073741824 @ 771.84 810.02 c Restart #40 #Var: 6648 LB: 1073741824 @ 809.5 869.36 c Restart #41 #Var: 6648 LB: 1073741824 @ 868.82 913.75 c Restart #42 #Var: 6648 LB: 1073741824 @ 913.19 953.56 c Restart #43 #Var: 6648 LB: 1073741824 @ 952.99 1008.77 c Restart #44 #Var: 6648 LB: 1073741824 @ 1008.2 1048.89 c Restart #45 #Var: 6648 LB: 1073741824 @ 1048.2 1085.40 c Restart #46 #Var: 6648 LB: 1073741824 @ 1084.7 1128.77 c Restart #47 #Var: 6648 LB: 1073741824 @ 1128.1 1192.60 c Restart #48 #Var: 6648 LB: 1073741824 @ 1191.9 1248.01 c Restart #49 #Var: 6648 LB: 1073741824 @ 1247.3 1295.31 c Restart #50 #Var: 6648 LB: 1073741824 @ 1294.6 1354.67 c Restart #51 #Var: 6648 LB: 1073741824 @ 1353.9 1405.88 c Restart #52 #Var: 6648 LB: 1073741824 @ 1405.1 1454.13 c Restart #53 #Var: 6648 LB: 1073741824 @ 1453.3 1526.31 c Restart #54 #Var: 6648 LB: 1073741824 @ 1525.5 1577.48 c Restart #55 #Var: 6648 LB: 1073741824 @ 1576.7 1650.15 c Restart #56 #Var: 6648 LB: 1073741824 @ 1649.3 1693.83 c Restart #57 #Var: 6648 LB: 1073741824 @ 1693 1734.44 c Restart #58 #Var: 6648 LB: 1073741824 @ 1733.6 1800.90 s SATISFIABLE 1800.90 c Cost: 1265106943 1800.90 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 x26 -x27 x28 -x29 -x30 x31 -x1142 -x2253 1800.90 v -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920 -x1031 -x1143 -x1254 -x1365 1800.90 v -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809 -x2920 -x3031 -x3142 -x3253 1800.90 v -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698 -x4809 -x4920 -x5031 -x5142 1800.90 v -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 x6297 -x6308 -x6320 -x6331 -x6342 -x6353 1800.90 v -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497 x6508 -x6519 -x6530 -x6542 1800.90 v -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88 -x99 -x110 -x121 -x132 -x144 1800.90 v -x155 -x166 -x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 x277 -x288 -x299 -x310 -x321 -x332 -x343 -x354 -x366 -x377 1800.90 v -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 x499 -x510 -x521 -x532 -x543 -x554 -x565 -x576 -x588 -x599 -x610 1800.90 v -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787 -x798 -x810 -x821 -x832 -x843 1800.90 v -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 x943 -x954 -x965 -x976 -x987 -x998 -x1009 -x1020 -x1032 -x1043 -x1054 -x1065 1800.90 v -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 -x1144 -x1155 x1166 -x1177 -x1188 -x1199 -x1210 -x1221 -x1232 -x1243 -x1255 1800.90 v -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388 -x1399 -x1410 -x1421 -x1432 x1443 1800.90 v -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576 -x1588 -x1599 -x1610 -x1621 -x1632 1800.90 v -x1643 -x1654 -x1665 -x1676 -x1687 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1798 -x1810 -x1821 1800.90 v -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 -x2009 1800.90 v -x2020 -x2032 -x2043 -x2054 -x2065 x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143 -x2154 -x2165 -x2176 -x2187 -x2198 1800.90 v -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332 x2343 -x2354 -x2366 -x2377 -x2388 1800.90 v -x2399 -x2410 -x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 x2499 -x2510 -x2521 -x2532 -x2543 -x2554 -x2565 -x2576 1800.90 v -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710 -x2721 -x2732 -x2743 -x2754 -x2765 1800.90 v -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 -x2887 -x2898 -x2909 -x2921 -x2932 -x2943 -x2954 1800.90 v -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087 -x3098 -x3109 -x3120 -x3131 -x3143 1800.90 v -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276 -x3287 -x3298 -x3309 -x3320 -x3331 1800.90 v -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 -x3454 -x3465 -x3477 -x3488 -x3499 -x3510 -x3521 1800.90 v -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 x3643 -x3654 -x3665 -x3676 -x3687 -x3699 -x3710 1800.90 v -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 -x3843 -x3854 -x3865 -x3876 x3887 -x3898 1800.90 v -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032 -x4043 -x4054 -x4065 -x4076 -x4087 1800.90 v -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220 -x4231 -x4242 -x4254 -x4265 x4276 1800.90 v -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409 -x4420 -x4431 -x4442 -x4453 -x4464 1800.90 v -x4477 -x4488 x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599 -x4610 -x4621 -x4632 -x4643 -x4654 1800.90 v -x4665 -x4676 -x4687 -x4699 -x4710 x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787 -x4798 -x4810 -x4821 -x4832 -x4843 1800.90 v -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 x4943 -x4954 -x4965 -x4976 -x4987 -x4998 -x5009 -x5020 -x5032 1800.90 v -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 x5165 -x5176 -x5187 -x5198 -x5209 -x5220 1800.90 v -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353 -x5365 -x5376 -x5387 -x5398 -x5409 1800.90 v -x5420 -x5431 x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542 -x5553 -x5564 -x5575 -x5588 -x5599 1800.90 v -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732 -x5743 -x5754 -x5765 -x5776 -x5787 1800.90 v -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921 -x5932 -x5943 -x5954 -x5965 -x5976 1800.90 v -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 -x6087 -x6098 -x6109 -x6120 -x6131 -x6143 -x6154 x6165 1800.90 v -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285 1800.90 v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 1800.90 v -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6321 -x6322 x6323 -x6324 1800.90 v -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6343 1800.90 v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 1800.90 v -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6376 -x6377 -x6378 -x6379 -x6380 1800.90 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 x6392 -x6393 -x6394 -x6395 -x6396 -x6398 -x6399 1800.90 v -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 1800.90 v -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 1800.90 v -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6454 -x6455 -x6456 1800.90 v -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 1800.90 v -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 1800.90 v -x6494 -x6495 -x6496 -x6498 -x6499 x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6512 1800.90 v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6531 1800.90 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550 1800.90 v -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 -x6569 1800.90 v -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 -x6588 1800.90 v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 1800.90 v -x6607 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 1800.90 v -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 -x6639 -x6640 -x6642 -x6643 -x6644 1800.90 v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x45 -x46 -x47 -x48 -x49 1800.90 v -x50 -x51 -x52 -x53 -x54 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x78 1800.90 v -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x100 -x101 -x102 -x103 -x104 x105 1800.90 v -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.90 v -x129 x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.90 v x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1800.90 v -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.90 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x222 1800.90 v -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x244 -x245 1800.90 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x267 -x268 -x269 1800.90 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x289 -x290 -x291 -x292 1800.90 v -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x311 -x312 -x313 -x314 -x315 1800.90 v -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 -x335 -x336 -x337 -x338 1800.90 v -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.90 v -x362 -x363 -x364 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.90 v -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.90 v -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 1800.90 v -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x455 1800.90 v -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x478 -x479 1800.90 v -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x500 -x501 -x502 1800.90 v -x503 -x504 -x505 -x506 -x507 x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x522 -x523 -x524 -x525 1800.90 v -x526 -x527 -x528 -x529 x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x544 -x545 -x546 -x547 -x548 1800.90 v -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x566 -x567 -x568 -x569 -x570 -x571 1800.90 v -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.90 v -x596 x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.90 v -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 1800.90 v -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 1800.90 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x688 1800.90 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x711 -x712 1800.90 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x735 1800.90 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x758 1800.90 v -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x777 -x778 -x779 -x780 -x781 1800.90 v -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x799 -x800 -x801 -x802 -x803 -x804 1800.90 v -x805 -x806 -x807 -x808 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.90 v -x829 -x830 -x831 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 1800.90 v -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1800.90 v -x875 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.90 v -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x922 1800.90 v -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x944 -x945 1800.90 v -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x967 -x968 1800.90 v -x969 -x970 x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x988 -x989 -x990 -x991 1800.90 v x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1010 -x1011 -x1012 1800.90 v -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.90 v -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1800.90 v -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067 -x1068 -x1069 1800.90 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1088 1800.90 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 1800.90 v -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1121 -x1122 -x1123 x1124 -x1125 1800.90 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1145 -x1146 1800.90 v -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.90 v -x1165 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.90 v -x1184 -x1185 -x1186 -x1187 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 1800.90 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.90 v -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.90 v x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1256 -x1257 -x1258 -x1259 1800.90 v -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1278 1800.90 v -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.90 v -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1311 -x1312 -x1313 -x1314 -x1315 1800.90 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1334 1800.90 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 1800.90 v -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.90 v -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1389 -x1390 -x1391 1800.90 v -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.90 v -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.90 v -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1444 -x1445 -x1446 -x1447 1800.90 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1466 1800.90 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 1800.90 v -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 -x1501 -x1502 -x1503 -x1504 1800.90 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1522 -x1523 1800.90 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.90 v -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.90 v -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1577 -x1578 -x1579 1800.90 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.90 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.90 v -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 -x1636 1800.90 v x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1655 1800.90 v -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.90 v -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1691 -x1692 1800.90 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1711 -x1712 1800.90 v -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.90 v -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1800.90 v -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1766 -x1767 -x1768 1800.90 v -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.90 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.90 v -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1822 -x1823 -x1824 -x1825 1800.90 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1844 1800.90 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 1800.90 v -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1877 -x1878 -x1879 -x1880 -x1881 1800.90 v -x1882 -x1883 -x1884 x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1899 -x1900 1800.90 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.90 v -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.90 v -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1955 -x1956 -x1957 1800.90 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.90 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.90 v -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2010 -x2011 -x2012 -x2013 1800.90 v -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2033 1800.90 v -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.90 v -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 -x2067 -x2068 -x2069 -x2070 1800.90 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2089 1800.90 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1800.90 v -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.90 v -x2127 x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2144 -x2145 -x2146 1800.90 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.90 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.90 v -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 -x2200 -x2201 -x2202 1800.90 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 1800.90 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 1800.90 v -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2256 -x2257 -x2258 -x2259 -x2260 1800.90 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2278 -x2279 1800.90 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.90 v -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.90 v -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2333 -x2334 -x2335 1800.90 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.90 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 1800.90 v -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2389 -x2390 -x2391 -x2392 1800.90 v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2411 1800.90 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1800.90 v -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 1800.90 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2466 -x2467 1800.90 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.90 v -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.90 v -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2522 -x2523 -x2524 1800.90 v -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.90 v -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.90 v -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2577 -x2578 -x2579 -x2580 1800.90 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2600 1800.90 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.90 v -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2633 -x2634 -x2635 -x2636 -x2637 1800.90 v x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2655 -x2656 1800.90 v -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.90 v -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.90 v -x2694 -x2695 -x2696 -x2697 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2711 -x2712 -x2713 1800.90 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 1800.90 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 1800.90 v -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2766 -x2767 -x2768 -x2769 1800.90 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2788 1800.90 v -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1800.90 v -x2807 -x2808 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 -x2824 -x2825 -x2826 1800.90 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 1800.90 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.90 v -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1800.90 v -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 1800.90 v -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 1800.90 v -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1800.90 v -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2955 -x2956 -x2957 -x2958 1800.90 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2977 1800.90 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.90 v x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3010 -x3011 -x3012 -x3013 -x3014 1800.90 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3033 -x3034 1800.90 v x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.90 v -x3053 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1800.90 v -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 1800.90 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.90 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 1800.90 v -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3144 -x3145 x3146 -x3147 1800.90 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 1800.90 v -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.90 v -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 -x3200 -x3201 -x3202 -x3203 1800.90 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 1800.90 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 1800.90 v -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1800.90 v -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3277 -x3278 x3279 1800.90 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1800.90 v -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.90 v -x3317 -x3318 -x3319 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3332 -x3333 -x3334 -x3335 1800.90 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3354 1800.90 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.90 v -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3389 -x3390 -x3391 -x3392 -x3393 1800.90 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 1800.90 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1800.90 v -x3431 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1800.90 v -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3466 -x3467 -x3468 1800.90 v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.90 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1800.90 v -x3507 x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3522 -x3523 -x3524 -x3525 1800.90 v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3544 1800.90 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1800.90 v -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3577 -x3578 -x3579 -x3580 -x3581 1800.90 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 1800.90 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 1800.90 v -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 1800.90 v -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3655 -x3656 x3657 1800.90 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1800.90 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.90 v -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3711 -x3712 -x3713 -x3714 1800.90 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3733 1800.90 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 1800.90 v -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3766 -x3767 -x3768 -x3769 -x3770 1800.90 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3788 -x3789 1800.90 v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 1800.90 v -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.90 v -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3844 -x3845 -x3846 1800.90 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.90 v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883 1800.90 v -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3899 -x3900 -x3901 -x3902 1800.90 v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3922 1800.90 v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 1800.90 v -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3955 -x3956 -x3957 -x3958 -x3959 1800.90 v -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 -x3978 1800.90 v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 1800.90 v -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.90 v -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4033 -x4034 -x4035 1800.90 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 1800.90 v -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.90 v -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 -x4086 -x4088 -x4089 -x4090 -x4091 1800.90 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4110 1800.90 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.90 v x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4144 -x4145 -x4146 -x4147 -x4148 1800.90 v -x4149 -x4150 -x4151 x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4166 -x4167 1800.90 v -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1800.90 v -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1800.90 v -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4221 -x4222 -x4223 1800.90 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241 1800.90 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4255 -x4256 -x4257 -x4258 -x4259 x4260 -x4261 1800.90 v -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4277 -x4278 -x4279 -x4280 1800.90 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 1800.90 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1800.90 v -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 1800.90 v -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 1800.90 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1800.90 v -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 1800.90 v -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4410 -x4411 -x4412 1800.90 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1800.90 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1800.90 v -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4465 -x4466 -x4467 -x4468 1800.90 v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4489 1800.90 v -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1800.90 v -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 x4524 -x4525 -x4526 1800.90 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 1800.90 v -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 1800.90 v -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.90 v -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4600 -x4601 -x4602 1800.90 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1800.90 v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1800.90 v -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4655 -x4656 -x4657 -x4658 1800.90 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4677 1800.90 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1800.90 v -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 1800.90 v -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4733 -x4734 1800.90 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 1800.90 v -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 1800.90 v -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4788 -x4789 x4790 1800.90 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 1800.90 v -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1800.90 v -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 -x4847 1800.90 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4866 1800.90 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 1800.90 v -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4903 1800.90 v -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4922 -x4923 1800.90 v -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.90 v -x4942 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 1800.90 v -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4977 -x4978 -x4979 1800.90 v -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 1800.90 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 1800.90 v -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5033 -x5034 -x5035 -x5036 1800.90 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5055 1800.90 v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 1800.90 v -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5088 -x5089 -x5090 -x5091 -x5092 1800.90 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 1800.90 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 1800.90 v -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 1800.90 v -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 -x5168 1800.90 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1800.90 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1800.90 v -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 1800.90 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5243 1800.90 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 1800.90 v -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5277 -x5278 -x5279 -x5280 x5281 1800.90 v -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 1800.90 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 1800.90 v -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 1800.90 v -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5354 -x5355 -x5356 1800.90 v -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1800.90 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 1800.90 v -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5410 -x5411 x5412 -x5413 1800.90 v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5432 1800.90 v -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 1800.90 v -x5451 -x5452 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 1800.90 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 1800.90 v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1800.90 v -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 1800.90 v -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5543 -x5544 -x5545 1800.90 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 1800.90 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 1800.90 v -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603 1800.90 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5622 1800.90 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1800.90 v -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 1800.90 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 1800.90 v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 1800.90 v -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.90 v -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5733 -x5734 -x5735 1800.90 v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 1800.90 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 1800.90 v -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5788 -x5789 x5790 -x5791 1800.90 v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5811 1800.90 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1800.90 v -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5844 -x5845 -x5846 -x5847 -x5848 1800.90 v -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5866 -x5867 1800.90 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 1800.90 v -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 1800.90 v -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5922 -x5923 -x5924 1800.90 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1800.90 v -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1800.90 v -x5962 -x5963 -x5964 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5977 -x5978 -x5979 -x5980 1800.90 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5999 1800.90 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 1800.90 v -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6033 -x6034 -x6035 -x6036 -x6037 1800.90 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 1800.90 v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 1800.90 v -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1800.90 v -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6110 -x6111 -x6112 1800.90 v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 1800.90 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1800.90 v -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6166 -x6167 -x6168 -x6169 1800.90 v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6188 1800.90 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 1800.90 v -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6221 -x6222 -x6223 -x6224 -x6225 1800.90 v -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6243 -x6244 1800.90 v -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257 -x6258 -x6259 x6260 -x6261 -x6262 -x6263 1800.90 v -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6277 -x6278 1800.91 c Exit Code: 10 1800.91 c Total time: 1800 s
OK 1265106943
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-40775-1149317049 -o ROOT/results/node13/solver-40775-1149317049 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1873888/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=18540 CPUtime=0 /proc/24749/stat : 24749 (runsolver) D 24747 24749 24703 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 197367533 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 269757246759 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/24749/statm: 4635 279 243 16 0 2626 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1849320/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=28964 CPUtime=9.72 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 6558 0 2 0 965 7 0 0 25 0 1 0 197367533 29659136 6389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 7241 6389 296 55 0 6133 0 Current children cumulated CPU time (s) 9.72 Current children cumulated vsize (Kb) 28964 [startup+20.0086 s] /proc/loadavg: 0.94 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1847536/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=30836 CPUtime=19.72 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7243 0 2 0 1963 9 0 0 25 0 1 0 197367533 31576064 6830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 7709 6830 297 55 0 6601 0 Current children cumulated CPU time (s) 19.72 Current children cumulated vsize (Kb) 30836 [startup+30.0149 s] /proc/loadavg: 0.95 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1845488/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=32820 CPUtime=29.73 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7795 0 2 0 2963 10 0 0 25 0 1 0 197367533 33607680 7352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8205 7352 297 55 0 7097 0 Current children cumulated CPU time (s) 29.73 Current children cumulated vsize (Kb) 32820 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1845488/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=32820 CPUtime=39.73 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7795 0 2 0 3962 11 0 0 25 0 1 0 197367533 33607680 7352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8205 7352 297 55 0 7097 0 Current children cumulated CPU time (s) 39.73 Current children cumulated vsize (Kb) 32820 [startup+50.0276 s] /proc/loadavg: 0.97 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1845104/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=33184 CPUtime=49.73 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 4961 12 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8296 7446 297 55 0 7188 0 Current children cumulated CPU time (s) 49.73 Current children cumulated vsize (Kb) 33184 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1845104/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=33184 CPUtime=59.73 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 5960 13 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8296 7446 297 55 0 7188 0 Current children cumulated CPU time (s) 59.73 Current children cumulated vsize (Kb) 33184 [startup+70.0403 s] /proc/loadavg: 0.97 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1845168/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=33184 CPUtime=69.74 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 6960 14 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8296 7446 297 55 0 7188 0 Current children cumulated CPU time (s) 69.74 Current children cumulated vsize (Kb) 33184 [startup+80.0466 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1843568/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=34892 CPUtime=79.74 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 8297 0 2 0 7960 14 0 0 25 0 1 0 197367533 35729408 7848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8723 7848 297 55 0 7615 0 Current children cumulated CPU time (s) 79.74 Current children cumulated vsize (Kb) 34892 [startup+90.053 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1842928/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=35488 CPUtime=89.74 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 8516 0 2 0 8960 14 0 0 25 0 1 0 197367533 36339712 8010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 8872 8010 297 55 0 7764 0 Current children cumulated CPU time (s) 89.74 Current children cumulated vsize (Kb) 35488 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1840496/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=37968 CPUtime=99.74 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9123 0 2 0 9960 14 0 0 25 0 1 0 197367533 38879232 8617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 9492 8617 297 55 0 8384 0 Current children cumulated CPU time (s) 99.74 Current children cumulated vsize (Kb) 37968 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1840496/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=37968 CPUtime=109.75 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9123 0 2 0 10960 15 0 0 25 0 1 0 197367533 38879232 8617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 9492 8617 297 55 0 8384 0 Current children cumulated CPU time (s) 109.75 Current children cumulated vsize (Kb) 37968 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1838576/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=39816 CPUtime=119.75 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9596 0 2 0 11960 15 0 0 25 0 1 0 197367533 40771584 9090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 9954 9090 297 55 0 8846 0 Current children cumulated CPU time (s) 119.75 Current children cumulated vsize (Kb) 39816 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1837872/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=40596 CPUtime=129.76 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9779 0 2 0 12960 16 0 0 25 0 1 0 197367533 41570304 9273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10149 9273 297 55 0 9041 0 Current children cumulated CPU time (s) 129.76 Current children cumulated vsize (Kb) 40596 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1837872/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=40596 CPUtime=139.76 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9779 0 2 0 13960 16 0 0 25 0 1 0 197367533 41570304 9273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10149 9273 297 55 0 9041 0 Current children cumulated CPU time (s) 139.76 Current children cumulated vsize (Kb) 40596 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1837616/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=40860 CPUtime=149.76 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9850 0 2 0 14960 16 0 0 25 0 1 0 197367533 41840640 9344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10215 9344 297 55 0 9107 0 Current children cumulated CPU time (s) 149.76 Current children cumulated vsize (Kb) 40860 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1837424/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=40992 CPUtime=159.76 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9890 0 2 0 15960 16 0 0 25 0 1 0 197367533 41975808 9384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10248 9384 297 55 0 9140 0 Current children cumulated CPU time (s) 159.76 Current children cumulated vsize (Kb) 40992 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1836784/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=41624 CPUtime=169.77 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10047 0 2 0 16960 17 0 0 25 0 1 0 197367533 42622976 9541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10406 9541 297 55 0 9298 0 Current children cumulated CPU time (s) 169.77 Current children cumulated vsize (Kb) 41624 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1835568/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=42868 CPUtime=179.77 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10354 0 2 0 17959 18 0 0 25 0 1 0 197367533 43896832 9848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10717 9848 297 55 0 9609 0 Current children cumulated CPU time (s) 179.77 Current children cumulated vsize (Kb) 42868 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1834864/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=43576 CPUtime=189.78 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10642 0 2 0 18959 19 0 0 25 0 1 0 197367533 44621824 10027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134554127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 10894 10027 297 55 0 9786 0 Current children cumulated CPU time (s) 189.78 Current children cumulated vsize (Kb) 43576 [startup+200.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1833392/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=45012 CPUtime=199.78 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10998 0 2 0 19959 19 0 0 25 0 1 0 197367533 46092288 10383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 11253 10383 297 55 0 10145 0 Current children cumulated CPU time (s) 199.78 Current children cumulated vsize (Kb) 45012 [startup+210.129 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24749 /proc/meminfo: memFree=1831856/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/24749/statm: 39431 38564 297 55 0 38323 0 Current children cumulated CPU time (s) 1760.21 Current children cumulated vsize (Kb) 157724 [startup+1771.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1719664/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=157724 CPUtime=1770.21 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40069 0 2 0 176926 95 0 0 25 0 1 0 197367533 161509376 38564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39431 38564 297 55 0 38323 0 Current children cumulated CPU time (s) 1770.21 Current children cumulated vsize (Kb) 157724 [startup+1781.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158424 CPUtime=1780.22 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 177927 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39606 38754 297 55 0 38498 0 Current children cumulated CPU time (s) 1780.22 Current children cumulated vsize (Kb) 158424 [startup+1782.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158424 CPUtime=1781.22 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 178027 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39606 38754 297 55 0 38498 0 Current children cumulated CPU time (s) 1781.22 Current children cumulated vsize (Kb) 158424 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158424 CPUtime=1782.23 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 178128 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39606 38754 297 55 0 38498 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (Kb) 158424 [startup+1784.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718768/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158688 CPUtime=1783.23 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40297 0 2 0 178228 95 0 0 25 0 1 0 197367533 162496512 38789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39672 38789 297 55 0 38564 0 Current children cumulated CPU time (s) 1783.23 Current children cumulated vsize (Kb) 158688 [startup+1785.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158688 CPUtime=1784.24 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178329 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39672 38797 297 55 0 38564 0 Current children cumulated CPU time (s) 1784.24 Current children cumulated vsize (Kb) 158688 [startup+1786.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158688 CPUtime=1785.24 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178429 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39672 38797 297 55 0 38564 0 Current children cumulated CPU time (s) 1785.24 Current children cumulated vsize (Kb) 158688 [startup+1787.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158688 CPUtime=1786.24 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178529 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39672 38797 297 55 0 38564 0 Current children cumulated CPU time (s) 1786.24 Current children cumulated vsize (Kb) 158688 [startup+1788.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158688 CPUtime=1787.25 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178630 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39672 38797 297 55 0 38564 0 Current children cumulated CPU time (s) 1787.25 Current children cumulated vsize (Kb) 158688 [startup+1789.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158492 CPUtime=1788.25 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178730 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39623 38771 297 55 0 38515 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (Kb) 158492 [startup+1790.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158492 CPUtime=1789.26 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178831 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39623 38771 297 55 0 38515 0 Current children cumulated CPU time (s) 1789.26 Current children cumulated vsize (Kb) 158492 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158492 CPUtime=1790.26 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178931 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39623 38771 297 55 0 38515 0 Current children cumulated CPU time (s) 1790.26 Current children cumulated vsize (Kb) 158492 [startup+1792.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158624 CPUtime=1791.26 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40327 0 2 0 179031 95 0 0 25 0 1 0 197367533 162430976 38793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39656 38793 297 55 0 38548 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (Kb) 158624 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158624 CPUtime=1792.27 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40335 0 2 0 179132 95 0 0 25 0 1 0 197367533 162430976 38801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39656 38801 297 55 0 38548 0 Current children cumulated CPU time (s) 1792.27 Current children cumulated vsize (Kb) 158624 [startup+1794.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1793.27 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179232 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1793.27 Current children cumulated vsize (Kb) 158888 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1794.28 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179333 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1794.28 Current children cumulated vsize (Kb) 158888 [startup+1796.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1795.28 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179433 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1795.28 Current children cumulated vsize (Kb) 158888 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1796.29 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179534 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1796.29 Current children cumulated vsize (Kb) 158888 [startup+1798.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1797.29 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179634 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1797.29 Current children cumulated vsize (Kb) 158888 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1798.3 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179735 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1798.3 Current children cumulated vsize (Kb) 158888 [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24944 /proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956 [pid=24749] ppid=24747 vsize=158888 CPUtime=1799.3 /proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179835 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24749/statm: 39722 38849 297 55 0 38614 0 Current children cumulated CPU time (s) 1799.3 Current children cumulated vsize (Kb) 158888 Child status: 10 Real time (s): 1800.94 CPU time (s): 1800.04 CPU user time (s): 1799.05 CPU system time (s): 0.98385 CPU usage (%): 99.9498 Max. virtual memory (cumulated for all children) (Kb): 158888
Begin job on node13 on Sat Jun 3 06:44:09 UTC 2006 FILE ID= 40775-1149317049 PBS_JOBID= 308413 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-40775-1149317049 -o ROOT/results/node13/solver-40775-1149317049 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED= 100649825 /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.234 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.234 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: 1874288 kB Buffers: 876 kB Cached: 115748 kB SwapCached: 3056 kB Active: 30088 kB Inactive: 95120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1874288 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14664 kB Slab: 42404 kB Committed_AS: 328724 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sat Jun 3 07:14:10 UTC 2006