Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 33433272 | 1800.44 | 955.198 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
| MD5SUM | c716bc6c519760d619aa6878c926054c |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 33396509 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31249460 |
| Optimality of the best value was proved | NO |
| Number of variables | 6402 |
| Total number of constraints | 4465 |
| Number of constraints which are clauses | 2785 |
| Number of constraints which are cardinality constraints (but not clauses) | 1428 |
| Number of constraints which are nor clauses,nor cardinality constraints | 252 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 511 |
| Number of terms in the objective function | 4170 |
| Biggest coefficient in the objective function | 23582998528 |
| Number of bits for the biggest coefficient in the objective function | 35 |
| Sum of the numbers in the objective function | 2904924551250 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2904924551250 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3454607-1307190545.opb 0.09/0.12 c reading problem ... 0.46/0.49 c ... done. Wall clock time 0.376s. 0.46/0.49 c #vars 6402 0.46/0.49 c #constraints 4914 0.46/0.49 c constraints type 0.46/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1571 0.46/0.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 173 0.46/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 0.46/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 252 0.46/0.49 c constraints type 0.46/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 85 0.46/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1571 0.46/0.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173 0.46/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 252 3.34/1.29 c And the winner is Resolution 3.53/1.55 c SATISFIABLE 3.53/1.55 c OPTIMIZING... 3.53/1.55 c Got one! Elapsed wall clock time (in seconds):1.435 3.53/1.55 o 46158014 4.43/1.98 c cleaning 2624 clauses out of 5253 with flag 2000/5253 5.18/2.29 c And the winner is Resolution 5.64/2.58 c Got one! Elapsed wall clock time (in seconds):2.463 5.64/2.58 o 44190004 7.34/3.51 c And the winner is Resolution 7.62/3.60 c Got one! Elapsed wall clock time (in seconds):3.488 7.62/3.60 o 43642951 8.66/4.14 c cleaning 4244 clauses out of 8494 with flag 2001/11118 10.80/5.27 c cleaning 5123 clauses out of 10249 with flag 8000/17117 12.15/5.93 c And the winner is Resolution 12.27/6.13 c Got one! Elapsed wall clock time (in seconds):6.019 12.27/6.13 o 35706666 13.66/6.83 c cleaning 5527 clauses out of 11064 with flag 2001/23055 17.17/8.60 c cleaning 5764 clauses out of 11536 with flag 8000/29054 21.91/11.06 c cleaning 6385 clauses out of 12772 with flag 15000/36054 27.53/13.88 c cleaning 7189 clauses out of 14387 with flag 23000/44054 33.83/17.03 c cleaning 8098 clauses out of 16198 with flag 32000/53054 43.91/22.16 c cleaning 9044 clauses out of 18100 with flag 42000/63054 49.62/25.00 c cleaning 9524 clauses out of 19056 with flag 52000/73054 51.91/26.27 c And the winner is Resolution 52.19/26.47 c Got one! Elapsed wall clock time (in seconds):26.35 52.19/26.47 o 35679489 52.69/26.72 c cleaning 7311 clauses out of 14624 with flag 1000/78146 53.58/27.25 c And the winner is Resolution 53.80/27.49 c Got one! Elapsed wall clock time (in seconds):27.372 53.80/27.49 o 33469405 55.42/28.33 c cleaning 6591 clauses out of 13185 with flag 4002/84018 58.67/30.01 c cleaning 6292 clauses out of 12592 with flag 10000/90016 62.78/32.19 c cleaning 6637 clauses out of 13301 with flag 17001/97017 66.84/34.26 c cleaning 7323 clauses out of 14663 with flag 25000/105016 70.70/36.23 c cleaning 8159 clauses out of 16340 with flag 34000/114016 76.49/39.22 c cleaning 9084 clauses out of 18181 with flag 44000/124016 89.55/45.82 c cleaning 9525 clauses out of 19097 with flag 54000/134016 98.79/50.53 c cleaning 9782 clauses out of 19573 with flag 64001/144017 106.43/54.44 c cleaning 9888 clauses out of 19791 with flag 74001/154017 112.97/57.88 c cleaning 9942 clauses out of 19902 with flag 84000/164016 120.60/61.75 c cleaning 9973 clauses out of 19960 with flag 94000/174016 131.21/67.21 c cleaning 9984 clauses out of 19988 with flag 104001/184017 141.82/72.54 c cleaning 9996 clauses out of 20004 with flag 114001/194017 150.75/77.18 c cleaning 9992 clauses out of 20007 with flag 124000/204016 156.74/80.24 c cleaning 10001 clauses out of 20015 with flag 134000/214016 160.95/82.48 c cleaning 10004 clauses out of 20014 with flag 144000/224016 165.35/84.80 c cleaning 9992 clauses out of 20010 with flag 154000/234016 171.66/88.10 c cleaning 9990 clauses out of 20018 with flag 164000/244016 177.87/91.29 c cleaning 10001 clauses out of 20031 with flag 174003/254019 185.08/94.98 c cleaning 10014 clauses out of 20027 with flag 184000/264016 188.90/96.95 c cleaning 9987 clauses out of 20013 with flag 194000/274016 193.79/99.52 c cleaning 10004 clauses out of 20027 with flag 204001/284017 199.41/102.43 c cleaning 10004 clauses out of 20023 with flag 214001/294017 206.80/106.28 c cleaning 10005 clauses out of 20019 with flag 224001/304017 212.22/109.05 c cleaning 9994 clauses out of 20013 with flag 234000/314016 222.11/114.11 c cleaning 9990 clauses out of 20020 with flag 244001/324017 237.12/121.79 c cleaning 9989 clauses out of 20029 with flag 254000/334016 250.34/128.47 c cleaning 9977 clauses out of 20042 with flag 264002/344018 256.93/131.86 c cleaning 10027 clauses out of 20063 with flag 274000/354016 260.23/133.66 c cleaning 10010 clauses out of 20036 with flag 284000/364016 263.44/135.31 c cleaning 10008 clauses out of 20028 with flag 294002/374018 266.64/137.02 c cleaning 10002 clauses out of 20018 with flag 304000/384016 271.44/139.53 c cleaning 9999 clauses out of 20016 with flag 314000/394016 279.56/143.78 c cleaning 10005 clauses out of 20018 with flag 324001/404017 287.37/147.73 c cleaning 9998 clauses out of 20013 with flag 334001/414017 298.00/153.19 c cleaning 10002 clauses out of 20017 with flag 344003/424019 307.56/158.08 c cleaning 9993 clauses out of 20012 with flag 354000/434016 315.66/162.27 c cleaning 10003 clauses out of 20019 with flag 364000/444016 321.06/165.10 c cleaning 10002 clauses out of 20017 with flag 374001/454017 324.46/166.88 c cleaning 9995 clauses out of 20015 with flag 384001/464017 328.85/169.13 c cleaning 9993 clauses out of 20019 with flag 394000/474016 333.98/171.86 c cleaning 10000 clauses out of 20026 with flag 404000/484016 339.54/174.70 c cleaning 10001 clauses out of 20028 with flag 414002/494018 344.93/177.59 c cleaning 9994 clauses out of 20025 with flag 424000/504016 350.74/180.54 c cleaning 9998 clauses out of 20032 with flag 434001/514017 355.81/183.21 c cleaning 10010 clauses out of 20033 with flag 444000/524016 359.03/184.91 c cleaning 10002 clauses out of 20023 with flag 454000/534016 362.21/186.64 c cleaning 10001 clauses out of 20022 with flag 464001/544017 365.60/188.42 c cleaning 10001 clauses out of 20020 with flag 474000/554016 369.09/190.33 c cleaning 9999 clauses out of 20020 with flag 484001/564017 372.48/192.12 c cleaning 10002 clauses out of 20021 with flag 494001/574017 375.88/193.95 c cleaning 9999 clauses out of 20019 with flag 504001/584017 383.87/198.08 c cleaning 10006 clauses out of 20020 with flag 514001/594017 391.75/202.15 c cleaning 9993 clauses out of 20013 with flag 524000/604016 402.34/207.57 c cleaning 10005 clauses out of 20020 with flag 534000/614016 411.94/212.51 c cleaning 10000 clauses out of 20016 with flag 544001/624017 420.31/216.73 c cleaning 9999 clauses out of 20015 with flag 554000/634016 427.20/220.30 c cleaning 10004 clauses out of 20017 with flag 564001/644017 432.38/223.00 c cleaning 9984 clauses out of 20012 with flag 574000/654016 438.77/226.30 c cleaning 9990 clauses out of 20028 with flag 584000/664016 444.76/229.47 c cleaning 9998 clauses out of 20040 with flag 594002/674018 449.24/231.81 c cleaning 10004 clauses out of 20040 with flag 604000/684016 453.63/234.19 c cleaning 10010 clauses out of 20036 with flag 614000/694016 457.81/236.30 c cleaning 10000 clauses out of 20026 with flag 624000/704016 461.59/238.35 c cleaning 9996 clauses out of 20026 with flag 634000/714016 467.87/241.60 c cleaning 10000 clauses out of 20030 with flag 644000/724016 477.85/246.71 c cleaning 10000 clauses out of 20031 with flag 654001/734017 485.63/250.78 c cleaning 9997 clauses out of 20030 with flag 664000/744016 492.43/254.26 c cleaning 10005 clauses out of 20035 with flag 674002/754018 499.09/257.78 c cleaning 10000 clauses out of 20028 with flag 684000/764016 505.67/261.12 c cleaning 9995 clauses out of 20028 with flag 694000/774016 512.45/264.66 c cleaning 10002 clauses out of 20034 with flag 704001/784017 518.43/267.75 c cleaning 10005 clauses out of 20031 with flag 714000/794016 524.89/271.15 c cleaning 10003 clauses out of 20026 with flag 724000/804016 531.27/274.48 c cleaning 10009 clauses out of 20024 with flag 734001/814017 537.25/277.54 c cleaning 10001 clauses out of 20014 with flag 744000/824016 543.03/280.58 c cleaning 10001 clauses out of 20013 with flag 754000/834016 549.09/283.73 c cleaning 9996 clauses out of 20012 with flag 764000/844016 555.27/286.98 c cleaning 10001 clauses out of 20017 with flag 774001/854017 561.65/290.25 c cleaning 10001 clauses out of 20015 with flag 784000/864016 567.83/293.46 c cleaning 10003 clauses out of 20015 with flag 794001/874017 573.89/296.63 c cleaning 10002 clauses out of 20013 with flag 804002/884018 579.29/299.42 c cleaning 9999 clauses out of 20010 with flag 814001/894017 588.43/304.13 c cleaning 9998 clauses out of 20010 with flag 824000/904016 597.80/308.94 c cleaning 10000 clauses out of 20013 with flag 834001/914017 606.66/313.59 c cleaning 9985 clauses out of 20012 with flag 844000/924016 610.83/315.76 c cleaning 9998 clauses out of 20028 with flag 854001/934017 616.40/318.65 c cleaning 10004 clauses out of 20030 with flag 864001/944017 626.37/323.77 c cleaning 9998 clauses out of 20026 with flag 874001/954017 636.64/329.03 c cleaning 9995 clauses out of 20028 with flag 884001/964017 642.39/332.08 c cleaning 10008 clauses out of 20032 with flag 894000/974016 646.16/334.06 c cleaning 9999 clauses out of 20024 with flag 904000/984016 649.73/335.98 c cleaning 10008 clauses out of 20026 with flag 914001/994017 653.77/338.12 c cleaning 9999 clauses out of 20018 with flag 924001/1004017 657.57/340.12 c cleaning 9998 clauses out of 20018 with flag 934000/1014016 659.90/341.46 c cleaning 10005 clauses out of 20032 with flag 944012/1024028 664.67/343.99 c cleaning 9970 clauses out of 20015 with flag 954000/1034016 670.71/347.18 c cleaning 9977 clauses out of 20045 with flag 964000/1044016 676.48/350.13 c cleaning 9990 clauses out of 20068 with flag 974000/1054016 681.64/352.88 c cleaning 9981 clauses out of 20078 with flag 984000/1064016 686.99/355.66 c cleaning 10000 clauses out of 20097 with flag 994000/1074016 692.62/358.64 c cleaning 10032 clauses out of 20097 with flag 1004000/1084016 699.56/362.25 c cleaning 10003 clauses out of 20065 with flag 1014000/1094016 707.51/366.32 c cleaning 10008 clauses out of 20063 with flag 1024001/1104017 715.06/370.23 c cleaning 9999 clauses out of 20054 with flag 1034000/1114016 718.86/372.38 c cleaning 10011 clauses out of 20056 with flag 1044001/1124017 722.00/374.10 c cleaning 10009 clauses out of 20047 with flag 1054003/1134019 725.55/375.95 c cleaning 10009 clauses out of 20043 with flag 1064008/1144024 729.29/377.93 c cleaning 10004 clauses out of 20036 with flag 1074010/1154026 732.70/379.87 c cleaning 9997 clauses out of 20023 with flag 1084001/1164017 736.04/381.67 c cleaning 10002 clauses out of 20027 with flag 1094002/1174018 739.39/383.44 c cleaning 9999 clauses out of 20023 with flag 1104000/1184016 742.93/385.33 c cleaning 10007 clauses out of 20025 with flag 1114001/1194017 746.54/387.34 c cleaning 9996 clauses out of 20017 with flag 1124000/1204016 750.05/389.20 c cleaning 10001 clauses out of 20022 with flag 1134001/1214017 753.38/391.03 c cleaning 10003 clauses out of 20021 with flag 1144001/1224017 756.93/392.96 c cleaning 9996 clauses out of 20017 with flag 1154000/1234016 760.49/394.97 c cleaning 10003 clauses out of 20021 with flag 1164000/1244016 764.00/396.82 c cleaning 9998 clauses out of 20019 with flag 1174001/1254017 767.51/398.74 c cleaning 10003 clauses out of 20022 with flag 1184002/1264018 771.04/400.63 c cleaning 9997 clauses out of 20017 with flag 1194000/1274016 774.78/402.72 c cleaning 10003 clauses out of 20022 with flag 1204002/1284018 778.26/404.65 c cleaning 9995 clauses out of 20017 with flag 1214000/1294016 781.76/406.55 c cleaning 10002 clauses out of 20022 with flag 1224000/1304016 785.24/408.43 c cleaning 9999 clauses out of 20020 with flag 1234000/1314016 789.02/410.52 c cleaning 10002 clauses out of 20021 with flag 1244000/1324016 794.67/413.51 c cleaning 10003 clauses out of 20019 with flag 1254000/1334016 810.75/421.72 c cleaning 10000 clauses out of 20016 with flag 1264000/1344016 816.44/424.72 c cleaning 9998 clauses out of 20017 with flag 1274001/1354017 821.33/427.47 c cleaning 9999 clauses out of 20018 with flag 1284000/1364016 825.39/429.65 c cleaning 10006 clauses out of 20021 with flag 1294002/1374018 831.04/432.60 c cleaning 9999 clauses out of 20015 with flag 1304002/1384018 844.70/439.65 c cleaning 9987 clauses out of 20014 with flag 1314000/1394016 855.19/445.11 c cleaning 9998 clauses out of 20027 with flag 1324000/1404016 870.23/452.81 c cleaning 10003 clauses out of 20029 with flag 1334000/1414016 877.71/456.79 c cleaning 9999 clauses out of 20027 with flag 1344001/1424017 885.50/460.84 c cleaning 9998 clauses out of 20027 with flag 1354000/1434016 893.53/465.12 c cleaning 10000 clauses out of 20029 with flag 1364000/1444016 900.73/468.98 c cleaning 10000 clauses out of 20029 with flag 1374000/1454016 907.12/472.38 c cleaning 10010 clauses out of 20030 with flag 1384001/1464017 914.11/476.07 c cleaning 10015 clauses out of 20041 with flag 1394022/1474038 924.70/481.60 c cleaning 9992 clauses out of 20004 with flag 1404000/1484016 938.30/488.66 c cleaning 9993 clauses out of 20013 with flag 1414001/1494017 952.06/495.72 c cleaning 9990 clauses out of 20019 with flag 1424000/1504016 963.43/501.70 c cleaning 10003 clauses out of 20030 with flag 1434001/1514017 977.35/508.97 c cleaning 10001 clauses out of 20027 with flag 1444001/1524017 990.11/515.51 c cleaning 10001 clauses out of 20026 with flag 1454001/1534017 998.47/519.93 c cleaning 9995 clauses out of 20025 with flag 1464001/1544017 1013.22/527.59 c cleaning 10006 clauses out of 20030 with flag 1474001/1554017 1029.55/536.08 c cleaning 10001 clauses out of 20025 with flag 1484002/1564018 1038.29/540.64 c cleaning 9992 clauses out of 20022 with flag 1494000/1574016 1046.44/544.99 c cleaning 10002 clauses out of 20030 with flag 1504000/1584016 1055.19/549.57 c cleaning 10000 clauses out of 20028 with flag 1514000/1594016 1066.30/555.47 c cleaning 9998 clauses out of 20028 with flag 1524000/1604016 1078.83/561.99 c cleaning 10005 clauses out of 20031 with flag 1534001/1614017 1091.34/568.48 c cleaning 10007 clauses out of 20025 with flag 1544000/1624016 1099.84/572.95 c cleaning 10003 clauses out of 20018 with flag 1554000/1634016 1108.07/577.49 c cleaning 9994 clauses out of 20015 with flag 1564000/1644016 1115.76/581.53 c cleaning 10001 clauses out of 20021 with flag 1574000/1654016 1123.26/585.51 c cleaning 10003 clauses out of 20021 with flag 1584001/1664017 1131.39/589.88 c cleaning 10000 clauses out of 20018 with flag 1594001/1674017 1138.99/594.06 c cleaning 9999 clauses out of 20017 with flag 1604000/1684016 1146.47/598.02 c cleaning 10003 clauses out of 20018 with flag 1614000/1694016 1153.58/601.83 c cleaning 10000 clauses out of 20015 with flag 1624000/1704016 1159.46/605.10 c cleaning 10000 clauses out of 20016 with flag 1634001/1714017 1165.78/608.52 c cleaning 9999 clauses out of 20016 with flag 1644001/1724017 1171.67/611.74 c cleaning 9998 clauses out of 20016 with flag 1654000/1734016 1177.55/614.95 c cleaning 10003 clauses out of 20019 with flag 1664001/1744017 1183.43/618.16 c cleaning 9997 clauses out of 20015 with flag 1674000/1754016 1189.52/621.53 c cleaning 9998 clauses out of 20019 with flag 1684001/1764017 1194.38/624.26 c cleaning 10005 clauses out of 20020 with flag 1694000/1774016 1198.65/626.60 c cleaning 10001 clauses out of 20018 with flag 1704003/1784019 1202.51/628.81 c cleaning 10000 clauses out of 20014 with flag 1714000/1794016 1206.72/631.37 c cleaning 10002 clauses out of 20016 with flag 1724002/1804018 1211.79/634.15 c cleaning 9991 clauses out of 20013 with flag 1734001/1814017 1223.25/640.16 c cleaning 9998 clauses out of 20021 with flag 1744000/1824016 1235.17/646.33 c cleaning 9992 clauses out of 20023 with flag 1754000/1834016 1246.63/652.46 c cleaning 9997 clauses out of 20032 with flag 1764001/1844017 1256.51/657.68 c cleaning 10000 clauses out of 20034 with flag 1774000/1854016 1265.42/662.35 c cleaning 10001 clauses out of 20035 with flag 1784001/1864017 1272.30/666.08 c cleaning 9999 clauses out of 20034 with flag 1794001/1874017 1280.12/670.30 c cleaning 9997 clauses out of 20034 with flag 1804000/1884016 1286.80/673.91 c cleaning 10001 clauses out of 20038 with flag 1814001/1894017 1293.47/677.50 c cleaning 9999 clauses out of 20037 with flag 1824001/1904017 1299.99/681.10 c cleaning 10003 clauses out of 20039 with flag 1834002/1914018 1307.80/685.36 c cleaning 9999 clauses out of 20034 with flag 1844000/1924016 1314.88/689.11 c cleaning 9999 clauses out of 20037 with flag 1854002/1934018 1321.96/692.92 c cleaning 10003 clauses out of 20036 with flag 1864000/1944016 1329.23/696.89 c cleaning 10001 clauses out of 20034 with flag 1874001/1954017 1337.86/701.51 c cleaning 9998 clauses out of 20032 with flag 1884000/1964016 1346.14/705.93 c cleaning 10004 clauses out of 20034 with flag 1894000/1974016 1352.83/709.61 c cleaning 9992 clauses out of 20030 with flag 1904000/1984016 1360.53/713.69 c cleaning 10013 clauses out of 20039 with flag 1914001/1994017 1369.37/718.47 c cleaning 10008 clauses out of 20027 with flag 1924002/2004018 1377.05/722.53 c cleaning 9998 clauses out of 20017 with flag 1934000/2014016 1384.93/726.73 c cleaning 10000 clauses out of 20020 with flag 1944001/2024017 1393.02/731.07 c cleaning 10003 clauses out of 20019 with flag 1954000/2034016 1399.64/734.76 c cleaning 10002 clauses out of 20016 with flag 1964000/2044016 1408.71/739.57 c cleaning 9998 clauses out of 20015 with flag 1974001/2054017 1420.99/745.91 c cleaning 9996 clauses out of 20017 with flag 1984001/2064017 1432.84/752.12 c cleaning 10000 clauses out of 20021 with flag 1994001/2074017 1442.63/757.40 c cleaning 9992 clauses out of 20020 with flag 2004000/2084016 1451.69/762.27 c cleaning 9995 clauses out of 20028 with flag 2014000/2094016 1461.13/767.29 c cleaning 10000 clauses out of 20034 with flag 2024001/2104017 1470.57/772.30 c cleaning 10008 clauses out of 20033 with flag 2034000/2114016 1478.51/776.69 c cleaning 10007 clauses out of 20026 with flag 2044001/2124017 1483.16/779.25 c cleaning 10004 clauses out of 20018 with flag 2054000/2134016 1487.80/781.86 c cleaning 10001 clauses out of 20014 with flag 2064000/2144016 1492.25/784.34 c cleaning 10002 clauses out of 20015 with flag 2074002/2154018 1497.21/787.28 c cleaning 10003 clauses out of 20016 with flag 2084005/2164021 1501.47/789.60 c cleaning 10001 clauses out of 20013 with flag 2094005/2174021 1506.07/792.24 c cleaning 9999 clauses out of 20009 with flag 2104002/2184018 1509.48/794.29 c cleaning 9997 clauses out of 20010 with flag 2114002/2194018 1513.26/796.55 c cleaning 9997 clauses out of 20019 with flag 2124008/2204024 1516.49/798.42 c cleaning 9996 clauses out of 20017 with flag 2134003/2214019 1519.71/800.36 c cleaning 9997 clauses out of 20021 with flag 2144003/2224019 1522.96/802.21 c cleaning 10004 clauses out of 20024 with flag 2154003/2234019 1526.12/804.28 c cleaning 9998 clauses out of 20020 with flag 2164003/2244019 1529.11/806.07 c cleaning 10005 clauses out of 20023 with flag 2174004/2254020 1532.34/807.98 c cleaning 10000 clauses out of 20015 with flag 2184001/2264017 1535.60/809.83 c cleaning 9999 clauses out of 20015 with flag 2194001/2274017 1538.98/811.93 c cleaning 9997 clauses out of 20020 with flag 2204005/2284021 1544.18/814.87 c cleaning 9983 clauses out of 20018 with flag 2214000/2294016 1551.02/818.52 c cleaning 9989 clauses out of 20035 with flag 2224000/2304016 1556.83/821.77 c cleaning 9973 clauses out of 20046 with flag 2234000/2314016 1562.79/825.16 c cleaning 9985 clauses out of 20074 with flag 2244001/2324017 1568.19/828.17 c cleaning 9993 clauses out of 20088 with flag 2254000/2334016 1574.22/831.42 c cleaning 10025 clauses out of 20095 with flag 2264000/2344016 1581.64/835.41 c cleaning 9997 clauses out of 20070 with flag 2274000/2354016 1588.18/839.18 c cleaning 10003 clauses out of 20073 with flag 2284000/2364016 1595.40/843.08 c cleaning 10008 clauses out of 20071 with flag 2294001/2374017 1601.82/846.53 c cleaning 9990 clauses out of 20062 with flag 2304000/2384016 1608.23/850.02 c cleaning 10002 clauses out of 20073 with flag 2314001/2394017 1615.14/853.90 c cleaning 10001 clauses out of 20070 with flag 2324000/2404016 1622.34/857.83 c cleaning 9998 clauses out of 20070 with flag 2334001/2414017 1629.16/861.53 c cleaning 10001 clauses out of 20071 with flag 2344000/2424016 1635.72/865.15 c cleaning 10009 clauses out of 20072 with flag 2354002/2434018 1643.60/869.53 c cleaning 10015 clauses out of 20061 with flag 2364000/2444016 1651.41/873.79 c cleaning 10009 clauses out of 20047 with flag 2374001/2454017 1659.58/878.13 c cleaning 10005 clauses out of 20037 with flag 2384000/2464016 1673.97/885.64 c cleaning 10002 clauses out of 20032 with flag 2394000/2474016 1689.25/893.74 c And the winner is CuttingPlanes 1689.34/894.13 c Got one! Elapsed wall clock time (in seconds):894.01 1689.34/894.13 o 33460876 1693.51/896.28 c cleaning 11299 clauses out of 22599 with flag 5000/2486585 1700.71/900.13 c cleaning 8640 clauses out of 17300 with flag 11000/2492585 1706.70/903.43 c cleaning 7824 clauses out of 15660 with flag 18000/2499585 1714.26/907.52 c cleaning 7912 clauses out of 15836 with flag 26000/2507585 1723.13/912.44 c cleaning 8457 clauses out of 16925 with flag 35001/2516586 1739.10/920.74 c cleaning 9225 clauses out of 18467 with flag 45000/2526585 1750.87/926.94 c cleaning 9615 clauses out of 19242 with flag 55000/2536585 1761.23/932.46 c cleaning 9806 clauses out of 19630 with flag 65003/2546588 1769.06/936.86 c cleaning 9904 clauses out of 19822 with flag 75001/2556586 1775.40/940.39 c cleaning 9950 clauses out of 19917 with flag 85000/2566585 1778.95/942.41 c cleaning 9980 clauses out of 19967 with flag 95000/2576585 1782.08/944.38 c cleaning 9989 clauses out of 19988 with flag 105001/2586586 1786.50/947.08 c And the winner is Resolution 1787.59/948.08 c Got one! Elapsed wall clock time (in seconds):947.967 1787.59/948.08 o 33433272 1790.89/949.74 c cleaning 12332 clauses out of 24674 with flag 5001/2601261 1795.65/952.45 c cleaning 9166 clauses out of 18342 with flag 11001/2607261 1800.17/955.04 c starts : 339 1800.17/955.04 c conflicts : 2610419 1800.17/955.04 c decisions : 3433480 1800.17/955.04 c propagations : 97812015 1800.17/955.04 c inspects : 988386466 1800.17/955.04 c shortcuts : 0 1800.17/955.04 c learnt literals : 0 1800.17/955.04 c learnt binary clauses : 67 1800.17/955.04 c learnt ternary clauses : 0 1800.17/955.04 c learnt constraints : 2610418 1800.17/955.04 c ignored constraints : 0 1800.17/955.04 c root simplifications : 0 1800.17/955.04 c removed literals (reason simplification) : 15458743 1800.17/955.04 c reason swapping (by a shorter reason) : 0 1800.17/955.04 c Calls to reduceDB : 266 1800.17/955.04 c number of reductions to clauses (during analyze) : 0 1800.17/955.04 c number of learned constraints concerned by reduction : 0 1800.17/955.04 c number of learning phase by resolution : 0 1800.17/955.04 c number of learning phase by cutting planes : 0 1800.17/955.04 c speed (assignments/second) : 1.4079748812437024E7 1800.17/955.04 c non guided choices 98287 1800.17/955.05 c learnt constraints type 1800.17/955.05 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 67 1800.17/955.05 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12285 1800.17/955.05 c constraints type 1800.17/955.05 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1571 1800.17/955.05 c org.sat4j.minisat.constraints.card.MinWatchCard => 173 1800.17/955.05 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 1800.17/955.05 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 253 1800.17/955.05 c constraints type 1800.17/955.05 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 85 1800.17/955.05 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1571 1800.17/955.05 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173 1800.17/955.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 253 1800.17/955.05 s SATISFIABLE 1800.17/955.06 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 1800.17/955.06 c objective function=33433272 1800.17/955.06 c Total wall clock time (in seconds): 954.948
OK 33433272
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-3454607-1307190545/watcher-3454607-1307190545 -o /tmp/evaluation-result-3454607-1307190545/solver-3454607-1307190545 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454607-1307190545.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: 3.95 3.92 3.76 4/450 4414 /proc/meminfo: memFree=26319500/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=28384 CPUtime=0 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 1183 0 0 0 0 0 0 0 25 0 2 0 830654904 29065216 910 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 7096 910 690 9 0 381 0 [pid=4414/tid=4415] ppid=4412 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) R 4412 4414 585 0 -1 4202560 2684 0 1 0 0 0 0 0 25 0 2 0 830654905 10694979584 3500 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0824711 s] /proc/loadavg: 3.95 3.92 3.76 4/450 4414 /proc/meminfo: memFree=26319500/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10538348 CPUtime=0.06 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 11998 0 1 0 5 1 0 0 25 0 18 0 830654904 10791268352 11695 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2634587 11696 1755 9 0 2625321 0 [pid=4414/tid=4415] ppid=4412 vsize=10538348 CPUtime=0.06 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) R 4412 4414 585 0 -1 4202560 10826 0 1 0 5 1 0 0 25 0 18 0 830654905 10791268352 11696 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 47871921515347 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10538348 [startup+0.100418 s] /proc/loadavg: 3.95 3.92 3.76 4/450 4414 /proc/meminfo: memFree=26319500/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10539956 CPUtime=0.09 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 12936 0 1 0 8 1 0 0 25 0 18 0 830654904 10792914944 12633 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2634989 12635 2092 9 0 2625723 0 [pid=4414/tid=4415] ppid=4412 vsize=10539956 CPUtime=0.07 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) R 4412 4414 585 0 -1 4202560 11029 0 1 0 6 1 0 0 25 0 18 0 830654905 10792914944 12635 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 47871920080378 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539956 [startup+0.300421 s] /proc/loadavg: 3.95 3.92 3.76 4/450 4414 /proc/meminfo: memFree=26319500/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10542040 CPUtime=0.46 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 16618 0 1 0 44 2 0 0 25 0 18 0 830654904 10795048960 16102 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2635510 16104 2207 9 0 2626244 0 [pid=4414/tid=4415] ppid=4412 vsize=10542040 CPUtime=0.27 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) R 4412 4414 585 0 -1 4202560 13831 0 1 0 26 1 0 0 25 0 18 0 830654905 10795048960 16104 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912505578576 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10542040 [startup+0.773775 s] /proc/loadavg: 3.95 3.92 3.76 4/450 4414 /proc/meminfo: memFree=26319500/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10559572 CPUtime=2.36 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 37042 0 1 0 232 4 0 0 25 0 22 0 830654904 10813001728 32777 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2639893 32777 2237 9 0 2630627 0 [pid=4414/tid=4415] ppid=4412 vsize=10559572 CPUtime=0.46 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23148 0 1 0 44 2 0 0 25 0 22 0 830654905 10813001728 32777 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 10559572 [startup+1.50123 s] /proc/loadavg: 4.12 3.95 3.77 5/472 4436 /proc/meminfo: memFree=26095936/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10559572 CPUtime=3.53 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 73319 0 1 0 344 9 0 0 25 0 19 0 830654904 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2639893 68909 2241 9 0 2630627 0 [pid=4414/tid=4415] ppid=4412 vsize=10559572 CPUtime=0.46 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23148 0 1 0 44 2 0 0 20 0 19 0 830654905 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654906 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 830654907 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830654908 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830654908 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654910 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10559572 CPUtime=0.8 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 5675 0 0 0 80 0 0 0 25 0 19 0 830654910 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10559572 CPUtime=0.79 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4832 0 0 0 78 1 0 0 17 0 19 0 830654910 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4431] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4431/stat : 4431 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830654910 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4432] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4432/stat : 4432 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830654910 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4435] ppid=4412 vsize=10559572 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4435/stat : 4435 (java) S 4412 4414 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830654961 10813001728 68909 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 10559572 [startup+3.10092 s] /proc/loadavg: 4.12 3.95 3.77 5/470 4439 /proc/meminfo: memFree=25962152/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10567416 CPUtime=6.7 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 97094 0 1 0 659 11 0 0 25 0 22 0 830654904 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2641854 91797 2265 9 0 2632588 0 [pid=4414/tid=4415] ppid=4412 vsize=10567416 CPUtime=0.51 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23596 0 1 0 49 2 0 0 15 0 22 0 830654905 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 1306 0 0 0 1 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 1313 0 0 0 1 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 1382 0 0 0 1 0 0 0 18 0 22 0 830654906 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10567416 CPUtime=0.04 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 3969 0 0 0 4 0 0 0 15 0 22 0 830654907 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830654908 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830654908 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10567416 CPUtime=1.37 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 8268 0 0 0 137 0 0 0 17 0 22 0 830654910 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10567416 CPUtime=0.89 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4849 0 0 0 88 1 0 0 15 0 22 0 830654910 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4431] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4431/stat : 4431 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4432] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4432/stat : 4432 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830654910 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4435] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4435/stat : 4435 (java) S 4412 4414 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830654961 10821033984 91797 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 6.7 Current children cumulated vsize (KiB) 10567416 [startup+6.30127 s] /proc/loadavg: 4.12 3.95 3.77 5/472 4445 /proc/meminfo: memFree=25863892/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10567416 CPUtime=12.61 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 122703 0 1 0 1247 14 0 0 25 0 22 0 830654904 10821033984 117371 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2641854 117385 2265 9 0 2632588 0 [pid=4414/tid=4415] ppid=4412 vsize=10567416 CPUtime=0.55 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23596 0 1 0 53 2 0 0 17 0 22 0 830654905 10821033984 117391 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 22 0 830654906 10821033984 117395 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830654906 10821033984 117396 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 593 0 0 0 0 0 0 0 15 0 22 0 830654906 10821033984 117396 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 863 0 0 0 0 0 0 0 15 0 22 0 830654906 10821033984 117396 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 964 0 0 0 1 0 0 0 15 0 22 0 830654906 10821033984 117397 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 1573 0 0 0 1 0 0 0 18 0 22 0 830654906 10821033984 117397 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 1320 0 0 0 1 0 0 0 16 0 22 0 830654906 10821033984 117398 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10567416 CPUtime=0.01 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 1382 0 0 0 1 0 0 0 15 0 22 0 830654906 10821033984 117398 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10567416 CPUtime=0.17 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 8036 0 0 0 17 0 0 0 15 0 22 0 830654907 10821033984 117398 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830654908 10821033984 117398 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830654908 10821033984 117400 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10567416 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10821033984 117406 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10567416 CPUtime=1.44 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 8282 0 0 0 144 0 0 0 15 0 22 0 830654910 10821033984 117409 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10567416 CPUtime=0.96 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4854 0 0 0 95 1 0 0 15 0 22 0 830654910 10821033984 117409 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.95 2.23 2.95 3/445 4497 /proc/meminfo: memFree=25593496/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10560284 CPUtime=1667.37 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 867435 0 1 0 166637 100 0 0 25 0 22 0 830654904 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2640071 859888 2267 9 0 2630805 0 [pid=4414/tid=4415] ppid=4412 vsize=10560284 CPUtime=0.58 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23661 0 1 0 56 2 0 0 15 0 22 0 830654905 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10560284 CPUtime=0.83 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 1534 0 0 0 83 0 0 0 16 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10560284 CPUtime=0.8 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 2680 0 0 0 80 0 0 0 16 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10560284 CPUtime=0.85 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 2200 0 0 0 85 0 0 0 15 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10560284 CPUtime=0.89 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 3512 0 0 0 88 1 0 0 16 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10560284 CPUtime=0.81 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 2380 0 0 0 81 0 0 0 16 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10560284 CPUtime=0.83 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 3817 0 0 0 83 0 0 0 15 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10560284 CPUtime=0.8 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 3114 0 0 0 80 0 0 0 15 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10560284 CPUtime=0.82 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 3452 0 0 0 82 0 0 0 16 0 22 0 830654906 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10560284 CPUtime=99.6 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 93200 0 0 0 9948 12 0 0 15 0 22 0 830654907 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830654908 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830654908 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10560284 CPUtime=1.65 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 8297 0 0 0 165 0 0 0 15 0 22 0 830654910 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10560284 CPUtime=1.07 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4857 0 0 0 106 1 0 0 15 0 22 0 830654910 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4431] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4431/stat : 4431 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4432] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4432/stat : 4432 (java) S 4412 4414 585 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830654910 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4435] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4435/stat : 4435 (java) S 4412 4414 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830654961 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4452] ppid=4412 vsize=10560284 CPUtime=754.24 cores=0,2,4,6 /proc/4414/task/4452/stat : 4452 (java) R 4412 4414 585 0 -1 4202560 381 0 0 0 75424 0 0 0 25 0 22 0 830657654 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912505986747 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4414/tid=4453] ppid=4412 vsize=10560284 CPUtime=754.24 cores=0,2,4,6 /proc/4414/task/4453/stat : 4453 (java) R 4412 4414 585 0 -1 4202560 263516 0 0 0 75395 29 0 0 25 0 22 0 830657654 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912505944536 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4414/tid=4454] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4454/stat : 4454 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830657654 10813730816 859888 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1667.37 Current children cumulated vsize (KiB) 10560284 [startup+942.301 s] /proc/loadavg: 1.87 2.16 2.88 3/445 4502 /proc/meminfo: memFree=25570156/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10560284 CPUtime=1778.75 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 873230 0 1 0 177774 101 0 0 25 0 22 0 830654904 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2640071 865664 2267 9 0 2630805 0 [pid=4414/tid=4415] ppid=4412 vsize=10560284 CPUtime=0.61 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23671 0 1 0 59 2 0 0 15 0 22 0 830654905 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10560284 CPUtime=0.91 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 1536 0 0 0 91 0 0 0 15 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10560284 CPUtime=0.86 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 2682 0 0 0 86 0 0 0 16 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10560284 CPUtime=0.92 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 2202 0 0 0 92 0 0 0 16 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10560284 CPUtime=0.95 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 3512 0 0 0 94 1 0 0 16 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10560284 CPUtime=0.86 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 2380 0 0 0 86 0 0 0 16 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10560284 CPUtime=0.9 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 3817 0 0 0 90 0 0 0 15 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10560284 CPUtime=0.87 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 3114 0 0 0 87 0 0 0 15 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10560284 CPUtime=0.9 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 3454 0 0 0 90 0 0 0 16 0 22 0 830654906 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10560284 CPUtime=107.75 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 98971 0 0 0 10762 13 0 0 15 0 22 0 830654907 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830654908 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830654908 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10560284 CPUtime=1.67 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 8299 0 0 0 167 0 0 0 15 0 22 0 830654910 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10560284 CPUtime=1.07 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4857 0 0 0 106 1 0 0 15 0 22 0 830654910 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4431] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4431/stat : 4431 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4432] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4432/stat : 4432 (java) S 4412 4414 585 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830654910 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4454] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4454/stat : 4454 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830657654 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4499] ppid=4412 vsize=10560284 CPUtime=40.8 cores=0,2,4,6 /proc/4414/task/4499/stat : 4499 (java) R 4412 4414 585 0 -1 4202560 0 0 0 0 4080 0 0 0 20 0 22 0 830744318 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912506004160 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4414/tid=4500] ppid=4412 vsize=10560284 CPUtime=40.8 cores=0,2,4,6 /proc/4414/task/4500/stat : 4500 (java) R 4412 4414 585 0 -1 4202560 0 0 0 0 4080 0 0 0 21 0 22 0 830744318 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912505946011 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4414/tid=4501] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4501/stat : 4501 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830744318 10813730816 865664 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1778.75 Current children cumulated vsize (KiB) 10560284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+955.017 s] /proc/loadavg: 1.89 2.15 2.87 3/445 4505 /proc/meminfo: memFree=25566040/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=10560284 CPUtime=1800.17 cores=0,2,4,6 /proc/4414/stat : 4414 (java) S 4412 4414 585 0 -1 4202496 874319 0 1 0 179916 101 0 0 25 0 22 0 830654904 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 2640071 866742 2267 9 0 2630805 0 [pid=4414/tid=4415] ppid=4412 vsize=10560284 CPUtime=0.63 cores=0,2,4,6 /proc/4414/task/4415/stat : 4415 (java) S 4412 4414 585 0 -1 4202560 23675 0 1 0 61 2 0 0 15 0 22 0 830654905 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4417] ppid=4412 vsize=10560284 CPUtime=0.94 cores=0,2,4,6 /proc/4414/task/4417/stat : 4417 (java) S 4412 4414 585 0 -1 4202560 1537 0 0 0 94 0 0 0 16 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4418] ppid=4412 vsize=10560284 CPUtime=0.88 cores=0,2,4,6 /proc/4414/task/4418/stat : 4418 (java) S 4412 4414 585 0 -1 4202560 2682 0 0 0 88 0 0 0 16 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4419] ppid=4412 vsize=10560284 CPUtime=0.94 cores=0,2,4,6 /proc/4414/task/4419/stat : 4419 (java) S 4412 4414 585 0 -1 4202560 2202 0 0 0 94 0 0 0 15 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4420] ppid=4412 vsize=10560284 CPUtime=0.98 cores=0,2,4,6 /proc/4414/task/4420/stat : 4420 (java) S 4412 4414 585 0 -1 4202560 3512 0 0 0 97 1 0 0 16 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4421] ppid=4412 vsize=10560284 CPUtime=0.87 cores=0,2,4,6 /proc/4414/task/4421/stat : 4421 (java) S 4412 4414 585 0 -1 4202560 2380 0 0 0 87 0 0 0 15 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4422] ppid=4412 vsize=10560284 CPUtime=0.95 cores=0,2,4,6 /proc/4414/task/4422/stat : 4422 (java) S 4412 4414 585 0 -1 4202560 3829 0 0 0 95 0 0 0 16 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 0 0 0 0 [pid=4414/tid=4423] ppid=4412 vsize=10560284 CPUtime=0.89 cores=0,2,4,6 /proc/4414/task/4423/stat : 4423 (java) S 4412 4414 585 0 -1 4202560 3114 0 0 0 89 0 0 0 16 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4424] ppid=4412 vsize=10560284 CPUtime=0.92 cores=0,2,4,6 /proc/4414/task/4424/stat : 4424 (java) S 4412 4414 585 0 -1 4202560 3479 0 0 0 92 0 0 0 15 0 22 0 830654906 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4425] ppid=4412 vsize=10560284 CPUtime=110.85 cores=0,2,4,6 /proc/4414/task/4425/stat : 4425 (java) S 4412 4414 585 0 -1 4202560 100010 0 0 0 11072 13 0 0 15 0 22 0 830654907 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 0 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4426] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4426/stat : 4426 (java) S 4412 4414 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830654908 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4427] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4427/stat : 4427 (java) S 4412 4414 585 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830654908 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4428] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4428/stat : 4428 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458768817 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4429] ppid=4412 vsize=10560284 CPUtime=1.69 cores=0,2,4,6 /proc/4414/task/4429/stat : 4429 (java) S 4412 4414 585 0 -1 4202560 8303 0 0 0 169 0 0 0 16 0 22 0 830654910 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4430] ppid=4412 vsize=10560284 CPUtime=1.07 cores=0,2,4,6 /proc/4414/task/4430/stat : 4430 (java) S 4412 4414 585 0 -1 4202560 4857 0 0 0 106 1 0 0 15 0 22 0 830654910 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 2 0 0 0 [pid=4414/tid=4431] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4431/stat : 4431 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830654910 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761113 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4432] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4432/stat : 4432 (java) S 4412 4414 585 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830654910 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 4 0 0 0 [pid=4414/tid=4501] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4501/stat : 4501 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830744318 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 [pid=4414/tid=4503] ppid=4412 vsize=10560284 CPUtime=5.48 cores=0,2,4,6 /proc/4414/task/4503/stat : 4503 (java) R 4412 4414 585 0 -1 4202560 0 0 0 0 548 0 0 0 17 0 22 0 830749713 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912505986860 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4414/tid=4504] ppid=4412 vsize=10560284 CPUtime=5.48 cores=0,2,4,6 /proc/4414/task/4504/stat : 4504 (java) R 4412 4414 585 0 -1 4202560 0 0 0 0 548 0 0 0 17 0 22 0 830749713 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 46912506051368 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4414/tid=4505] ppid=4412 vsize=10560284 CPUtime=0 cores=0,2,4,6 /proc/4414/task/4505/stat : 4505 (java) S 4412 4414 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830749714 10813730816 866742 33554432000 1073741824 1073778376 140736529512240 18446744073709551615 244458761728 0 4 0 16800975 18446604449738802432 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 10560284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+955.123 s] /proc/loadavg: 1.89 2.15 2.87 3/445 4505 /proc/meminfo: memFree=25566040/32951124 swapFree=43324008/67111528 [pid=4414] ppid=4412 vsize=0 CPUtime=1800.36 cores=0,2,4,6 /proc/4414/stat : 4414 (java) Z 4412 4414 585 0 -1 4203548 874355 0 1 0 179929 107 0 0 17 0 2 0 830654904 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4414/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 955.198 CPU time (s): 1800.44 CPU user time (s): 1799.29 CPU system time (s): 1.14982 CPU usage (%): 188.489 Max. virtual memory (cumulated for all children) (KiB): 10567416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 1.14982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 874355 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= 30082 involuntary context switches= 14544 runsolver used 4.5983 second user time and 9.2216 second system time The end
Begin job on node105 at 2011-06-04 14:29:05 IDJOB=3454607 IDBENCH=2354 IDSOLVER=1950 FILE ID=node105/3454607-1307190545 RUNJOBID= node105-1307187369-3449 PBS_JOBID= 13508836 Free space on /tmp= 73768 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454607-1307190545/watcher-3454607-1307190545 -o /tmp/evaluation-result-3454607-1307190545/solver-3454607-1307190545 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454607-1307190545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED=1896515666 node105.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.825 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.65 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.825 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 : 5226.15 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 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 : 5410.70 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.825 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.74 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.825 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.82 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26319904 kB Buffers: 340156 kB Cached: 855996 kB SwapCached: 20984 kB Active: 5604996 kB Inactive: 707744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26319904 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 872 kB Writeback: 4 kB AnonPages: 5113544 kB Mapped: 27592 kB Slab: 165492 kB PageTables: 86880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 125252324 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= 73768 MiB End job on node105 at 2011-06-04 14:45:02