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.2 | 1795.97 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo |
| MD5SUM | 6ce7da05711cce00ec3b2d5a1c7699c2 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.297954 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4970 |
| Total number of constraints | 141 |
| Number of soft constraints | 43 |
| Number of constraints which are clauses | 71 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 71 |
| Top cost | 2285 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 2284 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 72 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.25 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.25 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.25 c See www.sat4j.org for details. 0.05/0.26 c version 2.3.1.v20110525 0.05/0.26 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.26 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.26 c java.vm.version 19.1-b02 0.05/0.26 c java.vm.vendor Sun Microsystems Inc. 0.05/0.26 c sun.arch.data.model 64 0.05/0.26 c java.version 1.6.0_24 0.05/0.26 c os.name Linux 0.05/0.26 c os.version 2.6.18-164.el5 0.05/0.26 c os.arch amd64 0.05/0.26 c Free memory 9996466904 0.05/0.26 c Max memory 10048897024 0.05/0.26 c Total memory 10048897024 0.05/0.26 c Number of processors 8 0.05/0.29 c Pseudo Boolean Optimization 0.05/0.29 c --- Begin Solver configuration --- 0.05/0.29 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.05/0.29 c Learn all clauses as in MiniSAT 0.05/0.29 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.29 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.29 c Expensive reason simplification 0.05/0.29 c Armin Biere (Picosat) restarts strategy 0.05/0.29 c Glucose learned constraints deletion strategy 0.05/0.29 c timeout=2147483s 0.05/0.29 c DB Simplification allowed=false 0.05/0.29 c --- End Solver configuration --- 0.05/0.29 c solving HOME/instance-3492287-1307908940.wbo 0.05/0.29 c reading problem ... 0.35/0.46 c ... done. Wall clock time 0.17s. 0.35/0.46 c #vars 5013 0.35/0.46 c #constraints 141 0.35/0.46 c constraints type 0.35/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 0.35/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 52 0.35/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18 0.92/0.66 c SATISFIABLE 0.92/0.66 c OPTIMIZING... 0.92/0.66 c Got one! Elapsed wall clock time (in seconds):0.37 0.92/0.66 o 113 1.18/0.71 c Got one! Elapsed wall clock time (in seconds):0.418 1.18/0.71 o 32 1.29/0.84 c Got one! Elapsed wall clock time (in seconds):0.548 1.29/0.84 o 29 1.41/0.90 c Got one! Elapsed wall clock time (in seconds):0.616 1.41/0.90 o 10 1.63/1.11 c Got one! Elapsed wall clock time (in seconds):0.821 1.63/1.11 o 4 1.73/1.22 c Got one! Elapsed wall clock time (in seconds):0.932 1.73/1.22 o 1 3.92/3.42 c cleaning 3593 clauses out of 7215 with flag 5000/7215 6.55/5.95 c cleaning 4789 clauses out of 9624 with flag 11002/13217 10.47/9.80 c cleaning 5861 clauses out of 11835 with flag 18002/20217 14.88/14.21 c cleaning 6969 clauses out of 13975 with flag 26003/28218 20.03/19.37 c cleaning 7983 clauses out of 16005 with flag 35002/37217 25.74/25.04 c cleaning 8986 clauses out of 18021 with flag 45001/47216 31.25/30.57 c cleaning 9512 clauses out of 19036 with flag 55002/57217 36.17/35.41 c cleaning 9719 clauses out of 19523 with flag 65001/67216 42.38/41.70 c cleaning 9840 clauses out of 19803 with flag 75000/77215 47.99/47.28 c cleaning 9940 clauses out of 19964 with flag 85001/87216 53.89/53.19 c cleaning 9960 clauses out of 20025 with flag 95002/97217 61.80/61.04 c cleaning 9999 clauses out of 20064 with flag 105001/107216 69.62/68.80 c cleaning 10031 clauses out of 20065 with flag 115001/117216 74.84/74.06 c cleaning 9991 clauses out of 20036 with flag 125003/127218 80.35/79.57 c cleaning 9991 clauses out of 20042 with flag 135000/137215 87.96/87.13 c cleaning 9992 clauses out of 20051 with flag 145000/147215 97.27/96.46 c cleaning 9989 clauses out of 20059 with flag 155000/157215 110.39/109.55 c cleaning 9992 clauses out of 20070 with flag 165000/167215 118.83/117.99 c cleaning 10010 clauses out of 20081 with flag 175003/177218 125.46/124.55 c cleaning 9985 clauses out of 20071 with flag 185003/187218 131.67/130.72 c cleaning 9998 clauses out of 20083 with flag 195000/197215 138.78/137.83 c cleaning 10005 clauses out of 20085 with flag 205000/207215 145.29/144.30 c cleaning 10022 clauses out of 20080 with flag 215000/217215 153.20/152.27 c cleaning 10006 clauses out of 20061 with flag 225003/227218 158.12/157.16 c cleaning 10013 clauses out of 20055 with flag 235003/237218 162.33/161.37 c cleaning 10006 clauses out of 20039 with flag 245000/247215 166.44/165.44 c cleaning 9998 clauses out of 20037 with flag 255004/257219 171.25/170.25 c cleaning 9962 clauses out of 20036 with flag 265001/267216 176.37/175.33 c cleaning 9985 clauses out of 20074 with flag 275001/277216 183.18/182.19 c cleaning 10008 clauses out of 20090 with flag 285002/287217 191.19/190.19 c cleaning 10006 clauses out of 20081 with flag 295001/297216 200.61/199.51 c cleaning 10005 clauses out of 20075 with flag 305001/307216 210.53/209.47 c cleaning 9994 clauses out of 20069 with flag 315000/317215 218.85/217.76 c cleaning 10019 clauses out of 20075 with flag 325000/327215 227.66/226.57 c cleaning 10012 clauses out of 20056 with flag 335000/337215 235.08/233.93 c cleaning 9982 clauses out of 20044 with flag 345000/347215 240.30/239.15 c cleaning 9996 clauses out of 20062 with flag 355000/357215 245.31/244.17 c cleaning 10002 clauses out of 20068 with flag 365002/367217 249.92/248.71 c cleaning 10001 clauses out of 20067 with flag 375003/377218 253.83/252.65 c cleaning 10001 clauses out of 20064 with flag 385001/387216 257.94/256.80 c cleaning 9972 clauses out of 20062 with flag 395000/397215 263.25/262.05 c cleaning 9992 clauses out of 20090 with flag 405000/407215 268.76/267.52 c cleaning 10044 clauses out of 20098 with flag 415000/417215 271.88/270.62 c cleaning 10024 clauses out of 20056 with flag 425002/427217 278.49/277.24 c cleaning 10000 clauses out of 20030 with flag 435000/437215 285.80/284.55 c cleaning 9994 clauses out of 20031 with flag 445001/447216 290.11/288.86 c cleaning 9993 clauses out of 20037 with flag 455001/457216 295.32/294.01 c cleaning 9980 clauses out of 20046 with flag 465003/467218 303.03/301.74 c cleaning 9996 clauses out of 20066 with flag 475003/477218 313.35/312.00 c cleaning 9989 clauses out of 20067 with flag 485000/487215 324.97/323.67 c cleaning 10009 clauses out of 20081 with flag 495003/497218 335.90/334.57 c cleaning 10008 clauses out of 20076 with flag 505007/507222 347.11/345.74 c cleaning 9996 clauses out of 20061 with flag 515000/517215 355.73/354.34 c cleaning 10001 clauses out of 20066 with flag 525001/527216 364.35/362.98 c cleaning 9999 clauses out of 20064 with flag 535000/537215 373.46/372.00 c cleaning 9996 clauses out of 20067 with flag 545002/547217 380.89/379.42 c cleaning 10005 clauses out of 20069 with flag 555000/557215 389.60/388.12 c cleaning 10005 clauses out of 20067 with flag 565003/567218 397.82/396.39 c cleaning 9998 clauses out of 20060 with flag 575001/577216 405.53/404.02 c cleaning 10001 clauses out of 20061 with flag 585000/587215 410.05/408.58 c cleaning 9992 clauses out of 20062 with flag 595002/597217 415.66/414.10 c cleaning 9958 clauses out of 20068 with flag 605000/607215 421.87/420.37 c cleaning 10023 clauses out of 20111 with flag 615001/617216 436.68/435.18 c cleaning 9964 clauses out of 20087 with flag 625000/627215 444.22/442.63 c cleaning 9985 clauses out of 20123 with flag 635000/637215 451.83/450.26 c cleaning 10022 clauses out of 20138 with flag 645000/647215 458.54/456.93 c cleaning 10012 clauses out of 20117 with flag 655001/657216 465.06/463.48 c cleaning 10002 clauses out of 20106 with flag 665002/667217 470.86/469.23 c cleaning 10022 clauses out of 20104 with flag 675002/677217 475.88/474.23 c cleaning 10011 clauses out of 20081 with flag 685001/687216 480.40/478.79 c cleaning 10005 clauses out of 20071 with flag 695002/697217 485.31/483.67 c cleaning 9999 clauses out of 20065 with flag 705001/707216 490.42/488.73 c cleaning 9996 clauses out of 20066 with flag 715001/717216 497.83/496.13 c cleaning 10004 clauses out of 20071 with flag 725002/727217 506.44/504.77 c cleaning 10005 clauses out of 20069 with flag 735004/737219 517.17/515.45 c cleaning 9973 clauses out of 20060 with flag 745000/747215 526.50/524.73 c cleaning 9988 clauses out of 20087 with flag 755000/757215 535.61/533.85 c cleaning 10000 clauses out of 20102 with flag 765003/767218 544.04/542.25 c cleaning 10012 clauses out of 20099 with flag 775000/777215 552.05/550.28 c cleaning 9972 clauses out of 20087 with flag 785000/787215 563.97/562.13 c cleaning 9977 clauses out of 20117 with flag 795002/797217 576.59/574.79 c cleaning 9998 clauses out of 20138 with flag 805000/807215 591.22/589.31 c cleaning 10016 clauses out of 20142 with flag 815002/817217 605.05/603.11 c cleaning 10010 clauses out of 20129 with flag 825005/827220 617.28/615.31 c cleaning 9971 clauses out of 20114 with flag 835000/837215 631.30/629.32 c cleaning 10024 clauses out of 20143 with flag 845000/847215 642.92/640.93 c cleaning 9973 clauses out of 20119 with flag 855000/857215 655.54/653.50 c cleaning 10007 clauses out of 20146 with flag 865000/867215 669.16/667.17 c cleaning 10010 clauses out of 20142 with flag 875003/877218 678.38/676.32 c cleaning 9947 clauses out of 20130 with flag 885001/887216 683.90/681.85 c cleaning 10043 clauses out of 20182 with flag 895000/897215 689.63/687.57 c cleaning 10018 clauses out of 20140 with flag 905001/907216 696.53/694.41 c cleaning 10021 clauses out of 20123 with flag 915002/917217 706.94/704.84 c cleaning 10017 clauses out of 20102 with flag 925002/927217 718.67/716.52 c cleaning 10012 clauses out of 20086 with flag 935003/937218 728.70/726.55 c cleaning 10004 clauses out of 20071 with flag 945000/947215 744.81/742.66 c cleaning 10010 clauses out of 20068 with flag 955001/957216 754.76/752.55 c cleaning 10004 clauses out of 20059 with flag 965002/967217 762.38/760.11 c cleaning 10006 clauses out of 20055 with flag 975002/977217 776.70/774.47 c cleaning 10001 clauses out of 20047 with flag 985000/987215 794.33/792.03 c cleaning 10003 clauses out of 20046 with flag 995000/997215 813.85/811.58 c cleaning 9967 clauses out of 20043 with flag 1005000/1007215 827.79/825.41 c cleaning 9988 clauses out of 20076 with flag 1015000/1017215 837.92/835.51 c cleaning 9991 clauses out of 20088 with flag 1025000/1027215 848.74/846.36 c cleaning 9998 clauses out of 20097 with flag 1035000/1037215 858.86/856.48 c cleaning 9999 clauses out of 20101 with flag 1045002/1047217 870.88/868.44 c cleaning 10001 clauses out of 20101 with flag 1055001/1057216 881.21/878.71 c cleaning 9996 clauses out of 20104 with flag 1065005/1067220 891.53/889.05 c cleaning 9992 clauses out of 20112 with flag 1075009/1077224 899.15/896.60 c cleaning 9997 clauses out of 20111 with flag 1085000/1087215 907.26/904.70 c cleaning 10006 clauses out of 20116 with flag 1095002/1097217 915.68/913.14 c cleaning 10026 clauses out of 20109 with flag 1105001/1107216 925.69/923.16 c cleaning 9995 clauses out of 20082 with flag 1115000/1117215 937.52/934.95 c cleaning 10016 clauses out of 20088 with flag 1125001/1127216 947.84/945.22 c cleaning 10010 clauses out of 20072 with flag 1135001/1137216 955.35/952.71 c cleaning 10008 clauses out of 20063 with flag 1145002/1147217 963.67/961.04 c cleaning 10001 clauses out of 20054 with flag 1155001/1157216 972.98/970.34 c cleaning 10000 clauses out of 20053 with flag 1165001/1167216 981.50/978.80 c cleaning 9987 clauses out of 20054 with flag 1175002/1177217 986.82/984.19 c cleaning 9969 clauses out of 20065 with flag 1185000/1187215 995.34/992.67 c cleaning 10007 clauses out of 20099 with flag 1195003/1197218 1004.36/1001.61 c cleaning 9996 clauses out of 20090 with flag 1205001/1207216 1012.88/1010.14 c cleaning 9999 clauses out of 20093 with flag 1215000/1217215 1020.31/1017.57 c cleaning 10000 clauses out of 20096 with flag 1225002/1227217 1028.12/1025.34 c cleaning 9998 clauses out of 20094 with flag 1235000/1237215 1036.43/1033.60 c cleaning 9996 clauses out of 20096 with flag 1245000/1247215 1043.35/1040.50 c cleaning 10004 clauses out of 20101 with flag 1255001/1257216 1050.55/1047.72 c cleaning 9998 clauses out of 20096 with flag 1265000/1267215 1057.96/1055.16 c cleaning 10004 clauses out of 20102 with flag 1275004/1277219 1065.37/1062.58 c cleaning 9995 clauses out of 20096 with flag 1285002/1287217 1072.97/1070.14 c cleaning 9999 clauses out of 20099 with flag 1295000/1297215 1081.98/1079.16 c cleaning 9996 clauses out of 20100 with flag 1305000/1307215 1089.49/1086.67 c cleaning 9998 clauses out of 20113 with flag 1315009/1317224 1096.69/1093.86 c cleaning 10021 clauses out of 20106 with flag 1325000/1327215 1101.41/1098.56 c cleaning 9997 clauses out of 20085 with flag 1335000/1337215 1107.03/1104.10 c cleaning 10000 clauses out of 20089 with flag 1345001/1347216 1114.44/1111.55 c cleaning 9999 clauses out of 20088 with flag 1355000/1357215 1124.16/1121.25 c cleaning 9993 clauses out of 20094 with flag 1365005/1367220 1133.98/1131.07 c cleaning 9998 clauses out of 20097 with flag 1375001/1377216 1143.40/1140.43 c cleaning 10030 clauses out of 20107 with flag 1385009/1387224 1155.42/1152.44 c cleaning 9986 clauses out of 20069 with flag 1395001/1397216 1167.25/1164.21 c cleaning 10022 clauses out of 20087 with flag 1405005/1407220 1176.47/1173.43 c cleaning 9972 clauses out of 20061 with flag 1415001/1417216 1185.79/1182.79 c cleaning 9987 clauses out of 20089 with flag 1425001/1427216 1195.91/1192.82 c cleaning 9989 clauses out of 20102 with flag 1435001/1437216 1207.33/1204.28 c cleaning 10000 clauses out of 20114 with flag 1445002/1447217 1218.45/1215.33 c cleaning 10019 clauses out of 20113 with flag 1455001/1457216 1230.87/1227.71 c cleaning 10005 clauses out of 20097 with flag 1465004/1467219 1243.31/1240.14 c cleaning 9991 clauses out of 20088 with flag 1475000/1477215 1256.43/1253.29 c cleaning 9999 clauses out of 20097 with flag 1485000/1487215 1269.36/1266.16 c cleaning 9969 clauses out of 20100 with flag 1495002/1497217 1282.18/1278.99 c cleaning 10022 clauses out of 20130 with flag 1505001/1507216 1294.49/1291.25 c cleaning 9991 clauses out of 20107 with flag 1515000/1517215 1305.51/1302.26 c cleaning 9999 clauses out of 20116 with flag 1525000/1527215 1315.33/1312.04 c cleaning 9996 clauses out of 20117 with flag 1535000/1537215 1324.35/1321.08 c cleaning 10006 clauses out of 20121 with flag 1545000/1547215 1333.66/1330.35 c cleaning 10002 clauses out of 20115 with flag 1555000/1557215 1343.68/1340.36 c cleaning 9998 clauses out of 20113 with flag 1565000/1567215 1353.30/1349.98 c cleaning 9992 clauses out of 20115 with flag 1575000/1577215 1362.41/1359.02 c cleaning 10001 clauses out of 20123 with flag 1585000/1587215 1370.92/1367.51 c cleaning 9995 clauses out of 20122 with flag 1595000/1597215 1379.72/1376.38 c cleaning 10007 clauses out of 20127 with flag 1605000/1607215 1389.54/1386.14 c cleaning 9996 clauses out of 20122 with flag 1615002/1617217 1396.06/1392.61 c cleaning 10029 clauses out of 20124 with flag 1625000/1627215 1401.96/1398.54 c cleaning 10018 clauses out of 20096 with flag 1635001/1637216 1407.97/1404.59 c cleaning 10013 clauses out of 20080 with flag 1645003/1647218 1414.28/1410.83 c cleaning 10007 clauses out of 20066 with flag 1655002/1657217 1420.79/1417.38 c cleaning 9999 clauses out of 20058 with flag 1665001/1667216 1427.70/1424.27 c cleaning 9995 clauses out of 20058 with flag 1675000/1677215 1435.81/1432.32 c cleaning 9996 clauses out of 20063 with flag 1685000/1687215 1442.72/1439.21 c cleaning 10005 clauses out of 20067 with flag 1695000/1697215 1449.63/1446.13 c cleaning 9993 clauses out of 20062 with flag 1705000/1707215 1456.44/1452.99 c cleaning 10006 clauses out of 20070 with flag 1715001/1717216 1463.04/1459.56 c cleaning 10001 clauses out of 20063 with flag 1725000/1727215 1469.95/1466.41 c cleaning 10005 clauses out of 20065 with flag 1735003/1737218 1476.47/1472.94 c cleaning 9998 clauses out of 20059 with flag 1745002/1747217 1482.97/1479.50 c cleaning 10001 clauses out of 20059 with flag 1755000/1757215 1490.27/1486.73 c cleaning 10001 clauses out of 20058 with flag 1765000/1767215 1496.08/1492.58 c cleaning 10004 clauses out of 20058 with flag 1775001/1777216 1503.19/1499.69 c cleaning 10002 clauses out of 20054 with flag 1785001/1787216 1509.61/1506.04 c cleaning 10005 clauses out of 20053 with flag 1795002/1797217 1515.42/1511.81 c cleaning 9980 clauses out of 20047 with flag 1805001/1807216 1523.75/1520.11 c cleaning 10008 clauses out of 20066 with flag 1815000/1817215 1531.46/1527.84 c cleaning 10007 clauses out of 20061 with flag 1825003/1827218 1539.07/1535.43 c cleaning 10005 clauses out of 20052 with flag 1835001/1837216 1546.47/1542.89 c cleaning 9993 clauses out of 20046 with flag 1845000/1847215 1552.99/1549.37 c cleaning 10005 clauses out of 20054 with flag 1855001/1857216 1559.40/1555.79 c cleaning 9994 clauses out of 20048 with flag 1865000/1867215 1567.11/1563.47 c cleaning 10011 clauses out of 20058 with flag 1875004/1877219 1574.43/1570.73 c cleaning 10001 clauses out of 20046 with flag 1885003/1887218 1581.24/1577.57 c cleaning 9984 clauses out of 20042 with flag 1895000/1897215 1588.25/1584.56 c cleaning 10018 clauses out of 20064 with flag 1905006/1907221 1594.45/1590.77 c cleaning 9997 clauses out of 20040 with flag 1915000/1917215 1600.96/1597.29 c cleaning 10003 clauses out of 20045 with flag 1925002/1927217 1607.66/1603.93 c cleaning 9997 clauses out of 20042 with flag 1935002/1937217 1614.19/1610.48 c cleaning 9994 clauses out of 20043 with flag 1945000/1947215 1621.80/1618.03 c cleaning 9992 clauses out of 20049 with flag 1955000/1957215 1627.52/1623.70 c cleaning 9999 clauses out of 20059 with flag 1965002/1967217 1634.43/1630.70 c cleaning 10014 clauses out of 20058 with flag 1975000/1977215 1641.94/1638.15 c cleaning 9997 clauses out of 20044 with flag 1985000/1987215 1647.16/1643.31 c cleaning 9934 clauses out of 20047 with flag 1995000/1997215 1652.78/1648.94 c cleaning 9981 clauses out of 20115 with flag 2005002/2007217 1663.39/1659.52 c cleaning 9999 clauses out of 20134 with flag 2015002/2017217 1670.81/1666.98 c cleaning 9998 clauses out of 20133 with flag 2025000/2027215 1680.23/1676.33 c cleaning 10001 clauses out of 20137 with flag 2035002/2037217 1689.24/1685.30 c cleaning 10007 clauses out of 20135 with flag 2045001/2047216 1694.66/1690.79 c cleaning 10039 clauses out of 20127 with flag 2055000/2057215 1700.57/1696.64 c cleaning 10022 clauses out of 20090 with flag 2065002/2067217 1705.79/1701.85 c cleaning 10012 clauses out of 20068 with flag 2075002/2077217 1712.60/1708.65 c cleaning 10003 clauses out of 20055 with flag 2085001/2087216 1720.82/1716.83 c cleaning 9999 clauses out of 20051 with flag 2095000/2097215 1729.23/1725.24 c cleaning 9998 clauses out of 20052 with flag 2105000/2107215 1738.15/1734.15 c cleaning 9995 clauses out of 20054 with flag 2115000/2117215 1746.07/1742.04 c cleaning 9970 clauses out of 20059 with flag 2125000/2127215 1756.09/1752.01 c cleaning 10014 clauses out of 20090 with flag 2135001/2137216 1764.82/1760.75 c cleaning 10010 clauses out of 20077 with flag 2145002/2147217 1776.04/1771.96 c cleaning 9990 clauses out of 20069 with flag 2155004/2157219 1793.96/1789.81 c cleaning 10005 clauses out of 20075 with flag 2165000/2167215 1800.10/1795.91 c starts : 233 1800.10/1795.91 c conflicts : 2170948 1800.10/1795.91 c decisions : 3798971 1800.10/1795.91 c propagations : 86455529 1800.10/1795.91 c inspects : 2881577124 1800.10/1795.91 c shortcuts : 0 1800.10/1795.91 c learnt literals : 0 1800.10/1795.91 c learnt binary clauses : 0 1800.10/1795.91 c learnt ternary clauses : 0 1800.10/1795.91 c learnt constraints : 2170947 1800.10/1795.91 c ignored constraints : 0 1800.10/1795.91 c root simplifications : 0 1800.10/1795.91 c removed literals (reason simplification) : 12092961 1800.10/1795.91 c reason swapping (by a shorter reason) : 0 1800.10/1795.91 c Calls to reduceDB : 218 1800.10/1795.91 c number of reductions to clauses (during analyze) : 0 1800.10/1795.91 c number of learned constraints concerned by reduction : 0 1800.10/1795.91 c number of learning phase by resolution : 0 1800.10/1795.91 c number of learning phase by cutting planes : 0 1800.10/1795.91 c speed (assignments/second) : 48172.90599166876 1800.10/1795.91 c non guided choices 270662 1800.10/1795.92 c learnt constraints type 1800.10/1795.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13805 1800.10/1795.92 c constraints type 1800.10/1795.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 1800.10/1795.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 52 1800.10/1795.92 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19 1800.10/1795.92 s SATISFIABLE 1800.10/1795.93 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 1800.10/1795.94 c objective function=1 1800.10/1795.94 c Total wall clock time (in seconds): 1795.648
OK 1
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 /tmp/evaluation-result-3492287-1307908940/watcher-3492287-1307908940 -o /tmp/evaluation-result-3492287-1307908940/solver-3492287-1307908940 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492287-1307908940.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: 0.92 1.04 1.35 2/176 19355 /proc/meminfo: memFree=2510788/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=9100 CPUtime=0 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 419 0 0 0 0 0 0 0 17 0 1 0 981124709 9318400 165 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251367544832 0 2147483391 4096 0 18446744071699945619 0 0 17 1 0 0 0 /proc/19353/statm: 2275 165 125 9 0 67 0 [startup+0.012598 s] /proc/loadavg: 0.92 1.04 1.35 2/176 19355 /proc/meminfo: memFree=2510788/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=35820 CPUtime=0 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 1364 0 1 0 0 0 0 0 17 0 2 0 981124709 36679680 1066 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 8955 1066 828 9 0 386 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 35820 [startup+0.100535 s] /proc/loadavg: 0.92 1.04 1.35 2/176 19355 /proc/meminfo: memFree=2510788/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10454868 CPUtime=0.01 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 10129 0 1 0 0 1 0 0 17 0 10 0 981124709 10705784832 9827 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2613717 9827 1058 9 0 2604465 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10454868 [startup+0.300489 s] /proc/loadavg: 0.92 1.04 1.35 2/176 19355 /proc/meminfo: memFree=2510788/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10540476 CPUtime=0.13 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 13317 0 52 0 11 2 0 0 17 0 18 0 981124709 10793447424 13034 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2635119 13035 2134 9 0 2625853 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10540476 [startup+0.70042 s] /proc/loadavg: 0.92 1.04 1.35 2/176 19355 /proc/meminfo: memFree=2510788/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10548928 CPUtime=1.18 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 19493 0 52 0 114 4 0 0 17 0 19 0 981124709 10802102272 17959 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2637232 17959 2225 9 0 2627966 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 10548928 [startup+1.50128 s] /proc/loadavg: 0.92 1.04 1.35 4/214 19393 /proc/meminfo: memFree=2363268/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10548928 CPUtime=2.02 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 21082 0 52 0 198 4 0 0 17 0 19 0 981124709 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2637232 19547 2227 9 0 2627966 0 [pid=19353/tid=19358] ppid=19351 vsize=10548928 CPUtime=1.3 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 15602 0 52 0 127 3 0 0 20 0 19 0 981124710 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505673328 0 4 0 16800975 0 0 0 -1 1 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981124723 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 981124724 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981124724 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19382] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10802102272 19547 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10548928 CPUtime=0.33 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 2042 0 0 0 33 0 0 0 17 0 19 0 981124730 10802102272 19548 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10548928 CPUtime=0.37 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2276 0 0 0 37 0 0 0 17 0 19 0 981124730 10802102272 19548 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10802102272 19548 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981124730 10802102272 19548 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10802102272 19548 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 10548928 [startup+3.10098 s] /proc/loadavg: 0.92 1.04 1.35 4/214 19394 /proc/meminfo: memFree=2342436/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10548928 CPUtime=3.62 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 23160 0 52 0 358 4 0 0 17 0 19 0 981124709 10802102272 21625 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2637232 21625 2227 9 0 2627966 0 [pid=19353/tid=19358] ppid=19351 vsize=10548928 CPUtime=2.9 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 17680 0 52 0 287 3 0 0 25 0 19 0 981124710 10802102272 21625 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505677420 0 4 0 16800975 0 0 0 -1 1 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124712 10802102272 21625 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21625 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21625 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981124712 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981124723 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 981124724 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981124724 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19382] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10548928 CPUtime=0.33 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 2042 0 0 0 33 0 0 0 17 0 19 0 981124730 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10548928 CPUtime=0.37 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2276 0 0 0 37 0 0 0 17 0 19 0 981124730 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981124730 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10548928 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10802102272 21626 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 10548928 [startup+6.30139 s] /proc/loadavg: 1.01 1.05 1.36 4/214 19394 /proc/meminfo: memFree=2300212/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10614464 CPUtime=6.96 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 30479 0 52 0 691 5 0 0 17 0 19 0 981124709 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2653616 28700 2253 9 0 2644350 0 [pid=19353/tid=19358] ppid=19351 vsize=10614464 CPUtime=6.04 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 18065 0 52 0 601 3 0 0 25 0 19 0 981124710 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505682395 0 4 0 16800975 0 0 0 -1 1 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10614464 CPUtime=0.01 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 1438 0 0 0 1 0 0 0 18 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 400 0 0 0 0 0 0 0 15 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 421 0 0 0 0 0 0 0 18 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10614464 CPUtime=0.01 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 133 0 0 0 1 0 0 0 15 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10614464 CPUtime=0.01 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 710 0 0 0 1 0 0 0 15 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 822 0 0 0 0 0 0 0 16 0 19 0 981124712 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10614464 CPUtime=0.03 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 2935 0 0 0 3 0 0 0 16 0 19 0 981124723 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 4 [pid=19353/tid=19382] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10614464 CPUtime=0.35 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 2050 0 0 0 35 0 0 0 15 0 19 0 981124730 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10614464 CPUtime=0.44 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2351 0 0 0 44 0 0 0 15 0 19 0 981124730 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981124730 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10869211136 28700 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.96 Current children cumulated vsize (KiB) 10614464 [startup+12.7012 s] ################ # More data... # ################ [pid=19353/tid=19367] ppid=19351 vsize=10614464 CPUtime=0.66 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 3084 0 0 0 66 0 0 0 15 0 19 0 981124712 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10614464 CPUtime=0.64 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 3553 0 0 0 64 0 0 0 16 0 19 0 981124712 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10614464 CPUtime=0.55 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 5624 0 0 0 54 1 0 0 15 0 19 0 981124712 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10614464 CPUtime=8.01 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 16464 0 0 0 795 6 0 0 15 0 19 0 981124723 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 4 [pid=19353/tid=19382] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10614464 CPUtime=0.42 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 3670 0 0 0 42 0 0 0 15 0 19 0 981124730 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10614464 CPUtime=0.44 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2358 0 0 0 44 0 0 0 15 0 19 0 981124730 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981124730 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10869211136 87691 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1726.33 Current children cumulated vsize (KiB) 10614464 [startup+1782.3 s] /proc/loadavg: 2.00 1.98 1.87 4/214 19441 /proc/meminfo: memFree=1711984/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10614464 CPUtime=1786.46 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 91540 0 52 0 178624 22 0 0 17 0 19 0 981124709 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2653616 88220 2254 9 0 2644350 0 [pid=19353/tid=19358] ppid=19351 vsize=10614464 CPUtime=1772.28 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 29214 0 52 0 177222 6 0 0 25 0 19 0 981124710 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505710464 0 4 0 16800975 0 0 0 -1 3 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10614464 CPUtime=0.6 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 4881 0 0 0 60 0 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10614464 CPUtime=0.61 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 5047 0 0 0 60 1 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10614464 CPUtime=0.53 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 6399 0 0 0 52 1 0 0 16 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10614464 CPUtime=0.56 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 2392 0 0 0 56 0 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 7075 0 0 0 68 1 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 3089 0 0 0 69 0 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10614464 CPUtime=0.66 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 3555 0 0 0 66 0 0 0 15 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10614464 CPUtime=0.57 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 5626 0 0 0 56 1 0 0 16 0 19 0 981124712 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10614464 CPUtime=8.3 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 16980 0 0 0 824 6 0 0 15 0 19 0 981124723 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 4 [pid=19353/tid=19382] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10614464 CPUtime=0.42 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 3670 0 0 0 42 0 0 0 15 0 19 0 981124730 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10614464 CPUtime=0.44 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2358 0 0 0 44 0 0 0 15 0 19 0 981124730 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981124730 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10869211136 88220 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (KiB) 10614464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.00 1.98 1.87 3/214 19441 /proc/meminfo: memFree=1711336/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10614464 CPUtime=1800.1 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 91661 0 52 0 179988 22 0 0 17 0 19 0 981124709 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2653616 88336 2254 9 0 2644350 0 [pid=19353/tid=19358] ppid=19351 vsize=10614464 CPUtime=1785.83 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 29215 0 52 0 178577 6 0 0 25 0 19 0 981124710 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505677543 0 4 0 16800975 0 0 0 -1 3 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10614464 CPUtime=0.6 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 4881 0 0 0 60 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10614464 CPUtime=0.62 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 5078 0 0 0 61 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10614464 CPUtime=0.54 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 6413 0 0 0 53 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10614464 CPUtime=0.57 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 2436 0 0 0 57 0 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 7075 0 0 0 68 1 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 3089 0 0 0 69 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10614464 CPUtime=0.66 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 3555 0 0 0 66 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10614464 CPUtime=0.59 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 5653 0 0 0 58 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10614464 CPUtime=8.34 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 16982 0 0 0 828 6 0 0 15 0 19 0 981124723 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 4 [pid=19353/tid=19382] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10614464 CPUtime=0.42 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 3670 0 0 0 42 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10614464 CPUtime=0.44 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2358 0 0 0 44 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10614464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.9 s] /proc/loadavg: 2.00 1.98 1.87 3/214 19441 /proc/meminfo: memFree=1711336/32950928 swapFree=67051116/67111528 [pid=19353] ppid=19351 vsize=10614464 CPUtime=1800.1 cores=1,3,5,7 /proc/19353/stat : 19353 (java) S 19351 19353 18084 0 -1 4202496 91661 0 52 0 179988 22 0 0 17 0 19 0 981124709 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/19353/statm: 2653616 88336 2254 9 0 2644350 0 [pid=19353/tid=19358] ppid=19351 vsize=10614464 CPUtime=1785.83 cores=1,3,5,7 /proc/19353/task/19358/stat : 19358 (java) R 19351 19353 18084 0 -1 4202560 29215 0 52 0 178577 6 0 0 25 0 19 0 981124710 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 46912505677543 0 4 0 16800975 0 0 0 -1 3 0 0 17 [pid=19353/tid=19360] ppid=19351 vsize=10614464 CPUtime=0.6 cores=1,3,5,7 /proc/19353/task/19360/stat : 19360 (java) S 19351 19353 18084 0 -1 4202560 4881 0 0 0 60 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19361] ppid=19351 vsize=10614464 CPUtime=0.62 cores=1,3,5,7 /proc/19353/task/19361/stat : 19361 (java) S 19351 19353 18084 0 -1 4202560 5078 0 0 0 61 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19362] ppid=19351 vsize=10614464 CPUtime=0.54 cores=1,3,5,7 /proc/19353/task/19362/stat : 19362 (java) S 19351 19353 18084 0 -1 4202560 6413 0 0 0 53 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19364] ppid=19351 vsize=10614464 CPUtime=0.57 cores=1,3,5,7 /proc/19353/task/19364/stat : 19364 (java) S 19351 19353 18084 0 -1 4202560 2436 0 0 0 57 0 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19365] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19365/stat : 19365 (java) S 19351 19353 18084 0 -1 4202560 7075 0 0 0 68 1 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19367] ppid=19351 vsize=10614464 CPUtime=0.69 cores=1,3,5,7 /proc/19353/task/19367/stat : 19367 (java) S 19351 19353 18084 0 -1 4202560 3089 0 0 0 69 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19369] ppid=19351 vsize=10614464 CPUtime=0.66 cores=1,3,5,7 /proc/19353/task/19369/stat : 19369 (java) S 19351 19353 18084 0 -1 4202560 3555 0 0 0 66 0 0 0 15 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 [pid=19353/tid=19371] ppid=19351 vsize=10614464 CPUtime=0.59 cores=1,3,5,7 /proc/19353/task/19371/stat : 19371 (java) S 19351 19353 18084 0 -1 4202560 5653 0 0 0 58 1 0 0 16 0 19 0 981124712 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19377] ppid=19351 vsize=10614464 CPUtime=8.34 cores=1,3,5,7 /proc/19353/task/19377/stat : 19377 (java) S 19351 19353 18084 0 -1 4202560 16982 0 0 0 828 6 0 0 15 0 19 0 981124723 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 0 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19378] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19378/stat : 19378 (java) S 19351 19353 18084 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19380] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19380/stat : 19380 (java) S 19351 19353 18084 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981124724 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 4 [pid=19353/tid=19382] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19382/stat : 19382 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379370417 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19384] ppid=19351 vsize=10614464 CPUtime=0.42 cores=1,3,5,7 /proc/19353/task/19384/stat : 19384 (java) S 19351 19353 18084 0 -1 4202560 3670 0 0 0 42 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 3 0 0 0 [pid=19353/tid=19386] ppid=19351 vsize=10614464 CPUtime=0.44 cores=1,3,5,7 /proc/19353/task/19386/stat : 19386 (java) S 19351 19353 18084 0 -1 4202560 2358 0 0 0 44 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19388] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19388/stat : 19388 (java) S 19351 19353 18084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379362713 0 4 0 16800975 18446604471139922112 0 0 -1 1 0 0 0 [pid=19353/tid=19390] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19390/stat : 19390 (java) S 19351 19353 18084 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981124730 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 5 0 0 0 [pid=19353/tid=19392] ppid=19351 vsize=10614464 CPUtime=0 cores=1,3,5,7 /proc/19353/task/19392/stat : 19392 (java) S 19351 19353 18084 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981124757 10869211136 88336 33554432000 1073741824 1073778376 140737050220448 18446744073709551615 251379363328 0 4 0 16800975 18446604471139922112 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10614464 Child status: 143 Real time (s): 1795.97 CPU time (s): 1800.2 CPU user time (s): 1799.96 CPU system time (s): 0.241963 CPU usage (%): 100.236 Max. virtual memory (cumulated for all children) (KiB): 10614464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.241963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91772 page faults= 52 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42810 involuntary context switches= 16769 runsolver used 2.84357 second user time and 7.03493 second system time The end
Begin job on node113 at 2011-06-12 22:02:20 IDJOB=3492287 IDBENCH=78727 IDSOLVER=1982 FILE ID=node113/3492287-1307908940 RUNJOBID= node113-1307908940-19329 PBS_JOBID= 13559602 Free space on /tmp= 1868 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492287-1307908940/watcher-3492287-1307908940 -o /tmp/evaluation-result-3492287-1307908940/solver-3492287-1307908940 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492287-1307908940.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2 RANDOM SEED=323784829 node113.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 2511628 kB Buffers: 80636 kB Cached: 29413312 kB SwapCached: 14112 kB Active: 14503644 kB Inactive: 15009084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 2511628 kB SwapTotal: 67111528 kB SwapFree: 67051116 kB Dirty: 792 kB Writeback: 0 kB AnonPages: 16984 kB Mapped: 8848 kB Slab: 863260 kB PageTables: 4400 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 183788 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 1868 MiB End job on node113 at 2011-06-12 22:32:18