Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j CuttingPlanes 2.3.0 | SAT (TO) | 2147418063 | 1800.3 | 1796.48 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c version 2.3.1.v20110525 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 9996466904 0.05/0.08 c Max memory 10048897024 0.05/0.08 c Total memory 10048897024 0.05/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3456546-1307660559.opb 0.10/0.10 c reading problem ... 0.99/0.65 c ... done. Wall clock time 0.543s. 0.99/0.65 c #vars 6651 0.99/0.65 c #constraints 721 0.99/0.65 c constraints type 0.99/0.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 0.99/0.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 0.99/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 1.56/1.04 c SATISFIABLE 1.56/1.04 c OPTIMIZING... 1.56/1.04 c Got one! Elapsed wall clock time (in seconds):0.933 1.56/1.04 o 2147483647 2.25/1.49 c Got one! Elapsed wall clock time (in seconds):1.381 2.25/1.49 o 2147483646 2.64/1.79 c Got one! Elapsed wall clock time (in seconds):1.689 2.64/1.79 o 2147483645 3.21/2.24 c Got one! Elapsed wall clock time (in seconds):2.141 3.21/2.24 o 2147483644 3.60/2.63 c Got one! Elapsed wall clock time (in seconds):2.531 3.60/2.63 o 2147483643 4.03/3.05 c Got one! Elapsed wall clock time (in seconds):2.943 4.03/3.05 o 2147483642 4.44/3.45 c Got one! Elapsed wall clock time (in seconds):3.346 4.44/3.45 o 2147483641 4.64/3.66 c Got one! Elapsed wall clock time (in seconds):3.558 4.64/3.66 o 2147483640 5.04/4.07 c Got one! Elapsed wall clock time (in seconds):3.969 5.04/4.07 o 2147483639 5.47/4.49 c Got one! Elapsed wall clock time (in seconds):4.381 5.47/4.49 o 2147483638 5.93/4.89 c Got one! Elapsed wall clock time (in seconds):4.787 5.93/4.89 o 2147483637 6.33/5.27 c Got one! Elapsed wall clock time (in seconds):5.169 6.33/5.27 o 2147483636 6.74/5.66 c Got one! Elapsed wall clock time (in seconds):5.558 6.74/5.66 o 2147483635 7.14/6.06 c Got one! Elapsed wall clock time (in seconds):5.952 7.14/6.06 o 2147483634 15.18/13.82 c Got one! Elapsed wall clock time (in seconds):13.711 15.18/13.82 o 2147483633 22.28/20.87 c Got one! Elapsed wall clock time (in seconds):20.766 22.28/20.87 o 2147483632 29.68/28.15 c Got one! Elapsed wall clock time (in seconds):28.041 29.68/28.15 o 2147483631 36.69/35.17 c Got one! Elapsed wall clock time (in seconds):35.071 36.69/35.17 o 2147483630 43.80/42.20 c Got one! Elapsed wall clock time (in seconds):42.1 43.80/42.20 o 2147483629 51.51/49.92 c Got one! Elapsed wall clock time (in seconds):49.818 51.51/49.92 o 2147483628 59.43/57.81 c Got one! Elapsed wall clock time (in seconds):57.706 59.43/57.81 o 2147483627 67.23/65.69 c Got one! Elapsed wall clock time (in seconds):65.588 67.23/65.69 o 2147483626 75.14/73.57 c Got one! Elapsed wall clock time (in seconds):73.469 75.14/73.57 o 2147483625 75.54/73.96 c Got one! Elapsed wall clock time (in seconds):73.858 75.54/73.96 o 2147483624 75.94/74.35 c Got one! Elapsed wall clock time (in seconds):74.246 75.94/74.35 o 2147483623 76.34/74.74 c Got one! Elapsed wall clock time (in seconds):74.641 76.34/74.74 o 2147483622 80.54/78.93 c Got one! Elapsed wall clock time (in seconds):78.827 80.54/78.93 o 2147483621 114.96/113.32 c Got one! Elapsed wall clock time (in seconds):113.216 114.96/113.32 o 2147483620 115.26/113.68 c Got one! Elapsed wall clock time (in seconds):113.575 115.26/113.68 o 2147483619 115.66/114.02 c Got one! Elapsed wall clock time (in seconds):113.918 115.66/114.02 o 2147483618 115.96/114.37 c Got one! Elapsed wall clock time (in seconds):114.269 115.96/114.37 o 2147483617 116.37/114.77 c Got one! Elapsed wall clock time (in seconds):114.666 116.37/114.77 o 2147483616 116.77/115.14 c Got one! Elapsed wall clock time (in seconds):115.038 116.77/115.14 o 2147483615 117.18/115.53 c Got one! Elapsed wall clock time (in seconds):115.423 117.18/115.53 o 2147483614 117.57/115.92 c Got one! Elapsed wall clock time (in seconds):115.813 117.57/115.92 o 2147483613 117.97/116.30 c Got one! Elapsed wall clock time (in seconds):116.199 117.97/116.30 o 2147483612 118.28/116.69 c Got one! Elapsed wall clock time (in seconds):116.583 118.28/116.69 o 2147483611 118.67/117.08 c Got one! Elapsed wall clock time (in seconds):116.974 118.67/117.08 o 2147483610 119.07/117.48 c Got one! Elapsed wall clock time (in seconds):117.379 119.07/117.48 o 2147483609 119.47/117.87 c Got one! Elapsed wall clock time (in seconds):117.769 119.47/117.87 o 2147483608 119.87/118.25 c Got one! Elapsed wall clock time (in seconds):118.144 119.87/118.25 o 2147483607 120.27/118.60 c Got one! Elapsed wall clock time (in seconds):118.496 120.27/118.60 o 2147483606 120.57/118.96 c Got one! Elapsed wall clock time (in seconds):118.858 120.57/118.96 o 2147483605 120.98/119.34 c Got one! Elapsed wall clock time (in seconds):119.235 120.98/119.34 o 2147483604 121.38/119.71 c Got one! Elapsed wall clock time (in seconds):119.603 121.38/119.71 o 2147483603 121.78/120.10 c Got one! Elapsed wall clock time (in seconds):119.994 121.78/120.10 o 2147483602 122.08/120.46 c Got one! Elapsed wall clock time (in seconds):120.36 122.08/120.46 o 2147483601 122.48/120.83 c Got one! Elapsed wall clock time (in seconds):120.729 122.48/120.83 o 2147483600 122.88/121.21 c Got one! Elapsed wall clock time (in seconds):121.106 122.88/121.21 o 2147483599 123.18/121.59 c Got one! Elapsed wall clock time (in seconds):121.483 123.18/121.59 o 2147483598 123.58/121.97 c Got one! Elapsed wall clock time (in seconds):121.866 123.58/121.97 o 2147483597 123.98/122.35 c Got one! Elapsed wall clock time (in seconds):122.246 123.98/122.35 o 2147483596 124.38/122.72 c Got one! Elapsed wall clock time (in seconds):122.616 124.38/122.72 o 2147483595 124.68/123.10 c Got one! Elapsed wall clock time (in seconds):122.993 124.68/123.10 o 2147483594 125.08/123.47 c Got one! Elapsed wall clock time (in seconds):123.366 125.08/123.47 o 2147483593 139.85/138.17 c Got one! Elapsed wall clock time (in seconds):138.065 139.85/138.17 o 2147483592 140.26/138.60 c Got one! Elapsed wall clock time (in seconds):138.497 140.26/138.60 o 2147483591 140.75/139.03 c Got one! Elapsed wall clock time (in seconds):138.925 140.75/139.03 o 2147483590 141.15/139.46 c Got one! Elapsed wall clock time (in seconds):139.354 141.15/139.46 o 2147483589 141.65/139.90 c Got one! Elapsed wall clock time (in seconds):139.8 141.65/139.90 o 2147483588 142.05/140.36 c Got one! Elapsed wall clock time (in seconds):140.254 142.05/140.36 o 2147483587 142.48/140.77 c Got one! Elapsed wall clock time (in seconds):140.67 142.48/140.77 o 2147483586 142.87/141.16 c Got one! Elapsed wall clock time (in seconds):141.057 142.87/141.16 o 2147483585 143.27/141.56 c Got one! Elapsed wall clock time (in seconds):141.46 143.27/141.56 o 2147483584 209.22/207.42 c Got one! Elapsed wall clock time (in seconds):207.319 209.22/207.42 o 2147483583 241.75/239.91 c Got one! Elapsed wall clock time (in seconds):239.805 241.75/239.91 o 2147483582 246.36/244.57 c Got one! Elapsed wall clock time (in seconds):244.463 246.36/244.57 o 2147483581 246.86/245.05 c Got one! Elapsed wall clock time (in seconds):244.948 246.86/245.05 o 2147483580 247.36/245.53 c Got one! Elapsed wall clock time (in seconds):245.43 247.36/245.53 o 2147483579 247.86/246.00 c Got one! Elapsed wall clock time (in seconds):245.901 247.86/246.00 o 2147483578 248.26/246.48 c Got one! Elapsed wall clock time (in seconds):246.374 248.26/246.48 o 2147483577 562.97/560.98 c Got one! Elapsed wall clock time (in seconds):560.874 562.97/560.98 o 2147483576 574.88/572.88 c Got one! Elapsed wall clock time (in seconds):572.772 574.88/572.88 o 2147483575 586.91/584.80 c Got one! Elapsed wall clock time (in seconds):584.699 586.91/584.80 o 2147483574 598.83/596.72 c Got one! Elapsed wall clock time (in seconds):596.614 598.83/596.72 o 2147483573 610.74/608.64 c Got one! Elapsed wall clock time (in seconds):608.537 610.74/608.64 o 2147483572 620.75/618.65 c Got one! Elapsed wall clock time (in seconds):618.55 620.75/618.65 o 2147483571 621.25/619.14 c Got one! Elapsed wall clock time (in seconds):619.037 621.25/619.14 o 2147483570 638.87/636.76 c Got one! Elapsed wall clock time (in seconds):636.658 638.87/636.76 o 2147483569 639.37/637.26 c Got one! Elapsed wall clock time (in seconds):637.152 639.37/637.26 o 2147483568 639.87/637.71 c Got one! Elapsed wall clock time (in seconds):637.609 639.87/637.71 o 2147483567 653.70/651.55 c Got one! Elapsed wall clock time (in seconds):651.443 653.70/651.55 o 2147483566 654.20/652.02 c Got one! Elapsed wall clock time (in seconds):651.919 654.20/652.02 o 2147483565 654.70/652.50 c Got one! Elapsed wall clock time (in seconds):652.395 654.70/652.50 o 2147483564 660.91/658.72 c Got one! Elapsed wall clock time (in seconds):658.616 660.91/658.72 o 2147483563 661.41/659.23 c Got one! Elapsed wall clock time (in seconds):659.122 661.41/659.23 o 2147483562 661.81/659.67 c Got one! Elapsed wall clock time (in seconds):659.568 661.81/659.67 o 2147483561 662.31/660.13 c Got one! Elapsed wall clock time (in seconds):660.031 662.31/660.13 o 2147483560 662.71/660.58 c Got one! Elapsed wall clock time (in seconds):660.476 662.71/660.58 o 2147483559 717.06/714.89 c Got one! Elapsed wall clock time (in seconds):714.79 717.06/714.89 o 2147483558 717.56/715.34 c Got one! Elapsed wall clock time (in seconds):715.236 717.56/715.34 o 2147483557 717.96/715.79 c Got one! Elapsed wall clock time (in seconds):715.689 717.96/715.79 o 2147483556 722.57/720.30 c Got one! Elapsed wall clock time (in seconds):720.198 722.57/720.30 o 2147483555 722.97/720.75 c Got one! Elapsed wall clock time (in seconds):720.643 722.97/720.75 o 2147483554 725.37/723.15 c Got one! Elapsed wall clock time (in seconds):723.05 725.37/723.15 o 2147483553 725.87/723.62 c Got one! Elapsed wall clock time (in seconds):723.517 725.87/723.62 o 2147483552 728.29/726.04 c Got one! Elapsed wall clock time (in seconds):725.94 728.29/726.04 o 2147483551 730.68/728.46 c Got one! Elapsed wall clock time (in seconds):728.356 730.68/728.46 o 2147483550 731.18/728.92 c Got one! Elapsed wall clock time (in seconds):728.815 731.18/728.92 o 2147483549 735.70/733.43 c Got one! Elapsed wall clock time (in seconds):733.323 735.70/733.43 o 2147483548 736.20/733.90 c Got one! Elapsed wall clock time (in seconds):733.797 736.20/733.90 o 2147483547 736.60/734.36 c Got one! Elapsed wall clock time (in seconds):734.259 736.60/734.36 o 2147483546 737.11/734.82 c Got one! Elapsed wall clock time (in seconds):734.716 737.11/734.82 o 2147483545 737.60/735.31 c Got one! Elapsed wall clock time (in seconds):735.201 737.60/735.31 o 2147483544 738.00/735.79 c Got one! Elapsed wall clock time (in seconds):735.688 738.00/735.79 o 2147483543 738.50/736.27 c Got one! Elapsed wall clock time (in seconds):736.168 738.50/736.27 o 2147483542 739.00/736.78 c Got one! Elapsed wall clock time (in seconds):736.672 739.00/736.78 o 2147483541 739.50/737.25 c Got one! Elapsed wall clock time (in seconds):737.142 739.50/737.25 o 2147483540 755.04/752.71 c Got one! Elapsed wall clock time (in seconds):752.606 755.04/752.71 o 2147483539 755.54/753.23 c Got one! Elapsed wall clock time (in seconds):753.125 755.54/753.23 o 2147483538 758.14/755.86 c Got one! Elapsed wall clock time (in seconds):755.755 758.14/755.86 o 2147483537 767.25/764.93 c Got one! Elapsed wall clock time (in seconds):764.825 767.25/764.93 o 2147483536 784.88/782.56 c Got one! Elapsed wall clock time (in seconds):782.455 784.88/782.56 o 2147483535 800.11/797.79 c Got one! Elapsed wall clock time (in seconds):797.683 800.11/797.79 o 2147483534 866.90/864.40 c Got one! Elapsed wall clock time (in seconds):864.3 866.90/864.40 o 2147483533 867.50/865.01 c Got one! Elapsed wall clock time (in seconds):864.911 867.50/865.01 o 2147483532 868.10/865.63 c Got one! Elapsed wall clock time (in seconds):865.53 868.10/865.63 o 2147483531 868.70/866.26 c Got one! Elapsed wall clock time (in seconds):866.154 868.70/866.26 o 2147483530 869.31/866.88 c Got one! Elapsed wall clock time (in seconds):866.781 869.31/866.88 o 2147483529 921.06/918.53 c Got one! Elapsed wall clock time (in seconds):918.428 921.06/918.53 o 2147483528 973.30/970.78 c Got one! Elapsed wall clock time (in seconds):970.679 973.30/970.78 o 2147450879 986.11/983.50 c Got one! Elapsed wall clock time (in seconds):983.394 986.11/983.50 o 2147450878 998.04/995.46 c Got one! Elapsed wall clock time (in seconds):995.355 998.04/995.46 o 2147450877 1009.46/1006.89 c Got one! Elapsed wall clock time (in seconds):1006.783 1009.46/1006.89 o 2147450876 1020.98/1018.31 c Got one! Elapsed wall clock time (in seconds):1018.208 1020.98/1018.31 o 2147450875 1032.39/1029.74 c Got one! Elapsed wall clock time (in seconds):1029.635 1032.39/1029.74 o 2147450874 1039.10/1036.40 c Got one! Elapsed wall clock time (in seconds):1036.297 1039.10/1036.40 o 2147450873 1044.52/1041.86 c Got one! Elapsed wall clock time (in seconds):1041.753 1044.52/1041.86 o 2147450872 1057.83/1055.17 c Got one! Elapsed wall clock time (in seconds):1055.069 1057.83/1055.17 o 2147450623 1078.46/1075.71 c Got one! Elapsed wall clock time (in seconds):1075.61 1078.46/1075.71 o 2147450622 1240.01/1237.14 c Got one! Elapsed wall clock time (in seconds):1237.039 1240.01/1237.14 o 2147418111 1240.61/1237.79 c Got one! Elapsed wall clock time (in seconds):1237.682 1240.61/1237.79 o 2147418110 1323.08/1320.12 c Got one! Elapsed wall clock time (in seconds):1320.013 1323.08/1320.12 o 2147418109 1323.78/1320.83 c Got one! Elapsed wall clock time (in seconds):1320.731 1323.78/1320.83 o 2147418108 1334.82/1331.87 c Got one! Elapsed wall clock time (in seconds):1331.765 1334.82/1331.87 o 2147418107 1335.52/1332.57 c Got one! Elapsed wall clock time (in seconds):1332.465 1335.52/1332.57 o 2147418106 1344.14/1341.12 c Got one! Elapsed wall clock time (in seconds):1341.016 1344.14/1341.12 o 2147418105 1350.05/1347.01 c Got one! Elapsed wall clock time (in seconds):1346.905 1350.05/1347.01 o 2147418104 1350.75/1347.71 c Got one! Elapsed wall clock time (in seconds):1347.604 1350.75/1347.71 o 2147418103 1366.97/1363.93 c Got one! Elapsed wall clock time (in seconds):1363.823 1366.97/1363.93 o 2147418102 1375.39/1372.39 c Got one! Elapsed wall clock time (in seconds):1372.29 1375.39/1372.39 o 2147418101 1381.41/1378.30 c Got one! Elapsed wall clock time (in seconds):1378.201 1381.41/1378.30 o 2147418100 1382.10/1379.01 c Got one! Elapsed wall clock time (in seconds):1378.906 1382.10/1379.01 o 2147418099 1382.80/1379.70 c Got one! Elapsed wall clock time (in seconds):1379.6 1382.80/1379.70 o 2147418098 1393.82/1390.78 c Got one! Elapsed wall clock time (in seconds):1390.678 1393.82/1390.78 o 2147418097 1402.35/1399.27 c Got one! Elapsed wall clock time (in seconds):1399.167 1402.35/1399.27 o 2147418096 1410.86/1407.75 c Got one! Elapsed wall clock time (in seconds):1407.649 1410.86/1407.75 o 2147418095 1419.38/1416.26 c Got one! Elapsed wall clock time (in seconds):1416.153 1419.38/1416.26 o 2147418094 1425.29/1422.18 c Got one! Elapsed wall clock time (in seconds):1422.075 1425.29/1422.18 o 2147418093 1428.40/1425.29 c Got one! Elapsed wall clock time (in seconds):1425.19 1428.40/1425.29 o 2147418092 1429.20/1426.04 c Got one! Elapsed wall clock time (in seconds):1425.938 1429.20/1426.04 o 2147418091 1435.21/1432.03 c Got one! Elapsed wall clock time (in seconds):1431.927 1435.21/1432.03 o 2147418090 1436.01/1432.88 c Got one! Elapsed wall clock time (in seconds):1432.772 1436.01/1432.88 o 2147418089 1444.83/1441.69 c Got one! Elapsed wall clock time (in seconds):1441.582 1444.83/1441.69 o 2147418088 1445.63/1442.42 c Got one! Elapsed wall clock time (in seconds):1442.321 1445.63/1442.42 o 2147418087 1446.33/1443.15 c Got one! Elapsed wall clock time (in seconds):1443.043 1446.33/1443.15 o 2147418086 1447.03/1443.83 c Got one! Elapsed wall clock time (in seconds):1443.723 1447.03/1443.83 o 2147418085 1613.75/1610.35 c Got one! Elapsed wall clock time (in seconds):1610.251 1613.75/1610.35 o 2147418084 1650.28/1646.87 c Got one! Elapsed wall clock time (in seconds):1646.764 1650.28/1646.87 o 2147418083 1714.37/1710.83 c Got one! Elapsed wall clock time (in seconds):1710.721 1714.37/1710.83 o 2147418082 1715.08/1711.52 c Got one! Elapsed wall clock time (in seconds):1711.42 1715.08/1711.52 o 2147418081 1715.69/1712.19 c Got one! Elapsed wall clock time (in seconds):1712.084 1715.69/1712.19 o 2147418080 1716.39/1712.82 c Got one! Elapsed wall clock time (in seconds):1712.714 1716.39/1712.82 o 2147418079 1716.99/1713.42 c Got one! Elapsed wall clock time (in seconds):1713.313 1716.99/1713.42 o 2147418078 1717.59/1714.08 c Got one! Elapsed wall clock time (in seconds):1713.974 1717.59/1714.08 o 2147418077 1718.29/1714.73 c Got one! Elapsed wall clock time (in seconds):1714.628 1718.29/1714.73 o 2147418076 1718.89/1715.36 c Got one! Elapsed wall clock time (in seconds):1715.261 1718.89/1715.36 o 2147418075 1719.49/1715.99 c Got one! Elapsed wall clock time (in seconds):1715.891 1719.49/1715.99 o 2147418074 1726.81/1723.28 c Got one! Elapsed wall clock time (in seconds):1723.175 1726.81/1723.28 o 2147418073 1727.51/1723.93 c Got one! Elapsed wall clock time (in seconds):1723.825 1727.51/1723.93 o 2147418072 1731.73/1728.17 c Got one! Elapsed wall clock time (in seconds):1728.064 1731.73/1728.17 o 2147418071 1736.05/1732.44 c Got one! Elapsed wall clock time (in seconds):1732.337 1736.05/1732.44 o 2147418070 1736.75/1733.13 c Got one! Elapsed wall clock time (in seconds):1733.026 1736.75/1733.13 o 2147418069 1749.48/1745.87 c Got one! Elapsed wall clock time (in seconds):1745.765 1749.48/1745.87 o 2147418068 1750.18/1746.58 c Got one! Elapsed wall clock time (in seconds):1746.481 1750.18/1746.58 o 2147418067 1797.38/1793.61 c Got one! Elapsed wall clock time (in seconds):1793.511 1797.38/1793.61 o 2147418066 1798.18/1794.41 c Got one! Elapsed wall clock time (in seconds):1794.305 1798.18/1794.41 o 2147418065 1798.88/1795.16 c Got one! Elapsed wall clock time (in seconds):1795.055 1798.88/1795.16 o 2147418064 1799.68/1795.91 c Got one! Elapsed wall clock time (in seconds):1795.809 1799.68/1795.91 o 2147418063 1800.09/1796.31 c starts : 180 1800.09/1796.31 c conflicts : 305 1800.09/1796.31 c decisions : 1134683 1800.09/1796.31 c propagations : 2324943 1800.09/1796.31 c inspects : 77845608 1800.09/1796.31 c shortcuts : 0 1800.09/1796.31 c learnt literals : 0 1800.09/1796.31 c learnt binary clauses : 0 1800.09/1796.31 c learnt ternary clauses : 0 1800.09/1796.31 c learnt constraints : 305 1800.09/1796.31 c ignored constraints : 0 1800.09/1796.31 c root simplifications : 0 1800.09/1796.31 c removed literals (reason simplification) : 0 1800.09/1796.31 c reason swapping (by a shorter reason) : 0 1800.09/1796.32 c Calls to reduceDB : 0 1800.09/1796.32 c number of reductions to clauses (during analyze) : 0 1800.09/1796.32 c number of learned constraints concerned by reduction : 0 1800.09/1796.32 c number of learning phase by resolution : 0 1800.09/1796.32 c number of learning phase by cutting planes : 0 1800.09/1796.32 c speed (assignments/second) : 5769089.330024813 1800.09/1796.32 c non guided choices 7366 1800.09/1796.32 c learnt constraints type 1800.09/1796.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 305 1800.09/1796.32 c constraints type 1800.09/1796.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.09/1796.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.09/1796.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.09/1796.32 s SATISFIABLE 1800.09/1796.33 v x1 x2 x3 x4 -x5 -x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 -x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 1800.09/1796.33 c objective function=2147418063 1800.09/1796.33 c Total wall clock time (in seconds): 1796.231
OK 2147418063
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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 /tmp/evaluation-result-3456546-1307660559/watcher-3456546-1307660559 -o /tmp/evaluation-result-3456546-1307660559/solver-3456546-1307660559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456546-1307660559.opb running on 4 cores: 0,2,4,6 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: 2.00 2.00 2.08 3/186 1080 /proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/1080/stat : 1080 (java) R 1078 1080 30485 0 -1 4202496 623 0 0 0 0 0 0 0 22 0 1 0 956286604 23580672 366 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251362584341 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/1080/statm: 5757 378 288 9 0 124 0 [pid=1080/tid=1082] ppid=1078 vsize=30528 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 123 0 0 0 0 0 0 0 24 0 2 0 956286605 31260672 957 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251367546624 0 0 4096 0 0 0 0 -1 4 0 0 0 [startup+0.067322 s] /proc/loadavg: 2.00 2.00 2.08 3/186 1080 /proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10473700 CPUtime=0.05 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 11815 0 1 0 4 1 0 0 22 0 18 0 956286604 10725068800 11511 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2618425 11512 1742 9 0 2609159 0 [pid=1080/tid=1082] ppid=1078 vsize=10473700 CPUtime=0.04 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 10642 0 1 0 4 0 0 0 25 0 18 0 956286605 10725068800 11512 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 47999042713619 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473700 [startup+0.100339 s] /proc/loadavg: 2.00 2.00 2.08 3/186 1080 /proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10541284 CPUtime=0.1 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 13142 0 1 0 9 1 0 0 22 0 18 0 956286604 10794274816 12817 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2635321 12817 2093 9 0 2626055 0 [pid=1080/tid=1082] ppid=1078 vsize=10541284 CPUtime=0.08 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 11197 0 1 0 7 1 0 0 18 0 18 0 956286605 10794274816 12817 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10541284 [startup+0.30027 s] /proc/loadavg: 2.00 2.00 2.08 3/186 1080 /proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10544356 CPUtime=0.53 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 17041 0 1 0 51 2 0 0 22 0 18 0 956286604 10797420544 16683 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2636089 16684 2201 9 0 2626823 0 [pid=1080/tid=1082] ppid=1078 vsize=10544356 CPUtime=0.28 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 14015 0 1 0 27 1 0 0 18 0 18 0 956286605 10797420544 16685 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505597129 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10544356 [startup+0.701197 s] /proc/loadavg: 2.00 2.00 2.08 3/186 1080 /proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10545384 CPUtime=1.14 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 47948 0 1 0 108 6 0 0 22 0 19 0 956286604 10798473216 45701 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2636346 45702 2223 9 0 2627080 0 [pid=1080/tid=1082] ppid=1078 vsize=10545384 CPUtime=0.68 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 42833 0 1 0 63 5 0 0 19 0 19 0 956286605 10798473216 45702 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 10545384 [startup+1.50105 s] /proc/loadavg: 2.00 2.00 2.08 4/214 1108 /proc/meminfo: memFree=31752676/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=2.38 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 80983 0 1 0 228 10 0 0 22 0 19 0 956286604 10803716096 78118 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 78122 2233 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1.48 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 73199 0 1 0 140 8 0 0 20 0 19 0 956286605 10803716096 78124 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505762462 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78127 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78129 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 78132 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78134 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78136 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78139 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78141 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78143 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 78146 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 78148 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 78150 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 78152 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.45 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4124 0 0 0 44 1 0 0 15 0 19 0 956286610 10803716096 78154 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) R 1078 1080 30485 0 -1 4202560 2505 0 0 0 43 0 0 0 15 0 19 0 956286610 10803716096 78156 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 47999041134048 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 78158 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 78160 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 78162 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.38 Current children cumulated vsize (KiB) 10550504 [startup+3.10076 s] /proc/loadavg: 2.00 2.00 2.08 3/214 1108 /proc/meminfo: memFree=31232992/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=4.13 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 158077 0 1 0 394 19 0 0 22 0 19 0 956286604 10803716096 155211 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 155214 2234 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=3.08 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 150258 0 1 0 291 17 0 0 25 0 19 0 956286605 10803716096 155215 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505762712 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155216 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155218 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 155219 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155220 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155222 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155223 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155224 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155225 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 155226 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 155228 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 155229 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 155230 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.49 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4132 0 0 0 48 1 0 0 15 0 19 0 956286610 10803716096 155231 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.53 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2530 0 0 0 53 0 0 0 15 0 19 0 956286610 10803716096 155232 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 155233 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 155234 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 155235 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 10550504 [startup+6.30117 s] /proc/loadavg: 2.00 2.00 2.08 3/214 1108 /proc/meminfo: memFree=29653252/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=7.49 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 329534 0 1 0 711 38 0 0 22 0 19 0 956286604 10803716096 326282 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 326294 2235 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=6.28 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 321696 0 1 0 592 36 0 0 25 0 19 0 956286605 10803716096 326300 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505890441 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326307 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326314 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 326320 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326327 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326334 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326341 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326348 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326354 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 956286608 10803716096 326361 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 326368 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 326375 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 326381 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.52 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4134 0 0 0 51 1 0 0 15 0 19 0 956286610 10803716096 326388 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.67 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2561 0 0 0 67 0 0 0 16 0 19 0 956286610 10803716096 326388 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.98 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2672 0 0 0 98 0 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1665.82 Current children cumulated vsize (KiB) 10550504 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.00 3/214 1154 /proc/meminfo: memFree=23953520/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=1725.91 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 920705 0 1 0 172477 114 0 0 22 0 19 0 956286604 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 915815 2251 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1721.02 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845282 0 1 0 172012 90 0 0 25 0 19 0 956286605 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505566510 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.39 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 8361 0 0 0 37 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12255 0 0 0 41 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.41 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 9785 0 0 0 39 2 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.39 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 8153 0 0 0 37 2 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.33 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 5330 0 0 0 32 1 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 9462 0 0 0 42 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.4 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7350 0 0 0 39 1 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.35 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 6435 0 0 0 35 0 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.09 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 113 0 0 0 4 5 0 0 15 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1725.91 Current children cumulated vsize (KiB) 10550504 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/214 1156 /proc/meminfo: memFree=23900164/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=1786.06 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 926731 0 1 0 178491 115 0 0 22 0 19 0 956286604 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 921636 2251 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1780.95 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845301 0 1 0 178005 90 0 0 25 0 19 0 956286605 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912506054015 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 9035 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.46 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12773 0 0 0 44 2 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 10337 0 0 0 42 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.41 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 9416 0 0 0 39 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.36 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 6016 0 0 0 35 1 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.47 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 10429 0 0 0 45 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7785 0 0 0 41 1 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.37 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 7343 0 0 0 37 0 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.1 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 115 0 0 0 4 6 0 0 15 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1786.06 Current children cumulated vsize (KiB) 10550504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.31 s] /proc/loadavg: 1.92 2.01 1.99 3/214 1215 /proc/meminfo: memFree=27076180/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=10550504 CPUtime=1800.09 cores=0,2,4,6 /proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 928015 0 1 0 179893 116 0 0 22 0 19 0 956286604 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 2637626 922880 2251 9 0 2628360 0 [pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1794.94 cores=0,2,4,6 /proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845305 0 1 0 179404 90 0 0 25 0 19 0 956286605 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505736839 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6 /proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 9048 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.46 cores=0,2,4,6 /proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12779 0 0 0 44 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6 /proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 10547 0 0 0 42 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 [pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6 /proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 9598 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.36 cores=0,2,4,6 /proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 6689 0 0 0 35 1 0 0 16 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.47 cores=0,2,4,6 /proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 10433 0 0 0 45 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6 /proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7973 0 0 0 42 1 0 0 16 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.37 cores=0,2,4,6 /proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 7343 0 0 0 37 0 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.1 cores=0,2,4,6 /proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 117 0 0 0 4 6 0 0 15 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6 /proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6 /proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0 [pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0 [pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0 [pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6 /proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 10550504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.41 s] /proc/loadavg: 1.92 2.01 1.99 3/214 1215 /proc/meminfo: memFree=27076180/32950928 swapFree=67051096/67111528 [pid=1080] ppid=1078 vsize=0 CPUtime=1800.22 cores=0,2,4,6 /proc/1080/stat : 1080 (java) Z 1078 1080 30485 0 -1 4203548 928046 0 1 0 179899 123 0 0 17 0 2 0 956286604 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1080/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1796.48 CPU time (s): 1800.3 CPU user time (s): 1799 CPU system time (s): 1.3008 CPU usage (%): 100.213 Max. virtual memory (cumulated for all children) (KiB): 10550504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.3008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 928046 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47989 involuntary context switches= 21494 runsolver used 3.19451 second user time and 6.62799 second system time The end
Begin job on node113 at 2011-06-10 01:02:39 IDJOB=3456546 IDBENCH=2527 IDSOLVER=1951 FILE ID=node113/3456546-1307660559 RUNJOBID= node113-1307660559-1043 PBS_JOBID= 13549378 Free space on /tmp= 74060 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456546-1307660559/watcher-3456546-1307660559 -o /tmp/evaluation-result-3456546-1307660559/solver-3456546-1307660559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456546-1307660559.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=2008483472 node113.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.846 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.69 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.846 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.76 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.846 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.74 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.846 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 : 5332.75 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.846 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.846 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.75 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.846 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.83 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.846 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32103784 kB Buffers: 202880 kB Cached: 405484 kB SwapCached: 14384 kB Active: 356132 kB Inactive: 300232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32103784 kB SwapTotal: 67111528 kB SwapFree: 67051096 kB Dirty: 3652 kB Writeback: 0 kB AnonPages: 45976 kB Mapped: 11988 kB Slab: 126652 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 10489032 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74060 MiB End job on node113 at 2011-06-10 01:32:38