Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 3484008 | 1800.21 | 1797.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3053568 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3039236 |
Optimality of the best value was proved | NO |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.1.v20110525 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.18-164.el5 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 12995394264 0.01/0.09 c Max memory 13063553024 0.01/0.09 c Total memory 13063553024 0.01/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458952-1307149266.opb 0.10/0.11 c reading problem ... 0.57/0.33 c ... done. Wall clock time 0.201s. 0.57/0.33 c #vars 4464 0.57/0.33 c #constraints 2524 0.57/0.33 c constraints type 0.57/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 192 1.30/0.68 c SATISFIABLE 1.30/0.68 c OPTIMIZING... 1.30/0.68 c Got one! Elapsed wall clock time (in seconds):0.568 1.30/0.68 o 5045130 2.07/1.37 c Got one! Elapsed wall clock time (in seconds):1.255 2.07/1.37 o 5018726 2.28/1.57 c Got one! Elapsed wall clock time (in seconds):1.459 2.28/1.57 o 4543524 2.41/1.65 c Got one! Elapsed wall clock time (in seconds):1.533 2.41/1.65 o 3978743 5.76/4.96 c cleaning 3157 clauses out of 6316 with flag 5000/6316 7.08/6.23 c Got one! Elapsed wall clock time (in seconds):6.117 7.08/6.23 o 3856384 7.08/6.26 c Got one! Elapsed wall clock time (in seconds):6.152 7.08/6.26 o 3484008 9.24/8.35 c cleaning 4356 clauses out of 8718 with flag 4000/11875 12.75/11.83 c cleaning 5167 clauses out of 10362 with flag 10000/17875 17.77/16.86 c cleaning 6084 clauses out of 12195 with flag 17000/24875 22.92/21.94 c cleaning 7047 clauses out of 14112 with flag 25001/32876 28.62/27.62 c cleaning 8022 clauses out of 16067 with flag 34003/41878 35.14/34.12 c cleaning 8999 clauses out of 18042 with flag 44000/51875 40.64/39.63 c cleaning 9508 clauses out of 19043 with flag 54000/61875 47.24/46.24 c cleaning 9750 clauses out of 19535 with flag 64000/71875 52.83/51.82 c cleaning 9874 clauses out of 19786 with flag 74001/81876 58.74/57.70 c cleaning 9942 clauses out of 19912 with flag 84001/91876 64.14/63.11 c cleaning 9974 clauses out of 19969 with flag 94000/101875 69.04/68.09 c cleaning 9987 clauses out of 19995 with flag 104000/111875 74.35/73.38 c cleaning 9979 clauses out of 20008 with flag 114000/121875 81.15/80.20 c cleaning 10003 clauses out of 20031 with flag 124002/131877 86.08/85.01 c cleaning 9997 clauses out of 20026 with flag 134000/141875 90.88/89.87 c cleaning 10002 clauses out of 20030 with flag 144001/151876 97.90/96.82 c cleaning 9999 clauses out of 20028 with flag 154001/161876 106.29/105.21 c cleaning 9989 clauses out of 20028 with flag 164000/171875 112.40/111.33 c cleaning 10008 clauses out of 20040 with flag 174001/181876 118.60/117.50 c cleaning 10000 clauses out of 20031 with flag 184000/191875 124.51/123.40 c cleaning 10000 clauses out of 20031 with flag 194000/201875 129.51/128.41 c cleaning 10007 clauses out of 20031 with flag 204000/211875 135.62/134.57 c cleaning 9999 clauses out of 20028 with flag 214004/221879 140.12/139.06 c cleaning 10003 clauses out of 20025 with flag 224000/231875 144.53/143.46 c cleaning 9998 clauses out of 20023 with flag 234001/241876 149.03/147.91 c cleaning 9989 clauses out of 20026 with flag 244002/251877 153.64/152.52 c cleaning 10006 clauses out of 20037 with flag 254002/261877 159.04/157.96 c cleaning 10006 clauses out of 20029 with flag 264000/271875 164.84/163.81 c cleaning 9982 clauses out of 20024 with flag 274001/281876 170.56/169.47 c cleaning 10007 clauses out of 20041 with flag 284000/291875 176.65/175.57 c cleaning 9995 clauses out of 20035 with flag 294001/301876 182.76/181.65 c cleaning 9990 clauses out of 20039 with flag 304000/311875 188.08/186.99 c cleaning 10017 clauses out of 20050 with flag 314001/321876 193.06/191.90 c cleaning 9974 clauses out of 20032 with flag 324000/331875 197.57/196.48 c cleaning 9985 clauses out of 20059 with flag 334001/341876 203.28/202.10 c cleaning 10013 clauses out of 20075 with flag 344002/351877 208.38/207.25 c cleaning 10012 clauses out of 20060 with flag 354000/361875 215.59/214.42 c cleaning 9999 clauses out of 20048 with flag 364000/371875 223.09/221.98 c cleaning 10000 clauses out of 20049 with flag 374000/381875 229.59/228.46 c cleaning 10016 clauses out of 20052 with flag 384003/391878 235.09/233.93 c cleaning 10002 clauses out of 20034 with flag 394001/401876 240.10/238.93 c cleaning 10006 clauses out of 20033 with flag 404002/411877 245.50/244.37 c cleaning 9990 clauses out of 20026 with flag 414001/421876 252.41/251.21 c cleaning 10003 clauses out of 20035 with flag 424000/431875 259.74/258.52 c cleaning 10004 clauses out of 20033 with flag 434001/441876 266.43/265.28 c cleaning 9996 clauses out of 20029 with flag 444001/451876 271.75/270.55 c cleaning 9987 clauses out of 20032 with flag 454000/461875 276.64/275.40 c cleaning 10005 clauses out of 20045 with flag 464000/471875 281.76/280.59 c cleaning 10007 clauses out of 20043 with flag 474003/481878 287.16/285.93 c cleaning 10010 clauses out of 20034 with flag 484001/491876 292.35/291.14 c cleaning 9995 clauses out of 20026 with flag 494003/501878 297.46/296.27 c cleaning 10004 clauses out of 20030 with flag 504002/511877 303.16/301.94 c cleaning 9986 clauses out of 20026 with flag 514002/521877 308.47/307.22 c cleaning 9997 clauses out of 20038 with flag 524000/531875 313.69/312.42 c cleaning 10009 clauses out of 20041 with flag 534000/541875 318.98/317.77 c cleaning 9999 clauses out of 20033 with flag 544001/551876 324.38/323.15 c cleaning 9998 clauses out of 20034 with flag 554001/561876 329.89/328.61 c cleaning 10007 clauses out of 20037 with flag 564002/571877 335.49/334.30 c cleaning 9999 clauses out of 20030 with flag 574002/581877 340.90/339.61 c cleaning 9995 clauses out of 20029 with flag 584000/591875 346.91/345.63 c cleaning 10000 clauses out of 20034 with flag 594000/601875 353.41/352.14 c cleaning 10003 clauses out of 20034 with flag 604000/611875 360.22/358.93 c cleaning 9998 clauses out of 20033 with flag 614002/621877 366.82/365.57 c cleaning 10009 clauses out of 20033 with flag 624000/631875 374.34/373.05 c cleaning 10000 clauses out of 20024 with flag 634000/641875 379.35/378.04 c cleaning 9983 clauses out of 20024 with flag 644000/651875 384.85/383.55 c cleaning 9980 clauses out of 20042 with flag 654001/661876 388.95/387.63 c cleaning 9985 clauses out of 20061 with flag 664000/671875 393.98/392.63 c cleaning 10028 clauses out of 20080 with flag 674004/681879 398.67/397.33 c cleaning 10006 clauses out of 20049 with flag 684001/691876 403.57/402.25 c cleaning 10003 clauses out of 20043 with flag 694001/701876 409.67/408.35 c cleaning 9997 clauses out of 20039 with flag 704000/711875 415.48/414.18 c cleaning 10000 clauses out of 20043 with flag 714001/721876 420.39/419.08 c cleaning 10003 clauses out of 20042 with flag 724000/731875 425.38/424.02 c cleaning 9999 clauses out of 20039 with flag 734000/741875 430.69/429.36 c cleaning 10005 clauses out of 20041 with flag 744001/751876 435.69/434.38 c cleaning 9986 clauses out of 20035 with flag 754000/761875 441.30/439.99 c cleaning 10002 clauses out of 20049 with flag 764000/771875 446.69/445.33 c cleaning 9992 clauses out of 20048 with flag 774001/781876 452.70/451.31 c cleaning 10012 clauses out of 20056 with flag 784001/791876 459.02/457.63 c cleaning 10004 clauses out of 20044 with flag 794001/801876 465.11/463.74 c cleaning 9994 clauses out of 20041 with flag 804002/811877 470.72/469.39 c cleaning 9999 clauses out of 20045 with flag 814000/821875 476.22/474.89 c cleaning 10004 clauses out of 20046 with flag 824000/831875 483.24/481.87 c cleaning 9997 clauses out of 20042 with flag 834000/841875 490.12/488.79 c cleaning 10000 clauses out of 20045 with flag 844000/851875 496.92/495.56 c cleaning 9986 clauses out of 20045 with flag 854000/861875 503.73/502.33 c cleaning 10005 clauses out of 20059 with flag 864000/871875 510.34/508.93 c cleaning 9995 clauses out of 20054 with flag 874000/881875 515.74/514.34 c cleaning 10018 clauses out of 20060 with flag 884001/891876 521.65/520.22 c cleaning 10009 clauses out of 20044 with flag 894003/901878 527.35/525.97 c cleaning 9987 clauses out of 20033 with flag 904001/911876 532.45/531.09 c cleaning 9998 clauses out of 20047 with flag 914002/921877 538.86/537.44 c cleaning 9999 clauses out of 20047 with flag 924000/931875 544.26/542.86 c cleaning 10014 clauses out of 20048 with flag 934000/941875 548.67/547.27 c cleaning 10002 clauses out of 20034 with flag 944000/951875 553.07/551.69 c cleaning 10001 clauses out of 20032 with flag 954000/961875 558.28/556.81 c cleaning 10003 clauses out of 20031 with flag 964000/971875 565.38/563.96 c cleaning 9989 clauses out of 20029 with flag 974001/981876 571.89/570.48 c cleaning 9999 clauses out of 20040 with flag 984001/991876 578.19/576.74 c cleaning 10002 clauses out of 20040 with flag 994000/1001875 584.30/582.82 c cleaning 10001 clauses out of 20038 with flag 1004000/1011875 587.61/586.20 c cleaning 10006 clauses out of 20037 with flag 1014000/1021875 590.41/588.95 c cleaning 10003 clauses out of 20031 with flag 1024000/1031875 593.71/592.21 c cleaning 9999 clauses out of 20028 with flag 1034000/1041875 597.32/595.81 c cleaning 10005 clauses out of 20029 with flag 1044000/1051875 600.82/599.30 c cleaning 9997 clauses out of 20025 with flag 1054001/1061876 604.53/603.08 c cleaning 9999 clauses out of 20029 with flag 1064002/1071877 608.64/607.16 c cleaning 10002 clauses out of 20028 with flag 1074000/1081875 614.63/613.15 c cleaning 10000 clauses out of 20026 with flag 1084000/1091875 621.64/620.16 c cleaning 9998 clauses out of 20026 with flag 1094000/1101875 629.34/627.81 c cleaning 10001 clauses out of 20030 with flag 1104002/1111877 636.64/635.12 c cleaning 10000 clauses out of 20029 with flag 1114002/1121877 642.55/641.03 c cleaning 9982 clauses out of 20027 with flag 1124000/1131875 649.95/648.45 c cleaning 10007 clauses out of 20045 with flag 1134000/1141875 658.45/656.95 c cleaning 9986 clauses out of 20038 with flag 1144000/1151875 666.56/665.06 c cleaning 10004 clauses out of 20053 with flag 1154001/1161876 675.26/673.78 c cleaning 9996 clauses out of 20048 with flag 1164000/1171875 682.77/681.24 c cleaning 10005 clauses out of 20052 with flag 1174000/1181875 687.17/685.62 c cleaning 9986 clauses out of 20048 with flag 1184001/1191876 691.67/690.10 c cleaning 10006 clauses out of 20061 with flag 1194000/1201875 695.28/693.77 c cleaning 10000 clauses out of 20057 with flag 1204002/1211877 698.78/697.21 c cleaning 10001 clauses out of 20057 with flag 1214002/1221877 702.20/700.71 c cleaning 9996 clauses out of 20054 with flag 1224000/1231875 705.69/704.13 c cleaning 9998 clauses out of 20059 with flag 1234001/1241876 709.49/707.91 c cleaning 10010 clauses out of 20062 with flag 1244002/1251877 713.89/712.36 c cleaning 10006 clauses out of 20051 with flag 1254001/1261876 718.59/717.01 c cleaning 10004 clauses out of 20044 with flag 1264000/1271875 723.11/721.57 c cleaning 10005 clauses out of 20040 with flag 1274000/1281875 728.40/726.85 c cleaning 10000 clauses out of 20036 with flag 1284001/1291876 733.50/731.97 c cleaning 10002 clauses out of 20035 with flag 1294000/1301875 738.00/736.48 c cleaning 9967 clauses out of 20033 with flag 1304000/1311875 742.71/741.10 c cleaning 10007 clauses out of 20067 with flag 1314001/1321876 747.71/746.12 c cleaning 10022 clauses out of 20060 with flag 1324001/1331876 753.13/751.54 c cleaning 9999 clauses out of 20037 with flag 1334000/1341875 757.93/756.33 c cleaning 10013 clauses out of 20041 with flag 1344003/1351878 763.85/762.31 c cleaning 10003 clauses out of 20027 with flag 1354002/1361877 769.54/767.92 c cleaning 9982 clauses out of 20022 with flag 1364000/1371875 774.35/772.70 c cleaning 9993 clauses out of 20040 with flag 1374000/1381875 779.45/777.82 c cleaning 9990 clauses out of 20047 with flag 1384000/1391875 784.77/783.17 c cleaning 10012 clauses out of 20058 with flag 1394001/1401876 788.65/787.02 c cleaning 10004 clauses out of 20045 with flag 1404000/1411875 793.57/791.92 c cleaning 10001 clauses out of 20042 with flag 1414001/1421876 798.36/796.71 c cleaning 9997 clauses out of 20040 with flag 1424000/1431875 803.67/802.07 c cleaning 9988 clauses out of 20044 with flag 1434001/1441876 809.17/807.55 c cleaning 10015 clauses out of 20055 with flag 1444000/1451875 814.77/813.11 c cleaning 10010 clauses out of 20040 with flag 1454000/1461875 820.58/818.93 c cleaning 9993 clauses out of 20031 with flag 1464001/1471876 825.88/824.27 c cleaning 9997 clauses out of 20037 with flag 1474000/1481875 830.79/829.18 c cleaning 10010 clauses out of 20040 with flag 1484000/1491875 835.99/834.40 c cleaning 10002 clauses out of 20031 with flag 1494001/1501876 841.09/839.41 c cleaning 9987 clauses out of 20029 with flag 1504001/1511876 846.00/844.38 c cleaning 9995 clauses out of 20041 with flag 1514000/1521875 851.20/849.52 c cleaning 10004 clauses out of 20046 with flag 1524000/1531875 856.42/854.72 c cleaning 9998 clauses out of 20042 with flag 1534000/1541875 861.12/859.48 c cleaning 9995 clauses out of 20045 with flag 1544001/1551876 865.62/863.99 c cleaning 10010 clauses out of 20050 with flag 1554001/1561876 869.93/868.22 c cleaning 9988 clauses out of 20039 with flag 1564000/1571875 874.05/872.31 c cleaning 9995 clauses out of 20052 with flag 1574001/1581876 878.04/876.31 c cleaning 10008 clauses out of 20056 with flag 1584000/1591875 882.76/881.08 c cleaning 10000 clauses out of 20048 with flag 1594000/1601875 886.94/885.27 c cleaning 9999 clauses out of 20051 with flag 1604003/1611878 890.95/889.20 c cleaning 9996 clauses out of 20049 with flag 1614000/1621875 896.95/895.28 c cleaning 10014 clauses out of 20053 with flag 1624000/1631875 902.06/900.34 c cleaning 9995 clauses out of 20040 with flag 1634001/1641876 907.86/906.13 c cleaning 10004 clauses out of 20044 with flag 1644000/1651875 914.27/912.58 c cleaning 9997 clauses out of 20042 with flag 1654002/1661877 919.97/918.25 c cleaning 9998 clauses out of 20044 with flag 1664001/1671876 925.27/923.57 c cleaning 10002 clauses out of 20045 with flag 1674000/1681875 931.08/929.37 c cleaning 9995 clauses out of 20045 with flag 1684002/1691877 936.98/935.25 c cleaning 9999 clauses out of 20048 with flag 1694000/1701875 942.98/941.24 c cleaning 10003 clauses out of 20049 with flag 1704000/1711875 948.68/946.92 c cleaning 9993 clauses out of 20046 with flag 1714000/1721875 954.30/952.59 c cleaning 10014 clauses out of 20054 with flag 1724001/1731876 960.49/958.72 c cleaning 9999 clauses out of 20040 with flag 1734001/1741876 966.29/964.59 c cleaning 10005 clauses out of 20042 with flag 1744002/1751877 972.09/970.32 c cleaning 9991 clauses out of 20035 with flag 1754000/1761875 978.01/976.21 c cleaning 10004 clauses out of 20045 with flag 1764001/1771876 982.71/980.95 c cleaning 9992 clauses out of 20041 with flag 1774001/1781876 986.91/985.16 c cleaning 10000 clauses out of 20048 with flag 1784000/1791875 990.92/989.15 c cleaning 10006 clauses out of 20048 with flag 1794000/1801875 994.92/993.17 c cleaning 9993 clauses out of 20043 with flag 1804001/1811876 999.54/997.72 c cleaning 10000 clauses out of 20050 with flag 1814001/1821876 1003.73/1001.99 c cleaning 10004 clauses out of 20049 with flag 1824000/1831875 1008.13/1006.35 c cleaning 10003 clauses out of 20045 with flag 1834000/1841875 1012.75/1010.92 c cleaning 10001 clauses out of 20043 with flag 1844001/1851876 1016.73/1014.92 c cleaning 9996 clauses out of 20042 with flag 1854001/1861876 1020.64/1018.82 c cleaning 10002 clauses out of 20048 with flag 1864003/1871878 1024.64/1022.89 c cleaning 10003 clauses out of 20044 with flag 1874001/1881876 1028.97/1027.11 c cleaning 10001 clauses out of 20041 with flag 1884001/1891876 1033.08/1031.29 c cleaning 9989 clauses out of 20039 with flag 1894000/1901875 1037.08/1035.22 c cleaning 9997 clauses out of 20050 with flag 1904000/1911875 1040.98/1039.16 c cleaning 9997 clauses out of 20054 with flag 1914001/1921876 1045.08/1043.29 c cleaning 10005 clauses out of 20056 with flag 1924000/1931875 1049.58/1047.74 c cleaning 10006 clauses out of 20052 with flag 1934001/1941876 1053.68/1051.81 c cleaning 10004 clauses out of 20045 with flag 1944000/1951875 1057.59/1055.77 c cleaning 9992 clauses out of 20041 with flag 1954000/1961875 1062.69/1060.84 c cleaning 9995 clauses out of 20049 with flag 1964000/1971875 1066.20/1064.31 c cleaning 10009 clauses out of 20054 with flag 1974000/1981875 1070.21/1068.37 c cleaning 10015 clauses out of 20050 with flag 1984005/1991880 1075.53/1073.62 c cleaning 10000 clauses out of 20031 with flag 1994001/2001876 1080.81/1078.92 c cleaning 9993 clauses out of 20030 with flag 2004000/2011875 1085.02/1083.14 c cleaning 9995 clauses out of 20038 with flag 2014001/2021876 1089.93/1088.04 c cleaning 9992 clauses out of 20044 with flag 2024002/2031877 1095.25/1093.41 c cleaning 9993 clauses out of 20050 with flag 2034000/2041875 1100.94/1099.08 c cleaning 10013 clauses out of 20057 with flag 2044000/2051875 1107.14/1105.26 c cleaning 9996 clauses out of 20046 with flag 2054002/2061877 1112.86/1110.95 c cleaning 9992 clauses out of 20048 with flag 2064000/2071875 1119.35/1117.46 c cleaning 10013 clauses out of 20059 with flag 2074003/2081878 1124.25/1122.32 c cleaning 10001 clauses out of 20044 with flag 2084001/2091876 1127.76/1125.88 c cleaning 10000 clauses out of 20042 with flag 2094000/2101875 1131.58/1129.69 c cleaning 9987 clauses out of 20043 with flag 2104001/2111876 1135.57/1133.65 c cleaning 10000 clauses out of 20056 with flag 2114001/2121876 1140.17/1138.27 c cleaning 9992 clauses out of 20055 with flag 2124000/2131875 1145.07/1143.10 c cleaning 10019 clauses out of 20064 with flag 2134001/2141876 1149.48/1147.56 c cleaning 10006 clauses out of 20044 with flag 2144000/2151875 1154.19/1152.25 c cleaning 10001 clauses out of 20038 with flag 2154000/2161875 1158.79/1156.88 c cleaning 10003 clauses out of 20038 with flag 2164001/2171876 1163.50/1161.61 c cleaning 9999 clauses out of 20034 with flag 2174000/2181875 1169.19/1167.24 c cleaning 9997 clauses out of 20036 with flag 2184001/2191876 1177.70/1175.78 c cleaning 9997 clauses out of 20038 with flag 2194000/2201875 1185.90/1183.97 c cleaning 10000 clauses out of 20041 with flag 2204000/2211875 1194.51/1192.56 c cleaning 10006 clauses out of 20044 with flag 2214003/2221878 1202.81/1200.89 c cleaning 10000 clauses out of 20035 with flag 2224000/2231875 1211.82/1209.83 c cleaning 9994 clauses out of 20035 with flag 2234000/2241875 1220.62/1218.63 c cleaning 9997 clauses out of 20041 with flag 2244000/2251875 1229.22/1227.27 c cleaning 10009 clauses out of 20046 with flag 2254002/2261877 1235.14/1233.13 c cleaning 9981 clauses out of 20036 with flag 2264001/2271876 1243.95/1241.94 c cleaning 10010 clauses out of 20054 with flag 2274000/2281875 1252.76/1250.75 c cleaning 10012 clauses out of 20044 with flag 2284000/2291875 1261.85/1259.87 c cleaning 10001 clauses out of 20034 with flag 2294002/2301877 1271.15/1269.10 c cleaning 10006 clauses out of 20034 with flag 2304003/2311878 1280.56/1278.54 c cleaning 10005 clauses out of 20028 with flag 2314003/2321878 1289.86/1287.90 c cleaning 10002 clauses out of 20021 with flag 2324001/2331876 1298.46/1296.44 c cleaning 9991 clauses out of 20019 with flag 2334001/2341876 1307.07/1305.06 c cleaning 9997 clauses out of 20028 with flag 2344001/2351876 1313.97/1311.93 c cleaning 9995 clauses out of 20031 with flag 2354001/2361876 1319.38/1317.32 c cleaning 9981 clauses out of 20035 with flag 2364000/2371875 1324.19/1322.20 c cleaning 9993 clauses out of 20055 with flag 2374001/2381876 1328.70/1326.63 c cleaning 10004 clauses out of 20062 with flag 2384001/2391876 1333.69/1331.66 c cleaning 9997 clauses out of 20059 with flag 2394002/2401877 1339.20/1337.14 c cleaning 10013 clauses out of 20060 with flag 2404000/2411875 1345.30/1343.21 c cleaning 9982 clauses out of 20048 with flag 2414001/2421876 1351.31/1349.20 c cleaning 10021 clauses out of 20066 with flag 2424001/2431876 1356.12/1354.09 c cleaning 10005 clauses out of 20045 with flag 2434001/2441876 1360.41/1358.32 c cleaning 10004 clauses out of 20039 with flag 2444000/2451875 1364.12/1362.07 c cleaning 10004 clauses out of 20035 with flag 2454000/2461875 1368.24/1366.18 c cleaning 10000 clauses out of 20032 with flag 2464001/2471876 1372.23/1370.13 c cleaning 9998 clauses out of 20032 with flag 2474001/2481876 1376.43/1374.34 c cleaning 10002 clauses out of 20034 with flag 2484001/2491876 1381.13/1379.09 c cleaning 10005 clauses out of 20032 with flag 2494001/2501876 1385.44/1383.38 c cleaning 10002 clauses out of 20028 with flag 2504002/2511877 1389.64/1387.57 c cleaning 9995 clauses out of 20025 with flag 2514001/2521876 1394.24/1392.14 c cleaning 10002 clauses out of 20030 with flag 2524001/2531876 1398.35/1396.26 c cleaning 10002 clauses out of 20029 with flag 2534002/2541877 1402.85/1400.79 c cleaning 10003 clauses out of 20025 with flag 2544000/2551875 1407.36/1405.29 c cleaning 10008 clauses out of 20023 with flag 2554001/2561876 1412.28/1410.14 c cleaning 9992 clauses out of 20015 with flag 2564001/2571876 1417.17/1415.04 c cleaning 10002 clauses out of 20022 with flag 2574000/2581875 1420.77/1418.65 c cleaning 10000 clauses out of 20023 with flag 2584003/2591878 1424.77/1422.69 c cleaning 9999 clauses out of 20021 with flag 2594001/2601876 1429.88/1427.80 c cleaning 10001 clauses out of 20022 with flag 2604001/2611876 1434.07/1431.99 c cleaning 9997 clauses out of 20021 with flag 2614001/2621876 1437.38/1435.28 c cleaning 9997 clauses out of 20023 with flag 2624000/2631875 1441.48/1439.32 c cleaning 9998 clauses out of 20026 with flag 2634000/2641875 1445.58/1443.44 c cleaning 10004 clauses out of 20029 with flag 2644001/2651876 1449.38/1447.21 c cleaning 10001 clauses out of 20024 with flag 2654000/2661875 1454.49/1452.37 c cleaning 10002 clauses out of 20024 with flag 2664001/2671876 1459.49/1457.41 c cleaning 9997 clauses out of 20022 with flag 2674001/2681876 1464.90/1462.70 c cleaning 9999 clauses out of 20025 with flag 2684001/2691876 1470.10/1467.96 c cleaning 10003 clauses out of 20025 with flag 2694000/2701875 1475.12/1472.93 c cleaning 9999 clauses out of 20022 with flag 2704000/2711875 1480.11/1477.96 c cleaning 9991 clauses out of 20023 with flag 2714000/2721875 1485.91/1483.81 c cleaning 10002 clauses out of 20032 with flag 2724000/2731875 1490.81/1488.65 c cleaning 9997 clauses out of 20030 with flag 2734000/2741875 1496.51/1494.31 c cleaning 9999 clauses out of 20033 with flag 2744000/2751875 1501.71/1499.55 c cleaning 10002 clauses out of 20035 with flag 2754001/2761876 1507.12/1504.93 c cleaning 10002 clauses out of 20033 with flag 2764001/2771876 1512.62/1510.42 c cleaning 10004 clauses out of 20031 with flag 2774001/2781876 1517.63/1515.42 c cleaning 10001 clauses out of 20027 with flag 2784001/2791876 1522.63/1520.45 c cleaning 9995 clauses out of 20025 with flag 2794000/2801875 1527.74/1525.56 c cleaning 10003 clauses out of 20030 with flag 2804000/2811875 1532.84/1530.68 c cleaning 10005 clauses out of 20029 with flag 2814002/2821877 1538.14/1535.93 c cleaning 9994 clauses out of 20022 with flag 2824000/2831875 1543.74/1541.53 c cleaning 10004 clauses out of 20030 with flag 2834002/2841877 1548.86/1546.65 c cleaning 9998 clauses out of 20026 with flag 2844002/2851877 1554.05/1551.87 c cleaning 9993 clauses out of 20027 with flag 2854001/2861876 1559.65/1557.42 c cleaning 10001 clauses out of 20034 with flag 2864001/2871876 1564.76/1562.53 c cleaning 10003 clauses out of 20035 with flag 2874003/2881878 1569.86/1567.63 c cleaning 10000 clauses out of 20029 with flag 2884000/2891875 1575.17/1572.93 c cleaning 9992 clauses out of 20029 with flag 2894000/2901875 1580.46/1578.29 c cleaning 9994 clauses out of 20038 with flag 2904001/2911876 1585.86/1583.64 c cleaning 10009 clauses out of 20044 with flag 2914001/2921876 1590.76/1588.55 c cleaning 10001 clauses out of 20035 with flag 2924001/2931876 1596.67/1594.43 c cleaning 10002 clauses out of 20034 with flag 2934001/2941876 1602.97/1600.75 c cleaning 10006 clauses out of 20033 with flag 2944002/2951877 1608.88/1606.67 c cleaning 10003 clauses out of 20026 with flag 2954001/2961876 1614.90/1612.61 c cleaning 9997 clauses out of 20022 with flag 2964000/2971875 1620.48/1618.21 c cleaning 10001 clauses out of 20026 with flag 2974001/2981876 1626.18/1623.91 c cleaning 9983 clauses out of 20024 with flag 2984000/2991875 1632.89/1630.69 c cleaning 10011 clauses out of 20045 with flag 2994004/3001879 1639.79/1637.53 c cleaning 9996 clauses out of 20033 with flag 3004003/3011878 1645.61/1643.33 c cleaning 9987 clauses out of 20035 with flag 3014001/3021876 1650.70/1648.40 c cleaning 9998 clauses out of 20049 with flag 3024002/3031877 1654.61/1652.39 c cleaning 10001 clauses out of 20050 with flag 3034001/3041876 1659.41/1657.17 c cleaning 10012 clauses out of 20048 with flag 3044000/3051875 1664.51/1662.27 c cleaning 10002 clauses out of 20037 with flag 3054001/3061876 1669.72/1667.46 c cleaning 9999 clauses out of 20034 with flag 3064000/3071875 1674.82/1672.58 c cleaning 10006 clauses out of 20035 with flag 3074000/3081875 1680.12/1677.88 c cleaning 10000 clauses out of 20030 with flag 3084001/3091876 1685.43/1683.11 c cleaning 9998 clauses out of 20031 with flag 3094002/3101877 1691.03/1688.72 c cleaning 9996 clauses out of 20032 with flag 3104001/3111876 1696.03/1693.71 c cleaning 10006 clauses out of 20036 with flag 3114001/3121876 1700.83/1698.58 c cleaning 10000 clauses out of 20030 with flag 3124001/3131876 1705.94/1703.65 c cleaning 10000 clauses out of 20030 with flag 3134001/3141876 1711.24/1708.96 c cleaning 9999 clauses out of 20029 with flag 3144000/3151875 1716.24/1713.95 c cleaning 9999 clauses out of 20030 with flag 3154000/3161875 1721.24/1718.96 c cleaning 9991 clauses out of 20031 with flag 3164000/3171875 1725.04/1722.72 c cleaning 9997 clauses out of 20041 with flag 3174001/3181876 1731.25/1728.95 c cleaning 10008 clauses out of 20044 with flag 3184001/3191876 1737.15/1734.85 c cleaning 9990 clauses out of 20037 with flag 3194002/3201877 1743.57/1741.26 c cleaning 9990 clauses out of 20045 with flag 3204000/3211875 1749.18/1746.89 c cleaning 9993 clauses out of 20056 with flag 3214001/3221876 1754.76/1752.50 c cleaning 9993 clauses out of 20063 with flag 3224001/3231876 1760.87/1758.52 c cleaning 10001 clauses out of 20071 with flag 3234002/3241877 1766.27/1763.98 c cleaning 10002 clauses out of 20068 with flag 3244000/3251875 1772.08/1769.77 c cleaning 9998 clauses out of 20066 with flag 3254000/3261875 1778.28/1775.92 c cleaning 9984 clauses out of 20069 with flag 3264001/3271876 1784.30/1782.00 c cleaning 9986 clauses out of 20084 with flag 3274000/3281875 1790.68/1788.32 c cleaning 10036 clauses out of 20099 with flag 3284001/3291876 1797.19/1794.80 c cleaning 10017 clauses out of 20063 with flag 3294001/3301876 1800.11/1797.72 c starts : 256 1800.11/1797.72 c conflicts : 3306119 1800.11/1797.72 c decisions : 4916058 1800.11/1797.72 c propagations : 213151534 1800.11/1797.72 c inspects : 1157571054 1800.11/1797.72 c shortcuts : 0 1800.11/1797.72 c learnt literals : 0 1800.11/1797.72 c learnt binary clauses : 0 1800.11/1797.72 c learnt ternary clauses : 0 1800.11/1797.72 c learnt constraints : 3306118 1800.11/1797.72 c ignored constraints : 0 1800.11/1797.72 c root simplifications : 0 1800.11/1797.72 c removed literals (reason simplification) : 163799979 1800.11/1797.72 c reason swapping (by a shorter reason) : 0 1800.11/1797.72 c Calls to reduceDB : 332 1800.11/1797.72 c number of reductions to clauses (during analyze) : 0 1800.11/1797.72 c number of learned constraints concerned by reduction : 0 1800.11/1797.72 c number of learning phase by resolution : 0 1800.11/1797.72 c number of learning phase by cutting planes : 0 1800.11/1797.72 c speed (assignments/second) : 118982.35456653949 1800.11/1797.72 c non guided choices 11072 1800.11/1797.73 c learnt constraints type 1800.11/1797.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14301 1800.11/1797.73 c constraints type 1800.11/1797.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193 1800.11/1797.73 s SATISFIABLE 1800.11/1797.75 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 x96 x97 x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 x247 x248 x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 x784 x785 x786 x787 x788 x789 x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 x1685 x1686 x1687 x1688 x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 x1806 x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 x2557 x2558 x2559 x2560 x2561 x2562 x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 x2884 x2885 x2886 x2887 x2888 x2889 x2890 x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 x3102 x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 x3964 x3965 x3966 x3967 x3968 x3969 x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 x4326 x4327 -x4328 x4329 x4330 -x4331 x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 x4354 x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4407 -x4408 x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4451 -x4452 x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 1800.11/1797.76 c objective function=3484008 1800.11/1797.76 c Total wall clock time (in seconds): 1797.648
OK 3484008
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-3458952-1307149266/watcher-3458952-1307149266 -o /tmp/evaluation-result-3458952-1307149266/solver-3458952-1307149266 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458952-1307149266.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.07 1.89 1/475 25813 /proc/meminfo: memFree=21419340/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 4094 0 1 0 0 0 0 0 25 0 2 0 807341911 13850947584 3796 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3381579 3808 917 9 0 3372735 0 [pid=25813/tid=25814] ppid=25811 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 4961 0 1 0 0 0 0 0 25 0 2 0 807341912 13850947584 5776 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0306439 s] /proc/loadavg: 2.21 2.07 1.89 1/475 25813 /proc/meminfo: memFree=21419340/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13535028 CPUtime=0.01 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 12614 0 1 0 1 0 0 0 25 0 10 0 807341911 13859868672 12314 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3383757 12314 1057 9 0 3374913 0 [pid=25813/tid=25814] ppid=25811 vsize=13535028 CPUtime=0.01 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) S 25811 25813 23895 0 -1 4202560 11493 0 1 0 1 0 0 0 25 0 10 0 807341912 13859868672 12314 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273445855 0 2147483391 0 16784584 18446744071699207358 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13535028 [startup+0.104606 s] /proc/loadavg: 2.21 2.07 1.89 1/475 25813 /proc/meminfo: memFree=21419340/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13622260 CPUtime=0.1 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 15590 0 1 0 9 1 0 0 25 0 18 0 807341911 13949194240 15264 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3405565 15264 2092 9 0 3396299 0 [pid=25813/tid=25814] ppid=25811 vsize=13622260 CPUtime=0.08 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 13641 0 1 0 7 1 0 0 18 0 18 0 807341912 13949194240 15265 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 47394377034579 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622260 [startup+0.300547 s] /proc/loadavg: 2.21 2.07 1.89 1/475 25813 /proc/meminfo: memFree=21419340/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13628404 CPUtime=0.57 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 21175 0 1 0 54 3 0 0 25 0 18 0 807341911 13955485696 19935 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407101 19937 2203 9 0 3397835 0 [pid=25813/tid=25814] ppid=25811 vsize=13628404 CPUtime=0.28 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 16550 0 1 0 26 2 0 0 18 0 18 0 807341912 13955485696 19938 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505578689 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 13628404 [startup+0.72281 s] /proc/loadavg: 2.21 2.07 1.89 1/475 25813 /proc/meminfo: memFree=21419340/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=1.5 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 26292 0 1 0 147 3 0 0 25 0 19 0 807341911 13958635520 23828 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 23828 2223 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=0.7 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 17789 0 1 0 68 2 0 0 19 0 19 0 807341912 13958635520 23828 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505761264 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13631480 [startup+1.50139 s] /proc/loadavg: 2.12 2.05 1.88 4/513 25876 /proc/meminfo: memFree=21279888/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=2.28 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 26946 0 1 0 225 3 0 0 25 0 19 0 807341911 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 24481 2225 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=1.48 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 18440 0 1 0 146 2 0 0 20 0 19 0 807341912 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505768668 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807341915 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807341915 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.4 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4442 0 0 0 39 1 0 0 15 0 19 0 807341917 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.38 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2905 0 0 0 38 0 0 0 16 0 19 0 807341917 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 24481 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 13631480 [startup+3.10109 s] /proc/loadavg: 2.12 2.05 1.88 4/514 25877 /proc/meminfo: memFree=21252488/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=3.97 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 28378 0 1 0 393 4 0 0 25 0 19 0 807341911 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 25912 2227 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=3.08 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 19858 0 1 0 306 2 0 0 19 0 19 0 807341912 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505811709 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341914 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807341915 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807341915 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.44 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4446 0 0 0 43 1 0 0 15 0 19 0 807341917 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.43 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2915 0 0 0 43 0 0 0 15 0 19 0 807341917 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 25912 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 13631480 [startup+6.30153 s] /proc/loadavg: 2.11 2.05 1.88 3/514 25877 /proc/meminfo: memFree=21212612/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=7.21 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 31866 0 1 0 717 4 0 0 25 0 19 0 807341911 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 29342 2253 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=6.25 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 20660 0 1 0 623 2 0 0 25 0 19 0 807341912 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505685147 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 635 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 657 0 0 0 0 0 0 0 18 0 19 0 807341914 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=0.01 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 1375 0 0 0 1 0 0 0 15 0 19 0 807341915 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.45 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4453 0 0 0 44 1 0 0 15 0 19 0 807341917 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.46 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2929 0 0 0 46 0 0 0 15 0 19 0 807341917 13958635520 29342 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0.26 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 337 0 0 0 26 0 0 0 15 0 19 0 807341914 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0.28 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 884 0 0 0 28 0 0 0 15 0 19 0 807341914 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1357 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=8.63 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 7068 0 0 0 856 7 0 0 15 0 19 0 807341915 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.48 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4454 0 0 0 47 1 0 0 15 0 19 0 807341917 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.54 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2941 0 0 0 54 0 0 0 15 0 19 0 807341917 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 39533 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1724.64 Current children cumulated vsize (KiB) 13631480 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 1.98 3/514 25927 /proc/meminfo: memFree=21133160/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=1784.68 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 42789 0 1 0 178451 17 0 0 25 0 19 0 807341911 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 39726 2254 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=1772.36 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 20990 0 1 0 177231 5 0 0 25 0 19 0 807341912 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505685120 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0.26 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1040 0 0 0 26 0 0 0 16 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0.26 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 524 0 0 0 26 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 786 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 511 0 0 0 27 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 452 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 338 0 0 0 27 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 886 0 0 0 29 0 0 0 16 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0.3 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1357 0 0 0 30 0 0 0 15 0 19 0 807341914 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=8.97 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 7257 0 0 0 890 7 0 0 15 0 19 0 807341915 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.48 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4454 0 0 0 47 1 0 0 15 0 19 0 807341917 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.54 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2941 0 0 0 54 0 0 0 15 0 19 0 807341917 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 39726 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1784.68 Current children cumulated vsize (KiB) 13631480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.7 s] /proc/loadavg: 2.04 2.04 1.98 3/514 25927 /proc/meminfo: memFree=21132880/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=1800.11 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 42801 0 1 0 179994 17 0 0 25 0 19 0 807341911 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 39732 2254 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=1787.7 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 20992 0 1 0 178765 5 0 0 25 0 19 0 807341912 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505789891 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0.26 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1040 0 0 0 26 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 524 0 0 0 27 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 786 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0.28 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 511 0 0 0 28 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 452 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 338 0 0 0 27 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 886 0 0 0 29 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0.3 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1357 0 0 0 30 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=9.04 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 7265 0 0 0 897 7 0 0 15 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.48 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4454 0 0 0 47 1 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.54 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2941 0 0 0 54 0 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 13631480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.7 s] /proc/loadavg: 2.04 2.04 1.98 3/514 25927 /proc/meminfo: memFree=21132880/32951124 swapFree=67057928/67111528 [pid=25813] ppid=25811 vsize=13631480 CPUtime=1800.11 cores=0,2,4,6 /proc/25813/stat : 25813 (java) S 25811 25813 23895 0 -1 4202496 42801 0 1 0 179994 17 0 0 25 0 19 0 807341911 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25813/statm: 3407870 39732 2254 9 0 3398604 0 [pid=25813/tid=25814] ppid=25811 vsize=13631480 CPUtime=1787.7 cores=0,2,4,6 /proc/25813/task/25814/stat : 25814 (java) R 25811 25813 23895 0 -1 4202560 20992 0 1 0 178765 5 0 0 25 0 19 0 807341912 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 46912505789891 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25813/tid=25816] ppid=25811 vsize=13631480 CPUtime=0.26 cores=0,2,4,6 /proc/25813/task/25816/stat : 25816 (java) S 25811 25813 23895 0 -1 4202560 1040 0 0 0 26 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25817] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25817/stat : 25817 (java) S 25811 25813 23895 0 -1 4202560 524 0 0 0 27 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25818] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25818/stat : 25818 (java) S 25811 25813 23895 0 -1 4202560 786 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25819] ppid=25811 vsize=13631480 CPUtime=0.28 cores=0,2,4,6 /proc/25813/task/25819/stat : 25819 (java) S 25811 25813 23895 0 -1 4202560 511 0 0 0 28 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25820] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25820/stat : 25820 (java) S 25811 25813 23895 0 -1 4202560 452 0 0 0 29 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 0 0 0 0 [pid=25813/tid=25821] ppid=25811 vsize=13631480 CPUtime=0.27 cores=0,2,4,6 /proc/25813/task/25821/stat : 25821 (java) S 25811 25813 23895 0 -1 4202560 338 0 0 0 27 0 0 0 15 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25822] ppid=25811 vsize=13631480 CPUtime=0.29 cores=0,2,4,6 /proc/25813/task/25822/stat : 25822 (java) S 25811 25813 23895 0 -1 4202560 886 0 0 0 29 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25823] ppid=25811 vsize=13631480 CPUtime=0.3 cores=0,2,4,6 /proc/25813/task/25823/stat : 25823 (java) S 25811 25813 23895 0 -1 4202560 1357 0 0 0 30 0 0 0 16 0 19 0 807341914 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25824] ppid=25811 vsize=13631480 CPUtime=9.04 cores=0,2,4,6 /proc/25813/task/25824/stat : 25824 (java) S 25811 25813 23895 0 -1 4202560 7265 0 0 0 897 7 0 0 15 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 0 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25825] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25825/stat : 25825 (java) S 25811 25813 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25826] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25826/stat : 25826 (java) S 25811 25813 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807341915 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 2 0 0 0 [pid=25813/tid=25827] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25827/stat : 25827 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273440177 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25828] ppid=25811 vsize=13631480 CPUtime=0.48 cores=0,2,4,6 /proc/25813/task/25828/stat : 25828 (java) S 25811 25813 23895 0 -1 4202560 4454 0 0 0 47 1 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25829] ppid=25811 vsize=13631480 CPUtime=0.54 cores=0,2,4,6 /proc/25813/task/25829/stat : 25829 (java) S 25811 25813 23895 0 -1 4202560 2941 0 0 0 54 0 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25830] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25830/stat : 25830 (java) S 25811 25813 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273432473 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 [pid=25813/tid=25831] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25831/stat : 25831 (java) S 25811 25813 23895 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 807341917 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 4 0 0 0 [pid=25813/tid=25832] ppid=25811 vsize=13631480 CPUtime=0 cores=0,2,4,6 /proc/25813/task/25832/stat : 25832 (java) S 25811 25813 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807341946 13958635520 39732 33554432000 1073741824 1073778376 140736223796880 18446744073709551615 254273433088 0 4 0 16800975 18446604440890035072 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 13631480 Child status: 143 Real time (s): 1797.77 CPU time (s): 1800.21 CPU user time (s): 1800.03 CPU system time (s): 0.180972 CPU usage (%): 100.136 Max. virtual memory (cumulated for all children) (KiB): 13631480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.180972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42905 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= 46455 involuntary context switches= 12142 runsolver used 9.1986 second user time and 18.6262 second system time The end
Begin job on node140 at 2011-06-04 03:01:06 IDJOB=3458952 IDBENCH=2294 IDSOLVER=1952 FILE ID=node140/3458952-1307149266 RUNJOBID= node140-1307147467-25667 PBS_JOBID= 13508776 Free space on /tmp= 73608 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458952-1307149266/watcher-3458952-1307149266 -o /tmp/evaluation-result-3458952-1307149266/solver-3458952-1307149266 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458952-1307149266.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED=1056345144 node140.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 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.833 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.833 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.77 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21419504 kB Buffers: 303372 kB Cached: 3972408 kB SwapCached: 6932 kB Active: 7388872 kB Inactive: 3806668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21419504 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 492 kB Writeback: 0 kB AnonPages: 6917844 kB Mapped: 38072 kB Slab: 214928 kB PageTables: 51904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 141413124 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= 73608 MiB End job on node140 at 2011-06-04 03:31:06