Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.18 | 1792.9 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | b6d6940e1e32d980df9f418447a42cea |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.199969 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5100 |
| Total number of constraints | 202 |
| Number of soft constraints | 202 |
| Number of constraints which are clauses | 102 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 51 |
| Top cost | 10037 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10036 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 52 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.08 c version 2.2.1.v20100705 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.08 c java.vm.version 11.2-b01 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 32 0.05/0.08 c java.version 1.6.0_12 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch i386 0.05/0.08 c Free memory 1393557488 0.05/0.08 c Max memory 1395916800 0.05/0.08 c Total memory 1395916800 0.05/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@16fd0b7 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2698520-1278326880.wbo 0.11/0.10 c reading problem ... 0.29/0.29 c ... done. Wall clock time 0.189s. 0.29/0.29 c #vars 5302 0.29/0.29 c #constraints 202 0.29/0.29 c constraints type 0.29/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102 0.29/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 100 1.47/0.68 c SATISFIABLE 1.47/0.68 c OPTIMIZING... 1.47/0.68 c Got one! Elapsed wall clock time (in seconds):0.584 1.47/0.68 o 191 1.77/0.72 c Got one! Elapsed wall clock time (in seconds):0.625 1.77/0.72 o 138 1.91/0.82 c Got one! Elapsed wall clock time (in seconds):0.72 1.91/0.82 o 128 2.13/1.06 c Got one! Elapsed wall clock time (in seconds):0.961 2.13/1.06 o 112 2.54/1.46 c Got one! Elapsed wall clock time (in seconds):1.366 2.54/1.46 o 111 2.94/1.81 c Got one! Elapsed wall clock time (in seconds):1.716 2.94/1.81 o 107 3.04/1.95 c cleaning 2500 clauses out of 5000 with flag 5000/5000 3.27/2.17 c Got one! Elapsed wall clock time (in seconds):2.077 3.27/2.17 o 105 3.77/2.61 c Got one! Elapsed wall clock time (in seconds):2.509 3.77/2.61 o 88 4.51/3.31 c Got one! Elapsed wall clock time (in seconds):3.215 4.51/3.31 o 84 5.02/3.82 c cleaning 4211 clauses out of 8500 with flag 11000/11000 5.63/4.46 c Got one! Elapsed wall clock time (in seconds):4.363 5.63/4.46 o 71 6.43/5.20 c Got one! Elapsed wall clock time (in seconds):5.103 6.43/5.20 o 64 7.03/5.90 c cleaning 5623 clauses out of 11292 with flag 18003/18003 9.06/7.82 c Got one! Elapsed wall clock time (in seconds):7.721 9.06/7.82 o 63 10.52/9.21 c Got one! Elapsed wall clock time (in seconds):9.109 10.52/9.21 o 59 10.63/9.32 c cleaning 6832 clauses out of 13668 with flag 26002/26002 13.37/12.06 c Got one! Elapsed wall clock time (in seconds):11.96 13.37/12.06 o 57 13.86/12.52 c Got one! Elapsed wall clock time (in seconds):12.424 13.86/12.52 o 53 14.57/13.27 c cleaning 7901 clauses out of 15834 with flag 35000/35000 19.97/18.70 c Got one! Elapsed wall clock time (in seconds):18.6 19.97/18.70 o 42 20.77/19.48 c cleaning 8964 clauses out of 17934 with flag 45001/45001 24.09/22.71 c Got one! Elapsed wall clock time (in seconds):22.615 24.09/22.71 o 31 25.39/24.04 c Got one! Elapsed wall clock time (in seconds):23.943 25.39/24.04 o 22 27.59/26.29 c cleaning 9470 clauses out of 18969 with flag 55000/55000 32.31/30.97 c cleaning 9698 clauses out of 19499 with flag 65000/65000 33.22/31.85 c Got one! Elapsed wall clock time (in seconds):31.756 33.22/31.85 o 13 40.81/39.45 c cleaning 9897 clauses out of 19803 with flag 75002/75002 41.33/39.90 c Got one! Elapsed wall clock time (in seconds):39.804 41.33/39.90 o 11 42.54/41.20 c Got one! Elapsed wall clock time (in seconds):41.099 42.54/41.20 o 8 46.16/44.76 c cleaning 9927 clauses out of 19904 with flag 85000/85000 50.69/49.26 c cleaning 9960 clauses out of 19978 with flag 95001/95001 57.00/55.55 c cleaning 9984 clauses out of 20017 with flag 105000/105000 67.62/66.15 c Got one! Elapsed wall clock time (in seconds):66.053 67.62/66.15 o 6 67.82/66.37 c cleaning 10009 clauses out of 20036 with flag 115003/115003 74.67/73.16 c cleaning 9939 clauses out of 20025 with flag 125001/125001 81.18/79.61 c cleaning 10015 clauses out of 20085 with flag 135000/135000 88.40/86.88 c cleaning 9997 clauses out of 20070 with flag 145000/145000 96.53/94.91 c cleaning 9991 clauses out of 20074 with flag 155001/155001 103.96/102.35 c cleaning 9997 clauses out of 20082 with flag 165000/165000 110.17/108.57 c cleaning 10010 clauses out of 20087 with flag 175002/175002 110.41/108.80 c Got one! Elapsed wall clock time (in seconds):108.703 110.41/108.80 o 3 114.91/113.28 c cleaning 10018 clauses out of 20076 with flag 185001/185001 120.82/119.15 c cleaning 10011 clauses out of 20057 with flag 195000/195000 126.24/124.57 c cleaning 9999 clauses out of 20047 with flag 205001/205001 132.45/130.79 c cleaning 10012 clauses out of 20050 with flag 215003/215003 142.87/141.11 c cleaning 10007 clauses out of 20039 with flag 225004/225004 148.90/147.13 c cleaning 10001 clauses out of 20036 with flag 235008/235008 154.93/153.15 c cleaning 9988 clauses out of 20027 with flag 245000/245000 162.16/160.34 c cleaning 10000 clauses out of 20041 with flag 255002/255002 166.71/164.89 c cleaning 9976 clauses out of 20039 with flag 265000/265000 171.73/169.83 c cleaning 9979 clauses out of 20066 with flag 275003/275003 177.25/175.32 c cleaning 9954 clauses out of 20084 with flag 285000/285000 185.59/183.69 c cleaning 10006 clauses out of 20132 with flag 295002/295002 193.11/191.18 c cleaning 9988 clauses out of 20125 with flag 305001/305001 203.04/201.03 c cleaning 10013 clauses out of 20142 with flag 315006/315006 207.27/205.25 c cleaning 10032 clauses out of 20130 with flag 325007/325007 211.29/209.28 c cleaning 10011 clauses out of 20092 with flag 335001/335001 215.82/213.78 c cleaning 10005 clauses out of 20080 with flag 345000/345000 223.32/221.20 c cleaning 10015 clauses out of 20075 with flag 355000/355000 232.16/230.05 c cleaning 10007 clauses out of 20062 with flag 365002/365002 241.78/239.67 c cleaning 9998 clauses out of 20056 with flag 375003/375003 252.31/250.11 c cleaning 10006 clauses out of 20060 with flag 385005/385005 259.04/256.89 c cleaning 9982 clauses out of 20050 with flag 395001/395001 263.57/261.38 c cleaning 9976 clauses out of 20069 with flag 405002/405002 268.59/266.33 c cleaning 10003 clauses out of 20092 with flag 415001/415001 275.91/273.63 c cleaning 10009 clauses out of 20091 with flag 425003/425003 284.44/282.10 c cleaning 10003 clauses out of 20079 with flag 435000/435000 295.07/292.71 c cleaning 9996 clauses out of 20076 with flag 445000/445000 302.80/300.44 c cleaning 10015 clauses out of 20081 with flag 455001/455001 312.43/310.07 c cleaning 10006 clauses out of 20065 with flag 465000/465000 321.36/319.00 c cleaning 9999 clauses out of 20059 with flag 475000/475000 325.49/323.05 c cleaning 9999 clauses out of 20062 with flag 485002/485002 330.42/327.93 c cleaning 10004 clauses out of 20062 with flag 495001/495001 336.85/334.35 c cleaning 10004 clauses out of 20060 with flag 505003/505003 341.66/339.10 c cleaning 10002 clauses out of 20054 with flag 515001/515001 346.09/343.56 c cleaning 10009 clauses out of 20062 with flag 525011/525011 357.43/354.87 c cleaning 10000 clauses out of 20042 with flag 535000/535000 367.96/365.36 c cleaning 10002 clauses out of 20044 with flag 545002/545002 378.69/376.08 c cleaning 10005 clauses out of 20043 with flag 555003/555003 388.51/385.80 c cleaning 10000 clauses out of 20035 with flag 565000/565000 398.65/395.94 c cleaning 10002 clauses out of 20035 with flag 575000/575000 407.78/405.03 c cleaning 9998 clauses out of 20033 with flag 585000/585000 413.70/410.95 c cleaning 9970 clauses out of 20036 with flag 595001/595001 419.33/416.58 c cleaning 9975 clauses out of 20065 with flag 605000/605000 424.76/421.93 c cleaning 10027 clauses out of 20091 with flag 615001/615001 431.48/428.69 c cleaning 10014 clauses out of 20065 with flag 625002/625002 437.41/434.52 c cleaning 10000 clauses out of 20051 with flag 635002/635002 445.83/442.91 c cleaning 9976 clauses out of 20050 with flag 645001/645001 451.47/448.57 c cleaning 10010 clauses out of 20075 with flag 655002/655002 458.79/455.81 c cleaning 10005 clauses out of 20064 with flag 665001/665001 466.62/463.70 c cleaning 10001 clauses out of 20060 with flag 675002/675002 473.43/470.43 c cleaning 10020 clauses out of 20057 with flag 685000/685000 480.85/477.90 c cleaning 9997 clauses out of 20039 with flag 695002/695002 487.86/484.80 c cleaning 10014 clauses out of 20045 with flag 705005/705005 494.58/491.51 c cleaning 10002 clauses out of 20026 with flag 715000/715000 499.39/496.37 c cleaning 9986 clauses out of 20025 with flag 725001/725001 506.22/503.20 c cleaning 9996 clauses out of 20038 with flag 735000/735000 513.85/510.74 c cleaning 10003 clauses out of 20044 with flag 745002/745002 520.88/517.76 c cleaning 10002 clauses out of 20039 with flag 755000/755000 528.71/525.57 c cleaning 9998 clauses out of 20038 with flag 765001/765001 535.75/532.51 c cleaning 10004 clauses out of 20039 with flag 775000/775000 541.70/538.41 c cleaning 9981 clauses out of 20035 with flag 785000/785000 549.63/546.38 c cleaning 9974 clauses out of 20054 with flag 795000/795000 557.57/554.28 c cleaning 9996 clauses out of 20084 with flag 805004/805004 565.40/562.01 c cleaning 9980 clauses out of 20084 with flag 815000/815000 573.33/569.97 c cleaning 10008 clauses out of 20105 with flag 825001/825001 583.67/580.28 c cleaning 9983 clauses out of 20097 with flag 835001/835001 592.19/588.76 c cleaning 10017 clauses out of 20118 with flag 845005/845005 600.12/596.62 c cleaning 10001 clauses out of 20097 with flag 855001/855001 608.65/605.17 c cleaning 9980 clauses out of 20095 with flag 865000/865000 617.89/614.32 c cleaning 10007 clauses out of 20115 with flag 875000/875000 625.32/621.78 c cleaning 9983 clauses out of 20110 with flag 885002/885002 631.26/627.64 c cleaning 10020 clauses out of 20126 with flag 895001/895001 637.38/633.72 c cleaning 10004 clauses out of 20106 with flag 905001/905001 643.01/639.32 c cleaning 10011 clauses out of 20101 with flag 915000/915000 650.33/646.66 c cleaning 10009 clauses out of 20092 with flag 925002/925002 658.78/655.04 c cleaning 9996 clauses out of 20085 with flag 935004/935004 666.12/662.34 c cleaning 10019 clauses out of 20086 with flag 945001/945001 674.64/670.86 c cleaning 10006 clauses out of 20067 with flag 955001/955001 684.56/680.73 c cleaning 10007 clauses out of 20061 with flag 965001/965001 689.89/686.04 c cleaning 10004 clauses out of 20063 with flag 975010/975010 697.72/693.87 c cleaning 9996 clauses out of 20051 with flag 985002/985002 707.45/703.52 c cleaning 9984 clauses out of 20055 with flag 995002/995002 716.37/712.44 c cleaning 10012 clauses out of 20073 with flag 1005004/1005004 726.19/722.20 c cleaning 9998 clauses out of 20057 with flag 1015000/1015000 736.84/732.88 c cleaning 9998 clauses out of 20062 with flag 1025003/1025003 744.96/740.94 c cleaning 10001 clauses out of 20061 with flag 1035000/1035000 749.58/745.52 c cleaning 9989 clauses out of 20060 with flag 1045000/1045000 753.01/748.98 c cleaning 10003 clauses out of 20073 with flag 1055002/1055002 759.03/754.95 c cleaning 10001 clauses out of 20072 with flag 1065004/1065004 764.66/760.52 c cleaning 9994 clauses out of 20067 with flag 1075000/1075000 770.69/766.52 c cleaning 10000 clauses out of 20073 with flag 1085000/1085000 781.42/777.28 c cleaning 10006 clauses out of 20074 with flag 1095001/1095001 791.94/787.73 c cleaning 10006 clauses out of 20068 with flag 1105001/1105001 803.16/798.91 c cleaning 10007 clauses out of 20063 with flag 1115002/1115002 813.48/809.20 c cleaning 9995 clauses out of 20057 with flag 1125003/1125003 822.89/818.63 c cleaning 10004 clauses out of 20063 with flag 1135004/1135004 833.00/828.76 c cleaning 10003 clauses out of 20057 with flag 1145002/1145002 842.72/838.48 c cleaning 9992 clauses out of 20052 with flag 1155000/1155000 851.24/846.93 c cleaning 10005 clauses out of 20062 with flag 1165002/1165002 862.06/857.79 c cleaning 10001 clauses out of 20055 with flag 1175000/1175000 866.69/862.33 c cleaning 10016 clauses out of 20057 with flag 1185003/1185003 871.70/867.33 c cleaning 9999 clauses out of 20038 with flag 1195000/1195000 878.12/873.75 c cleaning 10004 clauses out of 20039 with flag 1205000/1205000 883.25/878.85 c cleaning 10003 clauses out of 20036 with flag 1215001/1215001 888.27/883.80 c cleaning 10003 clauses out of 20034 with flag 1225002/1225002 892.89/888.40 c cleaning 10000 clauses out of 20031 with flag 1235002/1235002 897.61/893.10 c cleaning 9998 clauses out of 20031 with flag 1245002/1245002 903.13/898.63 c cleaning 9997 clauses out of 20031 with flag 1255000/1255000 908.34/903.85 c cleaning 10001 clauses out of 20038 with flag 1265004/1265004 913.66/909.11 c cleaning 10008 clauses out of 20037 with flag 1275004/1275004 919.48/914.92 c cleaning 9998 clauses out of 20026 with flag 1285001/1285001 926.39/921.84 c cleaning 9999 clauses out of 20028 with flag 1295001/1295001 932.51/927.91 c cleaning 10001 clauses out of 20028 with flag 1305000/1305000 937.44/932.85 c cleaning 10000 clauses out of 20029 with flag 1315002/1315002 942.76/938.19 c cleaning 10003 clauses out of 20031 with flag 1325004/1325004 947.38/942.74 c cleaning 9923 clauses out of 20025 with flag 1335001/1335001 953.00/948.32 c cleaning 9981 clauses out of 20101 with flag 1345000/1345000 958.92/954.24 c cleaning 10035 clauses out of 20122 with flag 1355002/1355002 966.85/962.14 c cleaning 10018 clauses out of 20085 with flag 1365000/1365000 976.25/971.57 c cleaning 10011 clauses out of 20073 with flag 1375006/1375006 986.69/981.94 c cleaning 9985 clauses out of 20057 with flag 1385001/1385001 993.63/988.81 c cleaning 9990 clauses out of 20071 with flag 1395000/1395000 1000.74/995.96 c cleaning 9996 clauses out of 20085 with flag 1405004/1405004 1007.05/1002.25 c cleaning 10009 clauses out of 20086 with flag 1415001/1415001 1014.17/1009.34 c cleaning 10008 clauses out of 20081 with flag 1425005/1425005 1025.81/1020.97 c cleaning 9986 clauses out of 20069 with flag 1435001/1435001 1034.47/1029.60 c cleaning 9991 clauses out of 20083 with flag 1445001/1445001 1044.39/1039.42 c cleaning 10021 clauses out of 20092 with flag 1455001/1455001 1050.24/1045.22 c cleaning 10013 clauses out of 20073 with flag 1465003/1465003 1056.87/1051.80 c cleaning 10005 clauses out of 20058 with flag 1475001/1475001 1066.09/1061.02 c cleaning 9985 clauses out of 20058 with flag 1485006/1485006 1076.04/1070.96 c cleaning 10009 clauses out of 20069 with flag 1495002/1495002 1085.69/1080.57 c cleaning 9960 clauses out of 20059 with flag 1505001/1505001 1095.53/1090.39 c cleaning 10028 clauses out of 20102 with flag 1515004/1515004 1103.28/1098.03 c cleaning 9993 clauses out of 20072 with flag 1525002/1525002 1114.43/1109.14 c cleaning 9933 clauses out of 20077 with flag 1535000/1535000 1129.78/1124.48 c cleaning 9972 clauses out of 20145 with flag 1545001/1545001 1139.23/1133.85 c cleaning 9998 clauses out of 20173 with flag 1555001/1555001 1150.36/1144.91 c cleaning 9995 clauses out of 20174 with flag 1565000/1565000 1164.50/1159.08 c cleaning 9976 clauses out of 20180 with flag 1575001/1575001 1175.94/1170.43 c cleaning 10001 clauses out of 20204 with flag 1585001/1585001 1186.97/1181.47 c cleaning 10041 clauses out of 20208 with flag 1595006/1595006 1195.79/1190.24 c cleaning 10028 clauses out of 20164 with flag 1605003/1605003 1207.62/1202.00 c cleaning 9984 clauses out of 20136 with flag 1615003/1615003 1215.45/1209.85 c cleaning 9977 clauses out of 20155 with flag 1625006/1625006 1224.18/1218.57 c cleaning 9991 clauses out of 20177 with flag 1635005/1635005 1232.60/1226.92 c cleaning 9990 clauses out of 20183 with flag 1645002/1645002 1240.95/1235.21 c cleaning 9991 clauses out of 20192 with flag 1655001/1655001 1249.29/1243.50 c cleaning 9999 clauses out of 20201 with flag 1665001/1665001 1256.93/1251.14 c cleaning 10001 clauses out of 20203 with flag 1675002/1675002 1264.36/1258.57 c cleaning 9996 clauses out of 20203 with flag 1685003/1685003 1271.41/1265.56 c cleaning 9994 clauses out of 20205 with flag 1695001/1695001 1278.23/1272.32 c cleaning 9993 clauses out of 20210 with flag 1705000/1705000 1286.64/1280.71 c cleaning 10012 clauses out of 20219 with flag 1715002/1715002 1294.07/1288.19 c cleaning 10002 clauses out of 20205 with flag 1725000/1725000 1301.70/1295.72 c cleaning 9989 clauses out of 20208 with flag 1735005/1735005 1309.31/1303.35 c cleaning 10003 clauses out of 20214 with flag 1745000/1745000 1316.44/1310.45 c cleaning 9999 clauses out of 20211 with flag 1755000/1755000 1325.56/1319.58 c cleaning 10002 clauses out of 20213 with flag 1765001/1765001 1330.40/1324.34 c cleaning 10071 clauses out of 20211 with flag 1775001/1775001 1338.31/1332.24 c cleaning 10035 clauses out of 20139 with flag 1785000/1785000 1345.93/1339.81 c cleaning 10017 clauses out of 20105 with flag 1795001/1795001 1354.45/1348.30 c cleaning 10012 clauses out of 20091 with flag 1805004/1805004 1363.37/1357.29 c cleaning 10005 clauses out of 20077 with flag 1815002/1815002 1372.48/1366.35 c cleaning 10004 clauses out of 20071 with flag 1825001/1825001 1382.59/1376.44 c cleaning 9999 clauses out of 20066 with flag 1835000/1835000 1392.21/1386.01 c cleaning 9999 clauses out of 20067 with flag 1845000/1845000 1401.20/1395.08 c cleaning 10003 clauses out of 20069 with flag 1855001/1855001 1410.82/1404.68 c cleaning 9999 clauses out of 20065 with flag 1865000/1865000 1420.83/1414.67 c cleaning 9998 clauses out of 20066 with flag 1875000/1875000 1433.14/1426.92 c cleaning 10003 clauses out of 20074 with flag 1885006/1885006 1442.75/1436.59 c cleaning 9997 clauses out of 20065 with flag 1895000/1895000 1453.26/1447.00 c cleaning 9999 clauses out of 20068 with flag 1905000/1905000 1463.37/1457.12 c cleaning 10000 clauses out of 20070 with flag 1915001/1915001 1473.77/1467.55 c cleaning 9998 clauses out of 20070 with flag 1925001/1925001 1485.08/1478.87 c cleaning 10001 clauses out of 20071 with flag 1935000/1935000 1495.69/1489.43 c cleaning 10001 clauses out of 20072 with flag 1945002/1945002 1506.19/1499.94 c cleaning 10001 clauses out of 20073 with flag 1955004/1955004 1517.29/1511.07 c cleaning 10000 clauses out of 20069 with flag 1965001/1965001 1529.09/1522.84 c cleaning 9998 clauses out of 20069 with flag 1975001/1975001 1541.20/1534.93 c cleaning 10000 clauses out of 20071 with flag 1985001/1985001 1550.10/1543.87 c cleaning 10008 clauses out of 20072 with flag 1995002/1995002 1555.33/1549.02 c cleaning 9963 clauses out of 20062 with flag 2005000/2005000 1561.46/1555.11 c cleaning 10002 clauses out of 20101 with flag 2015002/2015002 1567.88/1561.53 c cleaning 10014 clauses out of 20100 with flag 2025003/2025003 1573.92/1567.53 c cleaning 9981 clauses out of 20083 with flag 2035000/2035000 1581.13/1574.77 c cleaning 10000 clauses out of 20102 with flag 2045000/2045000 1588.15/1581.74 c cleaning 10013 clauses out of 20102 with flag 2055000/2055000 1596.56/1590.16 c cleaning 10007 clauses out of 20092 with flag 2065003/2065003 1604.19/1597.74 c cleaning 9998 clauses out of 20085 with flag 2075003/2075003 1609.20/1602.72 c cleaning 10025 clauses out of 20084 with flag 2085000/2085000 1615.02/1608.53 c cleaning 10008 clauses out of 20059 with flag 2095000/2095000 1620.43/1613.95 c cleaning 10010 clauses out of 20051 with flag 2105000/2105000 1626.34/1619.88 c cleaning 10006 clauses out of 20045 with flag 2115004/2115004 1632.06/1625.57 c cleaning 10004 clauses out of 20035 with flag 2125000/2125000 1636.38/1629.86 c cleaning 9996 clauses out of 20032 with flag 2135001/2135001 1642.40/1635.80 c cleaning 9993 clauses out of 20037 with flag 2145002/2145002 1648.11/1641.59 c cleaning 10000 clauses out of 20042 with flag 2155000/2155000 1653.83/1647.28 c cleaning 9985 clauses out of 20042 with flag 2165000/2165000 1660.95/1654.39 c cleaning 9989 clauses out of 20057 with flag 2175000/2175000 1666.67/1660.09 c cleaning 10017 clauses out of 20068 with flag 2185000/2185000 1671.49/1664.89 c cleaning 9997 clauses out of 20054 with flag 2195003/2195003 1677.64/1670.91 c cleaning 10008 clauses out of 20054 with flag 2205000/2205000 1685.07/1678.34 c cleaning 9992 clauses out of 20046 with flag 2215000/2215000 1693.91/1687.13 c cleaning 10003 clauses out of 20055 with flag 2225001/2225001 1699.35/1692.52 c cleaning 10003 clauses out of 20051 with flag 2235000/2235000 1706.27/1699.44 c cleaning 10007 clauses out of 20051 with flag 2245003/2245003 1713.61/1706.77 c cleaning 9997 clauses out of 20042 with flag 2255001/2255001 1723.24/1716.35 c cleaning 10007 clauses out of 20045 with flag 2265001/2265001 1730.49/1723.52 c cleaning 9995 clauses out of 20038 with flag 2275001/2275001 1739.14/1732.14 c cleaning 10001 clauses out of 20044 with flag 2285002/2285002 1744.78/1737.80 c cleaning 9981 clauses out of 20042 with flag 2295001/2295001 1751.80/1744.73 c cleaning 9987 clauses out of 20060 with flag 2305000/2305000 1758.42/1751.32 c cleaning 9997 clauses out of 20074 with flag 2315001/2315001 1765.44/1758.37 c cleaning 9998 clauses out of 20078 with flag 2325002/2325002 1771.77/1764.62 c cleaning 9998 clauses out of 20080 with flag 2335002/2335002 1778.08/1770.92 c cleaning 9997 clauses out of 20080 with flag 2345000/2345000 1785.70/1778.58 c cleaning 9999 clauses out of 20083 with flag 2355000/2355000 1792.61/1785.49 c cleaning 10002 clauses out of 20084 with flag 2365000/2365000 1799.42/1792.22 c cleaning 9994 clauses out of 20085 with flag 2375003/2375003 1800.04/1792.81 c starts : 252 1800.04/1792.81 c conflicts : 2376434 1800.04/1792.81 c decisions : 3980851 1800.04/1792.81 c propagations : 79372002 1800.04/1792.81 c inspects : 3298229279 1800.04/1792.81 c learnt literals : 0 1800.04/1792.81 c learnt binary clauses : 0 1800.04/1792.81 c learnt ternary clauses : 0 1800.04/1792.81 c learnt clauses : 2376433 1800.04/1792.81 c ignored clauses : 0 1800.04/1792.81 c root simplifications : 0 1800.04/1792.81 c removed literals (reason simplification) : 11473419 1800.04/1792.81 c reason swapping (by a shorter reason) : 0 1800.04/1792.81 c Calls to reduceDB : 239 1800.04/1792.81 c number of reductions to clauses (during analyze) : 0 1800.04/1792.81 c number of learned constraints concerned by reduction : 0 1800.04/1792.81 c number of learning phase by resolution : 0 1800.04/1792.81 c number of learning phase by cutting planes : 0 1800.04/1792.81 c speed (assignments/second) : 47132.641415095124 1800.04/1792.81 c non guided choices 458637 1800.04/1792.82 c learnt constraints type 1800.04/1792.82 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11546 1800.04/1792.82 c constraints type 1800.04/1792.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102 1800.04/1792.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 101 1800.04/1792.82 s SATISFIABLE 1800.04/1792.83 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 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1800.04/1792.84 c objective function=3 1800.04/1792.84 c Total wall clock time (in seconds): 1792.74
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698520-1278326880/watcher-2698520-1278326880 -o /tmp/evaluation-result-2698520-1278326880/solver-2698520-1278326880 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698520-1278326880.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4458 /proc/meminfo: memFree=32399836/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1832 CPUtime=0 /proc/4458/stat : 4458 (java6) S 4456 4458 3796 0 -1 4194304 244 0 0 0 0 0 0 0 25 0 1 0 901948 1875968 148 4089446400 134512640 134550932 4290460144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0 /proc/4458/statm: 458 148 111 10 0 63 0 [startup+0.07067 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4458 /proc/meminfo: memFree=32399836/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1527692 CPUtime=0.05 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 4262 0 1 0 4 1 0 0 25 0 18 0 901948 1564356608 3702 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 381923 3702 1090 10 0 379226 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1527692 [startup+0.100589 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4458 /proc/meminfo: memFree=32399836/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1529452 CPUtime=0.11 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 5216 0 1 0 10 1 0 0 25 0 18 0 901948 1566158848 4652 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 382363 4652 1345 10 0 379666 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529452 [startup+0.301537 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4458 /proc/meminfo: memFree=32399836/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1534572 CPUtime=0.58 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 8855 0 1 0 56 2 0 0 25 0 18 0 901948 1571401728 7793 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 383643 7793 1412 10 0 380946 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1534572 [startup+0.70047 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4458 /proc/meminfo: memFree=32399836/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1548560 CPUtime=1.77 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 16098 0 1 0 173 4 0 0 25 0 19 0 901948 1585725440 11549 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387140 11549 1423 10 0 384443 0 Current children cumulated CPU time (s) 1.77 Current children cumulated vsize (KiB) 1548560 [startup+1.50137 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4477 /proc/meminfo: memFree=32353504/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1548560 CPUtime=2.64 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 18977 0 1 0 260 4 0 0 25 0 19 0 901948 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387140 14427 1427 10 0 384443 0 [pid=4458/tid=4460] ppid=4456 vsize=1548560 CPUtime=1.48 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 8718 0 1 0 146 2 0 0 21 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 901949 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 901950 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 901950 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 901950 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1548560 CPUtime=0.58 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5555 0 0 0 57 1 0 0 17 0 19 0 901953 1585725440 14427 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1548560 CPUtime=0.57 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3631 0 0 0 56 1 0 0 15 0 19 0 901953 1585725440 14428 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 14428 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 901953 1585725440 14428 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1585725440 14428 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.64 Current children cumulated vsize (KiB) 1548560 [startup+3.10102 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4477 /proc/meminfo: memFree=32331884/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1548560 CPUtime=4.3 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 22852 0 1 0 425 5 0 0 25 0 19 0 901948 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387140 18292 1442 10 0 384443 0 [pid=4458/tid=4460] ppid=4456 vsize=1548560 CPUtime=3.06 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 10026 0 1 0 304 2 0 0 25 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4109213898 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 233 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 508 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 254 0 0 0 0 0 0 0 18 0 19 0 901949 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1548560 CPUtime=0.01 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 1259 0 0 0 1 0 0 0 15 0 19 0 901950 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1548560 CPUtime=0.59 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5563 0 0 0 58 1 0 0 15 0 19 0 901953 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1548560 CPUtime=0.61 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3636 0 0 0 60 1 0 0 15 0 19 0 901953 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 901953 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1585725440 18292 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 1548560 [startup+6.30152 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4477 /proc/meminfo: memFree=32314772/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1548560 CPUtime=7.56 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 29862 0 1 0 750 6 0 0 25 0 19 0 901948 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387140 25229 1442 10 0 384443 0 [pid=4458/tid=4460] ppid=4456 vsize=1548560 CPUtime=6.22 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 10031 0 1 0 620 2 0 0 25 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4109145552 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 883 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 316 0 0 0 0 0 0 0 16 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 1116 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 512 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 1788 0 0 0 0 0 0 0 17 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 19 0 901949 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1548560 CPUtime=0.04 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 3083 0 0 0 4 0 0 0 15 0 19 0 901950 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1548560 CPUtime=0.61 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5564 0 0 0 60 1 0 0 15 0 19 0 901953 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1548560 CPUtime=0.62 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3641 0 0 0 61 1 0 0 15 0 19 0 901953 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 901953 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1585725440 25229 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.56 Current children cumulated vsize (KiB) 1548560 [startup+12.7014 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4477 /proc/meminfo: memFree=32290844/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1548560 CPUtime=14.06 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 33562 0 1 0 1399 7 0 0 25 0 19 0 901948 1585725440 28493 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387140 28493 1444 10 0 384443 0 [pid=4458/tid=4460] ppid=4456 vsize=1548560 CPUtime=12.59 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 10633 0 1 0 1257 2 0 0 25 0 19 0 901949 1585725440 28493 4089446400 134512640 134550932 4292040768 18446744073709551615 4109227858 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1548560 CPUtime=0 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 1689 0 0 0 0 0 0 0 16 0 19 0 901949 1585725440 28493 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=4458/tid=4466] ppid=4456 vsize=1550608 CPUtime=0.8 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 3856 0 0 0 76 4 0 0 15 0 19 0 901949 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 5 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1550608 CPUtime=0.84 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 5056 0 0 0 79 5 0 0 15 0 19 0 901949 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1550608 CPUtime=0.81 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 5999 0 0 0 77 4 0 0 16 0 19 0 901949 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1550608 CPUtime=8.41 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 5450 0 0 0 837 4 0 0 15 0 19 0 901950 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1550608 CPUtime=0.67 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5580 0 0 0 66 1 0 0 15 0 19 0 901953 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1550608 CPUtime=0.71 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3653 0 0 0 70 1 0 0 15 0 19 0 901953 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 901953 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1587822592 64644 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1668.99 Current children cumulated vsize (KiB) 1550608 [startup+1722.3 s] /proc/loadavg: 1.40 1.83 1.89 2/189 4646 /proc/meminfo: memFree=32214376/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1550608 CPUtime=1729.29 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 77161 0 1 0 172874 55 0 0 25 0 19 0 901948 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387652 65098 1444 10 0 384955 0 [pid=4458/tid=4460] ppid=4456 vsize=1550608 CPUtime=1712.08 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 20967 0 1 0 171203 5 0 0 25 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4109229802 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1550608 CPUtime=0.94 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 4881 0 0 0 89 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1550608 CPUtime=0.82 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 3655 0 0 0 79 3 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1550608 CPUtime=0.78 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 5128 0 0 0 74 4 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 5 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1550608 CPUtime=0.96 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 5997 0 0 0 90 6 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 1 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1550608 CPUtime=0.82 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 5555 0 0 0 77 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1550608 CPUtime=0.85 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 3895 0 0 0 80 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 7 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1550608 CPUtime=0.87 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 5154 0 0 0 82 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1550608 CPUtime=0.85 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 6077 0 0 0 81 4 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1550608 CPUtime=8.81 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 5454 0 0 0 877 4 0 0 15 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1550608 CPUtime=0.67 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5580 0 0 0 66 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1550608 CPUtime=0.71 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3653 0 0 0 70 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1729.29 Current children cumulated vsize (KiB) 1550608 [startup+1782.3 s] /proc/loadavg: 1.22 1.69 1.84 2/189 4647 /proc/meminfo: memFree=32214436/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1550608 CPUtime=1789.51 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 77178 0 1 0 178894 57 0 0 25 0 19 0 901948 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387652 65098 1444 10 0 384955 0 [pid=4458/tid=4460] ppid=4456 vsize=1550608 CPUtime=1771.58 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 20976 0 1 0 177153 5 0 0 25 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4109227782 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1550608 CPUtime=0.98 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 4881 0 0 0 93 5 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1550608 CPUtime=0.85 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 3655 0 0 0 82 3 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1550608 CPUtime=0.83 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 5128 0 0 0 78 5 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 5 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1550608 CPUtime=0.99 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 5997 0 0 0 93 6 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 1 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1550608 CPUtime=0.86 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 5555 0 0 0 80 6 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1550608 CPUtime=0.87 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 3895 0 0 0 82 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 7 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1550608 CPUtime=0.9 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 5154 0 0 0 85 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1550608 CPUtime=0.88 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 6077 0 0 0 84 4 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1550608 CPUtime=9.26 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 5458 0 0 0 922 4 0 0 15 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1550608 CPUtime=0.67 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5580 0 0 0 66 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1550608 CPUtime=0.71 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3653 0 0 0 70 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (KiB) 1550608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.8 s] /proc/loadavg: 1.19 1.67 1.83 2/189 4648 /proc/meminfo: memFree=32214184/32950928 swapFree=67111528/67111528 [pid=4458] ppid=4456 vsize=1550608 CPUtime=1800.04 /proc/4458/stat : 4458 (java) S 4456 4458 3796 0 -1 4202496 77180 0 1 0 179947 57 0 0 25 0 19 0 901948 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/4458/statm: 387652 65098 1444 10 0 384955 0 [pid=4458/tid=4460] ppid=4456 vsize=1550608 CPUtime=1781.99 /proc/4458/task/4460/stat : 4460 (java) R 4456 4458 3796 0 -1 4202560 20978 0 1 0 178194 5 0 0 25 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4109128620 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4458/tid=4461] ppid=4456 vsize=1550608 CPUtime=0.98 /proc/4458/task/4461/stat : 4461 (java) S 4456 4458 3796 0 -1 4202560 4881 0 0 0 93 5 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4462] ppid=4456 vsize=1550608 CPUtime=0.85 /proc/4458/task/4462/stat : 4462 (java) S 4456 4458 3796 0 -1 4202560 3655 0 0 0 82 3 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4463] ppid=4456 vsize=1550608 CPUtime=0.83 /proc/4458/task/4463/stat : 4463 (java) S 4456 4458 3796 0 -1 4202560 5128 0 0 0 78 5 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 5 0 0 0 [pid=4458/tid=4464] ppid=4456 vsize=1550608 CPUtime=1 /proc/4458/task/4464/stat : 4464 (java) S 4456 4458 3796 0 -1 4202560 5997 0 0 0 94 6 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 1 0 0 0 [pid=4458/tid=4465] ppid=4456 vsize=1550608 CPUtime=0.86 /proc/4458/task/4465/stat : 4465 (java) S 4456 4458 3796 0 -1 4202560 5555 0 0 0 80 6 0 0 15 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4466] ppid=4456 vsize=1550608 CPUtime=0.88 /proc/4458/task/4466/stat : 4466 (java) S 4456 4458 3796 0 -1 4202560 3895 0 0 0 83 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 7 0 0 0 [pid=4458/tid=4467] ppid=4456 vsize=1550608 CPUtime=0.91 /proc/4458/task/4467/stat : 4467 (java) S 4456 4458 3796 0 -1 4202560 5154 0 0 0 86 5 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4468] ppid=4456 vsize=1550608 CPUtime=0.89 /proc/4458/task/4468/stat : 4468 (java) S 4456 4458 3796 0 -1 4202560 6077 0 0 0 85 4 0 0 16 0 19 0 901949 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 2 0 0 0 [pid=4458/tid=4469] ppid=4456 vsize=1550608 CPUtime=9.35 /proc/4458/task/4469/stat : 4469 (java) S 4456 4458 3796 0 -1 4202560 5458 0 0 0 931 4 0 0 15 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 0 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4470] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4470/stat : 4470 (java) S 4456 4458 3796 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4471] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4471/stat : 4471 (java) S 4456 4458 3796 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 901950 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 [pid=4458/tid=4472] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4472/stat : 4472 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4473] ppid=4456 vsize=1550608 CPUtime=0.67 /proc/4458/task/4473/stat : 4473 (java) S 4456 4458 3796 0 -1 4202560 5580 0 0 0 66 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4474] ppid=4456 vsize=1550608 CPUtime=0.71 /proc/4458/task/4474/stat : 4474 (java) S 4456 4458 3796 0 -1 4202560 3653 0 0 0 70 1 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 3 0 0 0 [pid=4458/tid=4475] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4475/stat : 4475 (java) S 4456 4458 3796 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 6 0 0 0 [pid=4458/tid=4476] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4476/stat : 4476 (java) S 4456 4458 3796 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 901953 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 4 0 0 0 [pid=4458/tid=4477] ppid=4456 vsize=1550608 CPUtime=0 /proc/4458/task/4477/stat : 4477 (java) S 4456 4458 3796 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 901979 1587822592 65098 4089446400 134512640 134550932 4292040768 18446744073709551615 4294960144 0 4 0 16800975 18446604453932710656 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1550608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1792.9 CPU time (s): 1800.18 CPU user time (s): 1799.6 CPU system time (s): 0.581911 CPU usage (%): 100.406 Max. virtual memory (cumulated for all children) (KiB): 1550608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.581911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77202 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43655 involuntary context switches= 103993 runsolver used 3.16652 second user time and 6.545 second system time The end
Begin job on node123 at 2010-07-05 12:48:00 IDJOB=2698520 IDBENCH=79164 IDSOLVER=1211 FILE ID=node123/2698520-1278326880 PBS_JOBID= 11207451 Free space on /tmp= 74160 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698520-1278326880/watcher-2698520-1278326880 -o /tmp/evaluation-result-2698520-1278326880/solver-2698520-1278326880 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698520-1278326880.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b6d6940e1e32d980df9f418447a42cea RANDOM SEED=1075950679 node123.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.848 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.80 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.848 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.79 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.848 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 : 5354.69 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.848 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.848 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.74 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.848 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: 32400240 kB Buffers: 24428 kB Cached: 293628 kB SwapCached: 0 kB Active: 214352 kB Inactive: 236860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32400240 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 492 kB Writeback: 0 kB AnonPages: 132884 kB Mapped: 20340 kB Slab: 35736 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1656484 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= 74160 MiB End job on node123 at 2010-07-05 13:17:55