Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | MSAT (TO) | 1800.29 | 1800.23 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-66-100-0.wbo |
| MD5SUM | 321b555888f42ada31256d1d017f1ca8 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.25496 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6832 |
| Total number of constraints | 19477 |
| Number of soft constraints | 6629 |
| Number of constraints which are clauses | 18953 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 524 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 330532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 330531 |
| Biggest number in a constraint | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| 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/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3447332-1307899348.wbo>
0.09/0.13 c original problem has 13461 variables (13461 bin, 0 int, 0 impl, 0 cont) and 19478 constraints
0.09/0.13 c problem read
0.09/0.14 c presolving settings loaded
0.19/0.26 c presolving:
0.29/0.34 c (round 1) 147 del vars, 46 del conss, 0 add conss, 16 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179486 impls, 0 clqs
0.29/0.35 c (round 2) 164 del vars, 332 del conss, 0 add conss, 17 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179486 impls, 0 clqs
0.29/0.35 c (round 3) 184 del vars, 337 del conss, 0 add conss, 19 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179486 impls, 0 clqs
0.29/0.36 c (round 4) 188 del vars, 343 del conss, 0 add conss, 21 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179486 impls, 0 clqs
0.29/0.36 c (round 5) 191 del vars, 348 del conss, 0 add conss, 23 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179494 impls, 0 clqs
0.29/0.37 c (round 6) 194 del vars, 354 del conss, 0 add conss, 24 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179500 impls, 0 clqs
0.29/0.37 c (round 7) 198 del vars, 357 del conss, 0 add conss, 25 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179500 impls, 0 clqs
0.29/0.38 c (round 8) 200 del vars, 360 del conss, 0 add conss, 25 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179502 impls, 0 clqs
0.39/0.41 c (round 9) 202 del vars, 362 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 0 upgd conss, 179502 impls, 0 clqs
0.39/0.48 c (round 10) 203 del vars, 362 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 12533 upgd conss, 179502 impls, 0 clqs
4.09/4.13 c (4.1s) probing: 1000/13281 (7.5%) - 3 fixings, 9 aggregations, 21078 implications, 0 bound changes
6.69/6.73 c (6.7s) probing: 2000/13281 (15.1%) - 3 fixings, 9 aggregations, 25431 implications, 0 bound changes
8.29/8.30 c (8.3s) probing: 2711/13281 (20.4%) - 3 fixings, 9 aggregations, 25824 implications, 0 bound changes
8.29/8.30 c (8.3s) probing aborted: 2000/2000 successive useless probings
8.29/8.30 c (round 11) 215 del vars, 362 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 12533 upgd conss, 326520 impls, 0 clqs
8.29/8.32 c (round 12) 216 del vars, 381 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 12533 upgd conss, 326524 impls, 0 clqs
8.29/8.34 c (round 13) 218 del vars, 384 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 12533 upgd conss, 326524 impls, 0 clqs
8.29/8.38 c (round 14) 220 del vars, 389 del conss, 0 add conss, 6631 chg bounds, 262 chg sides, 544 chg coeffs, 12533 upgd conss, 326524 impls, 0 clqs
9.09/9.18 c (9.2s) probing: 2911/13281 (21.9%) - 3 fixings, 9 aggregations, 27168 implications, 0 bound changes
9.09/9.18 c (9.2s) probing aborted: 2000/2000 successive useless probings
9.09/9.19 c presolving (15 rounds):
9.09/9.19 c 220 deleted vars, 389 deleted constraints, 0 added constraints, 6631 tightened bounds, 0 added holes, 262 changed sides, 544 changed coefficients
9.09/9.19 c 336231 implications, 0 cliques
9.09/9.19 c presolved problem has 19870 variables (13266 bin, 0 int, 6604 impl, 0 cont) and 25718 constraints
9.09/9.19 c 335 constraints of type <knapsack>
9.09/9.19 c 8190 constraints of type <setppc>
9.09/9.19 c 6604 constraints of type <linear>
9.09/9.19 c 6604 constraints of type <indicator>
9.09/9.19 c 3985 constraints of type <logicor>
9.09/9.19 c transformed objective value is always integral (scale: 1)
9.09/9.19 c Presolving Time: 9.03
9.09/9.19 c - non default parameters ----------------------------------------------------------------------
9.09/9.19 c # SCIP version 2.0.1.4
9.09/9.19 c
9.09/9.19 c # frequency for displaying node information lines
9.09/9.19 c # [type: int, range: [-1,2147483647], default: 100]
9.09/9.19 c display/freq = 10000
9.09/9.19 c
9.09/9.19 c # maximal time in seconds to run
9.09/9.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.09/9.19 c limits/time = 1800
9.09/9.19 c
9.09/9.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.09/9.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.09/9.19 c limits/memory = 13950
9.09/9.19 c
9.09/9.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
9.09/9.19 c # [type: int, range: [1,2], default: 1]
9.09/9.19 c timing/clocktype = 2
9.09/9.19 c
9.09/9.19 c # belongs reading time to solving time?
9.09/9.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.09/9.19 c timing/reading = TRUE
9.09/9.19 c
9.09/9.19 c # should presolving try to simplify inequalities
9.09/9.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.09/9.19 c constraints/linear/simplifyinequalities = TRUE
9.09/9.19 c
9.09/9.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.09/9.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.09/9.19 c constraints/indicator/addCouplingCons = TRUE
9.09/9.19 c
9.09/9.19 c # should presolving try to simplify knapsacks
9.09/9.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.09/9.19 c constraints/knapsack/simplifyinequalities = TRUE
9.09/9.19 c
9.09/9.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.09/9.19 c # [type: int, range: [-1,2147483647], default: -1]
9.09/9.19 c separating/rapidlearning/freq = 0
9.09/9.19 c
9.09/9.19 c -----------------------------------------------------------------------------------------------
9.09/9.19 c start solving
9.20/9.20 c
10.49/10.58 o 329379
10.49/10.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.58 c y10.6s| 1 | 0 | 0 | - | 85M| 0 | - | 19k| 32k| 19k| 19k| 0 | 0 | 0 | -- | 3.293790e+05 | Inf
10.89/10.96 c 11.0s| 1 | 0 | 3791 | - | 85M| 0 |1805 | 19k| 32k| 19k| 19k| 0 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
13.10/13.13 c 13.1s| 1 | 0 | 9545 | - | 89M| 0 |2240 | 19k| 32k| 19k| 19k| 346 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
15.30/15.38 c 15.4s| 1 | 0 | 15768 | - | 90M| 0 |2456 | 19k| 32k| 19k| 19k| 693 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
20.19/20.28 c 20.3s| 1 | 0 | 22205 | - | 90M| 0 |2505 | 19k| 32k| 19k| 20k|1154 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
23.10/23.15 c 23.2s| 1 | 0 | 25749 | - | 91M| 0 |2638 | 19k| 32k| 19k| 20k|1528 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
29.99/30.04 c 30.0s| 1 | 0 | 29277 | - | 92M| 0 |2792 | 19k| 32k| 19k| 20k|1782 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
35.19/35.24 c 35.2s| 1 | 0 | 35121 | - | 92M| 0 |2733 | 19k| 32k| 19k| 21k|2012 | 0 | 0 | 0.000000e+00 | 3.293790e+05 | Inf
49.09/49.10 c 49.1s| 1 | 2 | 45121 | - | 92M| 0 |2733 | 19k| 32k| 19k| 21k|2012 | 0 | 22 | 0.000000e+00 | 3.293790e+05 | Inf
482.11/482.11 o 4498
482.11/482.11 c * 482s| 796 | 775 |424729 | 490.1 | 118M| 317 | - | 19k| 32k| 19k| 21k|2996 | 219 | 693 | 0.000000e+00 | 4.498000e+03 | Inf
1310.83/1310.90 c 1311s| 10000 | 9895 |900666 | 86.6 | 239M| 317 | 44 | 19k| 32k| 19k| 20k| 14k| 468 |5050 | 0.000000e+00 | 4.498000e+03 | Inf
1800.05/1800.05 c
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time (sec) : 1800.05
1800.05/1800.05 c Solving Nodes : 17984
1800.05/1800.05 c Primal Bound : +4.49800000000000e+03 (100 solutions)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.06 s SATISFIABLE
1800.05/1800.06 v -x6832 x6831 x6830 x6829 x6828 x6827 -x6826 x6825 x6824 x6823 -x6822 x6821 -x6820 x6819 x6818 -x6817 x6816 -x6815 x6814 x6813 -x6812
1800.05/1800.06 v -x6811 x6810 x6809 x6808 x6807 -x6806 -x6805 x6804 x6803 x6802 -x6801 x6800 x6799 x6798 -x6797 x6796 x6795 -x6794 x6793
1800.05/1800.06 v x6792 x6791 x6790 x6789 x6788 x6787 x6786 -x6785 -x6784 -x6783 x6782 x6781 x6780 x6779 x6778 -x6777 x6776 x6775 x6774 x6773
1800.05/1800.06 v -x6772 -x6771 x6770 x6769 -x6768 x6767 -x6766 x6765 x6764 -x6763 x6762 -x6761 -x6760 x6759 x6758 -x6757 x6756 x6755 -x6754 -x6753
1800.05/1800.06 v -x6752 x6751 -x6750 -x6749 x6748 x6747 -x6746 -x6745 -x6744 x6743 -x6742 -x6741 -x6740 -x6739 x6738 -x6737 -x6736 x6735
1800.05/1800.06 v x6734 -x6733 x6732 x6731 x6730 -x6729 -x6728 x6727 -x6726 x6725 x6724 -x6723 x6722 x6721 x6720 -x6719 -x6718 x6717 x6716 x6715
1800.05/1800.06 v -x6714 -x6713 -x6712 x6711 x6710 x6709 -x6708 x6707 x6706 -x6705 -x6704 x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696
1800.05/1800.06 v -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678
1800.05/1800.06 v -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 x6665 x6664 -x6663 -x6662 -x6661 -x6660
1800.05/1800.06 v -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 x6651 -x6650 x6649 -x6648 x6647 -x6646 -x6645 -x6644 -x6643 -x6642
1800.05/1800.06 v -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624
1800.05/1800.06 v x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 x6611 x6610 -x6609 -x6608 -x6607 x6606
1800.05/1800.06 v -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 x6599 x6598 x6597 x6596 x6595 x6594 x6593 x6592 x6591 x6590 -x6589 -x6588 -x6587 -x6586
1800.05/1800.06 v x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 x6576 x6575 x6574 -x6573 -x6572 -x6571 x6570 -x6569 x6568
1800.05/1800.06 v -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 x6552 x6551 -x6550 -x6549
1800.05/1800.06 v -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 x6538 x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531
1800.05/1800.06 v -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 x6524 x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513
1800.05/1800.06 v -x6512 -x6511 -x6510 -x6509 -x6508 x6507 -x6506 x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495
1800.05/1800.06 v -x6494 -x6493 x6492 x6491 x6490 -x6489 x6488 x6487 -x6486 x6485 x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476
1800.05/1800.06 v x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458
1800.05/1800.06 v -x6457 -x6456 -x6455 x6454 x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 x6445 -x6444 -x6443 -x6442 -x6441 -x6440
1800.05/1800.06 v -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422
1800.05/1800.06 v -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 x6408 -x6407 -x6406 -x6405 -x6404
1800.05/1800.06 v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386
1800.05/1800.06 v -x6385 -x6384 -x6383 -x6382 x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 x6371 -x6370 -x6369 -x6368
1800.05/1800.06 v -x6367 x6366 x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 x6355 x6354 x6353 x6352 x6351 x6350 x6349
1800.05/1800.06 v x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 x6339 x6338 -x6337 x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330
1800.05/1800.06 v -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 x6322 -x6321 x6320 x6319 -x6318 -x6317 -x6316 -x6315 x6314 x6313 x6312
1800.05/1800.06 v x6311 x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 x6300 x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293
1800.05/1800.06 v -x6292 -x6291 -x6290 x6289 x6288 x6287 x6286 -x6285 x6284 x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 x6275 x6274
1800.05/1800.06 v x6273 x6272 -x6271 -x6270 x6269 x6268 -x6267 x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 x6259 -x6258 -x6257 -x6256 -x6255
1800.05/1800.06 v -x6254 -x6253 -x6252 x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237
1800.05/1800.06 v x6236 x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219
1800.05/1800.06 v -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201
1800.05/1800.06 v -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 x6194 -x6193 -x6192 -x6191 -x6190 x6189 x6188 x6187 x6186 x6185 -x6184 -x6183
1800.05/1800.06 v -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 x6170 -x6169 -x6168 x6167 -x6166 -x6165 -x6164
1800.05/1800.06 v -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 x6148 x6147 x6146
1800.05/1800.06 v x6145 x6144 -x6143 x6142 -x6141 -x6140 x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 x6132 x6131 x6130 x6129 -x6128 -x6127
1800.05/1800.06 v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 x6111 x6110 -x6109
1800.05/1800.06 v x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1800.05/1800.06 v -x6090 -x6089 -x6088 -x6087 x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 x6076 -x6075 -x6074 -x6073
1800.05/1800.06 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
1800.05/1800.06 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 x6042 -x6041 -x6040 -x6039 -x6038 -x6037
1800.05/1800.06 v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 x6022 x6021 x6020 -x6019
1800.05/1800.06 v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 x6012 -x6011 x6010 -x6009 -x6008 x6007 x6006 x6005 -x6004 -x6003 -x6002 -x6001 -x6000
1800.05/1800.06 v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 x5991 x5990 x5989 x5988 -x5987 x5986 -x5985 -x5984 -x5983 -x5982
1800.05/1800.06 v -x5981 x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 x5970 -x5969 -x5968 x5967 -x5966 x5965 x5964 -x5963
1800.05/1800.06 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 -x5947 -x5946 -x5945
1800.05/1800.06 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 x5938 x5937 x5936 -x5935 x5934 x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926
1800.05/1800.06 v -x5925 -x5924 -x5923 x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908
1800.05/1800.06 v -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 x5892 x5891 -x5890
1800.05/1800.06 v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872
1800.05/1800.06 v -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 x5861 -x5860 x5859 x5858 -x5857 -x5856 x5855 -x5854
1800.05/1800.06 v -x5853 -x5852 x5851 x5850 x5849 -x5848 -x5847 x5846 x5845 x5844 -x5843 x5842 x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835
1800.05/1800.06 v -x5834 -x5833 x5832 x5831 x5830 x5829 x5828 x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 x5817 -x5816
1800.05/1800.06 v -x5815 -x5814 x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798
1800.05/1800.06 v -x5797 -x5796 x5795 x5794 x5793 x5792 x5791 -x5790 x5789 x5788 -x5787 x5786 x5785 -x5784 x5783 x5782 -x5781 -x5780 -x5779 -x5778
1800.05/1800.06 v -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760
1800.05/1800.06 v -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 x5747 -x5746 -x5745 -x5744 -x5743 -x5742
1800.05/1800.06 v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725
1800.05/1800.06 v -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707
1800.05/1800.06 v -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689
1800.05/1800.06 v -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671
1800.05/1800.06 v x5670 x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653
1800.05/1800.06 v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 x5645 x5644 x5643 x5642 x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634
1800.05/1800.06 v -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616
1800.05/1800.06 v -x5615 -x5614 x5613 x5612 x5611 x5610 -x5609 -x5608 -x5607 x5606 -x5605 x5604 -x5603 x5602 -x5601 -x5600 -x5599 -x5598 -x5597
1800.05/1800.06 v -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 x5585 -x5584 x5583 x5582 x5581 x5580 x5579
1800.05/1800.06 v -x5578 -x5577 x5576 -x5575 -x5574 x5573 -x5572 x5571 x5570 x5569 -x5568 x5567 -x5566 -x5565 -x5564 -x5563 x5562 -x5561 -x5560
1800.05/1800.06 v -x5559 -x5558 -x5557 x5556 x5555 -x5554 -x5553 -x5552 -x5551 -x5550 x5549 x5548 -x5547 -x5546 -x5545 -x5544 -x5543 x5542 -x5541
1800.05/1800.06 v -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 x5531 x5530 x5529 -x5528 x5527 -x5526 x5525 -x5524 -x5523
1800.05/1800.06 v x5522 x5521 x5520 -x5519 -x5518 -x5517 x5516 -x5515 -x5514 -x5513 -x5512 x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504
1800.05/1800.06 v -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 x5490 x5489 x5488 x5487 x5486
1800.05/1800.06 v -x5485 -x5484 -x5483 -x5482 -x5481 x5480 -x5479 x5478 x5477 x5476 -x5475 x5474 -x5473 x5472 x5471 -x5470 x5469 -x5468 -x5467
1800.05/1800.06 v x5466 x5465 x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 x5449 x5448
1800.05/1800.06 v -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 x5437 x5436 -x5435 x5434 x5433 x5432 x5431 -x5430 -x5429
1800.05/1800.06 v -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 x5416 -x5415 x5414 x5413 -x5412 x5411
1800.05/1800.06 v x5410 -x5409 x5408 x5407 -x5406 x5405 x5404 -x5403 x5402 x5401 -x5400 x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392
1800.05/1800.06 v -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374
1800.05/1800.06 v -x5373 -x5372 x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 x5361 x5360 -x5359 -x5358 -x5357 -x5356
1800.05/1800.06 v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 x5348 x5347 x5346 x5345 x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337
1800.05/1800.06 v -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 x5320 -x5319
1800.05/1800.06 v -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 x5302 -x5301
1800.05/1800.06 v x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283
1800.05/1800.06 v -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 x5273 -x5272 x5271 x5270 -x5269 x5268 -x5267 -x5266 -x5265
1800.05/1800.06 v -x5264 -x5263 x5262 x5261 x5260 x5259 -x5258 -x5257 -x5256 -x5255 -x5254 x5253 -x5252 -x5251 x5250 -x5249 -x5248 -x5247 -x5246
1800.05/1800.06 v -x5245 -x5244 -x5243 -x5242 x5241 x5240 x5239 x5238 x5237 -x5236 x5235 x5234 x5233 -x5232 -x5231 -x5230 -x5229 -x5228 x5227
1800.05/1800.06 v x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209
1800.05/1800.06 v -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 x5192 x5191 -x5190
1800.05/1800.06 v -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 x5181 x5180 -x5179 -x5178 -x5177 x5176 x5175 -x5174 x5173 -x5172
1800.05/1800.06 v -x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 x5162 -x5161 -x5160 x5159 -x5158 -x5157 -x5156 x5155 -x5154 -x5153
1800.05/1800.06 v -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 x5143 x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135
1800.05/1800.06 v x5134 -x5133 x5132 -x5131 -x5130 x5129 -x5128 x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 x5117
1800.05/1800.06 v x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 x5102 -x5101 -x5100 -x5099 -x5098
1800.05/1800.06 v -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080
1800.05/1800.06 v x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 x5066 -x5065 -x5064 -x5063 -x5062
1800.05/1800.06 v -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 x5046 -x5045 -x5044
1800.05/1800.06 v -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026
1800.05/1800.06 v -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008
1800.05/1800.06 v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990
1800.05/1800.06 v x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 x4977 -x4976 -x4975 -x4974 -x4973 -x4972
1800.05/1800.06 v -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954
1800.05/1800.06 v -x4953 -x4952 x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936
1800.05/1800.06 v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919
1800.05/1800.06 v x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 x4904 -x4903 -x4902 -x4901 -x4900
1800.05/1800.06 v -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883
1800.05/1800.06 v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865
1800.05/1800.06 v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847
1800.05/1800.06 v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829
1800.05/1800.06 v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 x4816 -x4815 -x4814 -x4813 -x4812 -x4811
1800.05/1800.06 v -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 x4803 -x4802 -x4801 x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793
1800.05/1800.06 v -x4792 -x4791 -x4790 -x4789 -x4788 x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775
1800.05/1800.06 v -x4774 -x4773 -x4772 x4771 -x4770 -x4769 x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757
1800.05/1800.06 v -x4756 x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739
1800.05/1800.06 v x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 x4723 -x4722 -x4721 -x4720
1800.05/1800.06 v x4719 x4718 x4717 x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 x4705 x4704 x4703 x4702 x4701
1800.05/1800.06 v x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683
1800.05/1800.06 v x4682 x4681 x4680 x4679 x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 x4669 -x4668 -x4667 -x4666 -x4665 -x4664
1800.05/1800.06 v -x4663 -x4662 -x4661 x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 x4646
1800.05/1800.06 v -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628
1800.05/1800.06 v -x4627 -x4626 -x4625 x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 x4614 -x4613 -x4612 -x4611 -x4610
1800.05/1800.06 v -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592
1800.05/1800.06 v -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575
1800.05/1800.06 v -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557
1800.05/1800.06 v -x4556 -x4555 -x4554 -x4553 x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539
1800.05/1800.06 v -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 x4524 -x4523 -x4522 -x4521
1800.05/1800.06 v -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503
1800.05/1800.06 v -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 x4487 -x4486 -x4485
1800.05/1800.06 v -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1800.05/1800.06 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1800.05/1800.06 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431
1800.05/1800.06 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1800.05/1800.06 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395
1800.05/1800.06 v -x4394 -x4393 x4392 x4391 -x4390 -x4389 -x4388 -x4387 -x4386 x4385 x4384 -x4383 -x4382 x4381 -x4380 -x4379 -x4378 -x4377
1800.05/1800.06 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359
1800.05/1800.06 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 x4341
1800.05/1800.06 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323
1800.05/1800.06 v -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305
1800.05/1800.06 v -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 x4298 x4297 x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287
1800.05/1800.06 v -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269
1800.05/1800.06 v -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 x4262 x4261 -x4260 x4259 x4258 x4257 x4256 x4255 x4254 x4253 -x4252 x4251 x4250 x4249
1800.05/1800.06 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1800.05/1800.06 v x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4216 x4215 -x4214 -x4213
1800.05/1800.06 v -x4212 -x4211 -x4210 -x4209 x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 x4196 -x4195
1800.05/1800.06 v -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1800.05/1800.06 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1800.05/1800.06 v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1800.05/1800.06 v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1800.05/1800.06 v -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105
1800.05/1800.06 v -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 x4095 -x4094 x4093 x4092 -x4091 -x4090 -x4089 -x4088 -x4087
1800.05/1800.06 v -x4086 -x4085 -x4084 -x4083 x4082 -x4081 -x4080 -x4079 -x4078 x4077 -x4076 -x4075 -x4074 x4073 -x4072 -x4071 -x4070 -x4069
1800.05/1800.06 v x4068 -x4067 -x4066 -x4065 x4064 x4063 -x4062 -x4061 -x4060 -x4059 -x4058 x4057 -x4056 -x4055 -x4054 -x4053 x4052 -x4051 -x4050
1800.05/1800.06 v -x4049 x4048 x4047 x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 x4032
1800.05/1800.06 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1800.05/1800.06 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 x3998 x3997 -x3996
1800.05/1800.06 v -x3995 -x3994 x3993 x3992 x3991 -x3990 -x3989 -x3988 x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 x3980 -x3979 -x3978 -x3977
1800.05/1800.06 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 x3969 x3968 -x3967 -x3966 -x3965 x3964 x3963 x3962 x3961 x3960 x3959 -x3958
1800.05/1800.06 v -x3957 -x3956 -x3955 -x3954 x3953 x3952 -x3951 -x3950 -x3949 x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940
1800.05/1800.06 v -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 x3927 x3926 x3925 -x3924 -x3923 -x3922 -x3921
1800.05/1800.06 v -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 x3914 -x3913 -x3912 -x3911 x3910 -x3909 -x3908 x3907 x3906 x3905 x3904 -x3903
1800.05/1800.06 v -x3902 -x3901 -x3900 -x3899 x3898 x3897 -x3896 -x3895 -x3894 x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884
1800.05/1800.06 v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
1800.05/1800.06 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 x3858 -x3857 -x3856 -x3855 x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
1800.05/1800.06 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 x3832 x3831 -x3830
1800.05/1800.06 v -x3829 -x3828 -x3827 -x3826 x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812
1800.05/1800.06 v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794
1800.05/1800.06 v -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 x3784 -x3783 -x3782 -x3781 x3780 -x3779 -x3778 -x3777 -x3776
1800.05/1800.06 v -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758
1800.05/1800.06 v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 x3750 -x3749 -x3748 -x3747 x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740
1800.05/1800.06 v -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722
1800.05/1800.06 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 x3709 x3708 x3707 x3706 -x3705 -x3704
1800.05/1800.06 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 x3694 -x3693 -x3692 -x3691 -x3690 x3689 -x3688 -x3687 -x3686 x3685
1800.05/1800.06 v -x3684 -x3683 -x3682 -x3681 -x3680 x3679 -x3678 -x3677 -x3676 -x3675 x3674 -x3673 -x3672 -x3671 -x3670 x3669 -x3668 -x3667
1800.05/1800.06 v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 x3660 -x3659 x3658 -x3657 -x3656 x3655 -x3654 -x3653 -x3652 -x3651 x3650 -x3649
1800.05/1800.06 v -x3648 -x3647 -x3646 x3645 -x3644 -x3643 -x3642 -x3641 -x3640 x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 -x3632 -x3631 -x3630
1800.05/1800.06 v -x3629 -x3628 -x3627 -x3626 x3625 -x3624 -x3623 -x3622 -x3621 x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
1800.05/1800.06 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 x3602 -x3601 -x3600 -x3599 -x3598 x3597 -x3596 -x3595 -x3594
1800.05/1800.06 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 x3579 -x3578 -x3577 -x3576
1800.05/1800.06 v -x3575 x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 x3562 x3561 x3560 x3559 -x3558 -x3557
1800.05/1800.06 v -x3556 x3555 -x3554 -x3553 -x3552 -x3551 x3550 -x3549 -x3548 x3547 x3546 -x3545 -x3544 -x3543 x3542 -x3541 -x3540 -x3539
1800.05/1800.06 v -x3538 -x3537 -x3536 -x3535 -x3534 x3533 x3532 x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 x3523 x3522 -x3521 -x3520
1800.05/1800.06 v -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502
1800.05/1800.06 v -x3501 -x3500 -x3499 x3498 x3497 -x3496 -x3495 -x3494 x3493 -x3492 -x3491 x3490 x3489 x3488 -x3487 -x3486 -x3485 -x3484 x3483
1800.05/1800.06 v -x3482 -x3481 x3480 x3479 -x3478 -x3477 -x3476 x3475 -x3474 x3473 -x3472 x3471 x3470 x3469 x3468 x3467 x3466 x3465 -x3464
1800.05/1800.06 v -x3463 -x3462 x3461 -x3460 x3459 x3458 x3457 x3456 x3455 x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 x3446 x3445
1800.05/1800.06 v x3444 x3443 x3442 -x3441 -x3440 -x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426
1800.05/1800.06 v -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 x3416 -x3415 x3414 x3413 -x3412 x3411 x3410 -x3409 x3408
1800.05/1800.06 v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 x3397 -x3396 x3395 x3394 x3393 x3392 x3391 x3390 x3389
1800.05/1800.06 v x3388 x3387 x3386 -x3385 -x3384 x3383 x3382 x3381 -x3380 -x3379 -x3378 x3377 x3376 -x3375 -x3374 -x3373 -x3372 x3371 -x3370 -x3369
1800.05/1800.06 v -x3368 -x3367 -x3366 -x3365 x3364 -x3363 x3362 x3361 x3360 -x3359 x3358 -x3357 x3356 -x3355 -x3354 -x3353 -x3352 -x3351
1800.05/1800.06 v x3350 -x3349 -x3348 -x3347 x3346 -x3345 -x3344 -x3343 -x3342 -x3341 x3340 -x3339 -x3338 x3337 x3336 x3335 -x3334 x3333 x3332
1800.05/1800.06 v x3331 x3330 -x3329 x3328 -x3327 x3326 x3325 x3324 x3323 -x3322 x3321 -x3320 -x3319 -x3318 x3317 x3316 x3315 x3314 x3313 x3312
1800.05/1800.06 v -x3311 x3310 x3309 x3308 x3307 x3306 x3305 x3304 x3303 x3302 x3301 x3300 -x3299 -x3298 x3297 x3296 x3295 -x3294 -x3293 -x3292
1800.05/1800.06 v x3291 x3290 x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 x3282 -x3281 x3280 -x3279 x3278 -x3277 x3276 -x3275 -x3274 -x3273
1800.05/1800.06 v x3272 -x3271 x3270 -x3269 -x3268 -x3267 -x3266 -x3265 x3264 -x3263 -x3262 -x3261 x3260 -x3259 x3258 -x3257 -x3256 -x3255
1800.05/1800.06 v -x3254 x3253 -x3252 -x3251 -x3250 x3249 x3248 x3247 x3246 x3245 x3244 -x3243 -x3242 -x3241 x3240 x3239 -x3238 x3237 -x3236 x3235
1800.05/1800.06 v x3234 x3233 x3232 -x3231 x3230 -x3229 -x3228 -x3227 x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216
1800.05/1800.06 v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 x3204 x3203 -x3202 -x3201 -x3200 -x3199 -x3198
1800.05/1800.06 v -x3197 x3196 x3195 x3194 -x3193 -x3192 -x3191 -x3190 x3189 x3188 -x3187 -x3186 x3185 x3184 x3183 x3182 -x3181 x3180 x3179
1800.05/1800.06 v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 x3168 -x3167 -x3166 x3165 x3164 -x3163 x3162 -x3161 x3160
1800.05/1800.07 v x3159 -x3158 -x3157 -x3156 x3155 -x3154 x3153 x3152 x3151 x3150 -x3149 x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142 x3141
1800.05/1800.07 v x3140 -x3139 x3138 x3137 -x3136 -x3135 -x3134 x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 x3124 x3123 -x3122
1800.05/1800.07 v x3121 x3120 x3119 -x3118 x3117 x3116 x3115 x3114 x3113 -x3112 x3111 x3110 -x3109 x3108 -x3107 x3106 x3105 -x3104 -x3103
1800.05/1800.07 v x3102 x3101 x3100 x3099 x3098 x3097 x3096 x3095 x3094 x3093 x3092 x3091 x3090 -x3089 -x3088 x3087 x3086 x3085 -x3084 x3083 x3082
1800.05/1800.07 v -x3081 x3080 -x3079 x3078 x3077 -x3076 -x3075 x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
1800.05/1800.07 v x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 x3056 x3055 x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045
1800.05/1800.07 v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 x3037 x3036 -x3035 x3034 x3033 x3032 -x3031 -x3030 -x3029 -x3028 -x3027
1800.05/1800.07 v -x3026 x3025 x3024 x3023 x3022 x3021 -x3020 -x3019 -x3018 x3017 x3016 x3015 x3014 x3013 x3012 x3011 -x3010 x3009 -x3008 x3007
1800.05/1800.07 v -x3006 -x3005 -x3004 x3003 x3002 x3001 x3000 -x2999 x2998 x2997 x2996 x2995 x2994 x2993 -x2992 -x2991 -x2990 -x2989 -x2988
1800.05/1800.07 v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 x2978 x2977 x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969
1800.05/1800.07 v -x2968 -x2967 -x2966 x2965 x2964 -x2963 -x2962 x2961 x2960 x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951
1800.05/1800.07 v x2950 x2949 -x2948 -x2947 x2946 x2945 x2944 x2943 -x2942 -x2941 -x2940 -x2939 -x2938 x2937 x2936 -x2935 -x2934 x2933 x2932 x2931
1800.05/1800.07 v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913
1800.05/1800.07 v -x2912 -x2911 -x2910 -x2909 -x2908 x2907 x2906 x2905 -x2904 -x2903 -x2902 -x2901 x2900 -x2899 -x2898 -x2897 -x2896 -x2895
1800.05/1800.07 v -x2894 x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 x2885 x2884 x2883 x2882 x2881 x2880 x2879 x2878 x2877 x2876 x2875
1800.05/1800.07 v -x2874 x2873 -x2872 x2871 x2870 -x2869 x2868 -x2867 -x2866 x2865 x2864 -x2863 -x2862 x2861 -x2860 -x2859 -x2858 -x2857 x2856
1800.05/1800.07 v x2855 x2854 -x2853 x2852 -x2851 -x2850 -x2849 -x2848 -x2847 x2846 x2845 x2844 -x2843 -x2842 x2841 -x2840 -x2839 -x2838 -x2837
1800.05/1800.07 v -x2836 -x2835 -x2834 x2833 x2832 -x2831 -x2830 x2829 x2828 -x2827 -x2826 x2825 x2824 -x2823 -x2822 x2821 x2820 x2819 x2818
1800.05/1800.07 v x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
1800.05/1800.07 v -x2799 -x2798 -x2797 -x2796 x2795 x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782
1800.05/1800.07 v x2781 x2780 x2779 -x2778 -x2777 x2776 x2775 x2774 x2773 x2772 x2771 -x2770 -x2769 x2768 x2767 -x2766 x2765 x2764 -x2763 -x2762
1800.05/1800.07 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 x2748 -x2747 x2746 x2745 -x2744
1800.05/1800.07 v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 x2729 -x2728 -x2727 -x2726
1800.05/1800.07 v -x2725 -x2724 -x2723 -x2722 x2721 x2720 x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
1800.05/1800.07 v -x2706 -x2705 -x2704 -x2703 -x2702 x2701 -x2700 x2699 x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
1800.05/1800.07 v x2688 -x2687 x2686 x2685 x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 x2677 -x2676 x2675 x2674 -x2673 -x2672 x2671 -x2670
1800.05/1800.07 v x2669 x2668 -x2667 x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
1800.05/1800.07 v -x2650 -x2649 -x2648 x2647 -x2646 x2645 -x2644 -x2643 -x2642 -x2641 x2640 -x2639 -x2638 -x2637 -x2636 x2635 x2634 x2633
1800.05/1800.07 v x2632 x2631 x2630 x2629 x2628 x2627 x2626 x2625 x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 x2616 x2615 x2614 x2613
1800.05/1800.07 v x2612 x2611 -x2610 -x2609 -x2608 x2607 x2606 x2605 x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 x2594
1800.05/1800.07 v x2593 x2592 x2591 x2590 x2589 x2588 x2587 x2586 x2585 x2584 x2583 -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575
1800.05/1800.07 v -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 x2559 -x2558 -x2557
1800.05/1800.07 v -x2556 x2555 x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2538
1800.05/1800.07 v -x2537 -x2536 x2535 x2534 x2533 x2532 x2531 x2530 -x2529 x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519
1800.05/1800.07 v -x2518 -x2517 -x2516 x2515 x2514 x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 x2502 x2501
1800.05/1800.07 v -x2500 -x2499 x2498 x2497 x2496 x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 x2486 -x2485 -x2484 -x2483 -x2482
1800.05/1800.07 v -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 x2475 -x2474 x2473 x2472 x2471 -x2470 -x2469 x2468 -x2467 -x2466 -x2465 -x2464
1800.05/1800.07 v -x2463 -x2462 -x2461 -x2460 x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 x2446 x2445
1800.05/1800.07 v -x2444 -x2443 -x2442 -x2441 x2440 -x2439 x2438 -x2437 -x2436 x2435 -x2434 -x2433 x2432 x2431 x2430 x2429 x2428 x2427 -x2426
1800.05/1800.07 v -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 x2419 x2418 -x2417 x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408
1800.05/1800.07 v -x2407 -x2406 -x2405 x2404 x2403 x2402 x2401 x2400 x2399 x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392 x2391 -x2390 -x2389
1800.05/1800.07 v -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371
1800.05/1800.07 v -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 x2362 -x2361 -x2360 -x2359 -x2358 -x2357 x2356 -x2355 -x2354 -x2353
1800.05/1800.07 v -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 x2338 -x2337 -x2336 -x2335
1800.05/1800.07 v -x2334 -x2333 -x2332 x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 x2320 -x2319 x2318 x2317 x2316
1800.05/1800.07 v x2315 x2314 x2313 x2312 x2311 -x2310 x2309 x2308 x2307 x2306 -x2305 -x2304 x2303 x2302 x2301 -x2300 -x2299 x2298 x2297 x2296
1800.05/1800.07 v -x2295 -x2294 x2293 x2292 -x2291 -x2290 -x2289 x2288 -x2287 -x2286 x2285 x2284 x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277
1800.05/1800.07 v -x2276 x2275 x2274 x2273 -x2272 -x2271 -x2270 -x2269 x2268 -x2267 x2266 x2265 x2264 x2263 x2262 -x2261 -x2260 -x2259 -x2258
1800.05/1800.07 v -x2257 x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 x2243 x2242 x2241 x2240
1800.05/1800.07 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 x2228 -x2227 x2226 -x2225 -x2224 -x2223 -x2222 -x2221
1800.05/1800.07 v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 x2212 -x2211 -x2210 x2209 -x2208 x2207 x2206 x2205 -x2204 -x2203
1800.05/1800.07 v -x2202 -x2201 -x2200 -x2199 x2198 -x2197 x2196 x2195 x2194 x2193 x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184
1800.05/1800.07 v -x2183 -x2182 -x2181 x2180 -x2179 -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 x2171 x2170 -x2169 -x2168 -x2167 -x2166 -x2165
1800.05/1800.07 v x2164 x2163 x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 -x2155 x2154 -x2153 x2152 -x2151 -x2150 -x2149 x2148 -x2147 -x2146
1800.05/1800.07 v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129
1800.05/1800.07 v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 x2118 x2117 x2116 -x2115 -x2114 -x2113 -x2112 x2111 -x2110
1800.05/1800.07 v -x2109 -x2108 x2107 x2106 x2105 -x2104 -x2103 x2102 x2101 x2100 -x2099 x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
1800.05/1800.07 v -x2090 -x2089 x2088 x2087 x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 -x2079 x2078 -x2077 -x2076 -x2075 x2074 -x2073 x2072
1800.05/1800.07 v x2071 -x2070 x2069 x2068 x2067 x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
1800.05/1800.07 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 x2046 x2045 x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 x2036 x2035
1800.05/1800.07 v -x2034 -x2033 -x2032 x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
1800.05/1800.07 v -x2016 -x2015 x2014 x2013 x2012 x2011 x2010 x2009 -x2008 -x2007 x2006 x2005 x2004 x2003 x2002 x2001 -x2000 -x1999 -x1998 -x1997
1800.05/1800.07 v -x1996 -x1995 -x1994 x1993 x1992 -x1991 -x1990 -x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 x1979
1800.05/1800.07 v -x1978 x1977 x1976 x1975 x1974 x1973 x1972 x1971 -x1970 x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
1800.05/1800.07 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 x1944 x1943 x1942 -x1941
1800.05/1800.07 v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 x1926 x1925 -x1924 -x1923
1800.05/1800.07 v -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 x1908 x1907 x1906 -x1905
1800.05/1800.07 v -x1904 -x1903 -x1902 x1901 x1900 x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886
1800.05/1800.07 v -x1885 x1884 -x1883 -x1882 -x1881 -x1880 x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1800.05/1800.07 v -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 -x1852 -x1851 -x1850
1800.05/1800.07 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 x1843 -x1842 -x1841 -x1840 -x1839 -x1838 x1837 -x1836 x1835 -x1834 -x1833 x1832 x1831
1800.05/1800.07 v x1830 x1829 -x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 -x1814 x1813 x1812
1800.05/1800.07 v -x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 -x1800 x1799 -x1798 -x1797 -x1796 -x1795 x1794
1800.05/1800.07 v -x1793 -x1792 x1791 -x1790 -x1789 x1788 -x1787 x1786 x1785 x1784 x1783 -x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 -x1775
1800.05/1800.07 v -x1774 x1773 -x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 -x1765 x1764 -x1763 x1762 x1761 x1760 -x1759 -x1758 -x1757 -x1756
1800.05/1800.07 v -x1755 x1754 -x1753 -x1752 -x1751 x1750 -x1749 -x1748 -x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 x1738 x1737
1800.05/1800.07 v -x1736 x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 x1728 x1727 x1726 -x1725 -x1724 -x1723 x1722 x1721 -x1720 -x1719
1800.05/1800.07 v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 x1707 -x1706 x1705 -x1704 x1703 -x1702 x1701 -x1700
1800.05/1800.07 v -x1699 -x1698 x1697 -x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682
1800.05/1800.07 v -x1681 -x1680 -x1679 x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 x1671 -x1670 x1669 x1668 x1667 -x1666 x1665 -x1664 x1663
1800.05/1800.07 v x1662 x1661 x1660 x1659 -x1658 -x1657 -x1656 x1655 x1654 x1653 x1652 x1651 -x1650 x1649 -x1648 -x1647 -x1646 x1645 x1644 x1643
1800.05/1800.07 v -x1642 -x1641 x1640 x1639 x1638 -x1637 -x1636 -x1635 -x1634 x1633 -x1632 -x1631 x1630 x1629 x1628 -x1627 -x1626 -x1625 -x1624
1800.05/1800.07 v x1623 x1622 x1621 x1620 x1619 x1618 -x1617 -x1616 -x1615 x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605
1800.05/1800.07 v x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 x1595 x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 x1587 x1586
1800.05/1800.07 v x1585 -x1584 -x1583 -x1582 -x1581 x1580 x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 x1571 x1570 -x1569 -x1568 -x1567
1800.05/1800.07 v x1566 -x1565 -x1564 -x1563 -x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 x1552 x1551 x1550 -x1549
1800.05/1800.07 v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530
1800.05/1800.07 v -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513
1800.05/1800.07 v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495
1800.05/1800.07 v x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477
1800.05/1800.07 v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 x1461 -x1460 -x1459 -x1458
1800.05/1800.07 v -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 x1446 x1445 x1444 -x1443 -x1442 -x1441 -x1440
1800.05/1800.07 v -x1439 -x1438 -x1437 -x1436 x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422
1800.05/1800.07 v -x1421 -x1420 -x1419 -x1418 x1417 x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 x1407 -x1406 x1405 -x1404 -x1403
1800.05/1800.07 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 x1390 -x1389 -x1388 -x1387 -x1386 -x1385
1800.05/1800.07 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
1800.05/1800.07 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
1800.05/1800.07 v -x1348 -x1347 x1346 -x1345 x1344 -x1343 -x1342 x1341 -x1340 x1339 x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331
1800.05/1800.07 v -x1330 x1329 -x1328 -x1327 x1326 -x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312
1800.05/1800.07 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294
1800.05/1800.07 v -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276
1800.05/1800.07 v -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259 -x1258
1800.05/1800.07 v x1257 -x1256 -x1255 x1254 -x1253 -x1252 x1251 x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1800.05/1800.07 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 x1223 -x1222 -x1221
1800.05/1800.07 v x1220 -x1219 -x1218 -x1217 -x1216 x1215 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202
1800.05/1800.07 v -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 x1189 x1188 x1187 x1186 x1185 -x1184
1800.05/1800.07 v x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 x1169 x1168 x1167 -x1166 -x1165
1800.05/1800.07 v -x1164 x1163 -x1162 -x1161 -x1160 -x1159 x1158 x1157 x1156 x1155 -x1154 -x1153 x1152 -x1151 x1150 -x1149 -x1148 x1147 x1146
1800.05/1800.07 v -x1145 -x1144 -x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136 -x1135 -x1134 -x1133 x1132 x1131 x1130 x1129 x1128 x1127 -x1126
1800.05/1800.07 v -x1125 -x1124 -x1123 x1122 x1121 x1120 x1119 x1118 x1117 x1116 -x1115 -x1114 x1113 x1112 x1111 -x1110 -x1109 -x1108 -x1107
1800.05/1800.07 v -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088
1800.05/1800.07 v -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 x1080 x1079 -x1078 x1077 -x1076 x1075 -x1074 -x1073 x1072 x1071 x1070 -x1069
1800.05/1800.07 v -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 x1059 x1058 x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050
1800.05/1800.07 v x1049 x1048 x1047 -x1046 -x1045 -x1044 -x1043 x1042 x1041 x1040 x1039 x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1800.05/1800.07 v x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 x1018 -x1017 x1016 x1015 x1014 -x1013 x1012
1800.05/1800.07 v -x1011 -x1010 x1009 x1008 x1007 -x1006 x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 x992
1800.05/1800.07 v x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 x983 x982 -x981 -x980 x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 -x970
1800.05/1800.07 v -x969 -x968 -x967 -x966 -x965 x964 x963 x962 x961 -x960 -x959 -x958 x957 x956 x955 -x954 -x953 x952 x951 x950 -x949 x948 -x947
1800.05/1800.07 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 x938 x937 -x936 -x935 x934 x933 x932 x931 x930 -x929 -x928 -x927 -x926 -x925
1800.05/1800.07 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 x913 x912 -x911 -x910 -x909 -x908 -x907 x906 x905 x904 -x903
1800.05/1800.07 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882
1800.05/1800.07 v -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 x865 -x864 x863 x862 x861
1800.05/1800.07 v x860 x859 x858 -x857 -x856 x855 -x854 -x853 -x852 x851 -x850 -x849 x848 -x847 x846 x845 -x844 -x843 -x842 x841 -x840 -x839 -x838
1800.05/1800.07 v -x837 x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816
1800.05/1800.07 v x815 x814 x813 x812 -x811 -x810 x809 x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 -x799 x798 -x797 -x796 x795 -x794
1800.05/1800.07 v -x793 -x792 -x791 x790 -x789 -x788 x787 x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 x777 x776 -x775 x774 -x773 -x772
1800.05/1800.07 v -x771 -x770 x769 -x768 -x767 -x766 x765 x764 x763 -x762 -x761 x760 x759 x758 -x757 x756 -x755 x754 x753 x752 x751 -x750 x749
1800.05/1800.07 v -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 x740 x739 x738 -x737 -x736 -x735 -x734 x733 x732 x731 -x730 -x729 -x728 -x727
1800.05/1800.07 v x726 x725 -x724 -x723 -x722 -x721 -x720 x719 -x718 -x717 x716 x715 x714 -x713 -x712 -x711 x710 x709 -x708 -x707 -x706 x705
1800.05/1800.07 v x704 x703 -x702 -x701 -x700 x699 -x698 -x697 x696 x695 x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 x686 -x685 -x684 -x683 -x682
1800.05/1800.07 v x681 -x680 x679 x678 x677 -x676 x675 -x674 -x673 -x672 -x671 x670 x669 -x668 -x667 x666 x665 x664 -x663 -x662 -x661 x660
1800.05/1800.07 v x659 -x658 -x657 x656 x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 x647 x646 x645 -x644 -x643 x642 -x641 -x640 -x639 -x638
1800.05/1800.07 v x637 -x636 x635 x634 x633 x632 x631 -x630 x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 x617 -x616 -x615
1800.05/1800.07 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1800.05/1800.07 v -x593 x592 -x591 -x590 -x589 x588 x587 -x586 x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.05/1800.07 v -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 x553 x552 -x551
1800.05/1800.07 v -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 x530 x529
1800.05/1800.07 v -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508
1800.05/1800.07 v -x507 -x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
1800.05/1800.07 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465
1800.05/1800.07 v x464 x463 x462 x461 x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443
1800.05/1800.07 v -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 x423 -x422 -x421
1800.05/1800.07 v x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 x411 x410 x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 x400 x399
1800.05/1800.07 v x398 x397 x396 x395 x394 -x393 -x392 x391 x390 -x389 -x388 x387 x386 x385 x384 -x383 -x382 x381 x380 -x379 -x378 x377 x376
1800.05/1800.07 v x375 -x374 -x373 -x372 x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 x359 x358 -x357 x356 -x355 -x354
1800.05/1800.07 v -x353 -x352 x351 -x350 x349 x348 -x347 x346 -x345 x344 x343 x342 -x341 -x340 x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.05/1800.07 v -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 x314 x313 x312 -x311 -x310
1800.05/1800.07 v -x309 x308 -x307 -x306 -x305 x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 x288
1800.05/1800.07 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 x278 x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266
1800.05/1800.07 v x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 x251 -x250 x249 -x248 x247 x246 x245 -x244
1800.05/1800.07 v -x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.05/1800.07 v x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 x207 -x206 -x205 x204 x203 -x202 -x201 x200
1800.05/1800.07 v x199 x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178
1800.05/1800.07 v x177 x176 -x175 -x174 -x173 x172 x171 x170 x169 -x168 -x167 x166 -x165 x164 x163 x162 x161 x160 -x159 -x158 x157 -x156 -x155
1800.05/1800.07 v -x154 x153 -x152 -x151 -x150 -x149 x148 x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 x134 x133
1800.05/1800.07 v -x132 -x131 -x130 -x129 x128 -x127 -x126 x125 x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 x111
1800.05/1800.07 v -x110 -x109 -x108 x107 -x106 x105 -x104 x103 -x102 -x101 x100 -x99 -x98 x97 -x96 x95 x94 -x93 -x92 -x91 -x90 x89 -x88 x87
1800.05/1800.07 v -x86 x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 x77 x76 x75 x74 x73 -x72 x71 x70 x69 -x68 -x67 x66 x65 -x64 x63 -x62 -x61 -x60 -x59
1800.05/1800.07 v -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 x46 x45 -x44 -x43 x42 x41 x40 -x39 -x38 -x37 x36 x35 -x34 -x33 -x32
1800.05/1800.07 v x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 x16 -x15 x14 x13 x12 -x11 x10 x9 -x8 x7 -x6 -x5 x4
1800.05/1800.07 v -x3 -x2 x1
1800.05/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.07 c Total Time : 1800.05
1800.05/1800.07 c solving : 1800.05
1800.05/1800.07 c presolving : 9.03 (included in solving)
1800.05/1800.07 c reading : 0.14 (included in solving)
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-3447332-1307899348.wbo
1800.05/1800.07 c Variables : 13461 (13461 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.07 c Constraints : 19478 initial, 19478 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-3447332-1307899348.wbo
1800.05/1800.07 c Variables : 19870 (13266 binary, 0 integer, 6604 implicit integer, 0 continuous)
1800.05/1800.07 c Constraints : 25718 initial, 32759 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.02 51 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.01 0 129 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 8.57 3 9 0 0 0 0 0 0 0
1800.05/1800.07 c varbound : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c setppc : 0.03 0 0 0 0 0 21 0 0 0
1800.05/1800.07 c linear : 0.21 25 3 0 6631 0 341 0 262 544
1800.05/1800.07 c indicator : 0.00 0 0 0 0 0 25 0 0 0
1800.05/1800.07 c logicor : 0.05 0 0 0 0 0 2 0 0 0
1800.05/1800.07 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 0 - - 0 - - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 34718 0 832 0 0 115 0 0 35834
1800.05/1800.07 c varbound : 0+ 6 79762 16715 0 0 0 0 69 17628 0 0
1800.05/1800.07 c knapsack : 335 6 87371 1 0 829 1330 165 19327 988 0 0
1800.05/1800.07 c setppc : 8190 6 87146 1 0 825 221 0 120636 0 0 0
1800.05/1800.07 c linear : 6604 6 87268 1 0 825 22 3 11259 0 0 0
1800.05/1800.07 c indicator : 6604 0 87740 16715 0 825 0 0 7920 0 0 0
1800.05/1800.07 c logicor : 3985+ 6 47706 1 0 99 219 10 20406 0 0 0
1800.05/1800.07 c bounddisjunction : 0+ 0 1068 0 0 0 1 1 81 0 0 0
1800.05/1800.07 c countsols : 0 0 0 1 0 101 0 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.07 c integral : 496.33 0.00 0.00 496.25 0.00 0.08 0.00
1800.05/1800.07 c varbound : 12.13 0.01 9.42 2.70 0.00 0.00 0.00
1800.05/1800.07 c knapsack : 0.75 0.01 0.65 0.00 0.00 0.09 0.00
1800.05/1800.07 c setppc : 15.78 0.00 14.96 0.00 0.00 0.82 0.00
1800.05/1800.07 c linear : 10.35 0.00 8.95 0.00 0.00 1.40 0.00
1800.05/1800.07 c indicator : 44.35 0.00 20.01 19.01 0.00 5.32 0.00
1800.05/1800.07 c logicor : 0.49 0.00 0.37 0.00 0.00 0.12 0.00
1800.05/1800.07 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.07 c vbounds : 318 18 0 29
1800.05/1800.07 c rootredcost : 1 0 0 0
1800.05/1800.07 c pseudoobj : 79762 0 0 0
1800.05/1800.07 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.07 c vbounds : 0.45 0.45 0.00
1800.05/1800.07 c rootredcost : 0.03 0.03 0.00
1800.05/1800.07 c pseudoobj : 13.58 13.58 0.00
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 0.00 179 179 383 9.7 14 7.6 -
1800.05/1800.07 c infeasible LP : 0.42 202 202 212 6.4 5 9.4 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.07 c applied globally : - - - 508 8.0 - - -
1800.05/1800.07 c applied locally : - - - 0 0.0 - - -
1800.05/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.07 c cut pool : 0.00 5 - - 463 - (maximal pool size: 2533)
1800.05/1800.07 c redcost : 19.74 23511 0 0 0 0
1800.05/1800.07 c impliedbounds : 0.02 6 0 0 272 0
1800.05/1800.07 c intobj : 0.00 0 0 0 0 0
1800.05/1800.07 c gomory : 6.32 6 0 0 3000 0
1800.05/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.07 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.07 c strongcg : 4.56 6 0 0 3000 0
1800.05/1800.07 c cmir : 1.18 6 0 0 0 0
1800.05/1800.07 c flowcover : 1.90 6 0 0 1201 0
1800.05/1800.07 c clique : 0.31 6 0 0 42 0
1800.05/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.07 c mcf : 0.13 1 0 0 0 0
1800.05/1800.07 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.07 c Pricers : Time Calls Vars
1800.05/1800.07 c problem variables: 0.00 0 0
1800.05/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c relpscost : 496.21 18003 0 115 0 0 35834
1800.05/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c random : 0.00 0 0 0 0 0 0
1800.05/1800.07 c Primal Heuristics : Time Calls Found
1800.05/1800.07 c LP solutions : 0.00 - 1
1800.05/1800.07 c pseudo solutions : 0.00 - 0
1800.05/1800.07 c oneopt : 0.45 2 0
1800.05/1800.07 c crossover : 2.06 8 0
1800.05/1800.07 c fracdiving : 48.79 77 0
1800.05/1800.07 c coefdiving : 55.37 77 0
1800.05/1800.07 c guideddiving : 38.87 87 0
1800.05/1800.07 c linesearchdiving : 39.32 88 0
1800.05/1800.07 c trivial : 0.02 2 0
1800.05/1800.07 c shiftandpropagate: 1.36 1 0
1800.05/1800.07 c simplerounding : 0.14 16385 0
1800.05/1800.07 c zirounding : 1.33 1000 0
1800.05/1800.07 c rounding : 1.72 1769 0
1800.05/1800.07 c shifting : 5.53 553 0
1800.05/1800.07 c intshifting : 0.00 0 0
1800.05/1800.07 c twoopt : 0.00 0 0
1800.05/1800.07 c fixandinfer : 0.00 0 0
1800.05/1800.07 c feaspump : 5.11 1 0
1800.05/1800.07 c clique : 0.00 0 0
1800.05/1800.07 c pscostdiving : 49.05 77 0
1800.05/1800.07 c veclendiving : 44.49 45 0
1800.05/1800.07 c intdiving : 0.00 0 0
1800.05/1800.07 c actconsdiving : 0.00 0 0
1800.05/1800.07 c objpscostdiving : 55.87 1 0
1800.05/1800.07 c rootsoldiving : 8.85 4 0
1800.05/1800.07 c octane : 0.00 0 0
1800.05/1800.07 c rens : 0.28 1 0
1800.05/1800.07 c rins : 0.00 0 0
1800.05/1800.07 c localbranching : 0.00 0 0
1800.05/1800.07 c mutation : 0.00 0 0
1800.05/1800.07 c dins : 0.00 0 0
1800.05/1800.07 c vbounds : 0.00 0 0
1800.05/1800.07 c undercover : 0.00 0 0
1800.05/1800.07 c subnlp : 0.01 0 0
1800.05/1800.07 c trysol : 1.39 708 99
1800.05/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.07 c primal LP : 0.27 0 0 0.00 0.00
1800.05/1800.07 c dual LP : 676.85 32916 825308 25.07 1219.34
1800.05/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.07 c diving/probing LP: 264.39 12288 340908 27.74 1289.44
1800.05/1800.07 c strong branching : 493.26 8450 529984 62.72 1074.44
1800.05/1800.07 c (at root node) : - 22 17250 784.09 -
1800.05/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.07 c B&B Tree :
1800.05/1800.07 c number of runs : 1
1800.05/1800.07 c nodes : 17984
1800.05/1800.07 c nodes (total) : 17984
1800.05/1800.07 c nodes left : 17839
1800.05/1800.07 c max depth : 317
1800.05/1800.07 c max depth (total): 317
1800.05/1800.07 c backtracks : 461 (2.6%)
1800.05/1800.07 c delayed cutoffs : 4
1800.05/1800.07 c repropagations : 1514 (343 domain reductions, 0 cutoffs)
1800.05/1800.07 c avg switch length: 2.71
1800.05/1800.07 c switching time : 10.26
1800.05/1800.07 c Solution :
1800.05/1800.07 c Solutions found : 100 (2 improvements)
1800.05/1800.07 c First Solution : +3.29379000000000e+05 (in run 1, after 1 nodes, 10.52 seconds, depth 2003, found by <trysol>)
1800.05/1800.07 c Primal Bound : +4.49800000000000e+03 (in run 1, after 796 nodes, 482.11 seconds, depth 306, found by <relaxation>)
1800.05/1800.07 c Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Gap : infinite
1800.05/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Root Iterations : 35121
1800.24/1800.23 c Time complete: 1800.28.
OK 4498
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447332-1307899348/watcher-3447332-1307899348 -o /var/tmp/evaluation-result-3447332-1307899348/solver-3447332-1307899348 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447332-1307899348.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.76 1.38 2/181 1541 /proc/meminfo: memFree=1360040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=6864 CPUtime=0 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 865 0 0 0 0 0 0 0 25 0 1 0 901532666 7028736 818 33554432000 4194304 9128323 140733497617168 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1541/statm: 1716 819 350 1205 0 507 0 [startup+0.08553 s] /proc/loadavg: 1.99 1.76 1.38 2/181 1541 /proc/meminfo: memFree=1360040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=21804 CPUtime=0.07 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 4435 0 0 0 7 0 0 0 25 0 1 0 901532666 22327296 4386 33554432000 4194304 9128323 140733497617168 18446744073709551615 7447104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1541/statm: 5451 4386 399 1205 0 4242 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21804 [startup+0.100537 s] /proc/loadavg: 1.99 1.76 1.38 2/181 1541 /proc/meminfo: memFree=1360040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=22960 CPUtime=0.09 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 4728 0 0 0 9 0 0 0 25 0 1 0 901532666 23511040 4679 33554432000 4194304 9128323 140733497617168 18446744073709551615 7968362 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1541/statm: 5740 4679 399 1205 0 4531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22960 [startup+0.300492 s] /proc/loadavg: 1.99 1.76 1.38 2/181 1541 /proc/meminfo: memFree=1360040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=87072 CPUtime=0.29 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 20063 0 0 0 28 1 0 0 25 0 1 0 901532666 89161728 19926 33554432000 4194304 9128323 140733497617168 18446744073709551615 5215539 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 21768 19926 522 1205 0 20559 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 87072 [startup+0.700419 s] /proc/loadavg: 1.99 1.76 1.38 2/181 1541 /proc/meminfo: memFree=1360040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=98888 CPUtime=0.69 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 24296 0 0 0 68 1 0 0 25 0 1 0 901532666 101261312 23037 33554432000 4194304 9128323 140733497617168 18446744073709551615 4840342 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 24722 23037 573 1205 0 23513 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 98888 [startup+1.50028 s] /proc/loadavg: 1.99 1.76 1.38 3/182 1542 /proc/meminfo: memFree=1267924/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=102816 CPUtime=1.49 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 25252 0 0 0 148 1 0 0 25 0 1 0 901532666 105283584 23993 33554432000 4194304 9128323 140733497617168 18446744073709551615 5976218 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 25704 23993 573 1205 0 24495 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 102816 [startup+3.10098 s] /proc/loadavg: 1.99 1.76 1.38 3/182 1542 /proc/meminfo: memFree=1264592/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=103608 CPUtime=3.09 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 25481 0 0 0 308 1 0 0 25 0 1 0 901532666 106094592 24221 33554432000 4194304 9128323 140733497617168 18446744073709551615 5973121 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 25902 24221 572 1205 0 24693 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 103608 [startup+6.3004 s] /proc/loadavg: 1.99 1.76 1.38 3/182 1542 /proc/meminfo: memFree=1261004/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=106140 CPUtime=6.29 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 26084 0 0 0 628 1 0 0 25 0 1 0 901532666 108687360 24824 33554432000 4194304 9128323 140733497617168 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 26535 24824 576 1205 0 25326 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106140 [startup+12.7002 s] /proc/loadavg: 1.99 1.77 1.38 3/182 1543 /proc/meminfo: memFree=1204836/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=169064 CPUtime=12.69 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 41859 0 0 0 1263 6 0 0 25 0 1 0 901532666 173121536 40141 33554432000 4194304 9128323 140733497617168 18446744073709551615 7315256 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 42266 40141 789 1205 0 41057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 169064 [startup+25.5009 s] /proc/loadavg: 1.99 1.78 1.39 3/182 1543 /proc/meminfo: memFree=1182144/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=184340 CPUtime=25.49 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 45655 0 0 0 2534 15 0 0 25 0 1 0 901532666 188764160 43836 33554432000 4194304 9128323 140733497617168 18446744073709551615 6322706 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 46085 43836 719 1205 0 44876 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 184340 [startup+51.1003 s] /proc/loadavg: 1.99 1.79 1.41 3/182 1544 /proc/meminfo: memFree=1172684/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=191092 CPUtime=51.09 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 74753 0 0 0 5071 38 0 0 25 0 1 0 901532666 195678208 45983 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 47773 45983 859 1205 0 46564 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 191092 [startup+102.307 s] /proc/loadavg: 1.99 1.82 1.43 3/182 1545 /proc/meminfo: memFree=1171376/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=189612 CPUtime=102.3 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 148219 0 0 0 10157 73 0 0 25 0 1 0 901532666 194162688 45650 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 47403 45650 859 1205 0 46194 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 189612 [startup+162.301 s] /proc/loadavg: 1.99 1.85 1.47 3/182 1547 /proc/meminfo: memFree=1161420/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=194028 CPUtime=162.29 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 149071 0 0 0 16118 111 0 0 25 0 1 0 901532666 198684672 46502 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 48507 46502 865 1205 0 47298 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 194028 [startup+222.301 s] /proc/loadavg: 1.99 1.88 1.50 4/182 1548 /proc/meminfo: memFree=1155908/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=194944 CPUtime=222.29 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 149416 0 0 0 22089 140 0 0 25 0 1 0 901532666 199622656 46844 33554432000 4194304 9128323 140733497617168 18446744073709551615 7315457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 48736 46844 865 1205 0 47527 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 194944 [startup+282.3 s] /proc/loadavg: 1.99 1.90 1.53 3/182 1550 /proc/meminfo: memFree=1151040/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=197532 CPUtime=282.3 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 150154 0 0 0 28056 174 0 0 25 0 1 0 901532666 202272768 47581 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 49383 47581 867 1205 0 48174 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 197532 [startup+342.3 s] /proc/loadavg: 2.06 1.93 1.56 3/182 1551 /proc/meminfo: memFree=1148144/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=199836 CPUtime=342.31 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 151961 0 0 0 34029 202 0 0 25 0 1 0 901532666 204632064 47844 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 49959 47844 865 1205 0 48750 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 199836 [startup+402.3 s] /proc/loadavg: 2.02 1.94 1.58 3/182 1553 /proc/meminfo: memFree=1137068/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=205848 CPUtime=402.3 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 169687 0 0 0 40000 230 0 0 25 0 1 0 901532666 210788352 49437 33554432000 4194304 9128323 140733497617168 18446744073709551615 6856974 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 51462 49437 1064 1205 0 50253 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 205848 [startup+462.3 s] /proc/loadavg: 2.04 1.96 1.61 3/182 1555 /proc/meminfo: memFree=1120640/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=212140 CPUtime=462.3 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 189728 0 0 0 45972 258 0 0 25 0 1 0 901532666 217231360 51179 33554432000 4194304 9128323 140733497617168 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 53035 51179 979 1205 0 51826 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 212140 [startup+522.301 s] /proc/loadavg: 2.09 2.00 1.64 3/182 1556 /proc/meminfo: memFree=1091588/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=237000 CPUtime=522.31 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 211708 0 0 0 51947 284 0 0 25 0 1 0 901532666 242688000 57386 33554432000 4194304 9128323 140733497617168 18446744073709551615 7315183 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 59250 57386 864 1205 0 58041 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 237000 [startup+582.301 s] /proc/loadavg: 2.16 2.03 1.67 3/182 1558 /proc/meminfo: memFree=1073572/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=254844 CPUtime=582.31 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 231872 0 0 0 57915 316 0 0 25 0 1 0 901532666 260960256 61434 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 63711 61434 866 1205 0 62502 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 254844 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.01 1.75 3/182 1566 /proc/meminfo: memFree=1012852/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=304788 CPUtime=882.32 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 279080 0 0 0 87799 433 0 0 25 0 1 0 901532666 312102912 74360 33554432000 4194304 9128323 140733497617168 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 76197 74360 1173 1205 0 74988 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 304788 [startup+942.301 s] /proc/loadavg: 2.03 2.02 1.77 3/182 1567 /proc/meminfo: memFree=1005008/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=311784 CPUtime=942.32 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 280975 0 0 0 93784 448 0 0 25 0 1 0 901532666 319266816 75954 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 77946 75954 881 1205 0 76737 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 311784 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 1.78 3/182 1569 /proc/meminfo: memFree=997132/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=318716 CPUtime=1002.32 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 299338 0 0 0 99759 473 0 0 25 0 1 0 901532666 326365184 77694 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 79679 77694 866 1205 0 78470 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 318716 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 1.79 3/182 1571 /proc/meminfo: memFree=990656/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=322924 CPUtime=1062.32 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 300407 0 0 0 105744 488 0 0 25 0 1 0 901532666 330674176 78763 33554432000 4194304 9128323 140733497617168 18446744073709551615 8012615 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 80731 78763 866 1205 0 79522 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 322924 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.81 3/182 1572 /proc/meminfo: memFree=984052/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=328696 CPUtime=1122.33 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 301855 0 0 0 111729 504 0 0 25 0 1 0 901532666 336584704 80211 33554432000 4194304 9128323 140733497617168 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 82174 80211 866 1205 0 80965 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 328696 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 1.82 3/182 1574 /proc/meminfo: memFree=980668/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=330344 CPUtime=1182.32 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 302270 0 0 0 117713 519 0 0 25 0 1 0 901532666 338272256 80626 33554432000 4194304 9128323 140733497617168 18446744073709551615 7346344 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 82586 80626 866 1205 0 81377 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 330344 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 1.83 3/182 1575 /proc/meminfo: memFree=973684/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=336056 CPUtime=1242.33 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 303683 0 0 0 123699 534 0 0 25 0 1 0 901532666 344121344 82039 33554432000 4194304 9128323 140733497617168 18446744073709551615 7192225 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 84014 82039 866 1205 0 82805 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 336056 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.83 3/182 1577 /proc/meminfo: memFree=967312/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=340884 CPUtime=1302.33 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 304886 0 0 0 129686 547 0 0 25 0 1 0 901532666 349065216 83242 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 85221 83242 866 1205 0 84012 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 340884 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.84 3/182 1579 /proc/meminfo: memFree=964156/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=343532 CPUtime=1362.33 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 313261 0 0 0 135669 564 0 0 25 0 1 0 901532666 351776768 83911 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 85883 83911 874 1205 0 84674 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 343532 [startup+1422.31 s] /proc/loadavg: 1.96 1.98 1.84 3/182 1619 /proc/meminfo: memFree=1064632/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=349796 CPUtime=1422.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 316419 0 0 0 141654 580 0 0 25 0 1 0 901532666 358191104 85479 33554432000 4194304 9128323 140733497617168 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 87449 85479 892 1205 0 86240 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 349796 [startup+1482.3 s] /proc/loadavg: 2.04 2.00 1.85 3/182 1621 /proc/meminfo: memFree=1042408/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=363924 CPUtime=1482.33 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 319959 0 0 0 147637 596 0 0 25 0 1 0 901532666 372658176 88993 33554432000 4194304 9128323 140733497617168 18446744073709551615 6712748 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 90981 88993 866 1205 0 89772 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 363924 [startup+1542.3 s] /proc/loadavg: 2.09 2.03 1.87 3/182 1622 /proc/meminfo: memFree=1026612/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=370476 CPUtime=1542.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 321720 0 0 0 153614 620 0 0 25 0 1 0 901532666 379367424 90754 33554432000 4194304 9128323 140733497617168 18446744073709551615 7315315 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 92619 90754 866 1205 0 91410 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 370476 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 1.87 3/182 1624 /proc/meminfo: memFree=1013304/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=381676 CPUtime=1602.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 324589 0 0 0 159590 644 0 0 25 0 1 0 901532666 390836224 93525 33554432000 4194304 9128323 140733497617168 18446744073709551615 6732472 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 95419 93525 900 1205 0 94210 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 381676 [startup+1662.3 s] /proc/loadavg: 2.04 2.03 1.88 3/182 1626 /proc/meminfo: memFree=987584/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=396868 CPUtime=1662.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 343040 0 0 0 165570 664 0 0 25 0 1 0 901532666 406392832 97121 33554432000 4194304 9128323 140733497617168 18446744073709551615 6505869 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 99217 97121 868 1205 0 98008 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 396868 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 1.89 3/182 1627 /proc/meminfo: memFree=968440/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=410964 CPUtime=1722.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 346963 0 0 0 171550 684 0 0 25 0 1 0 901532666 420827136 100932 33554432000 4194304 9128323 140733497617168 18446744073709551615 7077578 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 102741 100932 884 1205 0 101532 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 410964 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 1.90 3/182 1629 /proc/meminfo: memFree=952156/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=422532 CPUtime=1782.34 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 351277 0 0 0 177529 705 0 0 25 0 1 0 901532666 432672768 103573 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 105633 103573 868 1205 0 104424 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 422532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.03 1.90 3/182 1629 /proc/meminfo: memFree=942728/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=429420 CPUtime=1800.05 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 353134 0 0 0 179295 710 0 0 25 0 1 0 901532666 439726080 105430 33554432000 4194304 9128323 140733497617168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/1541/statm: 107355 105430 868 1205 0 106146 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 429420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.04 2.03 1.90 3/182 1629 /proc/meminfo: memFree=942728/32951124 swapFree=67054536/67111528 [pid=1541] ppid=1539 vsize=421008 CPUtime=1800.24 cores=1,3,5,7 /proc/1541/stat : 1541 (scip-2.0.1.4.li) R 1539 1541 446 0 -1 4202496 353138 0 0 0 179314 710 0 0 25 0 1 0 901532666 431112192 103532 33554432000 4194304 9128323 140733497617168 18446744073709551615 4347087 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1541/statm: 105252 103532 872 1205 0 104043 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 421008 Child status: 0 Real time (s): 1800.23 CPU time (s): 1800.29 CPU user time (s): 1793.16 CPU system time (s): 7.12492 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 442640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.16 system time used= 7.12492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 353140 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2638 runsolver used 2.93355 second user time and 6.88895 second system time The end
Begin job on node133 at 2011-06-12 19:22:28 IDJOB=3447332 IDBENCH=79028 IDSOLVER=1944 FILE ID=node133/3447332-1307899348 RUNJOBID= node133-1307898924-1465 PBS_JOBID= 13559573 Free space on /var/tmp= 2884 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447332-1307899348/watcher-3447332-1307899348 -o /var/tmp/evaluation-result-3447332-1307899348/solver-3447332-1307899348 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447332-1307899348.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 321b555888f42ada31256d1d017f1ca8 RANDOM SEED=1367611275 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6741.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1360468 kB Buffers: 54068 kB Cached: 30453300 kB SwapCached: 10288 kB Active: 15605392 kB Inactive: 15035300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1360468 kB SwapTotal: 67111528 kB SwapFree: 67054536 kB Dirty: 12468 kB Writeback: 0 kB AnonPages: 130868 kB Mapped: 15812 kB Slab: 887248 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 322628 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2872 MiB End job on node133 at 2011-06-12 19:52:30