Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.2 | 1793.69 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo |
MD5SUM | cab96e9f0187cae75501af3130753b71 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.134979 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2750 |
Total number of constraints | 105 |
Number of soft constraints | 105 |
Number of constraints which are clauses | 55 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 55 |
Top cost | 5686 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5685 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 56 |
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.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c Expensive reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-2691344-1277921067.wbo 0.10/0.10 c reading problem ... 0.29/0.21 c ... done. Wall clock time 0.115s. 0.29/0.21 c #vars 2855 0.29/0.21 c #constraints 105 0.29/0.21 c constraints type 0.29/0.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55 0.29/0.21 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.87/0.48 c SATISFIABLE 0.87/0.48 c OPTIMIZING... 0.87/0.48 c Got one! Elapsed wall clock time (in seconds):0.385 0.87/0.48 o 278 1.16/0.65 c Got one! Elapsed wall clock time (in seconds):0.554 1.16/0.65 o 269 1.66/1.03 c Got one! Elapsed wall clock time (in seconds):0.936 1.66/1.03 o 268 1.97/1.38 c Got one! Elapsed wall clock time (in seconds):1.282 1.97/1.38 o 264 2.28/1.63 c cleaning 2498 clauses out of 5000 with flag 5000/5000 2.50/1.80 c Got one! Elapsed wall clock time (in seconds):1.707 2.50/1.80 o 178 3.44/2.70 c Got one! Elapsed wall clock time (in seconds):2.607 3.44/2.70 o 177 3.98/3.24 c Got one! Elapsed wall clock time (in seconds):3.143 3.98/3.24 o 175 4.17/3.43 c cleaning 4247 clauses out of 8503 with flag 11001/11001 4.88/4.19 c Got one! Elapsed wall clock time (in seconds):4.096 4.88/4.19 o 153 6.29/5.57 c cleaning 5596 clauses out of 11256 with flag 18001/18001 7.31/6.59 c Got one! Elapsed wall clock time (in seconds):6.496 7.31/6.59 o 144 8.00/7.21 c Got one! Elapsed wall clock time (in seconds):7.112 8.00/7.21 o 134 8.70/7.96 c cleaning 6824 clauses out of 13659 with flag 26000/26000 11.97/11.17 c Got one! Elapsed wall clock time (in seconds):11.074 11.97/11.17 o 129 12.47/11.65 c cleaning 7902 clauses out of 15835 with flag 35000/35000 14.19/13.32 c Got one! Elapsed wall clock time (in seconds):13.221 14.19/13.32 o 128 16.30/15.46 c cleaning 8962 clauses out of 17934 with flag 45001/45001 18.21/17.37 c Got one! Elapsed wall clock time (in seconds):17.272 18.21/17.37 o 87 18.52/17.63 c Got one! Elapsed wall clock time (in seconds):17.539 18.52/17.63 o 85 20.01/19.19 c cleaning 9466 clauses out of 18971 with flag 55000/55000 23.52/22.61 c cleaning 9728 clauses out of 19506 with flag 65001/65001 24.54/23.61 c Got one! Elapsed wall clock time (in seconds):23.514 24.54/23.61 o 81 27.94/27.09 c cleaning 9875 clauses out of 19777 with flag 75000/75000 28.96/28.06 c Got one! Elapsed wall clock time (in seconds):27.968 28.96/28.06 o 74 30.99/30.08 c cleaning 9910 clauses out of 19902 with flag 85000/85000 35.11/34.12 c cleaning 9957 clauses out of 19993 with flag 95001/95001 37.12/36.16 c Got one! Elapsed wall clock time (in seconds):36.063 37.12/36.16 o 67 39.53/38.56 c cleaning 10013 clauses out of 20036 with flag 105001/105001 43.94/42.92 c cleaning 9987 clauses out of 20024 with flag 115002/115002 48.85/47.86 c cleaning 9991 clauses out of 20037 with flag 125002/125002 48.97/47.90 c Got one! Elapsed wall clock time (in seconds):47.809 48.97/47.90 o 46 50.59/49.58 c Got one! Elapsed wall clock time (in seconds):49.48 50.59/49.58 o 37 53.08/52.03 c cleaning 10002 clauses out of 20044 with flag 135000/135000 57.60/56.50 c cleaning 9994 clauses out of 20042 with flag 145000/145000 62.42/61.34 c cleaning 10009 clauses out of 20053 with flag 155005/155005 67.43/66.39 c cleaning 10002 clauses out of 20042 with flag 165003/165003 75.66/74.54 c cleaning 10002 clauses out of 20037 with flag 175000/175000 80.59/79.44 c cleaning 9978 clauses out of 20035 with flag 185000/185000 84.21/83.02 c cleaning 10008 clauses out of 20060 with flag 195003/195003 85.73/84.52 c Got one! Elapsed wall clock time (in seconds):84.421 85.73/84.52 o 27 89.42/87.99 c cleaning 10020 clauses out of 20051 with flag 205002/205002 93.62/92.15 c cleaning 9988 clauses out of 20032 with flag 215003/215003 98.05/96.59 c cleaning 9992 clauses out of 20043 with flag 225002/225002 103.67/102.19 c cleaning 9995 clauses out of 20050 with flag 235001/235001 108.29/106.73 c cleaning 10007 clauses out of 20054 with flag 245000/245000 114.20/112.68 c cleaning 10001 clauses out of 20047 with flag 255000/255000 121.21/119.68 c cleaning 9985 clauses out of 20046 with flag 265000/265000 125.44/123.86 c Got one! Elapsed wall clock time (in seconds):123.76 125.44/123.86 o 26 125.95/124.37 c cleaning 10023 clauses out of 20062 with flag 275001/275001 130.17/128.51 c cleaning 9993 clauses out of 20038 with flag 285000/285000 134.99/133.33 c cleaning 9995 clauses out of 20045 with flag 295000/295000 140.00/138.38 c cleaning 10006 clauses out of 20052 with flag 305002/305002 144.63/142.92 c cleaning 10007 clauses out of 20045 with flag 315001/315001 151.74/150.06 c cleaning 10005 clauses out of 20040 with flag 325003/325003 158.07/156.33 c cleaning 9995 clauses out of 20035 with flag 335003/335003 167.09/165.33 c cleaning 9986 clauses out of 20038 with flag 345001/345001 177.43/175.62 c cleaning 9976 clauses out of 20052 with flag 355001/355001 183.66/181.89 c cleaning 9993 clauses out of 20077 with flag 365002/365002 192.29/190.42 c cleaning 10000 clauses out of 20082 with flag 375000/375000 199.30/197.42 c cleaning 10002 clauses out of 20083 with flag 385001/385001 207.23/205.39 c cleaning 10000 clauses out of 20084 with flag 395004/395004 213.16/211.24 c cleaning 10009 clauses out of 20080 with flag 405000/405000 216.59/214.66 c cleaning 10003 clauses out of 20074 with flag 415003/415003 218.01/216.07 c Got one! Elapsed wall clock time (in seconds):215.978 218.01/216.07 o 24 220.92/218.95 c cleaning 10030 clauses out of 20069 with flag 425001/425001 225.13/223.14 c cleaning 9980 clauses out of 20038 with flag 435000/435000 230.15/228.16 c cleaning 9980 clauses out of 20059 with flag 445001/445001 237.48/235.50 c cleaning 9988 clauses out of 20078 with flag 455000/455000 242.19/240.10 c cleaning 10028 clauses out of 20094 with flag 465004/465004 251.11/249.08 c cleaning 9985 clauses out of 20062 with flag 475000/475000 260.14/258.09 c cleaning 10008 clauses out of 20077 with flag 485000/485000 266.97/264.82 c cleaning 9979 clauses out of 20069 with flag 495000/495000 275.29/273.16 c cleaning 9985 clauses out of 20090 with flag 505000/505000 283.01/280.88 c cleaning 10001 clauses out of 20106 with flag 515001/515001 289.95/287.73 c cleaning 9995 clauses out of 20105 with flag 525001/525001 296.17/293.93 c cleaning 10034 clauses out of 20109 with flag 535000/535000 303.50/301.20 c cleaning 10013 clauses out of 20075 with flag 545000/545000 312.11/309.83 c cleaning 10006 clauses out of 20063 with flag 555001/555001 323.24/320.93 c cleaning 10004 clauses out of 20058 with flag 565002/565002 333.07/330.70 c cleaning 10005 clauses out of 20053 with flag 575001/575001 341.39/339.04 c cleaning 10002 clauses out of 20052 with flag 585005/585005 349.01/346.69 c cleaning 9978 clauses out of 20045 with flag 595000/595000 353.73/351.37 c cleaning 9999 clauses out of 20067 with flag 605000/605000 357.76/355.38 c cleaning 10014 clauses out of 20071 with flag 615003/615003 361.96/359.56 c cleaning 10005 clauses out of 20054 with flag 625000/625000 367.97/365.52 c cleaning 10005 clauses out of 20054 with flag 635005/635005 373.40/370.97 c cleaning 10002 clauses out of 20049 with flag 645005/645005 381.51/379.06 c cleaning 9986 clauses out of 20042 with flag 655000/655000 387.94/385.50 c cleaning 9983 clauses out of 20056 with flag 665000/665000 398.47/395.96 c cleaning 9992 clauses out of 20074 with flag 675001/675001 406.70/404.12 c cleaning 10007 clauses out of 20081 with flag 685000/685000 413.01/410.48 c cleaning 10015 clauses out of 20074 with flag 695000/695000 420.34/417.72 c cleaning 10006 clauses out of 20061 with flag 705002/705002 430.06/427.46 c cleaning 10007 clauses out of 20054 with flag 715001/715001 438.88/436.21 c cleaning 10006 clauses out of 20048 with flag 725002/725002 444.21/441.52 c cleaning 9988 clauses out of 20040 with flag 735000/735000 450.73/448.08 c cleaning 10000 clauses out of 20061 with flag 745009/745009 459.35/456.63 c cleaning 9979 clauses out of 20054 with flag 755002/755002 465.48/462.74 c cleaning 10004 clauses out of 20074 with flag 765001/765001 471.89/469.13 c cleaning 10005 clauses out of 20071 with flag 775002/775002 479.40/476.64 c cleaning 9969 clauses out of 20064 with flag 785000/785000 489.72/486.98 c cleaning 10013 clauses out of 20096 with flag 795001/795001 495.74/492.97 c cleaning 10001 clauses out of 20084 with flag 805002/805002 503.48/500.64 c cleaning 10027 clauses out of 20089 with flag 815008/815008 510.91/508.00 c cleaning 9998 clauses out of 20054 with flag 825000/825000 520.33/517.47 c cleaning 9989 clauses out of 20057 with flag 835001/835001 527.95/525.04 c cleaning 10004 clauses out of 20069 with flag 845002/845002 534.96/532.02 c cleaning 9999 clauses out of 20064 with flag 855001/855001 542.58/539.62 c cleaning 9993 clauses out of 20065 with flag 865001/865001 550.50/547.56 c cleaning 10012 clauses out of 20071 with flag 875000/875000 557.41/554.44 c cleaning 10001 clauses out of 20061 with flag 885002/885002 566.01/563.05 c cleaning 10002 clauses out of 20059 with flag 895001/895001 569.24/566.23 c cleaning 9993 clauses out of 20056 with flag 905000/905000 573.47/570.40 c cleaning 10015 clauses out of 20065 with flag 915002/915002 577.89/574.82 c cleaning 10007 clauses out of 20049 with flag 925001/925001 582.73/579.66 c cleaning 9994 clauses out of 20043 with flag 935002/935002 590.56/587.43 c cleaning 9992 clauses out of 20047 with flag 945000/945000 596.67/593.57 c cleaning 10010 clauses out of 20055 with flag 955000/955000 603.81/600.62 c cleaning 10002 clauses out of 20045 with flag 965000/965000 612.22/609.01 c cleaning 9996 clauses out of 20044 with flag 975001/975001 617.95/614.79 c cleaning 9992 clauses out of 20049 with flag 985002/985002 625.68/622.41 c cleaning 9994 clauses out of 20055 with flag 995000/995000 633.60/630.38 c cleaning 9996 clauses out of 20062 with flag 1005001/1005001 640.91/637.67 c cleaning 9995 clauses out of 20066 with flag 1015001/1015001 648.73/645.43 c cleaning 10000 clauses out of 20070 with flag 1025000/1025000 655.85/652.51 c cleaning 10026 clauses out of 20076 with flag 1035006/1035006 664.97/661.60 c cleaning 10009 clauses out of 20047 with flag 1045003/1045003 674.10/670.79 c cleaning 10005 clauses out of 20036 with flag 1055001/1055001 683.03/679.70 c cleaning 10001 clauses out of 20030 with flag 1065000/1065000 691.25/687.89 c cleaning 10000 clauses out of 20029 with flag 1075000/1075000 699.77/696.33 c cleaning 9995 clauses out of 20030 with flag 1085001/1085001 707.08/703.68 c cleaning 9979 clauses out of 20037 with flag 1095003/1095003 714.61/711.12 c cleaning 9988 clauses out of 20056 with flag 1105001/1105001 722.32/718.84 c cleaning 9996 clauses out of 20067 with flag 1115000/1115000 730.64/727.14 c cleaning 9988 clauses out of 20072 with flag 1125001/1125001 737.05/733.50 c cleaning 10002 clauses out of 20085 with flag 1135002/1135002 746.17/742.62 c cleaning 9999 clauses out of 20085 with flag 1145004/1145004 754.99/751.45 c cleaning 10004 clauses out of 20085 with flag 1155003/1155003 761.81/758.22 c cleaning 9998 clauses out of 20078 with flag 1165000/1165000 768.42/764.80 c cleaning 10001 clauses out of 20081 with flag 1175001/1175001 776.34/772.78 c cleaning 10002 clauses out of 20080 with flag 1185001/1185001 781.47/777.83 c cleaning 10015 clauses out of 20078 with flag 1195001/1195001 786.99/783.38 c cleaning 10006 clauses out of 20063 with flag 1205001/1205001 793.00/789.30 c cleaning 9999 clauses out of 20056 with flag 1215000/1215000 799.71/796.04 c cleaning 10000 clauses out of 20058 with flag 1225001/1225001 806.54/802.86 c cleaning 10002 clauses out of 20058 with flag 1235001/1235001 813.85/810.10 c cleaning 10004 clauses out of 20057 with flag 1245002/1245002 820.98/817.21 c cleaning 9991 clauses out of 20051 with flag 1255000/1255000 829.08/825.30 c cleaning 10003 clauses out of 20060 with flag 1265000/1265000 836.42/832.64 c cleaning 10008 clauses out of 20061 with flag 1275004/1275004 843.65/839.87 c cleaning 9998 clauses out of 20050 with flag 1285001/1285001 851.88/848.05 c cleaning 10001 clauses out of 20051 with flag 1295000/1295000 859.39/855.55 c cleaning 10001 clauses out of 20051 with flag 1305001/1305001 866.70/862.85 c cleaning 9999 clauses out of 20050 with flag 1315001/1315001 874.03/870.19 c cleaning 9992 clauses out of 20051 with flag 1325001/1325001 881.76/877.83 c cleaning 10005 clauses out of 20060 with flag 1335002/1335002 885.57/881.62 c cleaning 10005 clauses out of 20054 with flag 1345001/1345001 889.39/885.41 c cleaning 10009 clauses out of 20049 with flag 1355001/1355001 893.82/889.83 c cleaning 9994 clauses out of 20042 with flag 1365003/1365003 899.83/895.83 c cleaning 9997 clauses out of 20046 with flag 1375001/1375001 905.75/901.73 c cleaning 9999 clauses out of 20050 with flag 1385002/1385002 912.26/908.25 c cleaning 10002 clauses out of 20053 with flag 1395004/1395004 917.09/913.01 c cleaning 10011 clauses out of 20047 with flag 1405000/1405000 923.79/919.76 c cleaning 10007 clauses out of 20041 with flag 1415005/1415005 931.33/927.28 c cleaning 10001 clauses out of 20030 with flag 1425001/1425001 938.76/934.68 c cleaning 10005 clauses out of 20028 with flag 1435000/1435000 945.70/941.56 c cleaning 9998 clauses out of 20024 with flag 1445001/1445001 953.11/948.90 c cleaning 10004 clauses out of 20025 with flag 1455000/1455000 959.92/955.78 c cleaning 9994 clauses out of 20021 with flag 1465000/1465000 965.24/961.08 c cleaning 9985 clauses out of 20027 with flag 1475000/1475000 973.36/969.19 c cleaning 10009 clauses out of 20045 with flag 1485003/1485003 983.88/979.64 c cleaning 10000 clauses out of 20034 with flag 1495001/1495001 994.60/990.38 c cleaning 9992 clauses out of 20033 with flag 1505000/1505000 1009.35/1005.06 c cleaning 10005 clauses out of 20043 with flag 1515002/1515002 1020.87/1016.50 c cleaning 9997 clauses out of 20036 with flag 1525000/1525000 1032.29/1027.94 c cleaning 9987 clauses out of 20040 with flag 1535001/1535001 1037.94/1033.52 c cleaning 9993 clauses out of 20053 with flag 1545001/1545001 1045.25/1040.82 c cleaning 9990 clauses out of 20061 with flag 1555002/1555002 1052.97/1048.55 c cleaning 9996 clauses out of 20069 with flag 1565000/1565000 1062.40/1057.93 c cleaning 10000 clauses out of 20074 with flag 1575001/1575001 1071.82/1067.38 c cleaning 10000 clauses out of 20073 with flag 1585000/1585000 1082.15/1077.65 c cleaning 9992 clauses out of 20074 with flag 1595001/1595001 1091.38/1086.81 c cleaning 9994 clauses out of 20082 with flag 1605001/1605001 1098.99/1094.46 c cleaning 10002 clauses out of 20088 with flag 1615001/1615001 1105.82/1101.29 c cleaning 9996 clauses out of 20087 with flag 1625002/1625002 1112.43/1107.86 c cleaning 10001 clauses out of 20089 with flag 1635000/1635000 1119.85/1115.27 c cleaning 10019 clauses out of 20088 with flag 1645000/1645000 1129.18/1124.59 c cleaning 10012 clauses out of 20073 with flag 1655004/1655004 1137.10/1132.45 c cleaning 10008 clauses out of 20065 with flag 1665008/1665008 1144.92/1140.25 c cleaning 9997 clauses out of 20051 with flag 1675002/1675002 1152.44/1147.73 c cleaning 10000 clauses out of 20052 with flag 1685000/1685000 1159.57/1154.80 c cleaning 9997 clauses out of 20053 with flag 1695001/1695001 1169.69/1164.91 c cleaning 10003 clauses out of 20056 with flag 1705001/1705001 1178.21/1173.45 c cleaning 9999 clauses out of 20052 with flag 1715000/1715000 1185.83/1181.02 c cleaning 10001 clauses out of 20055 with flag 1725002/1725002 1192.15/1187.34 c cleaning 9993 clauses out of 20052 with flag 1735000/1735000 1200.57/1195.73 c cleaning 9994 clauses out of 20060 with flag 1745001/1745001 1209.68/1204.89 c cleaning 10007 clauses out of 20068 with flag 1755003/1755003 1218.00/1213.11 c cleaning 10003 clauses out of 20059 with flag 1765001/1765001 1227.91/1223.07 c cleaning 9987 clauses out of 20059 with flag 1775004/1775004 1234.04/1229.17 c cleaning 10002 clauses out of 20068 with flag 1785000/1785000 1242.56/1237.62 c cleaning 10003 clauses out of 20066 with flag 1795000/1795000 1251.18/1246.24 c cleaning 9998 clauses out of 20064 with flag 1805001/1805001 1258.40/1253.44 c cleaning 9989 clauses out of 20066 with flag 1815001/1815001 1267.62/1262.61 c cleaning 10012 clauses out of 20076 with flag 1825000/1825000 1277.45/1272.42 c cleaning 9999 clauses out of 20064 with flag 1835000/1835000 1286.38/1281.35 c cleaning 9999 clauses out of 20065 with flag 1845000/1845000 1296.10/1291.09 c cleaning 9999 clauses out of 20067 with flag 1855001/1855001 1304.22/1299.19 c cleaning 9995 clauses out of 20067 with flag 1865000/1865000 1314.23/1309.16 c cleaning 10008 clauses out of 20072 with flag 1875000/1875000 1326.26/1321.11 c cleaning 10001 clauses out of 20065 with flag 1885001/1885001 1334.68/1329.54 c cleaning 9998 clauses out of 20064 with flag 1895001/1895001 1346.30/1341.13 c cleaning 10001 clauses out of 20066 with flag 1905001/1905001 1355.13/1349.93 c cleaning 10002 clauses out of 20065 with flag 1915001/1915001 1363.34/1358.19 c cleaning 10004 clauses out of 20065 with flag 1925003/1925003 1371.65/1366.47 c cleaning 10000 clauses out of 20059 with flag 1935001/1935001 1379.48/1374.28 c cleaning 10000 clauses out of 20059 with flag 1945001/1945001 1386.71/1381.44 c cleaning 9995 clauses out of 20058 with flag 1955000/1955000 1395.02/1389.70 c cleaning 9998 clauses out of 20063 with flag 1965000/1965000 1403.95/1398.63 c cleaning 10004 clauses out of 20066 with flag 1975001/1975001 1412.35/1407.03 c cleaning 9970 clauses out of 20062 with flag 1985001/1985001 1421.06/1415.72 c cleaning 10013 clauses out of 20093 with flag 1995002/1995002 1427.76/1422.41 c cleaning 10012 clauses out of 20078 with flag 2005000/2005000 1431.49/1426.12 c cleaning 10030 clauses out of 20066 with flag 2015000/2015000 1436.02/1430.68 c cleaning 10001 clauses out of 20038 with flag 2025002/2025002 1440.85/1435.48 c cleaning 10000 clauses out of 20037 with flag 2035002/2035002 1445.97/1440.50 c cleaning 9988 clauses out of 20037 with flag 2045002/2045002 1453.18/1447.75 c cleaning 9987 clauses out of 20047 with flag 2055000/2055000 1459.10/1453.63 c cleaning 9986 clauses out of 20061 with flag 2065001/2065001 1466.34/1460.84 c cleaning 9990 clauses out of 20076 with flag 2075002/2075002 1474.25/1468.73 c cleaning 10010 clauses out of 20087 with flag 2085003/2085003 1480.17/1474.69 c cleaning 10002 clauses out of 20076 with flag 2095002/2095002 1488.29/1482.77 c cleaning 9997 clauses out of 20072 with flag 2105000/2105000 1498.11/1492.52 c cleaning 10004 clauses out of 20077 with flag 2115002/2115002 1506.64/1501.07 c cleaning 9986 clauses out of 20074 with flag 2125003/2125003 1513.56/1507.91 c cleaning 10002 clauses out of 20090 with flag 2135005/2135005 1520.49/1514.87 c cleaning 10015 clauses out of 20085 with flag 2145002/2145002 1528.12/1522.46 c cleaning 10010 clauses out of 20071 with flag 2155003/2155003 1536.64/1530.91 c cleaning 10006 clauses out of 20065 with flag 2165007/2165007 1543.47/1537.72 c cleaning 9968 clauses out of 20054 with flag 2175002/2175002 1553.69/1547.91 c cleaning 10017 clauses out of 20084 with flag 2185000/2185000 1562.71/1556.93 c cleaning 9984 clauses out of 20067 with flag 2195000/2195000 1568.74/1562.91 c cleaning 10011 clauses out of 20086 with flag 2205003/2205003 1576.07/1570.25 c cleaning 10004 clauses out of 20072 with flag 2215000/2215000 1583.29/1577.47 c cleaning 10001 clauses out of 20068 with flag 2225000/2225000 1589.92/1584.07 c cleaning 10003 clauses out of 20068 with flag 2235001/2235001 1596.63/1590.73 c cleaning 9997 clauses out of 20064 with flag 2245000/2245000 1602.84/1596.99 c cleaning 9998 clauses out of 20068 with flag 2255001/2255001 1609.95/1604.03 c cleaning 10001 clauses out of 20071 with flag 2265002/2265002 1618.57/1612.65 c cleaning 9997 clauses out of 20068 with flag 2275000/2275000 1627.29/1621.31 c cleaning 10004 clauses out of 20072 with flag 2285001/2285001 1633.91/1627.92 c cleaning 10003 clauses out of 20070 with flag 2295003/2295003 1638.72/1632.73 c cleaning 9999 clauses out of 20065 with flag 2305001/2305001 1645.24/1639.28 c cleaning 9997 clauses out of 20067 with flag 2315002/2315002 1652.26/1646.23 c cleaning 9990 clauses out of 20068 with flag 2325000/2325000 1658.78/1652.73 c cleaning 10006 clauses out of 20079 with flag 2335001/2335001 1665.79/1659.73 c cleaning 10005 clauses out of 20074 with flag 2345002/2345002 1672.31/1666.26 c cleaning 9996 clauses out of 20067 with flag 2355000/2355000 1678.13/1672.07 c cleaning 10003 clauses out of 20072 with flag 2365001/2365001 1685.24/1679.12 c cleaning 9989 clauses out of 20069 with flag 2375001/2375001 1691.76/1685.63 c cleaning 10006 clauses out of 20080 with flag 2385001/2385001 1697.99/1691.84 c cleaning 10002 clauses out of 20075 with flag 2395002/2395002 1703.99/1697.87 c cleaning 10000 clauses out of 20071 with flag 2405000/2405000 1709.81/1703.65 c cleaning 9999 clauses out of 20071 with flag 2415000/2415000 1715.92/1709.71 c cleaning 10001 clauses out of 20074 with flag 2425002/2425002 1721.94/1715.73 c cleaning 9995 clauses out of 20072 with flag 2435001/2435001 1728.65/1722.49 c cleaning 10002 clauses out of 20076 with flag 2445000/2445000 1734.17/1727.95 c cleaning 10003 clauses out of 20074 with flag 2455000/2455000 1743.49/1737.29 c cleaning 10008 clauses out of 20072 with flag 2465001/2465001 1752.61/1746.30 c cleaning 9998 clauses out of 20065 with flag 2475002/2475002 1761.13/1754.83 c cleaning 10008 clauses out of 20070 with flag 2485005/2485005 1769.85/1763.51 c cleaning 9982 clauses out of 20057 with flag 2495000/2495000 1776.99/1770.61 c cleaning 10016 clauses out of 20080 with flag 2505005/2505005 1785.61/1779.29 c cleaning 10003 clauses out of 20059 with flag 2515000/2515000 1793.83/1787.41 c cleaning 10001 clauses out of 20056 with flag 2525000/2525000 1800.06/1793.61 c starts : 252 1800.06/1793.61 c conflicts : 2532573 1800.06/1793.61 c decisions : 3669325 1800.06/1793.61 c propagations : 87020007 1800.06/1793.61 c inspects : 3318582836 1800.06/1793.61 c learnt literals : 0 1800.06/1793.61 c learnt binary clauses : 0 1800.06/1793.61 c learnt ternary clauses : 0 1800.06/1793.61 c learnt clauses : 2532572 1800.06/1793.61 c ignored clauses : 0 1800.06/1793.61 c root simplifications : 0 1800.06/1793.61 c removed literals (reason simplification) : 11055907 1800.06/1793.61 c reason swapping (by a shorter reason) : 0 1800.06/1793.61 c Calls to reduceDB : 254 1800.06/1793.61 c number of reductions to clauses (during analyze) : 0 1800.06/1793.61 c number of learned constraints concerned by reduction : 0 1800.06/1793.61 c number of learning phase by resolution : 0 1800.06/1793.61 c number of learning phase by cutting planes : 0 1800.06/1793.61 c speed (assignments/second) : 55161.978553896704 1800.06/1793.61 c non guided choices 142515 1800.06/1793.62 c learnt constraints type 1800.06/1793.62 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 17637 1800.06/1793.62 c constraints type 1800.06/1793.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55 1800.06/1793.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 1800.06/1793.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.06/1793.62 s SATISFIABLE 1800.06/1793.63 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 1800.06/1793.63 c objective function=24 1800.06/1793.63 c Total wall clock time (in seconds): 1793.537
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691344-1277921067/watcher-2691344-1277921067 -o /tmp/evaluation-result-2691344-1277921067/solver-2691344-1277921067 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691344-1277921067.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 1.99 1.99 3/196 17203 /proc/meminfo: memFree=31175980/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=13164 CPUtime=0 /proc/17203/stat : 17203 (java) R 17201 17203 16329 0 -1 4194304 674 0 0 0 0 0 0 0 21 0 1 0 133401894 13479936 294 4089446400 134512640 134550932 4286639600 18446744073709551615 2545275 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/17203/statm: 3291 301 142 10 0 1121 0 [startup+0.086365 s] /proc/loadavg: 2.00 1.99 1.99 3/196 17203 /proc/meminfo: memFree=31175980/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1529860 CPUtime=0.08 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 5040 0 1 0 8 0 0 0 21 0 18 0 133401894 1566576640 4477 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 382465 4478 1340 10 0 379767 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1529860 [startup+0.100364 s] /proc/loadavg: 2.00 1.99 1.99 3/196 17203 /proc/meminfo: memFree=31175980/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1529860 CPUtime=0.1 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 5203 0 1 0 10 0 0 0 21 0 18 0 133401894 1566576640 4640 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 382465 4641 1346 10 0 379767 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529860 [startup+0.300351 s] /proc/loadavg: 2.00 1.99 1.99 3/196 17203 /proc/meminfo: memFree=31175980/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1538332 CPUtime=0.58 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 9588 0 1 0 58 0 0 0 21 0 19 0 133401894 1575251968 7987 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384583 7987 1407 10 0 381885 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1538332 [startup+0.700263 s] /proc/loadavg: 2.00 1.99 1.99 3/196 17203 /proc/meminfo: memFree=31175980/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1538332 CPUtime=1.32 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 10772 0 1 0 132 0 0 0 21 0 19 0 133401894 1575251968 8873 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384583 8873 1425 10 0 381885 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 1538332 [startup+1.50111 s] /proc/loadavg: 2.00 1.99 1.99 3/215 17222 /proc/meminfo: memFree=31143164/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1538332 CPUtime=2.18 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 12394 0 1 0 217 1 0 0 21 0 19 0 133401894 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384583 10494 1425 10 0 381885 0 [pid=17203/tid=17205] ppid=17201 vsize=1538332 CPUtime=1.47 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 7234 0 1 0 147 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4109739081 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133401896 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 133401897 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133401897 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1538332 CPUtime=0.34 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 1601 0 0 0 34 0 0 0 15 0 19 0 133401899 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1538332 CPUtime=0.34 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2485 0 0 0 34 0 0 0 15 0 19 0 133401899 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133401899 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1575251968 10494 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 1538332 [startup+3.1008 s] /proc/loadavg: 2.00 1.99 1.99 3/215 17222 /proc/meminfo: memFree=31128532/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1538332 CPUtime=3.87 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 14998 0 1 0 386 1 0 0 21 0 19 0 133401894 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384583 13089 1442 10 0 381885 0 [pid=17203/tid=17205] ppid=17201 vsize=1538332 CPUtime=3.06 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 7367 0 1 0 306 0 0 0 20 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4109739226 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 442 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 636 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401895 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1538332 CPUtime=0.01 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 1203 0 0 0 1 0 0 0 15 0 19 0 133401896 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1538332 CPUtime=0.37 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 1606 0 0 0 37 0 0 0 15 0 19 0 133401899 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1538332 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133401899 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1575251968 13089 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 1538332 [startup+6.30119 s] /proc/loadavg: 2.00 1.99 1.99 4/215 17222 /proc/meminfo: memFree=31115720/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1538332 CPUtime=7.1 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 20964 0 1 0 707 3 0 0 21 0 19 0 133401894 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384583 19022 1442 10 0 381885 0 [pid=17203/tid=17205] ppid=17201 vsize=1538332 CPUtime=6.22 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 7371 0 1 0 622 0 0 0 25 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4109649892 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 934 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 929 0 0 0 0 0 0 0 16 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 1057 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 6 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 2 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 811 0 0 0 0 0 0 0 17 0 19 0 133401895 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 7 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1538332 CPUtime=0.03 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 2887 0 0 0 3 0 0 0 16 0 19 0 133401896 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1538332 CPUtime=0.37 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 1608 0 0 0 37 0 0 0 15 0 19 0 133401899 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1538332 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133401899 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1538332 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1575251968 19022 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.1 Current children cumulated vsize (KiB) 1538332 [startup+12.701 s] /proc/loadavg: 2.00 1.99 1.99 3/215 17222 /proc/meminfo: memFree=31088780/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1539356 CPUtime=13.59 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 25661 0 1 0 1354 5 0 0 21 0 19 0 133401894 1576300544 23431 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 384839 23431 1442 10 0 382141 0 [pid=17203/tid=17205] ppid=17201 vsize=1539356 CPUtime=12.58 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 8335 0 1 0 1257 1 0 0 25 0 19 0 133401895 1576300544 23431 4089446400 134512640 134550932 4286639600 18446744073709551615 4109703434 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1539356 CPUtime=0 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 934 0 0 0 0 0 0 0 15 0 19 0 133401895 1576300544 23431 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=17203/tid=17211] ppid=17201 vsize=1549596 CPUtime=0.77 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 4438 0 0 0 72 5 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1549596 CPUtime=0.87 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 4075 0 0 0 81 6 0 0 16 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 2 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1549596 CPUtime=0.73 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 4028 0 0 0 67 6 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1549596 CPUtime=7.89 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 5953 0 0 0 782 7 0 0 15 0 19 0 133401896 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 7 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 6751 0 0 0 78 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1549596 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1668.41 Current children cumulated vsize (KiB) 1549596 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 17352 /proc/meminfo: memFree=31194012/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1549596 CPUtime=1728.55 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 63399 0 1 0 172797 58 0 0 21 0 19 0 133401894 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 387399 50443 1443 10 0 384701 0 [pid=17203/tid=17205] ppid=17201 vsize=1549596 CPUtime=1712.71 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 13647 0 1 0 171268 3 0 0 25 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4109739226 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1549596 CPUtime=0.83 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 3352 0 0 0 78 5 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1549596 CPUtime=0.8 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 4588 0 0 0 75 5 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1549596 CPUtime=0.75 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 5226 0 0 0 69 6 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1549596 CPUtime=0.68 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 4194 0 0 0 64 4 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1549596 CPUtime=0.75 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 3481 0 0 0 70 5 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1549596 CPUtime=0.79 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 4438 0 0 0 74 5 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1549596 CPUtime=0.89 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 4075 0 0 0 83 6 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 2 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1549596 CPUtime=0.74 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 4028 0 0 0 68 6 0 0 15 0 19 0 133401895 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1549596 CPUtime=8.27 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 5957 0 0 0 820 7 0 0 15 0 19 0 133401896 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 7 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 6751 0 0 0 78 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1549596 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 133401899 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1586786304 50443 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.55 Current children cumulated vsize (KiB) 1549596 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 17353 /proc/meminfo: memFree=31191492/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1549596 CPUtime=1788.73 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 64817 0 1 0 178811 62 0 0 21 0 19 0 133401894 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 387399 51386 1443 10 0 384701 0 [pid=17203/tid=17205] ppid=17201 vsize=1549596 CPUtime=1772.31 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 13655 0 1 0 177228 3 0 0 25 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4109704023 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1549596 CPUtime=0.85 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 3490 0 0 0 80 5 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1549596 CPUtime=0.84 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 4799 0 0 0 78 6 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1549596 CPUtime=0.77 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 5234 0 0 0 71 6 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1549596 CPUtime=0.71 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 4382 0 0 0 66 5 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1549596 CPUtime=0.77 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 3673 0 0 0 71 6 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1549596 CPUtime=0.83 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 4676 0 0 0 77 6 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1549596 CPUtime=0.92 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 4317 0 0 0 86 6 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 2 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1549596 CPUtime=0.79 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 4213 0 0 0 72 7 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1549596 CPUtime=8.62 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 5961 0 0 0 855 7 0 0 15 0 19 0 133401896 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 7 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 6751 0 0 0 78 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1549596 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 1549596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.6 s] /proc/loadavg: 2.00 2.00 2.00 3/197 17354 /proc/meminfo: memFree=31191364/32951124 swapFree=67111528/67111528 [pid=17203] ppid=17201 vsize=1549596 CPUtime=1800.06 /proc/17203/stat : 17203 (java) S 17201 17203 16329 0 -1 4202496 64818 0 1 0 179944 62 0 0 21 0 19 0 133401894 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17203/statm: 387399 51386 1443 10 0 384701 0 [pid=17203/tid=17205] ppid=17201 vsize=1549596 CPUtime=1783.57 /proc/17203/task/17205/stat : 17205 (java) R 17201 17203 16329 0 -1 4202560 13656 0 1 0 178354 3 0 0 25 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4109703698 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17203/tid=17206] ppid=17201 vsize=1549596 CPUtime=0.85 /proc/17203/task/17206/stat : 17206 (java) S 17201 17203 16329 0 -1 4202560 3490 0 0 0 80 5 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17207] ppid=17201 vsize=1549596 CPUtime=0.85 /proc/17203/task/17207/stat : 17207 (java) S 17201 17203 16329 0 -1 4202560 4799 0 0 0 79 6 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17208] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17208/stat : 17208 (java) S 17201 17203 16329 0 -1 4202560 5234 0 0 0 72 6 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17209] ppid=17201 vsize=1549596 CPUtime=0.71 /proc/17203/task/17209/stat : 17209 (java) S 17201 17203 16329 0 -1 4202560 4382 0 0 0 66 5 0 0 15 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17210] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17210/stat : 17210 (java) S 17201 17203 16329 0 -1 4202560 3673 0 0 0 72 6 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17211] ppid=17201 vsize=1549596 CPUtime=0.84 /proc/17203/task/17211/stat : 17211 (java) S 17201 17203 16329 0 -1 4202560 4676 0 0 0 78 6 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 4 0 0 0 [pid=17203/tid=17212] ppid=17201 vsize=1549596 CPUtime=0.93 /proc/17203/task/17212/stat : 17212 (java) S 17201 17203 16329 0 -1 4202560 4317 0 0 0 87 6 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 2 0 0 0 [pid=17203/tid=17213] ppid=17201 vsize=1549596 CPUtime=0.79 /proc/17203/task/17213/stat : 17213 (java) S 17201 17203 16329 0 -1 4202560 4213 0 0 0 72 7 0 0 16 0 19 0 133401895 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17214] ppid=17201 vsize=1549596 CPUtime=8.67 /proc/17203/task/17214/stat : 17214 (java) S 17201 17203 16329 0 -1 4202560 5961 0 0 0 860 7 0 0 15 0 19 0 133401896 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 0 0 16800975 18446604453929035712 0 0 -1 7 0 0 0 [pid=17203/tid=17215] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17215/stat : 17215 (java) S 17201 17203 16329 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17216] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17216/stat : 17216 (java) S 17201 17203 16329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133401897 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17217] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17217/stat : 17217 (java) S 17201 17203 16329 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 1 0 0 0 [pid=17203/tid=17218] ppid=17201 vsize=1549596 CPUtime=0.78 /proc/17203/task/17218/stat : 17218 (java) S 17201 17203 16329 0 -1 4202560 6751 0 0 0 78 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 [pid=17203/tid=17219] ppid=17201 vsize=1549596 CPUtime=0.41 /proc/17203/task/17219/stat : 17219 (java) S 17201 17203 16329 0 -1 4202560 2497 0 0 0 41 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17220] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17220/stat : 17220 (java) S 17201 17203 16329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 3 0 0 0 [pid=17203/tid=17221] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17221/stat : 17221 (java) S 17201 17203 16329 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133401899 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 5 0 0 0 [pid=17203/tid=17222] ppid=17201 vsize=1549596 CPUtime=0 /proc/17203/task/17222/stat : 17222 (java) S 17201 17203 16329 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133401917 1586786304 51386 4089446400 134512640 134550932 4286639600 18446744073709551615 4294960144 0 4 0 16800975 18446604453929035712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1549596 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): 1793.69 CPU time (s): 1800.2 CPU user time (s): 1799.57 CPU system time (s): 0.632903 CPU usage (%): 100.363 Max. virtual memory (cumulated for all children) (KiB): 1551644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.632903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64842 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= 44705 involuntary context switches= 122663 runsolver used 2.90256 second user time and 6.85196 second system time The end
Begin job on node141 at 2010-06-30 20:04:27 IDJOB=2691344 IDBENCH=79168 IDSOLVER=1202 FILE ID=node141/2691344-1277921067 PBS_JOBID= 11197340 Free space on /tmp= 74212 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--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-2691344-1277921067/watcher-2691344-1277921067 -o /tmp/evaluation-result-2691344-1277921067/solver-2691344-1277921067 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691344-1277921067.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cab96e9f0187cae75501af3130753b71 RANDOM SEED=968008043 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 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.788 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.788 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.82 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31176260 kB Buffers: 204592 kB Cached: 1140668 kB SwapCached: 0 kB Active: 851772 kB Inactive: 778464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31176260 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 284740 kB Mapped: 20296 kB Slab: 79816 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648564 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= 74208 MiB End job on node141 at 2010-06-30 20:34:22