Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 4020 | 1800.18 | 1797.49 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.77673 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.1.v20110525 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.18-164.el5 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 12995394264 0.08/0.10 c Max memory 13063553024 0.08/0.10 c Total memory 13063553024 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3458715-1307142627.opb 0.08/0.13 c reading problem ... 0.26/0.29 c ... done. Wall clock time 0.168s. 0.26/0.29 c #vars 2756 0.26/0.29 c #constraints 764 0.26/0.29 c constraints type 0.26/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 0.26/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 0.26/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 397 0.79/0.42 c SATISFIABLE 0.79/0.42 c OPTIMIZING... 0.79/0.42 c Got one! Elapsed wall clock time (in seconds):0.295 0.79/0.42 o 4236 0.79/0.44 c Got one! Elapsed wall clock time (in seconds):0.318 0.79/0.44 o 4162 0.79/0.46 c Got one! Elapsed wall clock time (in seconds):0.339 0.79/0.46 o 4161 2.32/1.75 c cleaning 2522 clauses out of 5055 with flag 5001/5055 4.78/4.11 c cleaning 4267 clauses out of 8533 with flag 11001/11055 8.19/7.53 c cleaning 5627 clauses out of 11265 with flag 18000/18054 12.30/11.64 c cleaning 6807 clauses out of 13639 with flag 26001/26055 15.17/14.48 c Got one! Elapsed wall clock time (in seconds):14.352 15.17/14.48 o 4160 16.57/15.81 c cleaning 8947 clauses out of 17894 with flag 5000/37117 18.40/17.62 c cleaning 7474 clauses out of 14947 with flag 11000/43117 20.78/20.09 c cleaning 7234 clauses out of 14473 with flag 18000/50117 23.48/22.71 c cleaning 7615 clauses out of 15239 with flag 26000/58117 26.99/26.23 c cleaning 8302 clauses out of 16624 with flag 35000/67117 31.19/30.46 c cleaning 9162 clauses out of 18323 with flag 45001/77118 36.11/35.36 c cleaning 9563 clauses out of 19161 with flag 55001/87118 40.70/39.90 c cleaning 9780 clauses out of 19598 with flag 65001/97118 45.11/44.31 c cleaning 9897 clauses out of 19818 with flag 75001/107118 49.41/48.65 c Got one! Elapsed wall clock time (in seconds):48.526 49.41/48.65 o 4152 51.03/50.30 c cleaning 12368 clauses out of 24746 with flag 5000/121943 52.83/52.00 c cleaning 9183 clauses out of 18379 with flag 11001/127944 54.63/53.87 c cleaning 8093 clauses out of 16196 with flag 18001/134944 56.74/55.99 c cleaning 8046 clauses out of 16103 with flag 26001/142944 59.34/58.57 c cleaning 8524 clauses out of 17057 with flag 35001/151944 62.46/61.62 c cleaning 9263 clauses out of 18532 with flag 45000/161943 66.44/65.60 c cleaning 9630 clauses out of 19270 with flag 55001/171944 69.25/68.44 c cleaning 9818 clauses out of 19640 with flag 65001/181944 72.65/71.84 c cleaning 9900 clauses out of 19821 with flag 75000/191943 75.77/74.98 c cleaning 9956 clauses out of 19921 with flag 85000/201943 79.25/78.49 c Got one! Elapsed wall clock time (in seconds):78.363 79.25/78.49 o 4150 80.28/79.40 c cleaning 11971 clauses out of 23985 with flag 5002/215963 81.38/80.55 c cleaning 8982 clauses out of 18012 with flag 11000/221961 82.69/81.80 c cleaning 7997 clauses out of 16031 with flag 18001/228962 85.83/84.91 c cleaning 8008 clauses out of 16033 with flag 26000/236961 89.94/88.82 c cleaning 8509 clauses out of 17026 with flag 35001/245962 94.37/92.97 c cleaning 9252 clauses out of 18517 with flag 45001/255962 98.97/97.55 c cleaning 9626 clauses out of 19264 with flag 55000/265961 105.58/104.10 c cleaning 9813 clauses out of 19638 with flag 65000/275961 111.68/110.26 c cleaning 9910 clauses out of 19825 with flag 75000/285961 112.18/110.73 c Got one! Elapsed wall clock time (in seconds):110.608 112.18/110.73 o 4149 112.99/111.59 c cleaning 7914 clauses out of 15879 with flag 5000/291925 114.09/112.64 c cleaning 6959 clauses out of 13966 with flag 11001/297926 116.50/115.07 c cleaning 7003 clauses out of 14010 with flag 18004/304929 119.90/118.44 c cleaning 7498 clauses out of 15005 with flag 26002/312927 123.80/122.33 c cleaning 8245 clauses out of 16505 with flag 35000/321925 129.12/127.69 c cleaning 9126 clauses out of 18261 with flag 45001/331926 134.41/132.99 c cleaning 9563 clauses out of 19134 with flag 55000/341925 140.62/139.16 c cleaning 9785 clauses out of 19571 with flag 65000/351925 147.22/145.78 c cleaning 9892 clauses out of 19786 with flag 75000/361925 153.35/151.91 c cleaning 9945 clauses out of 19894 with flag 85000/371925 158.14/156.69 c cleaning 9964 clauses out of 19949 with flag 95000/381925 162.84/161.39 c cleaning 9967 clauses out of 19985 with flag 105000/391925 163.84/162.36 c Got one! Elapsed wall clock time (in seconds):162.237 163.84/162.36 o 4148 164.36/162.90 c cleaning 7854 clauses out of 15718 with flag 2000/397625 167.14/165.67 c cleaning 6927 clauses out of 13865 with flag 8001/403626 169.75/168.22 c cleaning 6950 clauses out of 13937 with flag 15000/410625 173.45/171.97 c cleaning 7482 clauses out of 14987 with flag 23000/418625 177.95/176.41 c cleaning 8242 clauses out of 16505 with flag 32000/427625 181.97/180.50 c cleaning 9119 clauses out of 18263 with flag 42000/437625 186.05/184.51 c cleaning 9553 clauses out of 19144 with flag 52000/447625 190.15/188.66 c cleaning 9785 clauses out of 19591 with flag 62000/457625 194.36/192.81 c cleaning 9881 clauses out of 19806 with flag 72000/467625 198.86/197.31 c cleaning 9940 clauses out of 19926 with flag 82001/477626 202.88/201.40 c cleaning 9981 clauses out of 19986 with flag 92001/487626 206.76/205.20 c cleaning 9970 clauses out of 20005 with flag 102001/497626 211.27/209.79 c cleaning 9992 clauses out of 20035 with flag 112001/507626 216.37/214.86 c cleaning 10003 clauses out of 20042 with flag 122000/517625 220.27/218.74 c cleaning 10000 clauses out of 20039 with flag 132000/527625 223.97/222.46 c cleaning 10009 clauses out of 20039 with flag 142000/537625 227.67/226.20 c cleaning 9989 clauses out of 20031 with flag 152001/547626 231.28/229.78 c cleaning 10002 clauses out of 20042 with flag 162001/557626 235.08/233.55 c cleaning 9990 clauses out of 20040 with flag 172001/567626 239.10/237.54 c cleaning 9987 clauses out of 20049 with flag 182000/577625 242.90/241.32 c cleaning 10010 clauses out of 20063 with flag 192001/587626 246.60/245.01 c cleaning 10021 clauses out of 20052 with flag 202000/597625 250.81/249.23 c cleaning 10010 clauses out of 20032 with flag 212001/607626 253.71/252.18 c Got one! Elapsed wall clock time (in seconds):252.056 253.71/252.18 o 4147 253.71/252.19 c Got one! Elapsed wall clock time (in seconds):252.066 253.71/252.19 o 4092 254.51/253.00 c cleaning 12037 clauses out of 24121 with flag 5000/621725 255.61/254.10 c cleaning 9018 clauses out of 18085 with flag 11001/627726 257.72/256.17 c cleaning 8025 clauses out of 16066 with flag 18000/634725 260.72/259.14 c cleaning 8009 clauses out of 16041 with flag 26000/642725 263.82/262.20 c cleaning 8514 clauses out of 17033 with flag 35001/651726 268.53/266.97 c cleaning 9250 clauses out of 18518 with flag 45000/661725 274.23/272.69 c cleaning 9630 clauses out of 19268 with flag 55000/671725 279.83/278.20 c cleaning 9812 clauses out of 19639 with flag 65001/681726 285.94/284.35 c cleaning 9901 clauses out of 19826 with flag 75000/691725 291.94/290.35 c cleaning 9954 clauses out of 19925 with flag 85000/701725 297.24/295.62 c cleaning 9971 clauses out of 19972 with flag 95001/711726 303.85/302.25 c cleaning 9987 clauses out of 20001 with flag 105001/721726 306.95/305.33 c cleaning 9990 clauses out of 20014 with flag 115001/731726 309.67/308.11 c cleaning 9996 clauses out of 20023 with flag 125000/741725 312.65/311.04 c cleaning 9998 clauses out of 20027 with flag 135000/751725 315.46/313.88 c cleaning 10001 clauses out of 20030 with flag 145001/761726 317.76/316.14 c cleaning 9990 clauses out of 20028 with flag 155000/771725 318.26/316.69 c Got one! Elapsed wall clock time (in seconds):316.568 318.26/316.69 o 4091 318.36/316.70 c Got one! Elapsed wall clock time (in seconds):316.576 318.36/316.70 o 4028 318.66/317.02 c cleaning 7556 clauses out of 15149 with flag 2000/776836 319.58/318.00 c cleaning 6774 clauses out of 13594 with flag 8001/782837 320.97/319.32 c cleaning 6889 clauses out of 13820 with flag 15001/789837 322.27/320.64 c cleaning 7445 clauses out of 14930 with flag 23000/797836 323.87/322.29 c cleaning 8220 clauses out of 16486 with flag 32001/806837 325.67/324.02 c cleaning 9116 clauses out of 18265 with flag 42000/816836 327.47/325.84 c cleaning 9552 clauses out of 19151 with flag 52002/826838 329.37/327.77 c cleaning 9772 clauses out of 19597 with flag 62000/836836 331.98/330.39 c cleaning 9905 clauses out of 19825 with flag 72000/846836 335.48/333.80 c cleaning 9954 clauses out of 19920 with flag 82000/856836 338.98/337.32 c cleaning 9979 clauses out of 19966 with flag 92000/866836 342.58/340.91 c cleaning 9991 clauses out of 19988 with flag 102001/876837 346.59/344.99 c cleaning 9994 clauses out of 19996 with flag 112000/886836 350.60/348.90 c cleaning 9997 clauses out of 20004 with flag 122002/896838 354.30/352.62 c cleaning 10000 clauses out of 20006 with flag 132001/906837 357.90/356.20 c cleaning 9996 clauses out of 20005 with flag 142000/916836 361.60/359.93 c cleaning 10001 clauses out of 20010 with flag 152001/926837 365.50/363.87 c cleaning 10000 clauses out of 20008 with flag 162000/936836 369.13/367.43 c cleaning 9998 clauses out of 20008 with flag 172000/946836 373.31/371.64 c cleaning 9996 clauses out of 20011 with flag 182001/956837 378.51/376.85 c cleaning 9997 clauses out of 20015 with flag 192001/966837 383.12/381.42 c cleaning 9994 clauses out of 20017 with flag 202000/976836 383.92/382.25 c Got one! Elapsed wall clock time (in seconds):382.121 383.92/382.25 o 4027 384.42/382.73 c cleaning 7742 clauses out of 15514 with flag 3001/982327 385.42/383.72 c cleaning 6860 clauses out of 13771 with flag 9000/988326 386.52/384.82 c cleaning 6941 clauses out of 13911 with flag 16000/995326 388.13/386.42 c cleaning 7480 clauses out of 14974 with flag 24004/1003330 392.13/390.40 c cleaning 8237 clauses out of 16491 with flag 33001/1012327 397.03/395.30 c cleaning 9123 clauses out of 18253 with flag 43000/1022326 401.83/400.11 c cleaning 9547 clauses out of 19130 with flag 53000/1032326 405.14/403.48 c cleaning 9763 clauses out of 19583 with flag 63000/1042326 408.76/407.03 c cleaning 9869 clauses out of 19821 with flag 73001/1052327 411.64/409.91 c cleaning 9930 clauses out of 19952 with flag 83001/1062327 414.64/412.96 c cleaning 10004 clauses out of 20021 with flag 93000/1072326 418.14/416.44 c cleaning 9992 clauses out of 20018 with flag 103001/1082327 418.77/417.04 c Got one! Elapsed wall clock time (in seconds):416.918 418.77/417.04 o 4026 419.25/417.57 c cleaning 7558 clauses out of 15156 with flag 3001/1087457 420.25/418.59 c cleaning 6777 clauses out of 13598 with flag 9001/1093457 421.45/419.78 c cleaning 6890 clauses out of 13820 with flag 16000/1100456 422.85/421.17 c cleaning 7449 clauses out of 14931 with flag 24001/1108457 424.55/422.81 c cleaning 8226 clauses out of 16482 with flag 33001/1117457 426.48/424.72 c cleaning 9109 clauses out of 18256 with flag 43001/1127457 428.36/426.68 c cleaning 9549 clauses out of 19146 with flag 53000/1137456 430.35/428.67 c cleaning 9780 clauses out of 19598 with flag 63001/1147457 434.08/432.37 c cleaning 9903 clauses out of 19818 with flag 73001/1157457 439.06/437.33 c cleaning 9955 clauses out of 19914 with flag 83000/1167456 443.66/441.90 c cleaning 9975 clauses out of 19959 with flag 93000/1177456 448.67/446.96 c cleaning 9988 clauses out of 19984 with flag 103000/1187456 453.48/451.73 c cleaning 9991 clauses out of 19996 with flag 113000/1197456 458.18/456.44 c cleaning 10001 clauses out of 20006 with flag 123001/1207457 462.89/461.14 c cleaning 10000 clauses out of 20005 with flag 133001/1217457 467.69/465.91 c cleaning 9995 clauses out of 20005 with flag 143001/1227457 472.40/470.61 c cleaning 10000 clauses out of 20010 with flag 153001/1237457 477.20/475.44 c cleaning 10004 clauses out of 20013 with flag 163004/1247460 482.52/480.81 c cleaning 9994 clauses out of 20005 with flag 173000/1257456 488.13/486.34 c cleaning 9996 clauses out of 20011 with flag 183000/1267456 493.52/491.72 c cleaning 10001 clauses out of 20015 with flag 193000/1277456 498.71/496.94 c cleaning 10000 clauses out of 20015 with flag 203001/1287457 504.21/502.41 c cleaning 9998 clauses out of 20014 with flag 213000/1297456 509.41/507.61 c cleaning 10001 clauses out of 20017 with flag 223001/1307457 514.71/512.94 c cleaning 10004 clauses out of 20015 with flag 233000/1317456 519.94/518.18 c cleaning 10002 clauses out of 20011 with flag 243000/1327456 525.12/523.37 c cleaning 9995 clauses out of 20009 with flag 253000/1337456 530.32/528.53 c cleaning 9999 clauses out of 20014 with flag 263000/1347456 535.44/533.66 c cleaning 10001 clauses out of 20016 with flag 273001/1357457 540.63/538.81 c cleaning 9999 clauses out of 20014 with flag 283000/1367456 545.63/543.88 c cleaning 10002 clauses out of 20015 with flag 293000/1377456 551.03/549.22 c cleaning 9999 clauses out of 20013 with flag 303000/1387456 555.93/554.10 c cleaning 10005 clauses out of 20015 with flag 313001/1397457 556.74/554.94 c Got one! Elapsed wall clock time (in seconds):554.81 556.74/554.94 o 4025 557.46/555.69 c cleaning 7614 clauses out of 15236 with flag 3000/1402683 559.66/557.87 c cleaning 6803 clauses out of 13623 with flag 9001/1408684 560.85/559.04 c cleaning 6895 clauses out of 13820 with flag 16001/1415684 562.55/560.70 c Got one! Elapsed wall clock time (in seconds):560.574 562.55/560.70 o 4024 563.55/561.78 c cleaning 9545 clauses out of 19118 with flag 5001/1427877 564.75/562.98 c cleaning 7772 clauses out of 15572 with flag 11000/1433876 566.75/564.96 c cleaning 7395 clauses out of 14800 with flag 18000/1440876 569.66/567.87 c cleaning 7695 clauses out of 15405 with flag 26000/1448876 573.16/571.37 c cleaning 8356 clauses out of 16711 with flag 35001/1457877 576.26/574.43 c cleaning 9174 clauses out of 18355 with flag 45001/1467877 579.57/577.75 c cleaning 9584 clauses out of 19180 with flag 55000/1477876 582.57/580.81 c cleaning 9799 clauses out of 19597 with flag 65001/1487877 586.67/584.80 c cleaning 9885 clauses out of 19797 with flag 75000/1497876 590.77/589.00 c cleaning 9939 clauses out of 19913 with flag 85001/1507877 595.08/593.27 c cleaning 9979 clauses out of 19974 with flag 95001/1517877 599.20/597.35 c cleaning 9985 clauses out of 19994 with flag 105000/1527876 604.29/602.45 c cleaning 9996 clauses out of 20009 with flag 115000/1537876 610.21/608.40 c cleaning 9997 clauses out of 20013 with flag 125000/1547876 615.99/614.12 c cleaning 10002 clauses out of 20017 with flag 135001/1557877 621.79/619.90 c cleaning 9997 clauses out of 20014 with flag 145000/1567876 627.49/625.61 c cleaning 9994 clauses out of 20017 with flag 155000/1577876 633.19/631.35 c cleaning 10002 clauses out of 20024 with flag 165001/1587877 637.82/635.94 c cleaning 9999 clauses out of 20021 with flag 175000/1597876 639.92/638.04 c cleaning 9996 clauses out of 20023 with flag 185001/1607877 642.00/640.21 c cleaning 9994 clauses out of 20026 with flag 195000/1617876 644.20/642.39 c cleaning 9995 clauses out of 20033 with flag 205001/1627877 646.71/644.84 c cleaning 9998 clauses out of 20037 with flag 215000/1637876 649.01/647.12 c cleaning 10004 clauses out of 20040 with flag 225001/1647877 651.21/649.33 c cleaning 9989 clauses out of 20035 with flag 235000/1657876 653.41/651.56 c cleaning 10009 clauses out of 20047 with flag 245001/1667877 655.81/653.93 c cleaning 10002 clauses out of 20038 with flag 255001/1677877 658.11/656.22 c cleaning 9997 clauses out of 20035 with flag 265000/1687876 659.22/657.34 c Got one! Elapsed wall clock time (in seconds):657.216 659.22/657.34 o 4023 659.42/657.50 c cleaning 7949 clauses out of 15922 with flag 1001/1693760 660.42/658.50 c cleaning 6959 clauses out of 13972 with flag 7000/1699759 661.52/659.60 c cleaning 6988 clauses out of 14013 with flag 14000/1706759 662.92/661.10 c cleaning 7494 clauses out of 15025 with flag 22000/1714759 664.44/662.57 c cleaning 8250 clauses out of 16531 with flag 31000/1723759 666.64/664.73 c cleaning 9123 clauses out of 18281 with flag 41000/1733759 668.94/667.00 c cleaning 9553 clauses out of 19159 with flag 51001/1743760 670.77/668.92 c cleaning 9777 clauses out of 19606 with flag 61001/1753760 672.84/670.95 c cleaning 9897 clauses out of 19828 with flag 71000/1763759 675.55/673.64 c cleaning 9951 clauses out of 19931 with flag 81000/1773759 677.37/675.49 c cleaning 9973 clauses out of 19981 with flag 91001/1783760 679.26/677.34 c cleaning 9989 clauses out of 20008 with flag 101001/1793760 681.47/679.57 c cleaning 9985 clauses out of 20018 with flag 111000/1803759 683.77/681.83 c cleaning 9996 clauses out of 20033 with flag 121000/1813759 685.97/684.06 c cleaning 9999 clauses out of 20038 with flag 131001/1823760 688.17/686.26 c cleaning 10004 clauses out of 20038 with flag 141000/1833759 690.47/688.52 c cleaning 10005 clauses out of 20034 with flag 151000/1843759 693.68/691.71 c cleaning 10007 clauses out of 20029 with flag 161000/1853759 696.48/694.57 c cleaning 10001 clauses out of 20023 with flag 171001/1863760 699.41/697.43 c cleaning 9998 clauses out of 20022 with flag 181001/1873760 702.40/700.45 c cleaning 10000 clauses out of 20023 with flag 191000/1883759 705.50/703.55 c cleaning 10003 clauses out of 20023 with flag 201000/1893759 708.71/706.76 c cleaning 10000 clauses out of 20023 with flag 211003/1903762 711.82/709.85 c cleaning 10001 clauses out of 20022 with flag 221002/1913761 714.94/712.95 c cleaning 9997 clauses out of 20019 with flag 231000/1923759 718.02/716.09 c cleaning 10003 clauses out of 20023 with flag 241001/1933760 721.23/719.27 c cleaning 9999 clauses out of 20019 with flag 251000/1943759 724.63/722.65 c cleaning 9998 clauses out of 20020 with flag 261000/1953759 727.94/726.02 c cleaning 9999 clauses out of 20023 with flag 271001/1963760 731.24/729.28 c cleaning 9998 clauses out of 20024 with flag 281001/1973760 734.45/732.45 c cleaning 10003 clauses out of 20025 with flag 291000/1983759 737.75/735.73 c cleaning 10000 clauses out of 20024 with flag 301002/1993761 741.05/739.07 c cleaning 10002 clauses out of 20023 with flag 311001/2003760 744.45/742.48 c cleaning 9997 clauses out of 20020 with flag 321000/2013759 747.75/745.79 c cleaning 9998 clauses out of 20023 with flag 331000/2023759 751.05/749.10 c cleaning 10001 clauses out of 20025 with flag 341000/2033759 754.49/752.43 c cleaning 10001 clauses out of 20024 with flag 351000/2043759 757.79/755.73 c cleaning 10000 clauses out of 20023 with flag 361000/2053759 760.67/758.64 c Got one! Elapsed wall clock time (in seconds):758.51 760.67/758.64 o 4022 761.77/759.70 c cleaning 12059 clauses out of 24122 with flag 5001/2067858 763.18/761.21 c cleaning 9029 clauses out of 18065 with flag 11003/2073860 765.09/763.00 c cleaning 8011 clauses out of 16034 with flag 18001/2080858 767.09/765.04 c cleaning 8006 clauses out of 16022 with flag 26000/2088857 769.92/767.87 c cleaning 8505 clauses out of 17017 with flag 35001/2097858 773.32/771.28 c cleaning 9250 clauses out of 18511 with flag 45000/2107857 775.43/773.38 c cleaning 9610 clauses out of 19261 with flag 55000/2117857 777.62/775.55 c cleaning 9823 clauses out of 19653 with flag 65002/2127859 780.11/778.03 c cleaning 9910 clauses out of 19831 with flag 75003/2137860 782.41/780.33 c cleaning 9953 clauses out of 19918 with flag 85000/2147857 785.11/783.06 c cleaning 9966 clauses out of 19966 with flag 95001/2157858 788.52/786.48 c cleaning 9981 clauses out of 19999 with flag 105000/2167857 791.82/789.77 c cleaning 9997 clauses out of 20018 with flag 115000/2177857 795.02/792.93 c cleaning 9997 clauses out of 20021 with flag 125000/2187857 798.73/796.64 c cleaning 9992 clauses out of 20024 with flag 135000/2197857 802.34/800.27 c cleaning 10005 clauses out of 20033 with flag 145001/2207858 806.44/804.31 c cleaning 10002 clauses out of 20028 with flag 155001/2217858 808.04/805.90 c Got one! Elapsed wall clock time (in seconds):805.777 808.04/805.90 o 4021 808.34/806.25 c cleaning 7601 clauses out of 15240 with flag 2000/2223072 809.35/807.29 c cleaning 6797 clauses out of 13639 with flag 8000/2229072 810.78/808.65 c cleaning 6904 clauses out of 13843 with flag 15001/2236073 812.16/810.04 c cleaning 7451 clauses out of 14938 with flag 23000/2244072 813.86/811.73 c cleaning 8227 clauses out of 16488 with flag 32001/2253073 815.76/813.61 c cleaning 9118 clauses out of 18261 with flag 42001/2263073 817.46/815.39 c cleaning 9556 clauses out of 19143 with flag 52001/2273073 819.36/817.22 c cleaning 9783 clauses out of 19586 with flag 62000/2283072 821.37/819.20 c cleaning 9899 clauses out of 19804 with flag 72001/2293073 823.67/821.57 c cleaning 9952 clauses out of 19904 with flag 82000/2303072 825.87/823.76 c cleaning 9976 clauses out of 19952 with flag 92000/2313072 828.47/826.36 c cleaning 9985 clauses out of 19976 with flag 102000/2323072 831.48/829.41 c cleaning 9993 clauses out of 19991 with flag 112000/2333072 834.49/832.30 c cleaning 9993 clauses out of 19999 with flag 122001/2343073 838.21/836.11 c cleaning 10000 clauses out of 20006 with flag 132001/2353073 841.51/839.35 c cleaning 9998 clauses out of 20005 with flag 142000/2363072 845.30/843.16 c cleaning 9999 clauses out of 20008 with flag 152001/2373073 849.60/847.42 c cleaning 10000 clauses out of 20009 with flag 162001/2383073 852.90/850.73 c cleaning 9997 clauses out of 20008 with flag 172000/2393072 856.00/853.84 c cleaning 9998 clauses out of 20011 with flag 182000/2403072 858.91/856.70 c cleaning 10000 clauses out of 20013 with flag 192000/2413072 862.43/860.23 c cleaning 10001 clauses out of 20014 with flag 202001/2423073 865.62/863.47 c cleaning 9999 clauses out of 20013 with flag 212001/2433073 869.52/867.33 c cleaning 9999 clauses out of 20014 with flag 222001/2443073 873.02/870.86 c cleaning 10000 clauses out of 20014 with flag 232000/2453072 876.74/874.54 c cleaning 9999 clauses out of 20015 with flag 242001/2463073 880.04/877.88 c cleaning 10001 clauses out of 20016 with flag 252001/2473073 883.53/881.35 c cleaning 10003 clauses out of 20015 with flag 262001/2483073 887.03/884.82 c cleaning 9998 clauses out of 20011 with flag 272000/2493072 890.93/888.80 c cleaning 10003 clauses out of 20014 with flag 282001/2503073 896.36/894.11 c cleaning 9999 clauses out of 20011 with flag 292001/2513073 901.46/899.27 c cleaning 9999 clauses out of 20012 with flag 302001/2523073 906.58/904.35 c cleaning 10006 clauses out of 20012 with flag 312000/2533072 911.76/909.52 c cleaning 10001 clauses out of 20009 with flag 322003/2543075 917.07/914.82 c cleaning 9993 clauses out of 20005 with flag 332000/2553072 922.28/920.06 c cleaning 9997 clauses out of 20014 with flag 342002/2563074 927.68/925.42 c cleaning 10000 clauses out of 20015 with flag 352000/2573072 933.08/930.87 c cleaning 9999 clauses out of 20016 with flag 362001/2583073 938.68/936.41 c cleaning 10001 clauses out of 20016 with flag 372000/2593072 944.18/941.99 c cleaning 9996 clauses out of 20016 with flag 382001/2603073 949.68/947.45 c cleaning 10003 clauses out of 20020 with flag 392001/2613073 955.28/953.07 c cleaning 9999 clauses out of 20020 with flag 402004/2623076 961.08/958.81 c cleaning 10000 clauses out of 20019 with flag 412002/2633074 966.68/964.41 c cleaning 9998 clauses out of 20017 with flag 422000/2643072 972.38/970.16 c cleaning 10005 clauses out of 20021 with flag 432002/2653074 978.11/975.83 c cleaning 9999 clauses out of 20014 with flag 442000/2663072 983.69/981.46 c cleaning 10002 clauses out of 20019 with flag 452004/2673076 989.39/987.13 c cleaning 9993 clauses out of 20013 with flag 462000/2683072 995.09/992.81 c cleaning 10002 clauses out of 20021 with flag 472001/2693073 1000.59/998.36 c cleaning 9999 clauses out of 20018 with flag 482000/2703072 1006.39/1004.12 c cleaning 10003 clauses out of 20022 with flag 492003/2713075 1012.11/1009.85 c cleaning 10001 clauses out of 20017 with flag 502001/2723073 1017.79/1015.55 c cleaning 9999 clauses out of 20016 with flag 512001/2733073 1023.30/1021.07 c cleaning 10001 clauses out of 20020 with flag 522004/2743076 1028.80/1026.50 c cleaning 10003 clauses out of 20018 with flag 532003/2753075 1033.80/1031.51 c cleaning 9994 clauses out of 20012 with flag 542000/2763072 1038.21/1035.96 c cleaning 9998 clauses out of 20018 with flag 552000/2773072 1042.94/1040.66 c cleaning 10001 clauses out of 20021 with flag 562001/2783073 1047.52/1045.27 c cleaning 10000 clauses out of 20019 with flag 572000/2793072 1053.52/1051.28 c cleaning 10002 clauses out of 20023 with flag 582004/2803076 1058.03/1055.73 c cleaning 10000 clauses out of 20017 with flag 592000/2813072 1062.85/1060.52 c cleaning 10004 clauses out of 20019 with flag 602002/2823074 1066.93/1064.66 c cleaning 10001 clauses out of 20013 with flag 612000/2833072 1071.55/1069.26 c cleaning 9990 clauses out of 20013 with flag 622001/2843073 1076.43/1074.12 c cleaning 9998 clauses out of 20022 with flag 632000/2853072 1081.24/1078.96 c cleaning 9999 clauses out of 20024 with flag 642000/2863072 1086.04/1083.75 c cleaning 10010 clauses out of 20025 with flag 652000/2873072 1090.64/1088.30 c cleaning 10001 clauses out of 20018 with flag 662003/2883075 1094.94/1092.67 c cleaning 10000 clauses out of 20017 with flag 672003/2893075 1099.24/1096.97 c cleaning 9995 clauses out of 20014 with flag 682000/2903072 1103.74/1101.45 c cleaning 9997 clauses out of 20022 with flag 692003/2913075 1108.24/1105.99 c cleaning 10000 clauses out of 20023 with flag 702001/2923073 1112.84/1110.56 c cleaning 10003 clauses out of 20022 with flag 712000/2933072 1118.54/1116.20 c cleaning 10002 clauses out of 20024 with flag 722005/2943077 1122.45/1120.16 c cleaning 9998 clauses out of 20017 with flag 732000/2953072 1126.95/1124.67 c cleaning 9999 clauses out of 20019 with flag 742000/2963072 1131.95/1129.63 c cleaning 10005 clauses out of 20022 with flag 752002/2973074 1136.15/1133.85 c cleaning 9998 clauses out of 20015 with flag 762000/2983072 1141.46/1139.16 c cleaning 10003 clauses out of 20020 with flag 772003/2993075 1146.16/1143.85 c cleaning 9996 clauses out of 20015 with flag 782001/3003073 1150.66/1148.35 c cleaning 9994 clauses out of 20018 with flag 792000/3013072 1155.28/1152.94 c cleaning 10004 clauses out of 20025 with flag 802001/3023073 1159.69/1157.35 c cleaning 10000 clauses out of 20020 with flag 812000/3033072 1164.27/1161.98 c cleaning 9999 clauses out of 20020 with flag 822000/3043072 1168.57/1166.29 c cleaning 10001 clauses out of 20021 with flag 832000/3053072 1173.37/1171.06 c cleaning 10001 clauses out of 20022 with flag 842002/3063074 1178.07/1175.73 c cleaning 9998 clauses out of 20020 with flag 852001/3073073 1182.27/1179.93 c cleaning 10002 clauses out of 20022 with flag 862001/3083073 1186.57/1184.29 c cleaning 10006 clauses out of 20019 with flag 872000/3093072 1190.88/1188.55 c cleaning 10005 clauses out of 20013 with flag 882000/3103072 1192.28/1189.99 c Got one! Elapsed wall clock time (in seconds):1189.865 1192.28/1189.99 o 4020 1192.73/1190.35 c cleaning 7953 clauses out of 15950 with flag 2000/3109014 1193.73/1191.35 c cleaning 6973 clauses out of 13997 with flag 8000/3115014 1195.93/1193.53 c cleaning 7008 clauses out of 14025 with flag 15001/3122015 1198.42/1196.02 c cleaning 7508 clauses out of 15016 with flag 23000/3130014 1199.82/1197.44 c cleaning 8254 clauses out of 16508 with flag 32000/3139014 1201.82/1199.40 c cleaning 9125 clauses out of 18256 with flag 42002/3149016 1207.92/1205.53 c cleaning 9563 clauses out of 19136 with flag 52007/3159021 1215.33/1212.99 c cleaning 9780 clauses out of 19566 with flag 62000/3169014 1221.74/1219.33 c cleaning 9889 clauses out of 19786 with flag 72000/3179014 1225.94/1223.58 c cleaning 9935 clauses out of 19897 with flag 82000/3189014 1232.14/1229.75 c cleaning 9965 clauses out of 19962 with flag 92000/3199014 1238.45/1236.00 c cleaning 9966 clauses out of 19998 with flag 102001/3209015 1244.47/1242.04 c cleaning 10001 clauses out of 20031 with flag 112000/3219014 1250.65/1248.27 c cleaning 10008 clauses out of 20030 with flag 122000/3229014 1257.06/1254.64 c cleaning 9991 clauses out of 20022 with flag 132000/3239014 1263.36/1260.96 c cleaning 9997 clauses out of 20031 with flag 142000/3249014 1269.86/1267.45 c cleaning 10007 clauses out of 20035 with flag 152001/3259015 1276.17/1273.79 c cleaning 9992 clauses out of 20028 with flag 162001/3269015 1282.57/1280.14 c cleaning 10007 clauses out of 20035 with flag 172000/3279014 1288.57/1286.18 c cleaning 9993 clauses out of 20028 with flag 182000/3289014 1294.68/1292.23 c cleaning 9996 clauses out of 20035 with flag 192000/3299014 1300.68/1298.24 c cleaning 9995 clauses out of 20039 with flag 202000/3309014 1306.68/1304.27 c cleaning 10001 clauses out of 20044 with flag 212000/3319014 1312.78/1310.30 c cleaning 9999 clauses out of 20043 with flag 222000/3329014 1318.78/1316.31 c cleaning 10004 clauses out of 20044 with flag 232000/3339014 1324.88/1322.40 c cleaning 10001 clauses out of 20040 with flag 242000/3349014 1330.89/1328.43 c cleaning 10004 clauses out of 20039 with flag 252000/3359014 1336.91/1334.43 c cleaning 9997 clauses out of 20036 with flag 262001/3369015 1342.79/1340.30 c cleaning 10001 clauses out of 20038 with flag 272000/3379014 1348.70/1346.29 c cleaning 10004 clauses out of 20037 with flag 282000/3389014 1354.70/1352.24 c cleaning 10002 clauses out of 20033 with flag 292000/3399014 1360.80/1358.36 c cleaning 9998 clauses out of 20031 with flag 302000/3409014 1366.80/1364.36 c cleaning 10001 clauses out of 20034 with flag 312001/3419015 1372.80/1370.38 c cleaning 9995 clauses out of 20032 with flag 322000/3429014 1378.90/1376.40 c cleaning 9994 clauses out of 20037 with flag 332000/3439014 1384.90/1382.46 c cleaning 9997 clauses out of 20043 with flag 342000/3449014 1391.00/1388.50 c cleaning 10002 clauses out of 20046 with flag 352000/3459014 1397.01/1394.50 c cleaning 9998 clauses out of 20044 with flag 362000/3469014 1402.93/1400.50 c cleaning 10006 clauses out of 20046 with flag 372000/3479014 1409.11/1406.61 c cleaning 10000 clauses out of 20040 with flag 382000/3489014 1415.03/1412.55 c cleaning 10006 clauses out of 20040 with flag 392000/3499014 1421.01/1418.53 c cleaning 10002 clauses out of 20035 with flag 402001/3509015 1427.04/1424.55 c cleaning 10003 clauses out of 20033 with flag 412001/3519015 1432.92/1430.48 c cleaning 9989 clauses out of 20029 with flag 422000/3529014 1439.02/1436.58 c cleaning 10006 clauses out of 20040 with flag 432000/3539014 1445.22/1442.73 c cleaning 10006 clauses out of 20035 with flag 442001/3549015 1451.42/1448.91 c cleaning 9991 clauses out of 20028 with flag 452000/3559014 1457.52/1455.01 c cleaning 9999 clauses out of 20037 with flag 462000/3569014 1463.73/1461.22 c cleaning 10003 clauses out of 20038 with flag 472000/3579014 1469.83/1467.39 c cleaning 9998 clauses out of 20035 with flag 482000/3589014 1476.03/1473.57 c cleaning 10002 clauses out of 20037 with flag 492000/3599014 1482.24/1479.77 c cleaning 9999 clauses out of 20036 with flag 502001/3609015 1488.34/1485.89 c cleaning 10004 clauses out of 20037 with flag 512001/3619015 1494.54/1492.01 c cleaning 10003 clauses out of 20032 with flag 522000/3629014 1500.64/1498.11 c cleaning 10000 clauses out of 20029 with flag 532000/3639014 1506.74/1504.27 c cleaning 9991 clauses out of 20029 with flag 542000/3649014 1512.86/1510.38 c cleaning 10003 clauses out of 20038 with flag 552000/3659014 1518.94/1516.44 c cleaning 9998 clauses out of 20035 with flag 562000/3669014 1525.07/1522.53 c cleaning 9998 clauses out of 20037 with flag 572000/3679014 1530.75/1528.26 c cleaning 10006 clauses out of 20039 with flag 582000/3689014 1536.65/1534.17 c cleaning 9988 clauses out of 20033 with flag 592000/3699014 1542.25/1539.78 c cleaning 10003 clauses out of 20045 with flag 602000/3709014 1547.85/1545.39 c cleaning 10001 clauses out of 20042 with flag 612000/3719014 1553.25/1550.79 c cleaning 9998 clauses out of 20042 with flag 622001/3729015 1558.45/1555.98 c cleaning 9997 clauses out of 20043 with flag 632000/3739014 1563.95/1561.47 c cleaning 9998 clauses out of 20047 with flag 642001/3749015 1569.46/1566.98 c cleaning 10000 clauses out of 20048 with flag 652000/3759014 1575.06/1572.56 c cleaning 10010 clauses out of 20049 with flag 662001/3769015 1580.46/1577.98 c cleaning 10009 clauses out of 20038 with flag 672000/3779014 1585.67/1583.12 c cleaning 9992 clauses out of 20029 with flag 682000/3789014 1590.77/1588.25 c cleaning 9995 clauses out of 20037 with flag 692000/3799014 1596.07/1593.53 c cleaning 10009 clauses out of 20042 with flag 702000/3809014 1601.47/1598.96 c cleaning 9999 clauses out of 20033 with flag 712000/3819014 1606.67/1604.10 c cleaning 10000 clauses out of 20034 with flag 722000/3829014 1611.99/1609.42 c cleaning 9994 clauses out of 20035 with flag 732001/3839015 1616.87/1614.35 c cleaning 9992 clauses out of 20040 with flag 742000/3849014 1621.98/1619.43 c cleaning 10004 clauses out of 20049 with flag 752001/3859015 1626.98/1624.45 c cleaning 10005 clauses out of 20044 with flag 762000/3869014 1631.88/1629.36 c cleaning 9999 clauses out of 20040 with flag 772001/3879015 1636.68/1634.16 c cleaning 10000 clauses out of 20040 with flag 782000/3889014 1641.49/1638.98 c cleaning 10004 clauses out of 20040 with flag 792000/3899014 1646.59/1644.08 c cleaning 10003 clauses out of 20038 with flag 802002/3909016 1651.79/1649.27 c cleaning 10004 clauses out of 20034 with flag 812001/3919015 1656.60/1654.06 c cleaning 9996 clauses out of 20029 with flag 822000/3929014 1661.79/1659.21 c cleaning 9991 clauses out of 20033 with flag 832000/3939014 1666.79/1664.29 c cleaning 9992 clauses out of 20043 with flag 842001/3949015 1672.00/1669.46 c cleaning 10006 clauses out of 20051 with flag 852001/3959015 1677.01/1674.43 c cleaning 9999 clauses out of 20045 with flag 862001/3969015 1682.01/1679.43 c cleaning 10008 clauses out of 20045 with flag 872000/3979014 1687.11/1684.50 c cleaning 10001 clauses out of 20037 with flag 882000/3989014 1692.11/1689.60 c cleaning 9995 clauses out of 20037 with flag 892001/3999015 1697.21/1694.64 c cleaning 10002 clauses out of 20041 with flag 902000/4009014 1702.32/1699.71 c cleaning 10000 clauses out of 20040 with flag 912001/4019015 1707.22/1704.68 c cleaning 10004 clauses out of 20039 with flag 922000/4029014 1712.82/1710.28 c cleaning 9997 clauses out of 20035 with flag 932000/4039014 1718.32/1715.72 c cleaning 9993 clauses out of 20039 with flag 942001/4049015 1723.22/1720.67 c cleaning 10009 clauses out of 20046 with flag 952001/4059015 1728.54/1725.94 c cleaning 9998 clauses out of 20037 with flag 962001/4069015 1733.82/1731.20 c cleaning 10000 clauses out of 20038 with flag 972000/4079014 1738.82/1736.22 c cleaning 10016 clauses out of 20038 with flag 982000/4089014 1743.95/1741.32 c cleaning 10002 clauses out of 20022 with flag 992000/4099014 1749.13/1746.55 c cleaning 9998 clauses out of 20021 with flag 1002001/4109015 1754.03/1751.40 c cleaning 9992 clauses out of 20023 with flag 1012001/4119015 1759.13/1756.53 c cleaning 9996 clauses out of 20030 with flag 1022000/4129014 1764.13/1761.51 c cleaning 9994 clauses out of 20034 with flag 1032000/4139014 1769.03/1766.40 c cleaning 10011 clauses out of 20040 with flag 1042000/4149014 1774.24/1771.63 c cleaning 10002 clauses out of 20029 with flag 1052000/4159014 1779.34/1776.77 c cleaning 9988 clauses out of 20028 with flag 1062001/4169015 1784.54/1781.90 c cleaning 10009 clauses out of 20039 with flag 1072000/4179014 1789.94/1787.32 c cleaning 9998 clauses out of 20030 with flag 1082000/4189014 1795.25/1792.64 c cleaning 9999 clauses out of 20032 with flag 1092000/4199014 1800.09/1797.45 c starts : 273 1800.09/1797.45 c conflicts : 4208083 1800.09/1797.45 c decisions : 4794038 1800.09/1797.45 c propagations : 351334374 1800.09/1797.45 c inspects : 2171614574 1800.09/1797.45 c shortcuts : 0 1800.09/1797.45 c learnt literals : 0 1800.09/1797.45 c learnt binary clauses : 2 1800.09/1797.45 c learnt ternary clauses : 8 1800.09/1797.45 c learnt constraints : 4208083 1800.09/1797.45 c ignored constraints : 0 1800.09/1797.45 c root simplifications : 0 1800.09/1797.45 c removed literals (reason simplification) : 231515623 1800.09/1797.45 c reason swapping (by a shorter reason) : 0 1800.09/1797.45 c Calls to reduceDB : 438 1800.09/1797.45 c number of reductions to clauses (during analyze) : 0 1800.09/1797.45 c number of learned constraints concerned by reduction : 0 1800.09/1797.45 c number of learning phase by resolution : 0 1800.09/1797.45 c number of learning phase by cutting planes : 0 1800.09/1797.45 c speed (assignments/second) : 578371.0941551225 1800.09/1797.45 c non guided choices 11784 1800.09/1797.46 c learnt constraints type 1800.09/1797.46 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 1800.09/1797.46 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19117 1800.09/1797.46 c constraints type 1800.09/1797.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 1800.09/1797.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 1800.09/1797.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 398 1800.09/1797.46 s SATISFIABLE 1800.09/1797.47 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 1800.09/1797.47 c objective function=4020 1800.09/1797.47 c Total wall clock time (in seconds): 1797.342
OK 4020
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-3458715-1307142627/watcher-3458715-1307142627 -o /tmp/evaluation-result-3458715-1307142627/solver-3458715-1307142627 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458715-1307142627.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.08 2.06 2.02 2/590 29424 /proc/meminfo: memFree=31651456/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 7670 0 1 0 0 0 0 0 24 0 2 0 825861489 13850947584 7372 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3381579 7383 917 9 0 3372735 0 [pid=29424/tid=29425] ppid=29422 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 6880 0 1 0 0 0 0 0 25 0 2 0 825861490 13850947584 7697 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.106451 s] /proc/loadavg: 2.08 2.06 2.02 2/590 29424 /proc/meminfo: memFree=31651456/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13621652 CPUtime=0.08 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 15228 0 1 0 7 1 0 0 24 0 18 0 825861489 13948571648 14911 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3405413 14912 2059 9 0 3396147 0 [pid=29424/tid=29425] ppid=29422 vsize=13621652 CPUtime=0.07 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) D 29422 29424 24211 0 -1 4202560 13451 0 1 0 6 1 0 0 25 0 18 0 825861490 13948571648 14912 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46938552896339 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13621652 [startup+0.200227 s] /proc/loadavg: 2.08 2.06 2.02 2/590 29424 /proc/meminfo: memFree=31651456/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13622068 CPUtime=0.26 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 16647 0 1 0 24 2 0 0 24 0 18 0 825861489 13948997632 16125 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3405517 16125 2182 9 0 3396251 0 [pid=29424/tid=29425] ppid=29422 vsize=13622068 CPUtime=0.16 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 14230 0 1 0 15 1 0 0 25 0 18 0 825861490 13948997632 16126 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505543157 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13622068 [startup+0.30021 s] /proc/loadavg: 2.08 2.06 2.02 2/590 29424 /proc/meminfo: memFree=31651456/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13626136 CPUtime=0.5 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 22469 0 1 0 47 3 0 0 24 0 18 0 825861489 13953163264 20625 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3406534 20625 2209 9 0 3397268 0 [pid=29424/tid=29425] ppid=29422 vsize=13626136 CPUtime=0.26 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 16992 0 1 0 25 1 0 0 18 0 18 0 825861490 13953163264 20626 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505576811 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13626136 [startup+0.700136 s] /proc/loadavg: 2.08 2.06 2.02 2/590 29424 /proc/meminfo: memFree=31651456/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13626328 CPUtime=1.32 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 23763 0 1 0 129 3 0 0 24 0 19 0 825861489 13953359872 21656 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3406582 21656 2225 9 0 3397316 0 [pid=29424/tid=29425] ppid=29422 vsize=13626328 CPUtime=0.66 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 17919 0 1 0 65 1 0 0 19 0 19 0 825861490 13953359872 21656 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505685640 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 13626328 [startup+1.50099 s] /proc/loadavg: 2.08 2.06 2.02 3/609 29443 /proc/meminfo: memFree=31569968/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13626328 CPUtime=2.12 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 24741 0 1 0 209 3 0 0 24 0 19 0 825861489 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3406582 22633 2227 9 0 3397316 0 [pid=29424/tid=29425] ppid=29422 vsize=13626328 CPUtime=1.47 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 18894 0 1 0 145 2 0 0 20 0 19 0 825861490 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505756098 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22633 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861492 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825861493 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825861494 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825861494 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13626328 CPUtime=0.29 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 2195 0 0 0 29 0 0 0 24 0 19 0 825861497 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13626328 CPUtime=0.34 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2490 0 0 0 34 0 0 0 23 0 19 0 825861497 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825861497 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13953359872 22634 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 13626328 [startup+3.1007 s] /proc/loadavg: 2.07 2.06 2.02 3/609 29443 /proc/meminfo: memFree=31555956/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13626328 CPUtime=3.75 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 27553 0 1 0 372 3 0 0 24 0 19 0 825861489 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3406582 25440 2253 9 0 3397316 0 [pid=29424/tid=29425] ppid=29422 vsize=13626328 CPUtime=3.05 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 19336 0 1 0 303 2 0 0 25 0 19 0 825861490 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505694830 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 912 0 0 0 0 0 0 0 18 0 19 0 825861492 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13626328 CPUtime=0.01 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 1174 0 0 0 1 0 0 0 15 0 19 0 825861493 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13626328 CPUtime=0.3 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 2201 0 0 0 30 0 0 0 18 0 19 0 825861497 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13626328 CPUtime=0.36 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2497 0 0 0 36 0 0 0 17 0 19 0 825861497 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825861497 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13626328 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13953359872 25440 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 13626328 [startup+6.30114 s] /proc/loadavg: 2.07 2.06 2.02 3/609 29443 /proc/meminfo: memFree=31545392/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13625408 CPUtime=6.99 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 30273 0 1 0 695 4 0 0 24 0 19 0 825861489 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3406352 27956 2253 9 0 3397086 0 [pid=29424/tid=29425] ppid=29422 vsize=13625408 CPUtime=6.23 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 19339 0 1 0 621 2 0 0 25 0 19 0 825861490 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505701926 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 962 0 0 0 0 0 0 0 15 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 543 0 0 0 0 0 0 0 18 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 649 0 0 0 0 0 0 0 18 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 912 0 0 0 0 0 0 0 18 0 19 0 825861492 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13625408 CPUtime=0.02 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 1867 0 0 0 2 0 0 0 15 0 19 0 825861493 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13625408 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13625408 CPUtime=0.31 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 2203 0 0 0 31 0 0 0 15 0 19 0 825861497 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13625408 CPUtime=0.38 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2499 0 0 0 38 0 0 0 15 0 19 0 825861497 13952417792 27956 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=29424/tid=29432] ppid=29422 vsize=13636392 CPUtime=0.24 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 501 0 0 0 24 0 0 0 16 0 19 0 825861492 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13636392 CPUtime=0.26 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 1009 0 0 0 26 0 0 0 15 0 19 0 825861492 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 1564 0 0 0 25 0 0 0 16 0 19 0 825861492 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13636392 CPUtime=9.61 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 6690 0 0 0 958 3 0 0 15 0 19 0 825861493 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13636392 CPUtime=1.01 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 9842 0 0 0 100 1 0 0 15 0 19 0 825861497 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13636392 CPUtime=0.43 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2502 0 0 0 43 0 0 0 15 0 19 0 825861497 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825861497 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13963665408 41195 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1724.92 Current children cumulated vsize (KiB) 13636392 [startup+1782.3 s] /proc/loadavg: 2.06 2.05 2.01 3/609 29539 /proc/meminfo: memFree=31545636/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13636392 CPUtime=1784.94 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 49012 0 1 0 178480 14 0 0 24 0 19 0 825861489 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3409098 41204 2255 9 0 3399832 0 [pid=29424/tid=29425] ppid=29422 vsize=13636392 CPUtime=1771.39 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 19817 0 1 0 177137 2 0 0 25 0 19 0 825861490 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505743361 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 1507 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13636392 CPUtime=0.24 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 989 0 0 0 24 0 0 0 16 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 1532 0 0 0 27 0 0 0 16 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13636392 CPUtime=0.28 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 635 0 0 0 28 0 0 0 15 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1167 0 0 0 25 0 0 0 16 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 503 0 0 0 25 0 0 0 15 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 1011 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 1564 0 0 0 25 0 0 0 15 0 19 0 825861492 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13636392 CPUtime=9.9 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 6692 0 0 0 987 3 0 0 16 0 19 0 825861493 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13636392 CPUtime=1.01 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 9842 0 0 0 100 1 0 0 15 0 19 0 825861497 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13636392 CPUtime=0.43 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2502 0 0 0 43 0 0 0 15 0 19 0 825861497 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825861497 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13963665408 41204 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1784.94 Current children cumulated vsize (KiB) 13636392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.4 s] /proc/loadavg: 2.04 2.05 2.00 4/609 29539 /proc/meminfo: memFree=31545748/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13636392 CPUtime=1800.09 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 49021 0 1 0 179995 14 0 0 24 0 19 0 825861489 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3409098 41207 2255 9 0 3399832 0 [pid=29424/tid=29425] ppid=29422 vsize=13636392 CPUtime=1786.48 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 19819 0 1 0 178646 2 0 0 25 0 19 0 825861490 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505686127 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 1507 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13636392 CPUtime=0.24 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 992 0 0 0 24 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 1532 0 0 0 27 0 0 0 16 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13636392 CPUtime=0.28 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 635 0 0 0 28 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1167 0 0 0 25 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 503 0 0 0 25 0 0 0 16 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 1011 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13636392 CPUtime=0.26 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 1564 0 0 0 26 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13636392 CPUtime=9.94 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 6694 0 0 0 991 3 0 0 15 0 19 0 825861493 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13636392 CPUtime=1.01 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 9842 0 0 0 100 1 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13636392 CPUtime=0.43 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2502 0 0 0 43 0 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13636392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.4 s] /proc/loadavg: 2.04 2.05 2.00 4/609 29539 /proc/meminfo: memFree=31545748/32950928 swapFree=43925852/67111528 [pid=29424] ppid=29422 vsize=13636392 CPUtime=1800.09 cores=1,3,5,7 /proc/29424/stat : 29424 (java) S 29422 29424 24211 0 -1 4202496 49021 0 1 0 179995 14 0 0 24 0 19 0 825861489 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29424/statm: 3409098 41207 2255 9 0 3399832 0 [pid=29424/tid=29425] ppid=29422 vsize=13636392 CPUtime=1786.48 cores=1,3,5,7 /proc/29424/task/29425/stat : 29425 (java) R 29422 29424 24211 0 -1 4202560 19819 0 1 0 178646 2 0 0 25 0 19 0 825861490 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 46912505686127 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29424/tid=29427] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29427/stat : 29427 (java) S 29422 29424 24211 0 -1 4202560 1507 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29428] ppid=29422 vsize=13636392 CPUtime=0.24 cores=1,3,5,7 /proc/29424/task/29428/stat : 29428 (java) S 29422 29424 24211 0 -1 4202560 992 0 0 0 24 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29429] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29429/stat : 29429 (java) S 29422 29424 24211 0 -1 4202560 1532 0 0 0 27 0 0 0 16 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29430] ppid=29422 vsize=13636392 CPUtime=0.28 cores=1,3,5,7 /proc/29424/task/29430/stat : 29430 (java) S 29422 29424 24211 0 -1 4202560 635 0 0 0 28 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29431] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29431/stat : 29431 (java) S 29422 29424 24211 0 -1 4202560 1167 0 0 0 25 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29432] ppid=29422 vsize=13636392 CPUtime=0.25 cores=1,3,5,7 /proc/29424/task/29432/stat : 29432 (java) S 29422 29424 24211 0 -1 4202560 503 0 0 0 25 0 0 0 16 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29433] ppid=29422 vsize=13636392 CPUtime=0.27 cores=1,3,5,7 /proc/29424/task/29433/stat : 29433 (java) S 29422 29424 24211 0 -1 4202560 1011 0 0 0 27 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29434] ppid=29422 vsize=13636392 CPUtime=0.26 cores=1,3,5,7 /proc/29424/task/29434/stat : 29434 (java) S 29422 29424 24211 0 -1 4202560 1564 0 0 0 26 0 0 0 15 0 19 0 825861492 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29435] ppid=29422 vsize=13636392 CPUtime=9.94 cores=1,3,5,7 /proc/29424/task/29435/stat : 29435 (java) S 29422 29424 24211 0 -1 4202560 6694 0 0 0 991 3 0 0 15 0 19 0 825861493 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 0 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29436] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29436/stat : 29436 (java) S 29422 29424 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29437] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29437/stat : 29437 (java) S 29422 29424 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825861494 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29438] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29438/stat : 29438 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284512689 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29439] ppid=29422 vsize=13636392 CPUtime=1.01 cores=1,3,5,7 /proc/29424/task/29439/stat : 29439 (java) S 29422 29424 24211 0 -1 4202560 9842 0 0 0 100 1 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 1 0 0 0 [pid=29424/tid=29440] ppid=29422 vsize=13636392 CPUtime=0.43 cores=1,3,5,7 /proc/29424/task/29440/stat : 29440 (java) S 29422 29424 24211 0 -1 4202560 2502 0 0 0 43 0 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 7 0 0 0 [pid=29424/tid=29441] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29441/stat : 29441 (java) S 29422 29424 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284504985 0 4 0 16800975 18446604461310694528 0 0 -1 5 0 0 0 [pid=29424/tid=29442] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29442/stat : 29442 (java) S 29422 29424 24211 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825861497 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 [pid=29424/tid=29443] ppid=29422 vsize=13636392 CPUtime=0 cores=1,3,5,7 /proc/29424/task/29443/stat : 29443 (java) S 29422 29424 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825861521 13963665408 41207 33554432000 1073741824 1073778376 140737173515744 18446744073709551615 268284505600 0 4 0 16800975 18446604461310694528 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13636392 Child status: 143 Real time (s): 1797.49 CPU time (s): 1800.18 CPU user time (s): 1800.03 CPU system time (s): 0.154976 CPU usage (%): 100.15 Max. virtual memory (cumulated for all children) (KiB): 13646128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.154976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49105 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= 49640 involuntary context switches= 11766 runsolver used 9.91349 second user time and 24.4893 second system time The end
Begin job on node122 at 2011-06-04 01:10:27 IDJOB=3458715 IDBENCH=1871 IDSOLVER=1952 FILE ID=node122/3458715-1307142627 RUNJOBID= node122-1307133514-27531 PBS_JOBID= 13508794 Free space on /tmp= 73808 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458715-1307142627/watcher-3458715-1307142627 -o /tmp/evaluation-result-3458715-1307142627/solver-3458715-1307142627 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458715-1307142627.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=1310760430 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 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.75 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.820 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.820 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31651720 kB Buffers: 305156 kB Cached: 431384 kB SwapCached: 16832 kB Active: 555224 kB Inactive: 429404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31651720 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 396 kB Writeback: 0 kB AnonPages: 245944 kB Mapped: 17552 kB Slab: 149564 kB PageTables: 93676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 194162516 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73804 MiB End job on node122 at 2011-06-04 01:40:26