Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 35 | 1800.31 | 935.295 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 102.999 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 860 |
Number of terms in the objective function | 2847 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2847 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2847 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.07/0.08 c version 2.3.1.v20110525 0.07/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.08 c java.vm.version 19.1-b02 0.07/0.08 c java.vm.vendor Sun Microsystems Inc. 0.07/0.08 c sun.arch.data.model 64 0.07/0.08 c java.version 1.6.0_24 0.07/0.08 c os.name Linux 0.07/0.08 c os.version 2.6.18-164.el5 0.07/0.08 c os.arch amd64 0.07/0.08 c Free memory 9996466904 0.07/0.08 c Max memory 10048897024 0.07/0.08 c Total memory 10048897024 0.07/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454388-1307192233.opb 0.11/0.11 c reading problem ... 1.04/0.77 c ... done. Wall clock time 0.664s. 1.04/0.77 c #vars 2847 1.04/0.77 c #constraints 4902 1.04/0.77 c constraints type 1.04/0.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4898 1.04/0.77 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1.04/0.77 c constraints type 1.04/0.77 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 1.04/0.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4898 1.17/0.85 c And the winner is Resolution 1.41/1.28 c SATISFIABLE 1.41/1.28 c OPTIMIZING... 1.41/1.28 c Got one! Elapsed wall clock time (in seconds):1.176 1.41/1.28 o 39 2.24/1.51 c And the winner is Resolution 2.31/1.82 c Got one! Elapsed wall clock time (in seconds):1.709 2.31/1.82 o 38 2.31/1.88 c And the winner is Resolution 2.49/2.33 c Got one! Elapsed wall clock time (in seconds):2.225 2.49/2.33 o 37 4.59/3.20 c And the winner is Resolution 4.92/3.35 c Got one! Elapsed wall clock time (in seconds):3.241 4.92/3.35 o 36 6.48/4.19 c cleaning 3232 clauses out of 6474 with flag 3000/6474 10.73/6.24 c cleaning 4611 clauses out of 9243 with flag 9001/12475 15.34/8.51 c cleaning 5807 clauses out of 11631 with flag 16000/19474 21.20/11.45 c cleaning 6902 clauses out of 13824 with flag 24000/27474 29.11/15.40 c cleaning 7952 clauses out of 15923 with flag 33001/36475 31.86/16.78 c And the winner is Resolution 32.26/17.02 c Got one! Elapsed wall clock time (in seconds):16.914 32.26/17.02 o 35 32.82/17.38 c cleaning 6611 clauses out of 13233 with flag 2001/41737 35.64/18.76 c cleaning 6306 clauses out of 12621 with flag 8000/47736 40.96/21.46 c cleaning 6651 clauses out of 13316 with flag 15001/54737 45.70/23.80 c cleaning 7318 clauses out of 14664 with flag 23000/62736 51.65/26.83 c cleaning 8164 clauses out of 16347 with flag 32001/71737 58.00/30.06 c cleaning 9083 clauses out of 18182 with flag 42000/81736 64.54/33.31 c cleaning 9536 clauses out of 19099 with flag 52000/91736 72.05/37.16 c cleaning 9776 clauses out of 19563 with flag 62000/101736 80.99/41.62 c cleaning 9884 clauses out of 19788 with flag 72001/111737 87.53/44.93 c cleaning 9939 clauses out of 19903 with flag 82000/121736 96.27/49.33 c cleaning 9977 clauses out of 19972 with flag 92008/131744 102.17/52.33 c cleaning 9984 clauses out of 19989 with flag 102002/141738 108.10/55.31 c cleaning 9989 clauses out of 20003 with flag 112000/151736 112.03/57.37 c cleaning 10001 clauses out of 20015 with flag 122001/161737 115.56/59.15 c cleaning 9997 clauses out of 20013 with flag 132000/171736 121.45/62.18 c cleaning 9999 clauses out of 20016 with flag 142000/181736 130.59/66.79 c cleaning 10001 clauses out of 20017 with flag 152000/191736 137.73/70.36 c cleaning 9999 clauses out of 20016 with flag 162000/201736 144.85/73.91 c cleaning 10004 clauses out of 20017 with flag 172000/211736 149.74/76.43 c cleaning 10004 clauses out of 20015 with flag 182002/221738 154.87/79.04 c cleaning 9996 clauses out of 20009 with flag 192000/231736 158.00/80.63 c cleaning 9999 clauses out of 20013 with flag 202000/241736 160.93/82.12 c cleaning 9997 clauses out of 20015 with flag 212001/251737 165.23/84.32 c cleaning 10006 clauses out of 20019 with flag 222002/261738 172.15/87.87 c cleaning 9999 clauses out of 20013 with flag 232002/271738 178.68/91.14 c cleaning 9995 clauses out of 20012 with flag 242000/281736 185.64/94.64 c cleaning 10004 clauses out of 20018 with flag 252001/291737 193.10/98.41 c cleaning 9995 clauses out of 20013 with flag 262000/301736 199.22/101.57 c cleaning 10002 clauses out of 20019 with flag 272001/311737 205.35/104.61 c cleaning 10005 clauses out of 20020 with flag 282004/321740 208.67/106.32 c cleaning 9996 clauses out of 20012 with flag 292001/331737 211.76/107.93 c cleaning 9997 clauses out of 20015 with flag 302000/341736 216.29/110.29 c cleaning 10004 clauses out of 20018 with flag 312000/351736 221.81/113.04 c cleaning 10004 clauses out of 20016 with flag 322002/361738 227.34/115.82 c cleaning 9999 clauses out of 20011 with flag 332001/371737 232.43/118.49 c cleaning 10001 clauses out of 20011 with flag 342000/381736 238.56/121.52 c cleaning 10001 clauses out of 20011 with flag 352001/391737 245.09/124.80 c cleaning 9997 clauses out of 20010 with flag 362001/401737 253.82/129.27 c cleaning 9992 clauses out of 20012 with flag 372000/411736 259.50/132.15 c cleaning 10005 clauses out of 20020 with flag 382000/421736 265.43/135.12 c cleaning 9989 clauses out of 20015 with flag 392000/431736 270.95/137.99 c cleaning 10007 clauses out of 20026 with flag 402000/441736 275.68/140.32 c cleaning 10000 clauses out of 20019 with flag 412000/451736 278.79/141.92 c cleaning 9998 clauses out of 20022 with flag 422003/461739 281.71/143.45 c cleaning 9996 clauses out of 20021 with flag 432000/471736 285.43/145.32 c cleaning 10010 clauses out of 20027 with flag 442002/481738 290.35/147.83 c cleaning 10001 clauses out of 20016 with flag 452001/491737 295.84/150.70 c cleaning 9998 clauses out of 20014 with flag 462000/501736 301.75/153.63 c cleaning 9996 clauses out of 20016 with flag 472000/511736 308.46/157.01 c cleaning 9998 clauses out of 20020 with flag 482000/521736 311.38/158.56 c cleaning 10000 clauses out of 20022 with flag 492000/531736 314.06/159.95 c cleaning 10004 clauses out of 20022 with flag 502000/541736 316.98/161.43 c cleaning 10005 clauses out of 20018 with flag 512000/551736 320.10/163.00 c cleaning 10001 clauses out of 20013 with flag 522000/561736 323.02/164.53 c cleaning 10001 clauses out of 20013 with flag 532001/571737 325.90/166.09 c cleaning 9995 clauses out of 20011 with flag 542000/581736 330.01/168.20 c cleaning 10003 clauses out of 20017 with flag 552001/591737 337.52/171.99 c cleaning 9993 clauses out of 20013 with flag 562000/601736 345.23/175.83 c cleaning 9996 clauses out of 20024 with flag 572004/611740 350.50/178.57 c cleaning 9987 clauses out of 20024 with flag 582000/621736 356.22/181.43 c cleaning 10017 clauses out of 20041 with flag 592004/631740 360.11/183.43 c cleaning 10007 clauses out of 20024 with flag 602004/641740 363.82/185.38 c cleaning 9998 clauses out of 20013 with flag 612000/651736 368.28/187.60 c cleaning 10000 clauses out of 20015 with flag 622000/661736 372.59/189.81 c cleaning 9991 clauses out of 20015 with flag 632000/671736 376.50/191.86 c cleaning 10007 clauses out of 20025 with flag 642001/681737 380.40/193.89 c cleaning 10000 clauses out of 20017 with flag 652000/691736 385.05/196.26 c cleaning 10002 clauses out of 20017 with flag 662000/701736 389.15/198.36 c cleaning 9997 clauses out of 20015 with flag 672000/711736 392.66/200.16 c cleaning 10006 clauses out of 20019 with flag 682001/721737 396.15/201.93 c cleaning 10003 clauses out of 20012 with flag 692000/731736 400.20/204.09 c cleaning 9995 clauses out of 20009 with flag 702000/741736 403.89/205.98 c cleaning 10004 clauses out of 20015 with flag 712001/751737 407.39/207.73 c cleaning 9999 clauses out of 20011 with flag 722001/761737 410.88/209.51 c cleaning 9997 clauses out of 20012 with flag 732001/771737 415.32/211.83 c cleaning 10003 clauses out of 20016 with flag 742002/781738 418.82/213.63 c cleaning 9995 clauses out of 20012 with flag 752001/791737 421.91/215.21 c cleaning 10003 clauses out of 20016 with flag 762000/801736 424.62/216.62 c cleaning 9996 clauses out of 20013 with flag 772000/811736 427.65/218.22 c cleaning 10004 clauses out of 20019 with flag 782002/821738 430.54/219.80 c cleaning 10001 clauses out of 20013 with flag 792000/831736 433.63/221.34 c cleaning 10000 clauses out of 20013 with flag 802001/841737 436.12/222.68 c cleaning 9999 clauses out of 20012 with flag 812000/851736 439.75/224.51 c cleaning 9998 clauses out of 20013 with flag 822000/861736 443.04/226.23 c cleaning 10002 clauses out of 20016 with flag 832001/871737 446.54/228.02 c cleaning 10002 clauses out of 20014 with flag 842001/881737 453.42/231.57 c cleaning 9999 clauses out of 20011 with flag 852000/891736 459.84/234.86 c cleaning 9999 clauses out of 20013 with flag 862001/901737 467.71/238.87 c cleaning 10002 clauses out of 20014 with flag 872001/911737 475.79/242.94 c cleaning 9999 clauses out of 20011 with flag 882000/921736 481.66/245.99 c cleaning 10004 clauses out of 20015 with flag 892003/931739 488.47/249.44 c cleaning 10000 clauses out of 20008 with flag 902000/941736 493.15/251.90 c cleaning 10000 clauses out of 20008 with flag 912000/951736 496.60/253.69 c cleaning 10000 clauses out of 20009 with flag 922001/961737 500.46/255.62 c cleaning 10002 clauses out of 20010 with flag 932002/971738 504.46/257.76 c cleaning 9995 clauses out of 20006 with flag 942000/981736 508.52/259.87 c cleaning 10002 clauses out of 20012 with flag 952001/991737 511.59/261.50 c cleaning 9997 clauses out of 20009 with flag 962000/1001736 514.49/262.97 c cleaning 9999 clauses out of 20014 with flag 972002/1011738 519.05/265.34 c cleaning 10004 clauses out of 20014 with flag 982001/1021737 523.91/267.89 c cleaning 10001 clauses out of 20009 with flag 992000/1031736 528.57/270.29 c cleaning 10001 clauses out of 20013 with flag 1002005/1041741 533.23/272.70 c cleaning 9997 clauses out of 20007 with flag 1012000/1051736 539.03/275.68 c cleaning 9998 clauses out of 20012 with flag 1022002/1061738 545.30/278.81 c cleaning 10001 clauses out of 20013 with flag 1032001/1071737 550.37/281.44 c cleaning 9994 clauses out of 20011 with flag 1042000/1081736 555.07/283.88 c cleaning 10001 clauses out of 20019 with flag 1052002/1091738 560.63/286.72 c cleaning 10001 clauses out of 20016 with flag 1062000/1101736 564.49/288.75 c cleaning 10003 clauses out of 20016 with flag 1072001/1111737 569.56/291.33 c cleaning 9998 clauses out of 20012 with flag 1082000/1121736 575.02/294.19 c cleaning 9998 clauses out of 20014 with flag 1092000/1131736 579.02/296.24 c cleaning 9999 clauses out of 20017 with flag 1102001/1141737 582.89/298.25 c cleaning 9998 clauses out of 20017 with flag 1112000/1151736 587.75/300.77 c cleaning 10003 clauses out of 20023 with flag 1122004/1161740 592.41/303.11 c cleaning 9998 clauses out of 20016 with flag 1132000/1171736 597.21/305.60 c cleaning 10003 clauses out of 20018 with flag 1142000/1181736 602.67/308.40 c cleaning 9998 clauses out of 20015 with flag 1152000/1191736 607.94/311.10 c cleaning 10003 clauses out of 20017 with flag 1162000/1201736 613.80/314.12 c cleaning 9996 clauses out of 20014 with flag 1172000/1211736 619.79/317.21 c cleaning 10002 clauses out of 20018 with flag 1182000/1221736 626.45/320.68 c cleaning 9994 clauses out of 20016 with flag 1192000/1231736 633.72/324.38 c cleaning 10007 clauses out of 20023 with flag 1202001/1241737 639.78/327.43 c cleaning 10003 clauses out of 20018 with flag 1212003/1251739 645.97/330.63 c cleaning 9995 clauses out of 20013 with flag 1222001/1261737 651.83/333.68 c cleaning 10001 clauses out of 20017 with flag 1232000/1271736 658.29/336.98 c cleaning 10005 clauses out of 20022 with flag 1242006/1281742 664.35/340.05 c cleaning 9999 clauses out of 20012 with flag 1252001/1291737 670.59/343.29 c cleaning 9998 clauses out of 20015 with flag 1262003/1301739 676.42/346.26 c cleaning 10001 clauses out of 20015 with flag 1272001/1311737 683.08/349.68 c cleaning 10000 clauses out of 20014 with flag 1282001/1321737 691.35/353.81 c cleaning 10001 clauses out of 20013 with flag 1292000/1331736 698.74/357.67 c cleaning 9997 clauses out of 20012 with flag 1302000/1341736 708.39/362.55 c cleaning 9973 clauses out of 20015 with flag 1312000/1351736 717.86/367.33 c cleaning 10012 clauses out of 20043 with flag 1322001/1361737 725.10/371.03 c cleaning 10006 clauses out of 20030 with flag 1332000/1371736 732.27/374.70 c cleaning 10005 clauses out of 20024 with flag 1342000/1381736 736.73/377.01 c cleaning 10003 clauses out of 20019 with flag 1352000/1391736 741.18/379.41 c cleaning 9997 clauses out of 20016 with flag 1362000/1401736 745.03/381.32 c cleaning 10003 clauses out of 20019 with flag 1372000/1411736 748.61/383.26 c cleaning 10005 clauses out of 20017 with flag 1382001/1421737 751.86/384.93 c cleaning 9994 clauses out of 20012 with flag 1392001/1431737 755.30/386.70 c cleaning 10002 clauses out of 20017 with flag 1402000/1441736 758.76/388.57 c cleaning 10000 clauses out of 20015 with flag 1412000/1451736 763.12/390.87 c cleaning 9999 clauses out of 20015 with flag 1422000/1461736 768.57/393.60 c cleaning 9999 clauses out of 20016 with flag 1432000/1471736 773.42/396.15 c cleaning 10000 clauses out of 20017 with flag 1442000/1481736 778.66/398.80 c cleaning 10003 clauses out of 20018 with flag 1452001/1491737 784.42/401.86 c cleaning 9995 clauses out of 20014 with flag 1462000/1501736 789.86/404.68 c cleaning 10002 clauses out of 20020 with flag 1472001/1511737 795.10/407.39 c cleaning 10003 clauses out of 20018 with flag 1482001/1521737 799.34/409.59 c cleaning 10004 clauses out of 20016 with flag 1492002/1531738 803.11/411.57 c cleaning 9997 clauses out of 20010 with flag 1502000/1541736 806.96/413.58 c cleaning 10001 clauses out of 20014 with flag 1512001/1551737 810.79/415.51 c cleaning 9999 clauses out of 20012 with flag 1522000/1561736 814.84/417.68 c cleaning 10003 clauses out of 20014 with flag 1532001/1571737 819.62/420.15 c cleaning 9998 clauses out of 20010 with flag 1542000/1581736 824.50/422.62 c cleaning 9981 clauses out of 20012 with flag 1552000/1591736 829.15/425.03 c cleaning 10008 clauses out of 20034 with flag 1562003/1601739 832.99/427.07 c cleaning 10002 clauses out of 20023 with flag 1572000/1611736 837.36/429.39 c cleaning 10009 clauses out of 20024 with flag 1582003/1621739 841.03/431.27 c cleaning 9999 clauses out of 20012 with flag 1592000/1631736 844.64/433.14 c cleaning 10000 clauses out of 20014 with flag 1602001/1641737 848.28/435.08 c cleaning 9997 clauses out of 20013 with flag 1612000/1651736 852.04/437.04 c cleaning 10001 clauses out of 20016 with flag 1622000/1661736 856.10/439.16 c cleaning 9998 clauses out of 20015 with flag 1632000/1671736 860.34/441.31 c cleaning 10002 clauses out of 20018 with flag 1642001/1681737 864.57/443.58 c cleaning 9998 clauses out of 20015 with flag 1652000/1691736 868.54/445.64 c cleaning 9997 clauses out of 20017 with flag 1662000/1701736 872.78/447.89 c cleaning 10001 clauses out of 20020 with flag 1672000/1711736 876.21/449.69 c cleaning 10000 clauses out of 20019 with flag 1682000/1721736 879.85/451.52 c cleaning 10000 clauses out of 20019 with flag 1692000/1731736 883.41/453.49 c cleaning 10003 clauses out of 20020 with flag 1702001/1741737 887.28/455.44 c cleaning 10004 clauses out of 20018 with flag 1712002/1751738 891.52/457.62 c cleaning 10000 clauses out of 20015 with flag 1722003/1761739 895.13/459.52 c cleaning 10003 clauses out of 20012 with flag 1732000/1771736 898.49/461.38 c cleaning 10000 clauses out of 20010 with flag 1742001/1781737 902.33/463.36 c cleaning 9997 clauses out of 20009 with flag 1752000/1791736 906.20/465.36 c cleaning 10000 clauses out of 20013 with flag 1762001/1801737 910.22/467.46 c cleaning 9997 clauses out of 20012 with flag 1772000/1811736 914.61/469.72 c cleaning 9998 clauses out of 20016 with flag 1782001/1821737 917.81/471.45 c cleaning 10002 clauses out of 20017 with flag 1792000/1831736 921.05/473.14 c cleaning 10002 clauses out of 20015 with flag 1802000/1841736 924.09/474.74 c cleaning 9999 clauses out of 20013 with flag 1812000/1851736 927.26/476.43 c cleaning 10001 clauses out of 20015 with flag 1822001/1861737 930.69/478.26 c cleaning 10001 clauses out of 20014 with flag 1832001/1871737 934.13/480.07 c cleaning 9996 clauses out of 20013 with flag 1842001/1881737 937.98/482.07 c cleaning 9996 clauses out of 20016 with flag 1852000/1891736 941.77/484.01 c cleaning 10001 clauses out of 20020 with flag 1862000/1901736 944.98/485.76 c cleaning 10000 clauses out of 20019 with flag 1872000/1911736 948.41/487.52 c cleaning 10001 clauses out of 20019 with flag 1882000/1921736 951.85/489.34 c cleaning 10004 clauses out of 20018 with flag 1892000/1931736 956.22/491.63 c cleaning 9998 clauses out of 20014 with flag 1902000/1941736 960.68/493.94 c cleaning 9997 clauses out of 20016 with flag 1912000/1951736 964.28/495.88 c cleaning 9999 clauses out of 20019 with flag 1922000/1961736 967.92/497.71 c cleaning 9999 clauses out of 20020 with flag 1932000/1971736 971.88/499.87 c cleaning 9997 clauses out of 20021 with flag 1942000/1981736 975.71/501.89 c cleaning 10006 clauses out of 20024 with flag 1952000/1991736 982.55/505.36 c cleaning 10001 clauses out of 20019 with flag 1962001/2001737 988.39/508.31 c cleaning 10007 clauses out of 20019 with flag 1972002/2011738 995.75/512.10 c cleaning 9992 clauses out of 20010 with flag 1982000/2021736 1002.58/515.69 c cleaning 9993 clauses out of 20019 with flag 1992001/2031737 1013.03/520.95 c cleaning 10004 clauses out of 20030 with flag 2002005/2041741 1019.47/524.22 c cleaning 10001 clauses out of 20022 with flag 2012001/2051737 1023.42/526.36 c cleaning 9995 clauses out of 20021 with flag 2022001/2061737 1027.85/528.67 c cleaning 10008 clauses out of 20030 with flag 2032005/2071741 1032.29/530.90 c cleaning 10005 clauses out of 20018 with flag 2042001/2081737 1036.92/533.34 c cleaning 9996 clauses out of 20012 with flag 2052000/2091736 1042.27/536.14 c cleaning 10000 clauses out of 20016 with flag 2062000/2101736 1046.71/538.40 c cleaning 10001 clauses out of 20017 with flag 2072001/2111737 1050.94/540.61 c cleaning 9992 clauses out of 20015 with flag 2082000/2121736 1054.20/542.37 c cleaning 10008 clauses out of 20023 with flag 2092000/2131736 1057.32/544.07 c cleaning 10002 clauses out of 20017 with flag 2102002/2141738 1060.75/545.89 c cleaning 10000 clauses out of 20014 with flag 2112001/2151737 1064.19/547.68 c cleaning 10001 clauses out of 20013 with flag 2122000/2161736 1067.62/549.46 c cleaning 10000 clauses out of 20013 with flag 2132001/2171737 1071.18/551.37 c cleaning 10001 clauses out of 20014 with flag 2142002/2181738 1075.04/553.36 c cleaning 10001 clauses out of 20011 with flag 2152000/2191736 1079.28/555.53 c cleaning 10001 clauses out of 20011 with flag 2162001/2201737 1082.68/557.33 c cleaning 9997 clauses out of 20010 with flag 2172001/2211737 1086.03/559.14 c cleaning 9995 clauses out of 20012 with flag 2182000/2221736 1089.47/560.92 c cleaning 10000 clauses out of 20017 with flag 2192000/2231736 1092.89/562.79 c cleaning 10001 clauses out of 20017 with flag 2202000/2241736 1096.52/564.62 c cleaning 9996 clauses out of 20016 with flag 2212000/2251736 1099.68/566.39 c cleaning 10006 clauses out of 20021 with flag 2222001/2261737 1103.31/568.28 c cleaning 9988 clauses out of 20014 with flag 2232000/2271736 1107.54/570.43 c cleaning 10003 clauses out of 20026 with flag 2242000/2281736 1110.97/572.26 c cleaning 10003 clauses out of 20025 with flag 2252002/2291738 1114.54/574.15 c cleaning 10007 clauses out of 20023 with flag 2262003/2301739 1117.95/575.92 c cleaning 10003 clauses out of 20013 with flag 2272000/2311736 1121.01/577.56 c cleaning 10001 clauses out of 20010 with flag 2282000/2321736 1124.21/579.23 c cleaning 9996 clauses out of 20009 with flag 2292000/2331736 1127.56/581.05 c cleaning 10002 clauses out of 20013 with flag 2302000/2341736 1130.59/582.68 c cleaning 9995 clauses out of 20011 with flag 2312000/2351736 1134.02/584.40 c cleaning 10002 clauses out of 20016 with flag 2322000/2361736 1137.26/586.15 c cleaning 9998 clauses out of 20014 with flag 2332000/2371736 1140.40/587.87 c cleaning 10002 clauses out of 20017 with flag 2342001/2381737 1143.65/589.54 c cleaning 10004 clauses out of 20017 with flag 2352003/2391739 1146.66/591.17 c cleaning 9999 clauses out of 20010 with flag 2362000/2401736 1149.90/592.88 c cleaning 10000 clauses out of 20011 with flag 2372000/2411736 1153.03/594.59 c cleaning 9996 clauses out of 20011 with flag 2382000/2421736 1156.10/596.18 c cleaning 9996 clauses out of 20015 with flag 2392000/2431736 1160.10/598.22 c cleaning 9996 clauses out of 20019 with flag 2402000/2441736 1163.92/600.25 c cleaning 10005 clauses out of 20024 with flag 2412001/2451737 1168.25/602.57 c cleaning 10004 clauses out of 20021 with flag 2422003/2461739 1172.66/604.91 c cleaning 10000 clauses out of 20015 with flag 2432001/2471737 1177.30/607.27 c cleaning 9998 clauses out of 20014 with flag 2442000/2481736 1181.88/609.60 c cleaning 10001 clauses out of 20018 with flag 2452002/2491738 1186.60/612.18 c cleaning 9997 clauses out of 20015 with flag 2462000/2501736 1191.41/614.66 c cleaning 10004 clauses out of 20018 with flag 2472000/2511736 1196.25/617.13 c cleaning 9998 clauses out of 20015 with flag 2482001/2521737 1200.46/619.34 c cleaning 9999 clauses out of 20020 with flag 2492004/2531740 1204.94/621.72 c cleaning 9993 clauses out of 20017 with flag 2502000/2541736 1209.35/624.04 c cleaning 10001 clauses out of 20024 with flag 2512000/2551736 1213.76/626.34 c cleaning 9999 clauses out of 20025 with flag 2522002/2561738 1218.77/628.94 c cleaning 10005 clauses out of 20024 with flag 2532000/2571736 1224.08/631.79 c cleaning 10001 clauses out of 20019 with flag 2542000/2581736 1229.09/634.36 c cleaning 10002 clauses out of 20018 with flag 2552000/2591736 1233.10/636.44 c cleaning 9996 clauses out of 20016 with flag 2562000/2601736 1237.72/638.82 c cleaning 10007 clauses out of 20025 with flag 2572005/2611741 1242.03/641.13 c cleaning 9999 clauses out of 20013 with flag 2582000/2621736 1247.64/644.07 c cleaning 9996 clauses out of 20014 with flag 2592000/2631736 1253.08/646.87 c cleaning 9999 clauses out of 20020 with flag 2602002/2641738 1257.85/649.36 c cleaning 9998 clauses out of 20019 with flag 2612000/2651736 1262.96/652.09 c cleaning 10000 clauses out of 20022 with flag 2622001/2661737 1268.16/654.79 c cleaning 10003 clauses out of 20023 with flag 2632002/2671738 1273.17/657.35 c cleaning 10000 clauses out of 20018 with flag 2642000/2681736 1278.58/660.19 c cleaning 10001 clauses out of 20018 with flag 2652000/2691736 1284.29/663.18 c cleaning 9998 clauses out of 20017 with flag 2662000/2701736 1289.90/666.02 c cleaning 10000 clauses out of 20019 with flag 2672000/2711736 1294.70/668.52 c cleaning 10003 clauses out of 20019 with flag 2682000/2721736 1299.32/670.92 c cleaning 9988 clauses out of 20016 with flag 2692000/2731736 1303.81/673.34 c cleaning 10002 clauses out of 20028 with flag 2702000/2741736 1308.01/675.52 c cleaning 10002 clauses out of 20028 with flag 2712002/2751738 1313.22/678.21 c cleaning 10000 clauses out of 20024 with flag 2722000/2761736 1317.82/680.60 c cleaning 9989 clauses out of 20024 with flag 2732000/2771736 1322.93/683.31 c cleaning 10012 clauses out of 20038 with flag 2742003/2781739 1328.13/686.07 c cleaning 10002 clauses out of 20023 with flag 2752000/2791736 1333.33/688.80 c cleaning 10000 clauses out of 20021 with flag 2762000/2801736 1337.93/691.18 c cleaning 10004 clauses out of 20023 with flag 2772002/2811738 1342.83/693.76 c cleaning 10002 clauses out of 20017 with flag 2782000/2821736 1347.44/696.17 c cleaning 9996 clauses out of 20016 with flag 2792001/2831737 1352.07/698.53 c cleaning 10000 clauses out of 20020 with flag 2802001/2841737 1357.44/701.34 c cleaning 9999 clauses out of 20020 with flag 2812001/2851737 1363.33/704.47 c cleaning 9991 clauses out of 20020 with flag 2822000/2861736 1368.75/707.22 c cleaning 10004 clauses out of 20029 with flag 2832000/2871736 1373.17/709.56 c cleaning 10002 clauses out of 20026 with flag 2842001/2881737 1377.74/711.93 c cleaning 9998 clauses out of 20023 with flag 2852000/2891736 1382.66/714.58 c cleaning 10000 clauses out of 20025 with flag 2862000/2901736 1388.06/717.31 c cleaning 9994 clauses out of 20025 with flag 2872000/2911736 1392.86/719.86 c cleaning 10005 clauses out of 20031 with flag 2882000/2921736 1398.27/722.66 c cleaning 10003 clauses out of 20026 with flag 2892000/2931736 1403.98/725.69 c cleaning 9990 clauses out of 20028 with flag 2902005/2941741 1409.17/728.40 c cleaning 10001 clauses out of 20033 with flag 2912000/2951736 1413.77/730.73 c cleaning 10011 clauses out of 20033 with flag 2922001/2961737 1419.17/733.59 c cleaning 10000 clauses out of 20021 with flag 2932000/2971736 1424.27/736.25 c cleaning 10005 clauses out of 20022 with flag 2942001/2981737 1429.88/739.17 c cleaning 10003 clauses out of 20016 with flag 2952000/2991736 1437.07/742.84 c cleaning 10002 clauses out of 20015 with flag 2962002/3001738 1443.47/746.16 c cleaning 10001 clauses out of 20012 with flag 2972001/3011737 1452.17/750.64 c cleaning 9996 clauses out of 20010 with flag 2982000/3021736 1459.16/754.28 c cleaning 10003 clauses out of 20016 with flag 2992002/3031738 1464.36/757.00 c cleaning 9998 clauses out of 20011 with flag 3002000/3041736 1470.16/759.97 c cleaning 10002 clauses out of 20014 with flag 3012001/3051737 1473.66/761.85 c cleaning 10001 clauses out of 20011 with flag 3022000/3061736 1477.26/763.72 c cleaning 10001 clauses out of 20011 with flag 3032001/3071737 1480.67/765.53 c cleaning 9998 clauses out of 20009 with flag 3042000/3081736 1484.26/767.43 c cleaning 9998 clauses out of 20012 with flag 3052001/3091737 1487.76/769.30 c cleaning 10004 clauses out of 20017 with flag 3062004/3101740 1491.56/771.39 c cleaning 10001 clauses out of 20011 with flag 3072002/3111738 1495.39/773.31 c cleaning 10001 clauses out of 20008 with flag 3082000/3121736 1498.75/775.12 c cleaning 9996 clauses out of 20010 with flag 3092003/3131739 1503.05/777.44 c cleaning 9996 clauses out of 20012 with flag 3102001/3141737 1505.68/778.89 c cleaning 9999 clauses out of 20016 with flag 3112001/3151737 1508.44/780.30 c cleaning 9998 clauses out of 20016 with flag 3122000/3161736 1511.24/781.84 c cleaning 10004 clauses out of 20018 with flag 3132000/3171736 1514.13/783.42 c cleaning 10002 clauses out of 20015 with flag 3142001/3181737 1517.33/785.12 c cleaning 10002 clauses out of 20013 with flag 3152001/3191737 1521.13/787.15 c cleaning 9996 clauses out of 20010 with flag 3162000/3201736 1524.73/789.09 c cleaning 9999 clauses out of 20014 with flag 3172000/3211736 1528.26/790.94 c cleaning 10001 clauses out of 20015 with flag 3182000/3221736 1531.42/792.68 c cleaning 10003 clauses out of 20015 with flag 3192001/3231737 1535.02/794.53 c cleaning 9999 clauses out of 20012 with flag 3202001/3241737 1538.65/796.45 c cleaning 9997 clauses out of 20012 with flag 3212000/3251736 1541.91/798.28 c cleaning 10005 clauses out of 20017 with flag 3222002/3261738 1545.31/800.02 c cleaning 9996 clauses out of 20010 with flag 3232000/3271736 1548.72/801.85 c cleaning 10001 clauses out of 20014 with flag 3242000/3281736 1552.92/804.03 c cleaning 10000 clauses out of 20013 with flag 3252000/3291736 1556.41/805.98 c cleaning 9998 clauses out of 20014 with flag 3262001/3301737 1560.60/808.13 c cleaning 9999 clauses out of 20015 with flag 3272000/3311736 1565.41/810.71 c cleaning 9998 clauses out of 20016 with flag 3282000/3321736 1569.40/812.71 c cleaning 10000 clauses out of 20018 with flag 3292000/3331736 1572.50/814.43 c cleaning 10005 clauses out of 20023 with flag 3302005/3341741 1576.09/816.34 c cleaning 10000 clauses out of 20014 with flag 3312001/3351737 1579.29/818.07 c cleaning 10000 clauses out of 20013 with flag 3322000/3361736 1582.89/819.93 c cleaning 9992 clauses out of 20013 with flag 3332000/3371736 1587.59/822.47 c cleaning 10004 clauses out of 20021 with flag 3342000/3381736 1591.58/824.56 c cleaning 10001 clauses out of 20017 with flag 3352000/3391736 1596.39/827.02 c cleaning 10004 clauses out of 20016 with flag 3362000/3401736 1601.58/829.78 c cleaning 9999 clauses out of 20012 with flag 3372000/3411736 1607.09/832.65 c cleaning 10000 clauses out of 20013 with flag 3382000/3421736 1611.51/834.91 c cleaning 9997 clauses out of 20013 with flag 3392000/3431736 1615.07/836.89 c cleaning 10002 clauses out of 20016 with flag 3402000/3441736 1618.67/838.70 c cleaning 10001 clauses out of 20014 with flag 3412000/3451736 1622.36/840.71 c cleaning 10002 clauses out of 20015 with flag 3422002/3461738 1625.77/842.55 c cleaning 9998 clauses out of 20011 with flag 3432000/3471736 1629.17/844.39 c cleaning 10002 clauses out of 20013 with flag 3442000/3481736 1632.56/846.17 c cleaning 9999 clauses out of 20011 with flag 3452000/3491736 1636.66/848.36 c cleaning 10001 clauses out of 20013 with flag 3462001/3501737 1640.05/850.19 c cleaning 9998 clauses out of 20012 with flag 3472001/3511737 1643.25/851.87 c cleaning 9998 clauses out of 20013 with flag 3482000/3521736 1647.24/853.90 c cleaning 10001 clauses out of 20015 with flag 3492000/3531736 1650.78/855.89 c cleaning 9997 clauses out of 20014 with flag 3502000/3541736 1654.34/857.78 c cleaning 10001 clauses out of 20017 with flag 3512000/3551736 1657.94/859.61 c cleaning 9998 clauses out of 20017 with flag 3522001/3561737 1661.16/861.34 c cleaning 10003 clauses out of 20020 with flag 3532002/3571738 1664.63/863.22 c cleaning 9999 clauses out of 20016 with flag 3542001/3581737 1668.03/865.02 c cleaning 10000 clauses out of 20016 with flag 3552000/3591736 1671.45/866.83 c cleaning 9996 clauses out of 20016 with flag 3562000/3601736 1675.43/868.93 c cleaning 10006 clauses out of 20022 with flag 3572002/3611738 1678.92/870.84 c cleaning 9994 clauses out of 20014 with flag 3582000/3621736 1682.51/872.76 c cleaning 10002 clauses out of 20023 with flag 3592003/3631739 1685.72/874.45 c cleaning 10001 clauses out of 20018 with flag 3602000/3641736 1688.90/876.17 c cleaning 9999 clauses out of 20017 with flag 3612000/3651736 1692.60/878.19 c cleaning 10005 clauses out of 20018 with flag 3622000/3661736 1696.40/880.15 c cleaning 10001 clauses out of 20013 with flag 3632000/3671736 1699.99/882.05 c cleaning 9996 clauses out of 20012 with flag 3642000/3681736 1703.78/884.06 c cleaning 10000 clauses out of 20018 with flag 3652002/3691738 1707.28/885.99 c cleaning 10000 clauses out of 20017 with flag 3662001/3701737 1710.87/887.86 c cleaning 9991 clauses out of 20016 with flag 3672000/3711736 1714.67/889.82 c cleaning 10009 clauses out of 20025 with flag 3682000/3721736 1718.45/891.84 c cleaning 10004 clauses out of 20016 with flag 3692000/3731736 1722.34/893.95 c cleaning 9998 clauses out of 20013 with flag 3702001/3741737 1726.14/895.95 c cleaning 10000 clauses out of 20015 with flag 3712001/3751737 1729.73/897.87 c cleaning 9999 clauses out of 20016 with flag 3722002/3761738 1733.33/899.78 c cleaning 10002 clauses out of 20016 with flag 3732001/3771737 1737.20/901.89 c cleaning 9991 clauses out of 20013 with flag 3742000/3781736 1741.39/904.01 c cleaning 10001 clauses out of 20022 with flag 3752000/3791736 1745.37/906.18 c cleaning 10005 clauses out of 20023 with flag 3762002/3801738 1749.75/908.44 c cleaning 10000 clauses out of 20017 with flag 3772001/3811737 1754.03/910.76 c cleaning 9997 clauses out of 20016 with flag 3782000/3821736 1758.20/912.96 c cleaning 9997 clauses out of 20019 with flag 3792000/3831736 1762.59/915.25 c cleaning 10000 clauses out of 20022 with flag 3802000/3841736 1767.12/917.66 c cleaning 10002 clauses out of 20022 with flag 3812000/3851736 1771.38/919.93 c cleaning 10003 clauses out of 20020 with flag 3822000/3861736 1775.54/922.15 c cleaning 9999 clauses out of 20017 with flag 3832000/3871736 1779.71/924.38 c cleaning 10002 clauses out of 20018 with flag 3842000/3881736 1784.08/926.69 c cleaning 10000 clauses out of 20016 with flag 3852000/3891736 1788.34/928.91 c cleaning 10000 clauses out of 20016 with flag 3862000/3901736 1792.11/930.92 c cleaning 9998 clauses out of 20016 with flag 3872000/3911736 1796.07/933.08 c cleaning 10004 clauses out of 20019 with flag 3882001/3921737 1800.05/935.12 c starts : 257 1800.05/935.12 c conflicts : 3930738 1800.05/935.12 c decisions : 11987447 1800.05/935.12 c propagations : 151111717 1800.05/935.12 c inspects : 1274729805 1800.05/935.12 c shortcuts : 0 1800.05/935.12 c learnt literals : 0 1800.05/935.12 c learnt binary clauses : 0 1800.05/935.12 c learnt ternary clauses : 0 1800.05/935.12 c learnt constraints : 3930738 1800.05/935.12 c ignored constraints : 0 1800.05/935.12 c root simplifications : 0 1800.05/935.12 c removed literals (reason simplification) : 1261907 1800.05/935.12 c reason swapping (by a shorter reason) : 0 1800.05/935.12 c Calls to reduceDB : 395 1800.05/935.12 c number of reductions to clauses (during analyze) : 0 1800.05/935.12 c number of learned constraints concerned by reduction : 0 1800.05/935.12 c number of learning phase by resolution : 0 1800.05/935.12 c number of learning phase by cutting planes : 0 1800.05/935.12 c speed (assignments/second) : 164592.37422625278 1800.05/935.12 c non guided choices 122708 1800.05/935.13 c learnt constraints type 1800.05/935.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19068 1800.05/935.13 c constraints type 1800.05/935.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4898 1800.05/935.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.05/935.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1800.05/935.13 c constraints type 1800.05/935.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 1800.05/935.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4898 1800.05/935.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.05/935.13 s SATISFIABLE 1800.05/935.14 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 1800.05/935.14 c objective function=35 1800.05/935.14 c Total wall clock time (in seconds): 935.035
OK 35
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-3454388-1307192233/watcher-3454388-1307192233 -o /tmp/evaluation-result-3454388-1307192233/solver-3454388-1307192233 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454388-1307192233.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.67 3.58 3.67 2/451 10020 /proc/meminfo: memFree=12440992/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=31604 CPUtime=0 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 1273 0 0 0 0 0 0 0 21 0 2 0 830822932 32362496 990 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 7902 992 761 9 0 387 0 [pid=10020/tid=10021] ppid=10018 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) R 10018 10020 6192 0 -1 4202560 5835 0 1 0 0 0 0 0 23 0 2 0 830822933 10694979584 6651 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0856311 s] /proc/loadavg: 2.67 3.58 3.67 2/451 10020 /proc/meminfo: memFree=12440992/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10540020 CPUtime=0.07 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 12721 0 1 0 6 1 0 0 21 0 18 0 830822932 10792980480 12399 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2635005 12399 2018 9 0 2625739 0 [pid=10020/tid=10021] ppid=10018 vsize=10540020 CPUtime=0.07 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 10950 0 1 0 6 1 0 0 18 0 18 0 830822933 10792980480 12399 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676633972 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10540020 [startup+0.10064 s] /proc/loadavg: 2.67 3.58 3.67 2/451 10020 /proc/meminfo: memFree=12440992/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10540160 CPUtime=0.11 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 13155 0 1 0 9 2 0 0 21 0 18 0 830822932 10793123840 12833 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2635040 12834 2092 9 0 2625774 0 [pid=10020/tid=10021] ppid=10018 vsize=10540160 CPUtime=0.08 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) R 10018 10020 6192 0 -1 4202560 11200 0 1 0 7 1 0 0 18 0 18 0 830822933 10793123840 12834 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 47107351124931 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540160 [startup+0.30057 s] /proc/loadavg: 2.67 3.58 3.67 2/451 10020 /proc/meminfo: memFree=12440992/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10544716 CPUtime=0.57 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 19098 0 1 0 55 2 0 0 21 0 18 0 830822932 10797789184 17701 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2636179 17705 2201 9 0 2626913 0 [pid=10020/tid=10021] ppid=10018 vsize=10544716 CPUtime=0.28 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) R 10018 10020 6192 0 -1 4202560 14497 0 1 0 27 1 0 0 18 0 18 0 830822933 10797789184 17707 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505555430 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 10544716 [startup+0.70055 s] /proc/loadavg: 2.67 3.58 3.67 2/451 10020 /proc/meminfo: memFree=12440992/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10544748 CPUtime=1.04 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 51968 0 1 0 98 6 0 0 21 0 18 0 830822932 10797821952 50286 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2636187 50290 2208 9 0 2626921 0 [pid=10020/tid=10021] ppid=10018 vsize=10544748 CPUtime=0.68 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) R 10018 10020 6192 0 -1 4202560 47031 0 1 0 63 5 0 0 18 0 18 0 830822933 10797821952 50292 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 10544748 [startup+1.50136 s] /proc/loadavg: 2.67 3.58 3.67 1/472 10052 /proc/meminfo: memFree=12211928/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10552656 CPUtime=2.24 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 62580 0 1 0 217 7 0 0 21 0 22 0 830822932 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2638164 59467 2236 9 0 2628898 0 [pid=10020/tid=10021] ppid=10018 vsize=10552656 CPUtime=0.78 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 53778 0 1 0 73 5 0 0 17 0 22 0 830822933 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830822935 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830822936 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830822936 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10805919744 59467 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10552656 CPUtime=0.42 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) R 10018 10020 6192 0 -1 4202560 2692 0 0 0 42 0 0 0 17 0 22 0 830822938 10805919744 59468 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 47107351115344 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10552656 CPUtime=0.47 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 3647 0 0 0 47 0 0 0 16 0 22 0 830822938 10805919744 59468 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10039] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10039/stat : 10039 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10805919744 59468 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10040] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10040/stat : 10040 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830822938 10805919744 59468 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10051] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10051/stat : 10051 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830823012 10805919744 59468 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 10552656 [startup+3.10109 s] /proc/loadavg: 2.67 3.58 3.67 2/450 10086 /proc/meminfo: memFree=12234596/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10552656 CPUtime=4.59 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 83731 0 1 0 449 10 0 0 21 0 22 0 830822932 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2638164 77267 2238 9 0 2628898 0 [pid=10020/tid=10021] ppid=10018 vsize=10552656 CPUtime=0.8 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 54290 0 1 0 75 5 0 0 15 0 22 0 830822933 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822934 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830822935 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830822936 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830822936 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10552656 CPUtime=0.84 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) S 10018 10020 6192 0 -1 4202560 9300 0 0 0 83 1 0 0 16 0 22 0 830822938 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10552656 CPUtime=0.65 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 4739 0 0 0 65 0 0 0 15 0 22 0 830822938 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10039] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10039/stat : 10039 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10040] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10040/stat : 10040 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830822938 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10051] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10051/stat : 10051 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830823012 10805919744 77267 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.59 Current children cumulated vsize (KiB) 10552656 [startup+6.30157 s] /proc/loadavg: 2.70 3.57 3.66 5/476 10125 /proc/meminfo: memFree=10860484/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10552656 CPUtime=10.91 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 279415 0 1 0 1060 31 0 0 21 0 22 0 830822932 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2638164 272938 2263 9 0 2628898 0 [pid=10020/tid=10021] ppid=10018 vsize=10552656 CPUtime=0.8 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 54546 0 1 0 75 5 0 0 15 0 22 0 830822933 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 276 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 1026 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 273 0 0 0 0 0 0 0 16 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 22 0 830822934 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10552656 CPUtime=0.05 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 2992 0 0 0 5 0 0 0 16 0 22 0 830822935 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830822936 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830822936 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10552656 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10552656 CPUtime=0.98 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) S 10018 10020 6192 0 -1 4202560 9313 0 0 0 97 1 0 0 15 0 22 0 830822938 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10552656 CPUtime=0.74 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 4750 0 0 0 74 0 0 0 15 0 22 0 830822938 10805919744 272938 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=5064400/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10619000 CPUtime=1587.39 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 915799 0 1 0 158632 107 0 0 21 0 22 0 830822932 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2654750 908661 2265 9 0 2645484 0 [pid=10020/tid=10021] ppid=10018 vsize=10619000 CPUtime=0.81 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 54553 0 1 0 76 5 0 0 15 0 22 0 830822933 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10619000 CPUtime=0.48 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 3876 0 0 0 47 1 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10619000 CPUtime=0.49 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 1114 0 0 0 49 0 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10619000 CPUtime=0.49 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 2062 0 0 0 49 0 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10619000 CPUtime=0.45 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 3450 0 0 0 45 0 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10619000 CPUtime=0.47 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1489 0 0 0 47 0 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10619000 CPUtime=0.48 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 2949 0 0 0 47 1 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10619000 CPUtime=0.49 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 2810 0 0 0 49 0 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10619000 CPUtime=0.52 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 1978 0 0 0 51 1 0 0 15 0 22 0 830822934 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10619000 CPUtime=57.12 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 33852 0 0 0 5706 6 0 0 15 0 22 0 830822935 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10619000 CPUtime=1.23 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) S 10018 10020 6192 0 -1 4202560 9351 0 0 0 122 1 0 0 15 0 22 0 830822938 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10619000 CPUtime=1.04 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 4977 0 0 0 104 0 0 0 15 0 22 0 830822938 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10039] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10039/stat : 10039 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10040] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10040/stat : 10040 (java) S 10018 10020 6192 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830822938 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10051] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10051/stat : 10051 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830823012 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10127] ppid=10018 vsize=10619000 CPUtime=747.01 cores=1,3,5,7 /proc/10020/task/10127/stat : 10127 (java) R 10018 10020 6192 0 -1 4202560 1120 0 0 0 74700 1 0 0 25 0 22 0 830824635 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505782831 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10020/tid=10128] ppid=10018 vsize=10619000 CPUtime=746.99 cores=1,3,5,7 /proc/10020/task/10128/stat : 10128 (java) R 10018 10020 6192 0 -1 4202560 442520 0 0 0 74654 45 0 0 25 0 22 0 830824635 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505787359 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10020/tid=10129] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10129/stat : 10129 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830824635 10873856000 908661 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1587.39 Current children cumulated vsize (KiB) 10619000 [startup+882.301 s] /proc/loadavg: 3.05 3.02 3.24 3/476 10164 /proc/meminfo: memFree=5053348/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10619000 CPUtime=1700.38 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 918294 0 1 0 169930 108 0 0 21 0 22 0 830822932 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2654750 911020 2265 9 0 2645484 0 [pid=10020/tid=10021] ppid=10018 vsize=10619000 CPUtime=0.81 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 54553 0 1 0 76 5 0 0 15 0 22 0 830822933 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10619000 CPUtime=0.51 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 3888 0 0 0 50 1 0 0 16 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10619000 CPUtime=0.52 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 1143 0 0 0 52 0 0 0 16 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10619000 CPUtime=0.52 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 2077 0 0 0 52 0 0 0 15 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10619000 CPUtime=0.48 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 3741 0 0 0 48 0 0 0 15 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10619000 CPUtime=0.51 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1950 0 0 0 51 0 0 0 16 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10619000 CPUtime=0.51 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 3056 0 0 0 50 1 0 0 15 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10619000 CPUtime=0.52 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 3326 0 0 0 52 0 0 0 15 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10619000 CPUtime=0.55 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 2046 0 0 0 54 1 0 0 15 0 22 0 830822934 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10619000 CPUtime=64.21 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 34813 0 0 0 6414 7 0 0 16 0 22 0 830822935 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10619000 CPUtime=1.23 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) S 10018 10020 6192 0 -1 4202560 9351 0 0 0 122 1 0 0 15 0 22 0 830822938 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10619000 CPUtime=1.04 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 4977 0 0 0 104 0 0 0 15 0 22 0 830822938 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10039] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10039/stat : 10039 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10040] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10040/stat : 10040 (java) S 10018 10020 6192 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830822938 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10051] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10051/stat : 10051 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830823012 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10127] ppid=10018 vsize=10619000 CPUtime=799.85 cores=1,3,5,7 /proc/10020/task/10127/stat : 10127 (java) R 10018 10020 6192 0 -1 4202560 1151 0 0 0 79984 1 0 0 23 0 22 0 830824635 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505842960 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10020/tid=10128] ppid=10018 vsize=10619000 CPUtime=799.83 cores=1,3,5,7 /proc/10020/task/10128/stat : 10128 (java) R 10018 10020 6192 0 -1 4202560 442520 0 0 0 79938 45 0 0 23 0 22 0 830824635 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505787148 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10020/tid=10129] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10129/stat : 10129 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830824635 10873856000 911020 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1700.38 Current children cumulated vsize (KiB) 10619000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.101 s] /proc/loadavg: 2.98 3.00 3.22 4/476 10165 /proc/meminfo: memFree=5025584/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=10619000 CPUtime=1800.05 cores=1,3,5,7 /proc/10020/stat : 10020 (java) S 10018 10020 6192 0 -1 4202496 921863 0 1 0 179896 109 0 0 21 0 22 0 830822932 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 2654750 914561 2265 9 0 2645484 0 [pid=10020/tid=10021] ppid=10018 vsize=10619000 CPUtime=0.81 cores=1,3,5,7 /proc/10020/task/10021/stat : 10021 (java) S 10018 10020 6192 0 -1 4202560 54553 0 1 0 76 5 0 0 15 0 22 0 830822933 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10023] ppid=10018 vsize=10619000 CPUtime=0.58 cores=1,3,5,7 /proc/10020/task/10023/stat : 10023 (java) S 10018 10020 6192 0 -1 4202560 3896 0 0 0 57 1 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10024] ppid=10018 vsize=10619000 CPUtime=0.57 cores=1,3,5,7 /proc/10020/task/10024/stat : 10024 (java) S 10018 10020 6192 0 -1 4202560 1148 0 0 0 57 0 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10025] ppid=10018 vsize=10619000 CPUtime=0.56 cores=1,3,5,7 /proc/10020/task/10025/stat : 10025 (java) S 10018 10020 6192 0 -1 4202560 2079 0 0 0 56 0 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10026] ppid=10018 vsize=10619000 CPUtime=0.55 cores=1,3,5,7 /proc/10020/task/10026/stat : 10026 (java) S 10018 10020 6192 0 -1 4202560 3745 0 0 0 55 0 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10027] ppid=10018 vsize=10619000 CPUtime=0.57 cores=1,3,5,7 /proc/10020/task/10027/stat : 10027 (java) S 10018 10020 6192 0 -1 4202560 1953 0 0 0 57 0 0 0 16 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10029] ppid=10018 vsize=10619000 CPUtime=0.54 cores=1,3,5,7 /proc/10020/task/10029/stat : 10029 (java) S 10018 10020 6192 0 -1 4202560 3061 0 0 0 53 1 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10030] ppid=10018 vsize=10619000 CPUtime=0.61 cores=1,3,5,7 /proc/10020/task/10030/stat : 10030 (java) S 10018 10020 6192 0 -1 4202560 3326 0 0 0 61 0 0 0 16 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10031] ppid=10018 vsize=10619000 CPUtime=0.6 cores=1,3,5,7 /proc/10020/task/10031/stat : 10031 (java) S 10018 10020 6192 0 -1 4202560 2046 0 0 0 59 1 0 0 15 0 22 0 830822934 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10032] ppid=10018 vsize=10619000 CPUtime=70.33 cores=1,3,5,7 /proc/10020/task/10032/stat : 10032 (java) S 10018 10020 6192 0 -1 4202560 38329 0 0 0 7026 7 0 0 15 0 22 0 830822935 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 0 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10033] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10033/stat : 10033 (java) S 10018 10020 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10035] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10035/stat : 10035 (java) S 10018 10020 6192 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830822936 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 7 0 0 0 [pid=10020/tid=10036] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10036/stat : 10036 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676631985 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10037] ppid=10018 vsize=10619000 CPUtime=1.23 cores=1,3,5,7 /proc/10020/task/10037/stat : 10037 (java) S 10018 10020 6192 0 -1 4202560 9351 0 0 0 122 1 0 0 15 0 22 0 830822938 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10038] ppid=10018 vsize=10619000 CPUtime=1.04 cores=1,3,5,7 /proc/10020/task/10038/stat : 10038 (java) S 10018 10020 6192 0 -1 4202560 4977 0 0 0 104 0 0 0 15 0 22 0 830822938 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10039] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10039/stat : 10039 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830822938 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624281 0 4 0 16800975 18446604456893171776 0 0 -1 5 0 0 0 [pid=10020/tid=10040] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10040/stat : 10040 (java) S 10018 10020 6192 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830822938 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 3 0 0 0 [pid=10020/tid=10051] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10051/stat : 10051 (java) S 10018 10020 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830823012 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 [pid=10020/tid=10127] ppid=10018 vsize=10619000 CPUtime=846.4 cores=1,3,5,7 /proc/10020/task/10127/stat : 10127 (java) R 10018 10020 6192 0 -1 4202560 1175 0 0 0 84639 1 0 0 25 0 22 0 830824635 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912505842960 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10020/tid=10128] ppid=10018 vsize=10619000 CPUtime=846.39 cores=1,3,5,7 /proc/10020/task/10128/stat : 10128 (java) R 10018 10020 6192 0 -1 4202560 442520 0 0 0 84593 46 0 0 25 0 22 0 830824635 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 46912506248136 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10020/tid=10129] ppid=10018 vsize=10619000 CPUtime=0 cores=1,3,5,7 /proc/10020/task/10129/stat : 10129 (java) S 10018 10020 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830824635 10873856000 914561 33554432000 1073741824 1073778376 140734248907680 18446744073709551615 274676624896 0 4 0 16800975 18446604456893171776 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 10619000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+935.223 s] /proc/loadavg: 2.98 3.00 3.22 4/476 10165 /proc/meminfo: memFree=5025584/32951132 swapFree=67093840/67111528 [pid=10020] ppid=10018 vsize=0 CPUtime=1800.23 cores=1,3,5,7 /proc/10020/stat : 10020 (java) Z 10018 10020 6192 0 -1 4203548 921897 0 1 0 179908 115 0 0 17 0 2 0 830822932 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10020/statm: 0 0 0 0 0 0 0 [pid=10020/tid=10128] ppid=10018 vsize=0 CPUtime=846.47 cores=1,3,5,7 /proc/10020/task/10128/stat : 10128 (java) R 10018 10020 6192 0 -1 4203588 442520 0 0 0 84595 52 0 0 25 0 2 0 830824635 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 935.295 CPU time (s): 1800.31 CPU user time (s): 1799.08 CPU system time (s): 1.22681 CPU usage (%): 192.486 Max. virtual memory (cumulated for all children) (KiB): 10619000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.22681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 921897 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= 33744 involuntary context switches= 32829 runsolver used 4.12737 second user time and 9.56055 second system time The end
Begin job on node131 at 2011-06-04 14:57:13 IDJOB=3454388 IDBENCH=2888 IDSOLVER=1950 FILE ID=node131/3454388-1307192233 RUNJOBID= node131-1307192233-9982 PBS_JOBID= 13508857 Free space on /tmp= 73908 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454388-1307192233/watcher-3454388-1307192233 -o /tmp/evaluation-result-3454388-1307192233/solver-3454388-1307192233 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454388-1307192233.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED=860313301 node131.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 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.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.75 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 12441396 kB Buffers: 353272 kB Cached: 5683424 kB SwapCached: 948 kB Active: 16022028 kB Inactive: 4168044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12441396 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 14152152 kB Mapped: 44300 kB Slab: 198332 kB PageTables: 55660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 105673248 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73900 MiB End job on node131 at 2011-06-04 15:12:50