Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.17 | 1795.56 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | 757312960b1468f2853dd7cd5a4d6fc6 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.866868 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4000 |
| Total number of constraints | 180 |
| Number of soft constraints | 127 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 50 |
| Top cost | 6095 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6094 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/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-3492176-1307908170.wbo 0.10/0.11 c reading problem ... 0.29/0.26 c ... done. Wall clock time 0.149s. 0.29/0.26 c #vars 4127 0.29/0.26 c #constraints 180 0.29/0.26 c constraints type 0.29/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 0.29/0.26 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.29/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 58 1.12/0.54 c SATISFIABLE 1.12/0.54 c OPTIMIZING... 1.12/0.54 c Got one! Elapsed wall clock time (in seconds):0.434 1.12/0.54 o 300 1.12/0.59 c Got one! Elapsed wall clock time (in seconds):0.482 1.12/0.59 o 183 1.41/0.70 c Got one! Elapsed wall clock time (in seconds):0.595 1.41/0.70 o 181 1.52/0.82 c Got one! Elapsed wall clock time (in seconds):0.71 1.52/0.82 o 93 1.84/1.14 c Got one! Elapsed wall clock time (in seconds):1.03 1.84/1.14 o 92 2.14/1.41 c Got one! Elapsed wall clock time (in seconds):1.303 2.14/1.41 o 31 2.75/2.10 c Got one! Elapsed wall clock time (in seconds):1.991 2.75/2.10 o 29 3.05/2.32 c cleaning 4733 clauses out of 9473 with flag 1000/9473 3.19/2.45 c Got one! Elapsed wall clock time (in seconds):2.339 3.19/2.45 o 17 4.32/3.51 c Got one! Elapsed wall clock time (in seconds):3.405 4.32/3.51 o 16 4.72/3.94 c cleaning 5568 clauses out of 11164 with flag 2001/15897 5.15/4.38 c Got one! Elapsed wall clock time (in seconds):4.274 5.15/4.38 o 9 6.85/6.05 c cleaning 5378 clauses out of 10809 with flag 4000/21110 9.19/8.40 c cleaning 5700 clauses out of 11431 with flag 10000/27110 12.20/11.39 c cleaning 6351 clauses out of 12732 with flag 17001/34111 15.22/14.33 c cleaning 7167 clauses out of 14383 with flag 25003/42113 19.81/18.90 c cleaning 8082 clauses out of 16213 with flag 34000/51110 23.42/22.57 c cleaning 9042 clauses out of 18131 with flag 44000/61110 28.64/27.77 c cleaning 9529 clauses out of 19090 with flag 54001/71111 33.25/32.36 c cleaning 9779 clauses out of 19563 with flag 64003/81113 37.85/36.92 c cleaning 9850 clauses out of 19782 with flag 74001/91111 43.36/42.43 c cleaning 9928 clauses out of 19931 with flag 84000/101110 47.87/46.98 c cleaning 9970 clauses out of 20004 with flag 94001/111111 51.68/50.79 c cleaning 9972 clauses out of 20033 with flag 104000/121110 56.79/55.82 c cleaning 10010 clauses out of 20062 with flag 114001/131111 61.00/60.09 c cleaning 10012 clauses out of 20054 with flag 124003/141113 64.01/63.03 c cleaning 9998 clauses out of 20042 with flag 134003/151113 69.22/68.22 c cleaning 9991 clauses out of 20041 with flag 144000/161110 74.83/73.88 c cleaning 9998 clauses out of 20051 with flag 154001/171111 79.05/78.01 c cleaning 10009 clauses out of 20055 with flag 164003/181113 83.47/82.47 c cleaning 9997 clauses out of 20043 with flag 174000/191110 88.67/87.62 c cleaning 9994 clauses out of 20049 with flag 184003/201113 93.88/92.88 c cleaning 9996 clauses out of 20053 with flag 194001/211111 98.90/97.86 c cleaning 10009 clauses out of 20057 with flag 204001/221111 103.70/102.64 c cleaning 10007 clauses out of 20052 with flag 214005/231115 108.71/107.69 c cleaning 10000 clauses out of 20040 with flag 224000/241110 115.64/114.58 c cleaning 10000 clauses out of 20041 with flag 234001/251111 122.65/121.59 c cleaning 10003 clauses out of 20041 with flag 244001/261111 126.97/125.81 c cleaning 9999 clauses out of 20037 with flag 254000/271110 131.78/130.68 c cleaning 10007 clauses out of 20039 with flag 264001/281111 136.79/135.65 c cleaning 10005 clauses out of 20035 with flag 274004/291114 140.20/139.09 c cleaning 9964 clauses out of 20028 with flag 284002/301112 145.32/144.12 c cleaning 9983 clauses out of 20063 with flag 294001/311111 149.73/148.51 c cleaning 9999 clauses out of 20079 with flag 304000/321110 154.93/153.76 c cleaning 9988 clauses out of 20081 with flag 314001/331111 159.34/158.14 c cleaning 10000 clauses out of 20092 with flag 324000/341110 163.25/162.01 c cleaning 10007 clauses out of 20093 with flag 334001/351111 167.26/166.05 c cleaning 10003 clauses out of 20085 with flag 344000/361110 171.86/170.68 c cleaning 9992 clauses out of 20087 with flag 354005/371115 176.07/174.81 c cleaning 10005 clauses out of 20092 with flag 364002/381112 179.98/178.70 c cleaning 10004 clauses out of 20088 with flag 374003/391113 183.38/182.15 c cleaning 10016 clauses out of 20082 with flag 384001/401111 187.59/186.39 c cleaning 9999 clauses out of 20068 with flag 394003/411113 192.40/191.17 c cleaning 10005 clauses out of 20066 with flag 404000/421110 197.31/196.07 c cleaning 10009 clauses out of 20062 with flag 414001/431111 201.92/200.61 c cleaning 10006 clauses out of 20052 with flag 424000/441110 205.93/204.60 c cleaning 9993 clauses out of 20046 with flag 434000/451110 209.34/208.01 c cleaning 10002 clauses out of 20055 with flag 444002/461112 214.05/212.79 c cleaning 9999 clauses out of 20052 with flag 454001/471111 218.47/217.20 c cleaning 9970 clauses out of 20052 with flag 464000/481110 223.98/222.66 c cleaning 9989 clauses out of 20082 with flag 474000/491110 229.29/227.99 c cleaning 9996 clauses out of 20093 with flag 484000/501110 234.70/233.38 c cleaning 10001 clauses out of 20097 with flag 494000/511110 240.41/239.05 c cleaning 9995 clauses out of 20096 with flag 504000/521110 245.62/244.26 c cleaning 10039 clauses out of 20101 with flag 514000/531110 251.03/249.61 c cleaning 10021 clauses out of 20064 with flag 524002/541112 256.43/255.01 c cleaning 10010 clauses out of 20043 with flag 534002/551112 262.94/261.58 c cleaning 10005 clauses out of 20032 with flag 544001/561111 267.07/265.65 c cleaning 10002 clauses out of 20027 with flag 554001/571111 271.58/270.14 c cleaning 10002 clauses out of 20027 with flag 564003/581113 275.98/274.58 c cleaning 10007 clauses out of 20022 with flag 574000/591110 280.10/278.65 c cleaning 9971 clauses out of 20015 with flag 584000/601110 285.41/283.97 c cleaning 10001 clauses out of 20044 with flag 594000/611110 289.82/288.39 c cleaning 10008 clauses out of 20043 with flag 604000/621110 294.54/293.02 c cleaning 9974 clauses out of 20036 with flag 614001/631111 299.65/298.13 c cleaning 9986 clauses out of 20064 with flag 624003/641113 303.05/301.51 c cleaning 10016 clauses out of 20075 with flag 634000/651110 308.66/307.11 c cleaning 10009 clauses out of 20059 with flag 644000/661110 314.38/312.86 c cleaning 10007 clauses out of 20051 with flag 654001/671111 317.88/316.30 c cleaning 10015 clauses out of 20043 with flag 664000/681110 320.19/318.61 c cleaning 10011 clauses out of 20033 with flag 674005/691115 322.20/320.67 c cleaning 10001 clauses out of 20019 with flag 684002/701112 324.20/322.69 c cleaning 10003 clauses out of 20017 with flag 694001/711111 326.51/324.98 c cleaning 9974 clauses out of 20015 with flag 704002/721112 329.32/327.79 c cleaning 9986 clauses out of 20039 with flag 714000/731110 331.92/330.39 c cleaning 9983 clauses out of 20053 with flag 724000/741110 335.93/334.35 c cleaning 9998 clauses out of 20070 with flag 734000/751110 340.34/338.72 c cleaning 9985 clauses out of 20072 with flag 744000/761110 344.14/342.59 c cleaning 9997 clauses out of 20090 with flag 754003/771113 348.25/346.66 c cleaning 9999 clauses out of 20093 with flag 764003/781113 351.96/350.34 c cleaning 10031 clauses out of 20094 with flag 774003/791113 356.47/354.85 c cleaning 10012 clauses out of 20060 with flag 784000/801110 360.88/359.24 c cleaning 10010 clauses out of 20053 with flag 794005/811115 365.98/364.39 c cleaning 10001 clauses out of 20038 with flag 804000/821110 370.79/369.10 c cleaning 10002 clauses out of 20037 with flag 814000/831110 376.30/374.60 c cleaning 9999 clauses out of 20036 with flag 824001/841111 381.01/379.40 c cleaning 9998 clauses out of 20036 with flag 834000/851110 386.72/385.09 c cleaning 10004 clauses out of 20042 with flag 844004/861114 392.52/390.83 c cleaning 10000 clauses out of 20038 with flag 854004/871114 397.52/395.80 c cleaning 9996 clauses out of 20034 with flag 864000/881110 401.43/399.76 c cleaning 9989 clauses out of 20039 with flag 874001/891111 406.35/404.64 c cleaning 10023 clauses out of 20050 with flag 884001/901111 410.56/408.89 c cleaning 9991 clauses out of 20026 with flag 894000/911110 415.96/414.21 c cleaning 9994 clauses out of 20038 with flag 904003/921113 420.07/418.35 c cleaning 9999 clauses out of 20043 with flag 914002/931112 424.19/422.46 c cleaning 9997 clauses out of 20045 with flag 924003/941113 429.09/427.33 c cleaning 9997 clauses out of 20047 with flag 934002/951112 434.02/432.27 c cleaning 9997 clauses out of 20048 with flag 944000/961110 439.12/437.39 c cleaning 10016 clauses out of 20052 with flag 954001/971111 442.52/440.71 c cleaning 10000 clauses out of 20037 with flag 964002/981112 445.45/443.60 c cleaning 10000 clauses out of 20036 with flag 974001/991111 448.27/446.46 c cleaning 9999 clauses out of 20036 with flag 984001/1001111 451.48/449.67 c cleaning 10005 clauses out of 20037 with flag 994001/1011111 453.68/451.87 c cleaning 9961 clauses out of 20034 with flag 1004003/1021113 456.90/455.02 c cleaning 9973 clauses out of 20072 with flag 1014002/1031112 460.31/458.41 c cleaning 9996 clauses out of 20098 with flag 1024001/1041111 464.73/462.87 c cleaning 10005 clauses out of 20106 with flag 1034005/1051115 468.75/466.80 c cleaning 9987 clauses out of 20099 with flag 1044003/1061113 472.57/470.61 c cleaning 9985 clauses out of 20109 with flag 1054000/1071110 476.88/474.90 c cleaning 10016 clauses out of 20124 with flag 1064000/1081110 482.60/480.63 c cleaning 10008 clauses out of 20109 with flag 1074001/1091111 489.31/487.32 c cleaning 10003 clauses out of 20100 with flag 1084000/1101110 497.51/495.55 c cleaning 10002 clauses out of 20097 with flag 1094000/1111110 504.82/502.88 c cleaning 10000 clauses out of 20096 with flag 1104001/1121111 512.13/510.12 c cleaning 10003 clauses out of 20097 with flag 1114002/1131112 519.13/517.18 c cleaning 10000 clauses out of 20092 with flag 1124000/1141110 526.04/524.02 c cleaning 9997 clauses out of 20093 with flag 1134001/1151111 533.45/531.42 c cleaning 10003 clauses out of 20098 with flag 1144003/1161113 540.86/538.83 c cleaning 9997 clauses out of 20092 with flag 1154000/1171110 545.86/543.90 c cleaning 10035 clauses out of 20099 with flag 1164004/1181114 548.67/546.66 c cleaning 10007 clauses out of 20060 with flag 1174000/1191110 551.88/549.87 c cleaning 9990 clauses out of 20055 with flag 1184002/1201112 555.09/553.06 c cleaning 9999 clauses out of 20068 with flag 1194005/1211115 558.21/556.12 c cleaning 10012 clauses out of 20067 with flag 1204003/1221113 561.51/559.43 c cleaning 10010 clauses out of 20053 with flag 1214001/1231111 565.03/562.96 c cleaning 9995 clauses out of 20042 with flag 1224000/1241110 568.34/566.21 c cleaning 10009 clauses out of 20049 with flag 1234002/1251112 573.25/571.15 c cleaning 9999 clauses out of 20038 with flag 1244000/1261110 576.98/574.80 c cleaning 9990 clauses out of 20044 with flag 1254005/1271115 580.19/578.05 c cleaning 10008 clauses out of 20055 with flag 1264006/1281116 583.80/581.66 c cleaning 10005 clauses out of 20044 with flag 1274003/1291113 587.02/584.81 c cleaning 9976 clauses out of 20036 with flag 1284000/1301110 590.32/588.20 c cleaning 10013 clauses out of 20062 with flag 1294002/1311112 593.84/591.62 c cleaning 9996 clauses out of 20047 with flag 1304000/1321110 596.95/594.72 c cleaning 9997 clauses out of 20051 with flag 1314000/1331110 601.56/599.34 c cleaning 10000 clauses out of 20054 with flag 1324000/1341110 606.47/604.27 c cleaning 10001 clauses out of 20057 with flag 1334003/1351113 611.28/609.01 c cleaning 9991 clauses out of 20054 with flag 1344001/1361111 615.30/613.02 c cleaning 9988 clauses out of 20064 with flag 1354002/1371112 619.80/617.58 c cleaning 9994 clauses out of 20074 with flag 1364000/1381110 623.72/621.47 c cleaning 10017 clauses out of 20080 with flag 1374000/1391110 627.92/625.64 c cleaning 10011 clauses out of 20063 with flag 1384000/1401110 632.43/630.12 c cleaning 10008 clauses out of 20055 with flag 1394003/1411113 636.43/634.13 c cleaning 9988 clauses out of 20044 with flag 1404000/1421110 641.14/638.89 c cleaning 9994 clauses out of 20058 with flag 1414002/1431112 646.05/643.74 c cleaning 9997 clauses out of 20062 with flag 1424000/1441110 650.56/648.24 c cleaning 9998 clauses out of 20065 with flag 1434000/1451110 653.86/651.58 c cleaning 10012 clauses out of 20069 with flag 1444002/1461112 656.67/654.34 c cleaning 10004 clauses out of 20056 with flag 1454001/1471111 660.09/657.75 c cleaning 9983 clauses out of 20053 with flag 1464002/1481112 663.70/661.38 c cleaning 10020 clauses out of 20068 with flag 1474000/1491110 667.92/665.57 c cleaning 10001 clauses out of 20049 with flag 1484001/1501111 671.83/669.48 c cleaning 10002 clauses out of 20050 with flag 1494003/1511113 677.25/674.83 c cleaning 9990 clauses out of 20046 with flag 1504001/1521111 680.36/677.91 c cleaning 9993 clauses out of 20056 with flag 1514001/1531111 683.47/681.01 c cleaning 9993 clauses out of 20062 with flag 1524000/1541110 686.59/684.11 c cleaning 10000 clauses out of 20069 with flag 1534000/1551110 690.19/687.79 c cleaning 9992 clauses out of 20070 with flag 1544001/1561111 693.90/691.46 c cleaning 10001 clauses out of 20080 with flag 1554003/1571113 696.91/694.42 c cleaning 10005 clauses out of 20076 with flag 1564000/1581110 699.83/697.33 c cleaning 10001 clauses out of 20071 with flag 1574000/1591110 702.43/699.95 c cleaning 10002 clauses out of 20073 with flag 1584003/1601113 705.34/702.82 c cleaning 9997 clauses out of 20070 with flag 1594002/1611112 708.04/705.58 c cleaning 9994 clauses out of 20072 with flag 1604001/1621111 710.05/707.56 c cleaning 10015 clauses out of 20079 with flag 1614002/1631112 712.36/709.81 c cleaning 10006 clauses out of 20064 with flag 1624002/1641112 714.97/712.43 c cleaning 10003 clauses out of 20056 with flag 1634000/1651110 717.38/714.90 c cleaning 9994 clauses out of 20053 with flag 1644000/1661110 720.10/717.54 c cleaning 10003 clauses out of 20059 with flag 1654000/1671110 722.41/719.88 c cleaning 10005 clauses out of 20056 with flag 1664000/1681110 725.11/722.56 c cleaning 9991 clauses out of 20052 with flag 1674001/1691111 727.42/724.90 c cleaning 10007 clauses out of 20060 with flag 1684000/1701110 730.13/727.52 c cleaning 10000 clauses out of 20054 with flag 1694001/1711111 732.83/730.26 c cleaning 10000 clauses out of 20053 with flag 1704000/1721110 735.25/732.68 c cleaning 10002 clauses out of 20055 with flag 1714002/1731112 737.65/735.00 c cleaning 10002 clauses out of 20055 with flag 1724004/1741114 739.95/737.36 c cleaning 9997 clauses out of 20051 with flag 1734002/1751112 742.15/739.56 c cleaning 9992 clauses out of 20057 with flag 1744005/1761115 744.86/742.27 c cleaning 9998 clauses out of 20061 with flag 1754001/1771111 749.06/746.46 c cleaning 10003 clauses out of 20065 with flag 1764003/1781113 753.57/750.98 c cleaning 9997 clauses out of 20059 with flag 1774000/1791110 759.08/756.48 c cleaning 10002 clauses out of 20063 with flag 1784001/1801111 763.79/761.13 c cleaning 9999 clauses out of 20060 with flag 1794000/1811110 769.10/766.45 c cleaning 9999 clauses out of 20061 with flag 1804000/1821110 774.61/771.99 c cleaning 10002 clauses out of 20063 with flag 1814001/1831111 779.12/776.45 c cleaning 9988 clauses out of 20062 with flag 1824002/1841112 783.73/781.01 c cleaning 10002 clauses out of 20072 with flag 1834000/1851110 788.74/786.03 c cleaning 10004 clauses out of 20071 with flag 1844001/1861111 793.74/791.01 c cleaning 10003 clauses out of 20068 with flag 1854002/1871112 799.35/796.63 c cleaning 9990 clauses out of 20063 with flag 1864000/1881110 804.96/802.20 c cleaning 10001 clauses out of 20078 with flag 1874005/1891115 809.46/806.70 c cleaning 10004 clauses out of 20076 with flag 1884004/1901114 814.37/811.65 c cleaning 10006 clauses out of 20069 with flag 1894001/1911111 819.08/816.32 c cleaning 10003 clauses out of 20065 with flag 1904003/1921113 824.18/821.45 c cleaning 10001 clauses out of 20061 with flag 1914002/1931112 829.09/826.34 c cleaning 9998 clauses out of 20058 with flag 1924000/1941110 833.29/830.51 c cleaning 10000 clauses out of 20061 with flag 1934001/1951111 838.19/835.46 c cleaning 10000 clauses out of 20063 with flag 1944003/1961113 842.30/839.58 c cleaning 10000 clauses out of 20063 with flag 1954003/1971113 846.80/844.06 c cleaning 9998 clauses out of 20060 with flag 1964000/1981110 851.80/849.10 c cleaning 10000 clauses out of 20063 with flag 1974001/1991111 855.81/853.08 c cleaning 10012 clauses out of 20062 with flag 1984000/2001110 860.72/857.97 c cleaning 10001 clauses out of 20050 with flag 1994000/2011110 865.63/862.80 c cleaning 10003 clauses out of 20049 with flag 2004000/2021110 870.75/867.96 c cleaning 9986 clauses out of 20046 with flag 2014000/2031110 875.25/872.40 c cleaning 10000 clauses out of 20061 with flag 2024001/2041111 879.67/876.80 c cleaning 10001 clauses out of 20062 with flag 2034002/2051112 885.09/882.21 c cleaning 9998 clauses out of 20061 with flag 2044002/2061112 890.60/887.73 c cleaning 10001 clauses out of 20063 with flag 2054002/2071112 895.20/892.31 c cleaning 10013 clauses out of 20061 with flag 2064001/2081111 898.50/895.60 c cleaning 10006 clauses out of 20049 with flag 2074002/2091112 903.11/900.21 c cleaning 10008 clauses out of 20043 with flag 2084002/2101112 906.64/903.72 c cleaning 10003 clauses out of 20033 with flag 2094000/2111110 909.56/906.64 c cleaning 10002 clauses out of 20030 with flag 2104000/2121110 914.17/911.27 c cleaning 9989 clauses out of 20029 with flag 2114001/2131111 920.08/917.14 c cleaning 9994 clauses out of 20042 with flag 2124003/2141113 926.19/923.25 c cleaning 9998 clauses out of 20047 with flag 2134002/2151112 932.51/929.57 c cleaning 9999 clauses out of 20049 with flag 2144002/2161112 938.41/935.43 c cleaning 9995 clauses out of 20048 with flag 2154000/2171110 944.22/941.22 c cleaning 10002 clauses out of 20058 with flag 2164005/2181115 949.22/946.24 c cleaning 10012 clauses out of 20052 with flag 2174001/2191111 953.83/950.82 c cleaning 10006 clauses out of 20041 with flag 2184002/2201112 958.54/955.52 c cleaning 10003 clauses out of 20033 with flag 2194000/2211110 963.75/960.77 c cleaning 9999 clauses out of 20032 with flag 2204002/2221112 968.76/965.74 c cleaning 10001 clauses out of 20031 with flag 2214000/2231110 973.87/970.87 c cleaning 10004 clauses out of 20034 with flag 2224004/2241114 979.07/976.02 c cleaning 9997 clauses out of 20028 with flag 2234002/2251112 983.88/980.84 c cleaning 9999 clauses out of 20032 with flag 2244003/2261113 987.79/984.78 c cleaning 9995 clauses out of 20030 with flag 2254000/2271110 992.50/989.42 c cleaning 10005 clauses out of 20035 with flag 2264000/2281110 995.60/992.56 c cleaning 9994 clauses out of 20033 with flag 2274003/2291113 999.11/996.04 c cleaning 10002 clauses out of 20036 with flag 2284000/2301110 1003.22/1000.14 c cleaning 9992 clauses out of 20034 with flag 2294000/2311110 1006.64/1003.56 c cleaning 9995 clauses out of 20042 with flag 2304000/2321110 1010.25/1007.16 c cleaning 10014 clauses out of 20048 with flag 2314001/2331111 1014.37/1011.22 c cleaning 9987 clauses out of 20033 with flag 2324000/2341110 1017.99/1014.81 c cleaning 10006 clauses out of 20047 with flag 2334001/2351111 1022.21/1019.00 c cleaning 10003 clauses out of 20040 with flag 2344000/2361110 1026.23/1023.09 c cleaning 10000 clauses out of 20038 with flag 2354001/2371111 1030.25/1027.07 c cleaning 10000 clauses out of 20037 with flag 2364000/2381110 1034.26/1031.08 c cleaning 9999 clauses out of 20037 with flag 2374000/2391110 1037.87/1034.69 c cleaning 10000 clauses out of 20038 with flag 2384000/2401110 1041.98/1038.73 c cleaning 10002 clauses out of 20038 with flag 2394000/2411110 1046.39/1043.17 c cleaning 9999 clauses out of 20036 with flag 2404000/2421110 1050.11/1046.89 c cleaning 10000 clauses out of 20037 with flag 2414000/2431110 1054.42/1051.13 c cleaning 9992 clauses out of 20039 with flag 2424002/2441112 1059.93/1056.69 c cleaning 9995 clauses out of 20050 with flag 2434005/2451115 1066.64/1063.30 c cleaning 9996 clauses out of 20051 with flag 2444001/2461111 1072.14/1068.84 c cleaning 9997 clauses out of 20054 with flag 2454000/2471110 1078.55/1075.25 c cleaning 9998 clauses out of 20057 with flag 2464000/2481110 1084.86/1081.58 c cleaning 9997 clauses out of 20059 with flag 2474000/2491110 1090.87/1087.55 c cleaning 10003 clauses out of 20064 with flag 2484002/2501112 1096.68/1093.39 c cleaning 9998 clauses out of 20059 with flag 2494000/2511110 1102.78/1099.44 c cleaning 9999 clauses out of 20062 with flag 2504001/2521111 1108.59/1105.28 c cleaning 10001 clauses out of 20063 with flag 2514001/2531111 1114.10/1110.71 c cleaning 9997 clauses out of 20062 with flag 2524001/2541111 1120.00/1116.67 c cleaning 10005 clauses out of 20070 with flag 2534006/2551116 1126.61/1123.26 c cleaning 10003 clauses out of 20062 with flag 2544003/2561113 1133.61/1130.23 c cleaning 9997 clauses out of 20057 with flag 2554001/2571111 1139.62/1136.26 c cleaning 10000 clauses out of 20061 with flag 2564002/2581112 1146.23/1142.81 c cleaning 9998 clauses out of 20060 with flag 2574001/2591111 1152.74/1149.40 c cleaning 10001 clauses out of 20062 with flag 2584001/2601111 1160.15/1156.75 c cleaning 10000 clauses out of 20060 with flag 2594000/2611110 1167.17/1163.74 c cleaning 10001 clauses out of 20061 with flag 2604001/2621111 1173.96/1170.52 c cleaning 10000 clauses out of 20059 with flag 2614000/2631110 1180.57/1177.17 c cleaning 10000 clauses out of 20062 with flag 2624003/2641113 1187.88/1184.47 c cleaning 10000 clauses out of 20061 with flag 2634002/2651112 1193.59/1190.19 c cleaning 10008 clauses out of 20060 with flag 2644001/2661111 1198.49/1195.08 c cleaning 9999 clauses out of 20052 with flag 2654001/2671111 1203.10/1199.69 c cleaning 10006 clauses out of 20052 with flag 2664000/2681110 1207.50/1204.07 c cleaning 9991 clauses out of 20048 with flag 2674002/2691112 1212.61/1209.10 c cleaning 10005 clauses out of 20055 with flag 2684000/2701110 1217.51/1214.07 c cleaning 10005 clauses out of 20051 with flag 2694001/2711111 1221.82/1218.39 c cleaning 10000 clauses out of 20045 with flag 2704000/2721110 1227.93/1224.45 c cleaning 10001 clauses out of 20046 with flag 2714001/2731111 1232.53/1229.05 c cleaning 9998 clauses out of 20044 with flag 2724000/2741110 1237.24/1233.79 c cleaning 10004 clauses out of 20047 with flag 2734001/2751111 1242.05/1238.52 c cleaning 9996 clauses out of 20042 with flag 2744000/2761110 1246.45/1242.99 c cleaning 9997 clauses out of 20046 with flag 2754000/2771110 1250.65/1247.19 c cleaning 10000 clauses out of 20049 with flag 2764000/2781110 1255.36/1251.88 c cleaning 10005 clauses out of 20050 with flag 2774001/2791111 1259.86/1256.37 c cleaning 10001 clauses out of 20045 with flag 2784001/2801111 1264.47/1260.96 c cleaning 10000 clauses out of 20044 with flag 2794001/2811111 1269.18/1265.69 c cleaning 9991 clauses out of 20044 with flag 2804001/2821111 1273.49/1269.96 c cleaning 10007 clauses out of 20054 with flag 2814002/2831112 1277.99/1274.45 c cleaning 10001 clauses out of 20046 with flag 2824001/2841111 1282.70/1279.10 c cleaning 10001 clauses out of 20044 with flag 2834000/2851110 1287.60/1284.03 c cleaning 10000 clauses out of 20044 with flag 2844001/2861111 1292.01/1288.41 c cleaning 10001 clauses out of 20043 with flag 2854000/2871110 1297.11/1293.58 c cleaning 9999 clauses out of 20042 with flag 2864000/2881110 1301.42/1297.81 c cleaning 10002 clauses out of 20045 with flag 2874002/2891112 1306.32/1302.76 c cleaning 9998 clauses out of 20041 with flag 2884000/2901110 1311.32/1307.72 c cleaning 9999 clauses out of 20044 with flag 2894001/2911111 1315.62/1312.06 c cleaning 9991 clauses out of 20044 with flag 2904000/2921110 1320.82/1317.20 c cleaning 10007 clauses out of 20054 with flag 2914001/2931111 1325.63/1322.05 c cleaning 9996 clauses out of 20047 with flag 2924001/2941111 1330.73/1327.13 c cleaning 10007 clauses out of 20054 with flag 2934004/2951114 1336.24/1332.67 c cleaning 9994 clauses out of 20044 with flag 2944001/2961111 1340.75/1337.11 c cleaning 10000 clauses out of 20051 with flag 2954002/2971112 1346.05/1342.47 c cleaning 9998 clauses out of 20051 with flag 2964002/2981112 1350.85/1347.23 c cleaning 9994 clauses out of 20051 with flag 2974000/2991110 1355.57/1351.99 c cleaning 10026 clauses out of 20057 with flag 2984000/3001110 1359.48/1355.83 c cleaning 9994 clauses out of 20036 with flag 2994005/3011115 1364.49/1360.87 c cleaning 9988 clauses out of 20038 with flag 3004001/3021111 1369.20/1365.58 c cleaning 10008 clauses out of 20049 with flag 3014000/3031110 1374.41/1370.78 c cleaning 10004 clauses out of 20043 with flag 3024002/3041112 1378.73/1375.09 c cleaning 9997 clauses out of 20038 with flag 3034001/3051111 1381.63/1377.90 c cleaning 9989 clauses out of 20040 with flag 3044000/3061110 1386.04/1382.39 c cleaning 10002 clauses out of 20056 with flag 3054005/3071115 1388.96/1385.25 c cleaning 9976 clauses out of 20049 with flag 3064000/3081110 1392.17/1388.43 c cleaning 9999 clauses out of 20073 with flag 3074000/3091110 1395.68/1391.94 c cleaning 10006 clauses out of 20084 with flag 3084010/3101120 1399.19/1395.44 c cleaning 10000 clauses out of 20071 with flag 3094003/3111113 1402.80/1399.06 c cleaning 10014 clauses out of 20069 with flag 3104001/3121111 1406.22/1402.45 c cleaning 9957 clauses out of 20056 with flag 3114002/3131112 1409.73/1405.96 c cleaning 9962 clauses out of 20097 with flag 3124000/3141110 1413.44/1409.61 c cleaning 9975 clauses out of 20138 with flag 3134003/3151113 1417.36/1413.58 c cleaning 10003 clauses out of 20163 with flag 3144003/3161113 1420.67/1416.84 c cleaning 9985 clauses out of 20157 with flag 3154000/3171110 1424.27/1420.46 c cleaning 10014 clauses out of 20174 with flag 3164002/3181112 1428.68/1424.88 c cleaning 10032 clauses out of 20158 with flag 3174000/3191110 1434.09/1430.27 c cleaning 10026 clauses out of 20126 with flag 3184000/3201110 1439.40/1435.51 c cleaning 10015 clauses out of 20101 with flag 3194001/3211111 1445.11/1441.20 c cleaning 10004 clauses out of 20085 with flag 3204000/3221110 1450.02/1446.17 c cleaning 10001 clauses out of 20082 with flag 3214001/3231111 1455.22/1451.30 c cleaning 9999 clauses out of 20080 with flag 3224000/3241110 1460.34/1456.40 c cleaning 9994 clauses out of 20081 with flag 3234000/3251110 1465.34/1461.49 c cleaning 10006 clauses out of 20088 with flag 3244001/3261111 1470.65/1466.78 c cleaning 10004 clauses out of 20083 with flag 3254002/3271112 1475.16/1471.27 c cleaning 10000 clauses out of 20077 with flag 3264000/3281110 1477.97/1474.06 c cleaning 10030 clauses out of 20079 with flag 3274002/3291112 1480.47/1476.58 c cleaning 10008 clauses out of 20050 with flag 3284003/3301113 1482.68/1478.75 c cleaning 10008 clauses out of 20039 with flag 3294000/3311110 1485.09/1481.16 c cleaning 9997 clauses out of 20034 with flag 3304003/3321113 1487.40/1483.45 c cleaning 9996 clauses out of 20034 with flag 3314000/3331110 1489.91/1485.98 c cleaning 10010 clauses out of 20039 with flag 3324001/3341111 1492.33/1488.35 c cleaning 10001 clauses out of 20029 with flag 3334001/3351111 1494.63/1490.66 c cleaning 9999 clauses out of 20027 with flag 3344000/3361110 1496.84/1492.87 c cleaning 10001 clauses out of 20030 with flag 3354002/3371112 1498.85/1494.89 c cleaning 10000 clauses out of 20030 with flag 3364003/3381113 1501.16/1497.13 c cleaning 10001 clauses out of 20027 with flag 3374000/3391110 1503.76/1499.73 c cleaning 9993 clauses out of 20027 with flag 3384001/3401111 1506.27/1502.25 c cleaning 9996 clauses out of 20033 with flag 3394000/3411110 1508.97/1504.92 c cleaning 10008 clauses out of 20038 with flag 3404001/3421111 1511.48/1507.43 c cleaning 10000 clauses out of 20029 with flag 3414000/3431110 1515.88/1511.81 c cleaning 9990 clauses out of 20029 with flag 3424000/3441110 1521.50/1517.45 c cleaning 9990 clauses out of 20040 with flag 3434001/3451111 1527.11/1523.10 c cleaning 9999 clauses out of 20049 with flag 3444000/3461110 1531.42/1527.37 c cleaning 9999 clauses out of 20051 with flag 3454001/3471111 1536.03/1531.99 c cleaning 9996 clauses out of 20053 with flag 3464002/3481112 1540.63/1536.53 c cleaning 10000 clauses out of 20056 with flag 3474001/3491111 1545.64/1541.59 c cleaning 10000 clauses out of 20056 with flag 3484001/3501111 1550.45/1546.30 c cleaning 10001 clauses out of 20055 with flag 3494000/3511110 1555.55/1551.44 c cleaning 9998 clauses out of 20054 with flag 3504000/3521110 1560.96/1556.82 c cleaning 9996 clauses out of 20056 with flag 3514000/3531110 1565.57/1561.48 c cleaning 10003 clauses out of 20061 with flag 3524001/3541111 1570.37/1566.20 c cleaning 9998 clauses out of 20060 with flag 3534003/3551113 1575.18/1571.09 c cleaning 10004 clauses out of 20064 with flag 3544005/3561115 1579.79/1575.65 c cleaning 9986 clauses out of 20055 with flag 3554000/3571110 1584.20/1580.08 c cleaning 10005 clauses out of 20071 with flag 3564002/3581112 1589.10/1584.90 c cleaning 10001 clauses out of 20064 with flag 3574000/3591110 1595.20/1591.02 c cleaning 10002 clauses out of 20063 with flag 3584000/3601110 1600.21/1596.03 c cleaning 10005 clauses out of 20064 with flag 3594003/3611113 1604.91/1600.75 c cleaning 9996 clauses out of 20056 with flag 3604000/3621110 1610.02/1605.85 c cleaning 9976 clauses out of 20065 with flag 3614005/3631115 1615.02/1610.82 c cleaning 10016 clauses out of 20086 with flag 3624002/3641112 1620.84/1616.68 c cleaning 9999 clauses out of 20068 with flag 3634000/3651110 1626.24/1622.00 c cleaning 10001 clauses out of 20070 with flag 3644001/3661111 1630.95/1626.78 c cleaning 9996 clauses out of 20072 with flag 3654004/3671114 1635.36/1631.19 c cleaning 9996 clauses out of 20072 with flag 3664000/3681110 1639.48/1635.27 c cleaning 9998 clauses out of 20076 with flag 3674000/3691110 1643.68/1639.44 c cleaning 9989 clauses out of 20081 with flag 3684003/3701113 1647.69/1643.42 c cleaning 9981 clauses out of 20089 with flag 3694000/3711110 1652.00/1647.73 c cleaning 10003 clauses out of 20111 with flag 3704003/3721113 1656.10/1651.88 c cleaning 10009 clauses out of 20105 with flag 3714000/3731110 1660.51/1656.25 c cleaning 10005 clauses out of 20097 with flag 3724001/3741111 1664.81/1660.58 c cleaning 10006 clauses out of 20092 with flag 3734001/3751111 1669.12/1664.89 c cleaning 9999 clauses out of 20085 with flag 3744000/3761110 1674.52/1670.26 c cleaning 10001 clauses out of 20086 with flag 3754000/3771110 1679.23/1674.96 c cleaning 9979 clauses out of 20085 with flag 3764000/3781110 1683.13/1678.87 c cleaning 10012 clauses out of 20106 with flag 3774000/3791110 1687.24/1683.00 c cleaning 9996 clauses out of 20096 with flag 3784002/3801112 1690.75/1686.45 c cleaning 9995 clauses out of 20103 with flag 3794005/3811115 1695.15/1690.88 c cleaning 9991 clauses out of 20103 with flag 3804000/3821110 1699.25/1694.94 c cleaning 10003 clauses out of 20116 with flag 3814004/3831114 1703.46/1699.19 c cleaning 10004 clauses out of 20109 with flag 3824000/3841110 1707.76/1703.41 c cleaning 10004 clauses out of 20105 with flag 3834000/3851110 1711.66/1707.30 c cleaning 10005 clauses out of 20103 with flag 3844002/3861112 1715.47/1711.13 c cleaning 10002 clauses out of 20097 with flag 3854001/3871111 1719.57/1715.27 c cleaning 10010 clauses out of 20099 with flag 3864005/3881115 1724.17/1719.87 c cleaning 9990 clauses out of 20086 with flag 3874002/3891112 1729.88/1725.52 c cleaning 10004 clauses out of 20095 with flag 3884001/3901111 1733.59/1729.25 c cleaning 10002 clauses out of 20097 with flag 3894007/3911117 1737.59/1733.20 c cleaning 9996 clauses out of 20092 with flag 3904004/3921114 1742.30/1737.91 c cleaning 9999 clauses out of 20095 with flag 3914003/3931113 1746.40/1742.00 c cleaning 10008 clauses out of 20095 with flag 3924002/3941112 1750.00/1745.60 c cleaning 10002 clauses out of 20085 with flag 3934000/3951110 1753.90/1749.51 c cleaning 9991 clauses out of 20085 with flag 3944002/3961112 1758.91/1754.59 c cleaning 10007 clauses out of 20101 with flag 3954009/3971119 1762.51/1758.10 c cleaning 9998 clauses out of 20089 with flag 3964004/3981114 1765.31/1760.97 c cleaning 10007 clauses out of 20088 with flag 3974001/3991111 1768.73/1764.35 c cleaning 10018 clauses out of 20081 with flag 3984001/4001111 1772.04/1767.62 c cleaning 10003 clauses out of 20063 with flag 3994001/4011111 1775.15/1770.74 c cleaning 10009 clauses out of 20064 with flag 4004005/4021115 1779.27/1774.85 c cleaning 9986 clauses out of 20052 with flag 4014002/4031112 1783.79/1779.39 c cleaning 10018 clauses out of 20066 with flag 4024002/4041112 1787.62/1783.13 c cleaning 10001 clauses out of 20049 with flag 4034003/4051113 1791.32/1786.83 c cleaning 9982 clauses out of 20046 with flag 4044001/4061111 1794.74/1790.22 c cleaning 9962 clauses out of 20063 with flag 4054000/4071110 1797.65/1793.18 c cleaning 10016 clauses out of 20104 with flag 4064003/4081113 1800.06/1795.51 c starts : 263 1800.06/1795.51 c conflicts : 4089190 1800.06/1795.51 c decisions : 5586714 1800.06/1795.51 c propagations : 157046914 1800.06/1795.51 c inspects : 5911530873 1800.06/1795.51 c shortcuts : 0 1800.06/1795.51 c learnt literals : 0 1800.06/1795.51 c learnt binary clauses : 0 1800.06/1795.51 c learnt ternary clauses : 0 1800.06/1795.51 c learnt constraints : 4089190 1800.06/1795.51 c ignored constraints : 0 1800.06/1795.51 c root simplifications : 0 1800.06/1795.51 c removed literals (reason simplification) : 13482586 1800.06/1795.51 c reason swapping (by a shorter reason) : 0 1800.06/1795.51 c Calls to reduceDB : 410 1800.06/1795.51 c number of reductions to clauses (during analyze) : 0 1800.06/1795.51 c number of learned constraints concerned by reduction : 0 1800.06/1795.51 c number of learning phase by resolution : 0 1800.06/1795.51 c number of learning phase by cutting planes : 0 1800.06/1795.51 c speed (assignments/second) : 87680.40827880069 1800.06/1795.51 c non guided choices 238699 1800.06/1795.52 c learnt constraints type 1800.06/1795.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18185 1800.06/1795.52 c constraints type 1800.06/1795.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 1800.06/1795.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.06/1795.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 59 1800.06/1795.52 s SATISFIABLE 1800.06/1795.53 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 1800.06/1795.54 c objective function=9 1800.06/1795.54 c Total wall clock time (in seconds): 1795.428
OK 9
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3492176-1307908170/watcher-3492176-1307908170 -o /var/tmp/evaluation-result-3492176-1307908170/solver-3492176-1307908170 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492176-1307908170.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 1.97 1.89 2/195 17214 /proc/meminfo: memFree=759884/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/17214/stat : 17214 (java) R 17212 17214 15624 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902416683 23580672 694 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274469005201 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17214/statm: 5757 694 510 9 0 124 0 [startup+0.053209 s] /proc/loadavg: 2.01 1.97 1.89 2/195 17214 /proc/meminfo: memFree=759884/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 11433 0 1 0 3 1 0 0 25 0 13 0 902416683 10718838784 11128 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2616904 11128 1684 9 0 2607652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.100199 s] /proc/loadavg: 2.01 1.97 1.89 2/195 17214 /proc/meminfo: memFree=759884/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10605220 CPUtime=0.1 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 13083 0 1 0 8 2 0 0 25 0 18 0 902416683 10859745280 12761 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2651305 12761 2092 9 0 2642039 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10605220 [startup+0.300167 s] /proc/loadavg: 2.01 1.97 1.89 2/195 17214 /proc/meminfo: memFree=759884/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=0.52 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 19861 0 1 0 50 2 0 0 25 0 19 0 902416683 10869923840 17860 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 17860 2211 9 0 2644524 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10615160 [startup+0.70109 s] /proc/loadavg: 2.01 1.97 1.89 2/195 17214 /proc/meminfo: memFree=759884/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=1.41 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 24457 0 1 0 137 4 0 0 25 0 19 0 902416683 10869923840 19729 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 19729 2222 9 0 2644524 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10615160 [startup+1.50095 s] /proc/loadavg: 2.01 1.97 1.89 3/214 17233 /proc/meminfo: memFree=685604/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=2.24 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 26339 0 1 0 220 4 0 0 25 0 19 0 902416683 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 21610 2224 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=1.48 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 16106 0 1 0 146 2 0 0 20 0 19 0 902416684 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505734779 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416686 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902416687 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902416687 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.39 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5147 0 0 0 39 0 0 0 15 0 19 0 902416689 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.35 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3924 0 0 0 35 0 0 0 23 0 19 0 902416689 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 21610 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 10615160 [startup+3.10073 s] /proc/loadavg: 2.01 1.97 1.89 3/214 17233 /proc/meminfo: memFree=675684/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=3.92 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 32567 0 1 0 387 5 0 0 25 0 19 0 902416683 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 27821 2250 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=3.06 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 18054 0 1 0 303 3 0 0 25 0 19 0 902416684 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505587712 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 290 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 1125 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=0.01 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 2109 0 0 0 1 0 0 0 16 0 19 0 902416687 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.37 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3932 0 0 0 37 0 0 0 16 0 19 0 902416689 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 27821 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 10615160 [startup+6.30111 s] /proc/loadavg: 2.01 1.97 1.89 3/214 17233 /proc/meminfo: memFree=644272/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=7.19 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 37123 0 1 0 713 6 0 0 25 0 19 0 902416683 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 32085 2250 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=6.21 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 18057 0 1 0 618 3 0 0 25 0 19 0 902416684 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505621665 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 744 0 0 0 0 0 0 0 16 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 399 0 0 0 0 0 0 0 16 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 1198 0 0 0 0 0 0 0 18 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 1130 0 0 0 0 0 0 0 15 0 19 0 902416686 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=0.05 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 4291 0 0 0 5 0 0 0 16 0 19 0 902416687 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.42 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3943 0 0 0 42 0 0 0 15 0 19 0 902416689 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 32085 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 10615160 [startup+12.701 s] ################ # More data... # ################ [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0.68 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 3168 0 0 0 67 1 0 0 16 0 19 0 902416686 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0.62 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 2497 0 0 0 62 0 0 0 15 0 19 0 902416686 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0.67 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 3827 0 0 0 67 0 0 0 15 0 19 0 902416686 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=16.36 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 20261 0 0 0 1630 6 0 0 15 0 19 0 902416687 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3946 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 66616 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1726.68 Current children cumulated vsize (KiB) 10615160 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.96 3/214 17351 /proc/meminfo: memFree=1311084/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=1786.81 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 72550 0 1 0 178659 22 0 0 25 0 19 0 902416683 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 66899 2251 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=1763.29 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 22030 0 1 0 176324 5 0 0 25 0 19 0 902416684 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505621683 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0.64 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 3024 0 0 0 64 0 0 0 16 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0.65 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 2018 0 0 0 64 1 0 0 15 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0.66 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1382 0 0 0 65 1 0 0 16 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0.68 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 2153 0 0 0 68 0 0 0 15 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0.71 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 1642 0 0 0 71 0 0 0 16 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0.7 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 3173 0 0 0 69 1 0 0 16 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0.63 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 2545 0 0 0 63 0 0 0 16 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0.69 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 3959 0 0 0 69 0 0 0 15 0 19 0 902416686 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=17.13 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 20265 0 0 0 1707 6 0 0 15 0 19 0 902416687 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3946 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 66899 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1786.81 Current children cumulated vsize (KiB) 10615160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.5 s] /proc/loadavg: 2.00 2.00 1.96 3/214 17352 /proc/meminfo: memFree=1311044/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=1800.06 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 72559 0 1 0 179984 22 0 0 25 0 19 0 902416683 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 66904 2251 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=1776.27 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 22034 0 1 0 177622 5 0 0 25 0 19 0 902416684 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505622169 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0.65 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 3024 0 0 0 65 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0.66 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 2018 0 0 0 65 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0.67 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1387 0 0 0 66 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0.68 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 2153 0 0 0 68 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0.72 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 1642 0 0 0 72 0 0 0 16 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0.71 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 3173 0 0 0 70 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0.64 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 2545 0 0 0 64 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0.7 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 3959 0 0 0 70 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=17.34 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 20265 0 0 0 1728 6 0 0 15 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3946 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10615160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.5 s] /proc/loadavg: 2.00 2.00 1.96 3/214 17352 /proc/meminfo: memFree=1311044/32950928 swapFree=67079488/67111528 [pid=17214] ppid=17212 vsize=10615160 CPUtime=1800.06 cores=1,3,5,7 /proc/17214/stat : 17214 (java) S 17212 17214 15624 0 -1 4202496 72559 0 1 0 179984 22 0 0 25 0 19 0 902416683 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17214/statm: 2653790 66904 2251 9 0 2644524 0 [pid=17214/tid=17216] ppid=17212 vsize=10615160 CPUtime=1776.27 cores=1,3,5,7 /proc/17214/task/17216/stat : 17216 (java) R 17212 17214 15624 0 -1 4202560 22034 0 1 0 177622 5 0 0 25 0 19 0 902416684 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 46912505622169 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17214/tid=17217] ppid=17212 vsize=10615160 CPUtime=0.65 cores=1,3,5,7 /proc/17214/task/17217/stat : 17217 (java) S 17212 17214 15624 0 -1 4202560 3024 0 0 0 65 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17218] ppid=17212 vsize=10615160 CPUtime=0.66 cores=1,3,5,7 /proc/17214/task/17218/stat : 17218 (java) S 17212 17214 15624 0 -1 4202560 2018 0 0 0 65 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17219] ppid=17212 vsize=10615160 CPUtime=0.67 cores=1,3,5,7 /proc/17214/task/17219/stat : 17219 (java) S 17212 17214 15624 0 -1 4202560 1387 0 0 0 66 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17220] ppid=17212 vsize=10615160 CPUtime=0.68 cores=1,3,5,7 /proc/17214/task/17220/stat : 17220 (java) S 17212 17214 15624 0 -1 4202560 2153 0 0 0 68 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17221] ppid=17212 vsize=10615160 CPUtime=0.72 cores=1,3,5,7 /proc/17214/task/17221/stat : 17221 (java) S 17212 17214 15624 0 -1 4202560 1642 0 0 0 72 0 0 0 16 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17222] ppid=17212 vsize=10615160 CPUtime=0.71 cores=1,3,5,7 /proc/17214/task/17222/stat : 17222 (java) S 17212 17214 15624 0 -1 4202560 3173 0 0 0 70 1 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17223] ppid=17212 vsize=10615160 CPUtime=0.64 cores=1,3,5,7 /proc/17214/task/17223/stat : 17223 (java) S 17212 17214 15624 0 -1 4202560 2545 0 0 0 64 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17224] ppid=17212 vsize=10615160 CPUtime=0.7 cores=1,3,5,7 /proc/17214/task/17224/stat : 17224 (java) S 17212 17214 15624 0 -1 4202560 3959 0 0 0 70 0 0 0 15 0 19 0 902416686 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17225] ppid=17212 vsize=10615160 CPUtime=17.34 cores=1,3,5,7 /proc/17214/task/17225/stat : 17225 (java) S 17212 17214 15624 0 -1 4202560 20265 0 0 0 1728 6 0 0 15 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 0 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17226] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17226/stat : 17226 (java) S 17212 17214 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17227] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17227/stat : 17227 (java) S 17212 17214 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902416687 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17228] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17228/stat : 17228 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485791153 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17229] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17229/stat : 17229 (java) S 17212 17214 15624 0 -1 4202560 5159 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 [pid=17214/tid=17230] ppid=17212 vsize=10615160 CPUtime=0.44 cores=1,3,5,7 /proc/17214/task/17230/stat : 17230 (java) S 17212 17214 15624 0 -1 4202560 3946 0 0 0 44 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 7 0 0 0 [pid=17214/tid=17231] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17231/stat : 17231 (java) S 17212 17214 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485783449 0 4 0 16800975 18446604467910529408 0 0 -1 1 0 0 0 [pid=17214/tid=17232] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17232/stat : 17232 (java) S 17212 17214 15624 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902416689 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 5 0 0 0 [pid=17214/tid=17233] ppid=17212 vsize=10615160 CPUtime=0 cores=1,3,5,7 /proc/17214/task/17233/stat : 17233 (java) S 17212 17214 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902416710 10869923840 66904 33554432000 1073741824 1073778376 140734976288048 18446744073709551615 274485784064 0 4 0 16800975 18446604467910529408 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10615160 Child status: 143 Real time (s): 1795.56 CPU time (s): 1800.17 CPU user time (s): 1799.94 CPU system time (s): 0.231964 CPU usage (%): 100.256 Max. virtual memory (cumulated for all children) (KiB): 10615160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.231964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72665 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= 47018 involuntary context switches= 26323 runsolver used 3.06653 second user time and 6.76197 second system time The end
Begin job on node125 at 2011-06-12 21:49:30 IDJOB=3492176 IDBENCH=78671 IDSOLVER=1982 FILE ID=node125/3492176-1307908170 RUNJOBID= node125-1307907420-16978 PBS_JOBID= 13559581 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492176-1307908170/watcher-3492176-1307908170 -o /var/tmp/evaluation-result-3492176-1307908170/solver-3492176-1307908170 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492176-1307908170.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6 RANDOM SEED=1890383217 node125.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.828 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.828 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: 32950928 kB MemFree: 760544 kB Buffers: 60392 kB Cached: 30038536 kB SwapCached: 3272 kB Active: 16269296 kB Inactive: 14975828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 760544 kB SwapTotal: 67111528 kB SwapFree: 67079488 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 1144000 kB Mapped: 22488 kB Slab: 878532 kB PageTables: 7016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 10553572 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 /var/tmp at the end= 2892 MiB End job on node125 at 2011-06-12 22:19:28