Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 58 | 1800.28 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb |
MD5SUM | 6a8d837851671f69c34bdd14861bc7ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 2910 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 12627 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526152 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526152 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.08 c Initial problem consists of 2910 variables and 70 constraints. 0.09 c preprocess terminated. Elapsed time: 0.078 0.09 c After prepocess the problem consists of 1411 variables and 66 constraints. 0.09 c Initial Lower Bound: -248 0.24 c Restart #1 #Var: 1411 LB: -248 @ 0.224 0.44 c Restart #2 #Var: 1411 LB: -248 @ 0.431 0.74 c Restart #3 #Var: 1411 LB: -248 @ 0.727 1.11 c Restart #4 #Var: 1411 LB: -248 @ 1.097 1.55 c Restart #5 #Var: 1411 LB: -248 @ 1.536 2.06 c Restart #6 #Var: 1411 LB: -248 @ 2.05 3.10 c Restart #7 #Var: 1411 LB: -248 @ 3.083 5.64 c Restart #8 #Var: 1411 LB: -248 @ 5.621 6.90 c Restart #9 #Var: 1411 LB: -248 @ 6.881 8.90 c Restart #10 #Var: 1411 LB: -248 @ 8.884 10.47 c Restart #11 #Var: 1411 LB: -248 @ 10.449 12.06 c Restart #12 #Var: 1411 LB: -248 @ 12.046 14.32 c Restart #13 #Var: 1411 LB: -248 @ 14.302 15.91 c Restart #14 #Var: 1411 LB: -248 @ 15.89 17.07 c Restart #15 #Var: 1411 LB: -248 @ 17.048 19.43 c Restart #16 #Var: 1411 LB: -248 @ 19.414 21.38 c Restart #17 #Var: 1411 LB: -248 @ 21.359 23.36 c Restart #18 #Var: 1411 LB: -248 @ 23.343 33.37 c Restart #19 #Var: 1411 LB: -248 @ 33.346 35.28 c Restart #20 #Var: 1411 LB: -248 @ 35.258 37.44 c Restart #21 #Var: 1411 LB: -248 @ 37.414 40.20 c Restart #22 #Var: 1411 LB: -248 @ 40.175 43.22 c Restart #23 #Var: 1411 LB: -248 @ 43.189 56.55 c Restart #24 #Var: 1411 LB: -248 @ 56.522 57.98 c Restart #25 #Var: 1411 LB: -248 @ 57.945 60.95 c Restart #26 #Var: 1411 LB: -248 @ 60.919 65.29 c Restart #27 #Var: 1411 LB: -248 @ 65.259 71.37 c Restart #28 #Var: 1411 LB: -248 @ 71.34 94.20 c Restart #29 #Var: 1411 LB: -248 @ 94.156 99.70 c Restart #30 #Var: 1411 LB: -248 @ 99.655 105.01 c Restart #31 #Var: 1411 LB: -248 @ 104.97 108.13 c Restart #32 #Var: 1411 LB: -248 @ 108.09 112.27 c Restart #33 #Var: 1411 LB: -248 @ 112.22 115.31 c Restart #34 #Var: 1411 LB: -248 @ 115.27 120.28 c Restart #35 #Var: 1411 LB: -248 @ 120.23 122.72 c Restart #36 #Var: 1411 LB: -248 @ 122.68 126.83 c Restart #37 #Var: 1411 LB: -248 @ 126.78 129.70 c Restart #38 #Var: 1411 LB: -248 @ 129.65 136.28 c Restart #39 #Var: 1411 LB: -248 @ 136.22 142.39 c Restart #40 #Var: 1411 LB: -248 @ 142.33 147.32 c Restart #41 #Var: 1411 LB: -248 @ 147.27 153.72 c Restart #42 #Var: 1411 LB: -248 @ 153.66 159.52 c Restart #43 #Var: 1411 LB: -248 @ 159.47 162.38 c Restart #44 #Var: 1411 LB: -248 @ 162.33 167.89 c Restart #45 #Var: 1411 LB: -248 @ 167.83 175.47 c Restart #46 #Var: 1411 LB: -248 @ 175.4 182.30 c Restart #47 #Var: 1411 LB: -248 @ 182.23 214.01 c Restart #48 #Var: 1411 LB: -248 @ 213.94 221.14 c Restart #49 #Var: 1411 LB: -248 @ 221.07 228.86 c Restart #50 #Var: 1411 LB: -248 @ 228.79 235.86 c Restart #51 #Var: 1411 LB: -248 @ 235.78 251.47 c Restart #52 #Var: 1411 LB: -248 @ 251.39 261.31 c Restart #53 #Var: 1411 LB: -248 @ 261.22 266.91 c Restart #54 #Var: 1411 LB: -248 @ 266.82 272.98 c Restart #55 #Var: 1411 LB: -248 @ 272.9 283.10 c Restart #56 #Var: 1411 LB: -248 @ 283.01 316.38 c Restart #57 #Var: 1411 LB: -248 @ 316.28 326.34 c Restart #58 #Var: 1411 LB: -248 @ 326.24 337.00 c Restart #59 #Var: 1411 LB: -248 @ 336.9 343.65 c Restart #60 #Var: 1411 LB: -248 @ 343.55 358.30 c Restart #61 #Var: 1410 LB: -247 @ 358.19 435.22 c Restart #62 #Var: 1410 LB: -247 @ 435.08 444.44 c Restart #63 #Var: 1410 LB: -247 @ 444.31 453.93 c Restart #64 #Var: 1410 LB: -247 @ 453.8 463.32 c Restart #65 #Var: 1410 LB: -247 @ 463.18 472.17 c Restart #66 #Var: 1410 LB: -247 @ 472.03 484.31 c Restart #67 #Var: 1410 LB: -247 @ 484.17 492.11 c Restart #68 #Var: 1410 LB: -247 @ 491.97 504.53 c Restart #69 #Var: 1410 LB: -247 @ 504.38 513.25 c Restart #70 #Var: 1410 LB: -247 @ 513.1 525.10 c Restart #71 #Var: 1407 LB: -244 @ 524.94 534.23 c Restart #72 #Var: 1407 LB: -244 @ 534.07 544.72 c Restart #73 #Var: 1407 LB: -244 @ 544.56 570.51 c Restart #74 #Var: 1387 LB: -225 @ 570.34 581.56 c Restart #75 #Var: 1387 LB: -225 @ 581.39 594.44 c Restart #76 #Var: 1387 LB: -225 @ 594.27 604.60 c Restart #77 #Var: 1387 LB: -225 @ 604.42 614.49 c Restart #78 #Var: 1387 LB: -225 @ 614.31 624.58 c Restart #79 #Var: 1387 LB: -225 @ 624.4 642.56 c Restart #80 #Var: 1387 LB: -225 @ 642.37 721.37 c Restart #81 #Var: 1387 LB: -225 @ 721.16 735.25 c Restart #82 #Var: 1387 LB: -225 @ 735.04 775.77 c Restart #83 #Var: 1387 LB: -225 @ 775.55 792.30 c Restart #84 #Var: 1387 LB: -225 @ 792.07 800.50 c Restart #85 #Var: 1387 LB: -225 @ 800.27 816.59 c Restart #86 #Var: 1387 LB: -225 @ 816.36 830.30 c Restart #87 #Var: 1387 LB: -225 @ 830.06 843.38 c Restart #88 #Var: 1387 LB: -225 @ 843.14 849.13 c Restart #89 #Var: 1387 LB: -225 @ 848.89 861.02 c Restart #90 #Var: 1386 LB: -224 @ 860.77 869.24 c Restart #91 #Var: 1386 LB: -224 @ 868.99 883.64 c Restart #92 #Var: 1385 LB: -223 @ 883.39 900.48 c CHANGE Heuristic... 900.48 c Restart #0 #Var: 1385 LB: -223 @ 900.23 907.00 c Restart #1 #Var: 1385 LB: -223 @ 906.75 908.13 c Restart #2 #Var: 1385 LB: -223 @ 907.87 910.41 c Restart #3 #Var: 1385 LB: -223 @ 910.15 912.38 c Restart #4 #Var: 1385 LB: -223 @ 912.12 913.55 c Restart #5 #Var: 1385 LB: -223 @ 913.3 914.96 c Restart #6 #Var: 1385 LB: -223 @ 914.7 917.08 c Restart #7 #Var: 1385 LB: -223 @ 916.82 919.44 c Restart #8 #Var: 1385 LB: -223 @ 919.18 922.51 c Restart #9 #Var: 1385 LB: -223 @ 922.25 924.19 c Restart #10 #Var: 1385 LB: -223 @ 923.93 926.49 c Restart #11 #Var: 1385 LB: -223 @ 926.23 932.20 c Restart #12 #Var: 1385 LB: -223 @ 931.94 934.33 c Restart #13 #Var: 1385 LB: -223 @ 934.07 936.74 c Restart #14 #Var: 1385 LB: -223 @ 936.47 940.41 c Restart #15 #Var: 1385 LB: -223 @ 940.14 944.15 c Restart #16 #Var: 1385 LB: -223 @ 943.89 946.31 c Restart #17 #Var: 1385 LB: -223 @ 946.04 950.70 c Restart #18 #Var: 1385 LB: -223 @ 950.43 953.36 c Restart #19 #Var: 1385 LB: -223 @ 953.09 956.80 c Restart #20 #Var: 1385 LB: -223 @ 956.53 959.30 c Restart #21 #Var: 1385 LB: -223 @ 959.03 967.99 c Restart #22 #Var: 1385 LB: -223 @ 967.71 971.50 c Restart #23 #Var: 1385 LB: -223 @ 971.22 971.97 c Sol. found (all assignments made)... 971.97 o 60 971.97 c NEW SOLUTION FOUND: 60 @ 971.7 971.97 c Sol. found (all assignments made)... 971.97 c Sol. found (all assignments made)... 971.97 c Sol. found (all assignments made)... 971.97 c Sol. found (all assignments made)... 971.97 c Sol. found (all assignments made)... 971.98 c Sol. found (all assignments made)... 971.98 c Sol. found (all assignments made)... 971.98 c Sol. found (all assignments made)... 971.98 o 59 971.98 c NEW SOLUTION FOUND: 59 @ 971.7 971.99 c Sol. found (all assignments made)... 972.07 c Sol. found (all assignments made)... 972.15 c Sol. found (all assignments made)... 972.15 c Sol. found (all assignments made)... 972.15 o 58 972.15 c NEW SOLUTION FOUND: 58 @ 971.88 972.16 c Sol. found (all assignments made)... 972.16 c Sol. found (all assignments made)... 972.17 c Sol. found (all assignments made)... 972.18 c Sol. found (all assignments made)... 972.19 c Sol. found (all assignments made)... 972.19 c Sol. found (all assignments made)... 972.19 c Sol. found (all assignments made)... 972.20 c Sol. found (all assignments made)... 972.20 c Sol. found (all assignments made)... 972.20 c Sol. found (all assignments made)... 972.20 c Sol. found (all assignments made)... 972.21 c Sol. found (all assignments made)... 975.01 c Restart #24 #Var: 1385 LB: -223 @ 974.74 984.32 c Restart #25 #Var: 1384 LB: -222 @ 984.04 996.52 c Restart #26 #Var: 1376 LB: -215 @ 996.24 1000.83 c Restart #27 #Var: 1376 LB: -215 @ 1000.5 1017.19 c CHANGE to MIS mode... UB: 58 MIS: -28 LPR: -40 (0.024667) Diff: 0.7 1017.19 c Restart #0 #Var: 1376 LB: -215 @ 1016.9 1018.41 c Restart #1 #Var: 1361 LB: -33 @ 1018.1 1019.65 c Restart #2 #Var: 1361 LB: -33 @ 1019.4 1020.90 c Restart #3 #Var: 1361 LB: -33 @ 1020.6 1022.84 c Restart #4 #Var: 1361 LB: -33 @ 1022.6 1024.28 c Restart #5 #Var: 1361 LB: -33 @ 1024 1026.57 c Restart #6 #Var: 1361 LB: -33 @ 1026.3 1029.33 c Restart #7 #Var: 1361 LB: -33 @ 1029 1030.88 c Restart #8 #Var: 1361 LB: -33 @ 1030.6 1035.12 c Restart #9 #Var: 1361 LB: -33 @ 1034.8 1039.54 c Restart #10 #Var: 1361 LB: -33 @ 1039.2 1041.68 c Restart #11 #Var: 1361 LB: -33 @ 1041.4 1043.38 c Restart #12 #Var: 1361 LB: -33 @ 1043.1 1047.95 c Restart #13 #Var: 1361 LB: -33 @ 1047.7 1050.51 c Restart #14 #Var: 1361 LB: -33 @ 1050.2 1055.62 c Restart #15 #Var: 1361 LB: -33 @ 1055.3 1058.72 c Restart #16 #Var: 1361 LB: -33 @ 1058.4 1063.87 c Restart #17 #Var: 1361 LB: -33 @ 1063.6 1069.65 c Restart #18 #Var: 1361 LB: -33 @ 1069.3 1074.38 c Restart #19 #Var: 1361 LB: -33 @ 1074.1 1079.53 c Restart #20 #Var: 1361 LB: -33 @ 1079.2 1083.65 c Restart #21 #Var: 1361 LB: -33 @ 1083.3 1101.45 c Restart #22 #Var: 1361 LB: -33 @ 1101.1 1106.94 c Restart #23 #Var: 1361 LB: -33 @ 1106.6 1111.33 c Restart #24 #Var: 1361 LB: -33 @ 1111 1118.72 c Restart #25 #Var: 1361 LB: -33 @ 1118.4 1125.15 c Restart #26 #Var: 1361 LB: -33 @ 1124.8 1133.66 c Restart #27 #Var: 1361 LB: -33 @ 1133.3 1144.66 c Restart #28 #Var: 1361 LB: -33 @ 1144.3 1163.06 c Restart #29 #Var: 1361 LB: -33 @ 1162.7 1172.32 c Restart #30 #Var: 1361 LB: -33 @ 1172 1178.68 c Restart #31 #Var: 1361 LB: -33 @ 1178.3 1190.73 c Restart #32 #Var: 1361 LB: -33 @ 1190.4 1196.96 c Restart #33 #Var: 1361 LB: -33 @ 1196.6 1210.48 c Restart #34 #Var: 1361 LB: -33 @ 1210.1 1216.62 c Restart #35 #Var: 1361 LB: -33 @ 1216.2 1224.23 c Restart #36 #Var: 1361 LB: -33 @ 1223.9 1231.98 c Restart #37 #Var: 1361 LB: -33 @ 1231.6 1239.70 c Restart #38 #Var: 1361 LB: -33 @ 1239.3 1246.45 c Restart #39 #Var: 1361 LB: -33 @ 1246.1 1281.73 c Restart #40 #Var: 1361 LB: -33 @ 1281.3 1288.66 c Restart #41 #Var: 1361 LB: -33 @ 1288.3 1297.27 c Restart #42 #Var: 1361 LB: -33 @ 1296.9 1305.00 c Restart #43 #Var: 1361 LB: -33 @ 1304.6 1345.27 c Restart #44 #Var: 1361 LB: -33 @ 1344.9 1389.22 c Restart #45 #Var: 1361 LB: -33 @ 1388.8 1401.11 c Restart #46 #Var: 1361 LB: -33 @ 1400.7 1418.75 c Restart #47 #Var: 1361 LB: -33 @ 1418.3 1431.45 c Restart #48 #Var: 1361 LB: -98 @ 1431 1800.75 s SATISFIABLE 1800.75 c Cost: 58 1800.75 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.75 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 1800.75 v -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.75 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.75 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185 1800.75 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1800.75 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1800.75 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.75 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.75 v -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 x312 x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 1800.75 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342 1800.75 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.75 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.75 v -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 -x395 x396 x397 x398 x399 -x400 x401 x402 -x403 -x404 -x405 x406 -x407 1800.75 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1800.75 v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.75 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1800.75 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 1800.75 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.75 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.75 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.75 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.75 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.75 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.75 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.75 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.75 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.75 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.75 v -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.75 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.75 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.75 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.75 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.75 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.75 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.75 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.75 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.75 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.75 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.75 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.75 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.75 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 1800.75 v -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 1800.75 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.75 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.75 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.75 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.75 v x1111 x1112 x1113 x1114 x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.75 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.75 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.75 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.75 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.75 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.75 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.75 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.75 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1351 -x1352 -x1353 -x1354 1800.75 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.75 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 x1383 -x1384 x1385 x1386 x1387 -x1388 -x1389 1800.75 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1800.75 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.75 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.75 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.75 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.75 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.75 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.75 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.75 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.75 v -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1800.75 v -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 1800.75 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.75 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.75 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.75 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.75 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.75 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.75 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.75 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.75 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.75 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.75 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.75 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.75 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.75 v -x1829 -x1830 -x1831 x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.75 v x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923 1800.75 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.75 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.75 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.75 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.75 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.75 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.75 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.75 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.75 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.75 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.75 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1800.75 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.75 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.75 v x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.75 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.75 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.75 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 1800.75 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 x2318 -x2319 -x2320 1800.75 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.75 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.75 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.75 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.75 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.75 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.75 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.75 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.75 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 1800.75 v -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.75 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.75 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.75 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 1800.75 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.75 v -x2589 x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.75 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.75 v x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.75 v -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.75 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.75 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.75 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.75 v -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.75 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.75 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.75 v x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.75 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.75 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.75 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.75 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.75 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.75 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.75 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.75 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 1800.75 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.75 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1800.75 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261 1800.75 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.75 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996 1800.75 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.75 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 x1567 -x1568 -x1569 x1570 -x1571 -x1572 1800.75 v -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.75 v -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1800.75 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 1800.75 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1800.75 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.75 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.75 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.75 v -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.75 v -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.75 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123 1800.75 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.75 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.75 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955 1800.75 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.75 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.75 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.75 v -x2907 -x2908 -x2909 -x2910 1800.75 c Exit Code: 10 1800.75 c Total time: 1800.2 s
OK 58
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/node9/watcher-39890-1149324144 -o ROOT/results/node9/solver-39890-1149324144 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39890-1149324144/instance-39890-1149324144.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 19273 /proc/meminfo: memFree=1663192/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=4748 CPUtime=0 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 247 0 0 0 0 0 0 0 18 0 1 0 198076697 4861952 217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559205 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 1231 225 153 55 0 123 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.90 2/64 19273 /proc/meminfo: memFree=1657576/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=10244 CPUtime=9.98 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 1791 0 0 0 996 2 0 0 25 0 1 0 198076697 10489856 1706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 2561 1706 296 55 0 1453 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10244 [startup+20.0099 s] /proc/loadavg: 0.94 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1641776/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=26124 CPUtime=19.98 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 5739 0 0 0 1994 4 0 0 25 0 1 0 198076697 26750976 5651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 6531 5651 296 55 0 5423 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 26124 [startup+30.016 s] /proc/loadavg: 0.95 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1637680/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=30436 CPUtime=29.99 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 6783 0 0 0 2993 6 0 0 25 0 1 0 198076697 31166464 6687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 7609 6687 296 55 0 6501 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30436 [startup+40.0222 s] /proc/loadavg: 0.95 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1634480/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=33540 CPUtime=39.99 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 7579 0 0 0 3991 8 0 0 25 0 1 0 198076697 34344960 7482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 8385 7482 296 55 0 7277 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 33540 [startup+50.0283 s] /proc/loadavg: 0.96 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1633584/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=34464 CPUtime=49.99 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 7797 0 0 0 4991 8 0 0 25 0 1 0 198076697 35291136 7700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 8616 7700 296 55 0 7508 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 34464 [startup+60.0345 s] /proc/loadavg: 0.97 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1628336/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=39860 CPUtime=59.99 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 9123 0 0 0 5989 10 0 0 25 0 1 0 198076697 40816640 9012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 9965 9012 296 55 0 8857 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 39860 [startup+70.0406 s] /proc/loadavg: 0.97 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=43952 CPUtime=70 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 6988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 10988 10046 296 55 0 9880 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 43952 [startup+80.0468 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=43952 CPUtime=80 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 7988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 10988 10046 296 55 0 9880 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 43952 [startup+90.0519 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=43952 CPUtime=90 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 8988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 10988 10046 296 55 0 9880 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 43952 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1604400/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65000 CPUtime=100.01 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15166 0 0 0 9985 16 0 0 25 0 1 0 198076697 66560000 14981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16250 14981 296 55 0 15142 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 65000 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 19273 /proc/meminfo: memFree=1603248/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=66056 CPUtime=110.01 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15441 0 0 0 10984 17 0 0 25 0 1 0 198076697 67641344 15256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16514 15256 296 55 0 15406 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 66056 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1603312/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65972 CPUtime=120.02 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15442 0 0 0 11983 19 0 0 25 0 1 0 198076697 67555328 15247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16493 15247 296 55 0 15385 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 65972 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65756 CPUtime=130.02 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 12982 20 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16439 15194 296 55 0 15331 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 65756 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65756 CPUtime=140.03 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 13981 22 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16439 15194 296 55 0 15331 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 65756 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65756 CPUtime=150.03 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 14980 23 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16439 15194 296 55 0 15331 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 65756 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=65756 CPUtime=160.03 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15444 0 0 0 15979 24 0 0 25 0 1 0 198076697 67334144 15195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16439 15195 296 55 0 15331 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 65756 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1602544/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=66792 CPUtime=170.03 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15698 0 0 0 16978 25 0 0 25 0 1 0 198076697 68395008 15447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16698 15447 296 55 0 15590 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 66792 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=66924 CPUtime=180.03 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15713 0 0 0 17978 25 0 0 25 0 1 0 198076697 68530176 15462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16731 15462 296 55 0 15623 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 66924 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=66924 CPUtime=190.04 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15714 0 0 0 18978 26 0 0 25 0 1 0 198076697 68530176 15463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16731 15463 296 55 0 15623 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 66924 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=66924 CPUtime=200.05 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15714 0 0 0 19978 27 0 0 25 0 1 0 198076697 68530176 15463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 16731 15463 296 55 0 15623 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 66924 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19273 /proc/meminfo: memFree=1602416/2055920 swapFree=4180864/4192956 ################ # More data... # ################ /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 373504 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1770.54 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 176878 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 373504 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1780.55 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 177879 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 373504 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1781.55 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 177979 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 373504 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1782.56 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178080 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 373504 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1783.56 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178180 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 373504 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1784.56 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178280 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 373504 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1785.57 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178381 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 373504 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1786.57 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178481 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 373504 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1787.58 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178582 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 373504 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1788.58 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178682 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 373504 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1789.59 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178783 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 373504 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1790.59 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178883 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 373504 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1791.6 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178984 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 373504 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1792.6 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179084 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 373504 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1793.61 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179185 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542318 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 373504 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1794.61 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179285 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 373504 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1795.62 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179386 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 373504 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1796.62 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179486 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 373504 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1797.62 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179586 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 373504 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1798.63 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179687 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 373504 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19467 /proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956 [pid=19273] ppid=19271 vsize=373504 CPUtime=1799.63 /proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179787 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19273/statm: 93376 89751 426 55 0 92268 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 373504 Child status: 10 Real time (s): 1800.82 CPU time (s): 1800.28 CPU user time (s): 1798.45 CPU system time (s): 1.82772 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (Kb): 373504
Begin job on node9 on Sat Jun 3 08:42:24 UTC 2006 FILE ID= 39890-1149324144 PBS_JOBID= 309524 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39890-1149324144/instance-39890-1149324144.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-39890-1149324144 -o ROOT/results/node9/solver-39890-1149324144 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39890-1149324144/instance-39890-1149324144.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba RANDOM SEED= 851233127 /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: 1663400 kB Buffers: 6648 kB Cached: 330380 kB SwapCached: 3652 kB Active: 27140 kB Inactive: 318464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1663400 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14720 kB Slab: 32964 kB Committed_AS: 335432 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Sat Jun 3 09:12:25 UTC 2006