Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.15 | 1793.36 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | 02fb8a7818433044fe5d5a9a278599da |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.116981 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2520 |
Total number of constraints | 142 |
Number of soft constraints | 142 |
Number of constraints which are clauses | 72 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 36 |
Top cost | 7086 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 7085 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 37 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.07 c version 2.2.1.v20100705 0.05/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.07 c java.vm.version 11.2-b01 0.05/0.07 c java.vm.vendor Sun Microsystems Inc. 0.05/0.07 c sun.arch.data.model 32 0.05/0.07 c java.version 1.6.0_12 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.18-164.el5 0.05/0.07 c os.arch i386 0.05/0.07 c Free memory 1393557488 0.05/0.07 c Max memory 1395916800 0.05/0.07 c Total memory 1395916800 0.05/0.07 c Number of processors 8 0.05/0.09 c Pseudo Boolean Optimization 0.05/0.09 c --- Begin Solver configuration --- 0.05/0.09 c Stops conflict analysis at the first Unique Implication Point 0.05/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ef9f1d 0.05/0.09 c Learn all clauses as in MiniSAT 0.05/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.09 c Expensive reason simplification 0.05/0.09 c Armin Biere (Picosat) restarts strategy 0.05/0.09 c Glucose learned constraints deletion strategy 0.05/0.09 c timeout=2147483s 0.05/0.09 c DB Simplification allowed=false 0.05/0.09 c --- End Solver configuration --- 0.05/0.09 c solving HOME/instance-2698522-1278326895.wbo 0.05/0.09 c reading problem ... 0.33/0.21 c ... done. Wall clock time 0.121s. 0.33/0.21 c #vars 2662 0.33/0.21 c #constraints 142 0.33/0.21 c constraints type 0.33/0.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72 0.33/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 70 0.92/0.47 c SATISFIABLE 0.92/0.47 c OPTIMIZING... 0.92/0.47 c Got one! Elapsed wall clock time (in seconds):0.376 0.92/0.47 o 198 1.18/0.54 c Got one! Elapsed wall clock time (in seconds):0.452 1.18/0.54 o 185 1.18/0.57 c Got one! Elapsed wall clock time (in seconds):0.481 1.18/0.57 o 137 1.34/0.67 c Got one! Elapsed wall clock time (in seconds):0.583 1.34/0.67 o 135 1.66/0.90 c Got one! Elapsed wall clock time (in seconds):0.812 1.66/0.90 o 113 1.66/0.95 c Got one! Elapsed wall clock time (in seconds):0.858 1.66/0.95 o 63 2.31/1.33 c cleaning 2491 clauses out of 5000 with flag 5000/5000 2.31/1.39 c Got one! Elapsed wall clock time (in seconds):1.298 2.31/1.39 o 48 2.54/1.53 c Got one! Elapsed wall clock time (in seconds):1.443 2.54/1.53 o 29 3.04/2.04 c Got one! Elapsed wall clock time (in seconds):1.948 3.04/2.04 o 22 3.25/2.21 c Got one! Elapsed wall clock time (in seconds):2.124 3.25/2.21 o 14 3.67/2.65 c cleaning 4238 clauses out of 8509 with flag 11000/11000 3.87/2.86 c Got one! Elapsed wall clock time (in seconds):2.772 3.87/2.86 o 7 4.57/3.56 c Got one! Elapsed wall clock time (in seconds):3.471 4.57/3.56 o 5 5.51/4.47 c cleaning 5599 clauses out of 11272 with flag 18001/18001 7.63/6.51 c cleaning 6835 clauses out of 13674 with flag 26002/26002 10.54/9.44 c cleaning 7883 clauses out of 15838 with flag 35001/35001 13.25/12.14 c cleaning 8972 clauses out of 17955 with flag 45001/45001 15.95/14.86 c cleaning 9462 clauses out of 18982 with flag 55000/55000 19.26/18.16 c cleaning 9722 clauses out of 19521 with flag 65001/65001 23.77/22.65 c cleaning 9849 clauses out of 19799 with flag 75001/75001 27.17/26.00 c cleaning 9927 clauses out of 19955 with flag 85006/85006 30.67/29.51 c cleaning 9968 clauses out of 20024 with flag 95002/95002 33.98/32.85 c cleaning 9987 clauses out of 20057 with flag 105003/105003 37.69/36.57 c cleaning 10004 clauses out of 20068 with flag 115001/115001 40.89/39.71 c cleaning 10002 clauses out of 20063 with flag 125000/125000 45.22/44.04 c cleaning 10007 clauses out of 20067 with flag 135006/135006 48.92/47.75 c cleaning 10024 clauses out of 20055 with flag 145001/145001 52.04/50.85 c cleaning 9914 clauses out of 20032 with flag 155002/155002 59.15/57.91 c cleaning 9978 clauses out of 20117 with flag 165001/165001 65.08/63.89 c cleaning 10052 clauses out of 20140 with flag 175002/175002 67.90/66.68 c cleaning 10026 clauses out of 20086 with flag 185000/185000 71.30/70.07 c cleaning 10006 clauses out of 20064 with flag 195004/195004 75.12/73.81 c cleaning 9994 clauses out of 20054 with flag 205000/205000 78.43/77.12 c cleaning 10002 clauses out of 20060 with flag 215000/215000 82.66/81.37 c cleaning 9998 clauses out of 20058 with flag 225000/225000 86.26/84.98 c cleaning 10005 clauses out of 20060 with flag 235000/235000 91.48/90.20 c cleaning 10001 clauses out of 20056 with flag 245001/245001 97.40/96.01 c cleaning 10004 clauses out of 20055 with flag 255001/255001 101.32/99.92 c cleaning 9928 clauses out of 20050 with flag 265000/265000 104.23/102.82 c cleaning 9987 clauses out of 20123 with flag 275001/275001 107.65/106.25 c cleaning 10028 clauses out of 20136 with flag 285001/285001 113.17/111.75 c cleaning 10014 clauses out of 20107 with flag 295000/295000 117.38/115.92 c cleaning 10026 clauses out of 20097 with flag 305004/305004 121.80/120.30 c cleaning 10009 clauses out of 20070 with flag 315003/315003 125.72/124.21 c cleaning 10012 clauses out of 20059 with flag 325001/325001 130.23/128.78 c cleaning 10004 clauses out of 20048 with flag 335002/335002 134.74/133.29 c cleaning 9999 clauses out of 20043 with flag 345001/345001 138.55/137.07 c cleaning 9998 clauses out of 20047 with flag 355004/355004 142.97/141.42 c cleaning 10004 clauses out of 20046 with flag 365001/365001 147.28/145.71 c cleaning 10001 clauses out of 20041 with flag 375000/375000 152.39/150.89 c cleaning 9991 clauses out of 20041 with flag 385001/385001 155.91/154.35 c cleaning 9904 clauses out of 20049 with flag 395000/395000 159.32/157.72 c cleaning 10014 clauses out of 20148 with flag 405003/405003 162.84/161.26 c cleaning 10011 clauses out of 20135 with flag 415004/415004 166.65/165.02 c cleaning 10037 clauses out of 20121 with flag 425001/425001 170.96/169.31 c cleaning 10010 clauses out of 20083 with flag 435000/435000 177.07/175.44 c cleaning 10001 clauses out of 20073 with flag 445000/445000 181.28/179.63 c cleaning 10019 clauses out of 20072 with flag 455000/455000 186.71/185.08 c cleaning 10011 clauses out of 20053 with flag 465000/465000 192.12/190.45 c cleaning 10003 clauses out of 20043 with flag 475001/475001 196.43/194.71 c cleaning 10011 clauses out of 20039 with flag 485000/485000 202.25/200.54 c cleaning 10007 clauses out of 20029 with flag 495001/495001 207.17/205.40 c cleaning 9996 clauses out of 20021 with flag 505000/505000 212.29/210.51 c cleaning 10007 clauses out of 20026 with flag 515001/515001 216.21/214.40 c cleaning 9968 clauses out of 20018 with flag 525000/525000 223.04/221.25 c cleaning 9993 clauses out of 20050 with flag 535000/535000 230.26/228.42 c cleaning 10006 clauses out of 20063 with flag 545006/545006 235.68/233.88 c cleaning 9995 clauses out of 20054 with flag 555003/555003 242.01/240.10 c cleaning 10002 clauses out of 20058 with flag 565002/565002 247.62/245.77 c cleaning 9998 clauses out of 20057 with flag 575003/575003 253.95/252.03 c cleaning 10002 clauses out of 20059 with flag 585003/585003 257.36/255.44 c cleaning 9950 clauses out of 20054 with flag 595000/595000 260.98/259.06 c cleaning 9996 clauses out of 20104 with flag 605000/605000 265.70/263.77 c cleaning 10007 clauses out of 20110 with flag 615002/615002 271.64/269.68 c cleaning 10005 clauses out of 20105 with flag 625004/625004 276.35/274.31 c cleaning 10019 clauses out of 20096 with flag 635000/635000 281.38/279.37 c cleaning 10007 clauses out of 20078 with flag 645001/645001 285.59/283.55 c cleaning 10003 clauses out of 20070 with flag 655000/655000 290.81/288.74 c cleaning 10007 clauses out of 20068 with flag 665001/665001 296.03/293.96 c cleaning 10001 clauses out of 20063 with flag 675003/675003 301.25/299.11 c cleaning 10017 clauses out of 20059 with flag 685000/685000 305.27/303.15 c cleaning 10009 clauses out of 20042 with flag 695000/695000 310.38/308.21 c cleaning 10005 clauses out of 20034 with flag 705001/705001 315.18/313.09 c cleaning 10007 clauses out of 20031 with flag 715003/715003 318.70/316.59 c cleaning 9985 clauses out of 20022 with flag 725001/725001 323.82/321.62 c cleaning 10007 clauses out of 20039 with flag 735003/735003 328.34/326.12 c cleaning 9996 clauses out of 20031 with flag 745002/745002 334.15/331.95 c cleaning 10002 clauses out of 20034 with flag 755001/755001 338.17/335.94 c cleaning 9997 clauses out of 20032 with flag 765001/765001 343.47/341.21 c cleaning 10002 clauses out of 20034 with flag 775000/775000 347.79/345.56 c cleaning 9977 clauses out of 20032 with flag 785000/785000 353.42/351.17 c cleaning 9989 clauses out of 20055 with flag 795000/795000 359.74/357.47 c cleaning 9998 clauses out of 20068 with flag 805002/805002 364.95/362.64 c cleaning 9980 clauses out of 20073 with flag 815005/815005 371.37/369.04 c cleaning 9988 clauses out of 20091 with flag 825003/825003 378.89/376.58 c cleaning 10001 clauses out of 20102 with flag 835002/835002 386.91/384.59 c cleaning 10010 clauses out of 20099 with flag 845000/845000 393.73/391.33 c cleaning 9996 clauses out of 20089 with flag 855000/855000 400.25/397.80 c cleaning 10012 clauses out of 20094 with flag 865001/865001 405.46/403.00 c cleaning 9997 clauses out of 20081 with flag 875000/875000 410.17/407.77 c cleaning 10006 clauses out of 20088 with flag 885004/885004 413.40/410.96 c cleaning 10003 clauses out of 20078 with flag 895000/895000 417.91/415.46 c cleaning 9999 clauses out of 20076 with flag 905001/905001 422.22/419.72 c cleaning 9977 clauses out of 20078 with flag 915002/915002 426.65/424.14 c cleaning 9982 clauses out of 20100 with flag 925001/925001 430.68/428.18 c cleaning 10001 clauses out of 20118 with flag 935001/935001 434.69/432.12 c cleaning 10027 clauses out of 20117 with flag 945001/945001 439.71/437.18 c cleaning 10025 clauses out of 20091 with flag 955002/955002 445.12/442.53 c cleaning 10011 clauses out of 20065 with flag 965001/965001 449.53/446.98 c cleaning 9987 clauses out of 20055 with flag 975002/975002 458.14/455.59 c cleaning 9979 clauses out of 20067 with flag 985001/985001 465.66/463.00 c cleaning 10032 clauses out of 20088 with flag 995001/995001 470.77/468.16 c cleaning 10009 clauses out of 20055 with flag 1005000/1005000 474.98/472.36 c cleaning 10003 clauses out of 20046 with flag 1015000/1015000 480.10/477.43 c cleaning 10002 clauses out of 20043 with flag 1025000/1025000 485.31/482.67 c cleaning 10001 clauses out of 20043 with flag 1035002/1035002 489.92/487.21 c cleaning 9997 clauses out of 20041 with flag 1045001/1045001 494.22/491.57 c cleaning 10000 clauses out of 20043 with flag 1055000/1055000 498.63/495.92 c cleaning 9996 clauses out of 20043 with flag 1065000/1065000 502.84/500.17 c cleaning 10002 clauses out of 20050 with flag 1075003/1075003 506.84/504.17 c cleaning 10008 clauses out of 20046 with flag 1085001/1085001 512.96/510.24 c cleaning 9998 clauses out of 20037 with flag 1095000/1095000 517.99/515.27 c cleaning 10005 clauses out of 20039 with flag 1105000/1105000 522.70/519.92 c cleaning 10001 clauses out of 20035 with flag 1115001/1115001 527.21/524.48 c cleaning 9996 clauses out of 20036 with flag 1125003/1125003 532.72/529.99 c cleaning 10007 clauses out of 20037 with flag 1135000/1135000 537.13/534.31 c cleaning 10002 clauses out of 20032 with flag 1145002/1145002 542.74/539.97 c cleaning 10001 clauses out of 20032 with flag 1155004/1155004 548.56/545.79 c cleaning 9995 clauses out of 20029 with flag 1165002/1165002 553.17/550.34 c cleaning 10001 clauses out of 20033 with flag 1175001/1175001 556.29/553.43 c cleaning 9996 clauses out of 20035 with flag 1185004/1185004 561.51/558.63 c cleaning 9994 clauses out of 20036 with flag 1195001/1195001 566.02/563.18 c cleaning 10002 clauses out of 20045 with flag 1205004/1205004 571.34/568.41 c cleaning 9999 clauses out of 20041 with flag 1215002/1215002 575.65/572.75 c cleaning 10000 clauses out of 20042 with flag 1225002/1225002 579.67/576.74 c cleaning 9994 clauses out of 20041 with flag 1235001/1235001 584.67/581.73 c cleaning 10003 clauses out of 20049 with flag 1245003/1245003 589.48/586.53 c cleaning 9999 clauses out of 20045 with flag 1255002/1255002 594.40/591.41 c cleaning 9999 clauses out of 20044 with flag 1265000/1265000 599.41/596.40 c cleaning 10000 clauses out of 20045 with flag 1275000/1275000 604.42/601.41 c cleaning 9992 clauses out of 20046 with flag 1285001/1285001 609.04/606.07 c cleaning 10005 clauses out of 20053 with flag 1295000/1295000 614.05/611.08 c cleaning 10002 clauses out of 20048 with flag 1305000/1305000 618.37/615.34 c cleaning 9989 clauses out of 20046 with flag 1315000/1315000 622.88/619.89 c cleaning 10008 clauses out of 20057 with flag 1325000/1325000 625.71/622.68 c cleaning 9955 clauses out of 20050 with flag 1335001/1335001 628.92/625.82 c cleaning 10015 clauses out of 20094 with flag 1345000/1345000 632.43/629.30 c cleaning 10025 clauses out of 20080 with flag 1355001/1355001 638.13/635.00 c cleaning 10013 clauses out of 20054 with flag 1365000/1365000 642.84/639.71 c cleaning 10004 clauses out of 20041 with flag 1375000/1375000 647.96/644.88 c cleaning 9908 clauses out of 20038 with flag 1385001/1385001 652.69/649.55 c cleaning 9973 clauses out of 20129 with flag 1395000/1395000 659.20/656.02 c cleaning 10012 clauses out of 20159 with flag 1405003/1405003 663.93/660.78 c cleaning 9992 clauses out of 20145 with flag 1415001/1415001 670.34/667.18 c cleaning 10001 clauses out of 20153 with flag 1425001/1425001 676.56/673.39 c cleaning 9993 clauses out of 20152 with flag 1435001/1435001 682.47/679.26 c cleaning 10006 clauses out of 20162 with flag 1445004/1445004 688.98/685.79 c cleaning 10000 clauses out of 20153 with flag 1455001/1455001 692.10/688.89 c cleaning 10054 clauses out of 20154 with flag 1465002/1465002 695.83/692.54 c cleaning 10025 clauses out of 20098 with flag 1475000/1475000 700.04/696.77 c cleaning 10016 clauses out of 20079 with flag 1485006/1485006 704.95/701.66 c cleaning 10002 clauses out of 20059 with flag 1495002/1495002 709.26/705.92 c cleaning 10001 clauses out of 20057 with flag 1505002/1505002 714.07/710.74 c cleaning 10002 clauses out of 20057 with flag 1515003/1515003 717.97/714.64 c cleaning 10003 clauses out of 20055 with flag 1525003/1525003 723.19/719.88 c cleaning 10004 clauses out of 20049 with flag 1535000/1535000 728.69/725.38 c cleaning 10003 clauses out of 20048 with flag 1545003/1545003 733.71/730.32 c cleaning 10000 clauses out of 20043 with flag 1555001/1555001 738.42/735.02 c cleaning 10000 clauses out of 20042 with flag 1565000/1565000 743.34/739.99 c cleaning 9988 clauses out of 20042 with flag 1575000/1575000 748.55/745.12 c cleaning 10006 clauses out of 20055 with flag 1585001/1585001 753.87/750.44 c cleaning 10002 clauses out of 20048 with flag 1595000/1595000 758.68/755.29 c cleaning 10002 clauses out of 20047 with flag 1605001/1605001 763.60/760.14 c cleaning 10002 clauses out of 20047 with flag 1615003/1615003 767.91/764.42 c cleaning 9994 clauses out of 20042 with flag 1625000/1625000 772.21/768.75 c cleaning 9992 clauses out of 20048 with flag 1635000/1635000 778.52/775.01 c cleaning 10015 clauses out of 20062 with flag 1645006/1645006 783.03/779.53 c cleaning 10006 clauses out of 20042 with flag 1655001/1655001 787.74/784.30 c cleaning 9985 clauses out of 20037 with flag 1665002/1665002 792.66/789.10 c cleaning 10007 clauses out of 20050 with flag 1675000/1675000 797.57/794.08 c cleaning 10009 clauses out of 20047 with flag 1685004/1685004 802.27/798.71 c cleaning 10006 clauses out of 20040 with flag 1695006/1695006 808.38/804.81 c cleaning 10001 clauses out of 20031 with flag 1705003/1705003 814.09/810.53 c cleaning 9964 clauses out of 20028 with flag 1715001/1715001 819.30/815.72 c cleaning 9997 clauses out of 20063 with flag 1725000/1725000 824.91/821.37 c cleaning 10020 clauses out of 20073 with flag 1735007/1735007 830.82/827.22 c cleaning 9995 clauses out of 20047 with flag 1745001/1745001 837.13/833.50 c cleaning 10000 clauses out of 20052 with flag 1755001/1755001 841.45/837.83 c cleaning 9992 clauses out of 20052 with flag 1765001/1765001 845.26/841.60 c cleaning 10018 clauses out of 20062 with flag 1775003/1775003 851.08/847.44 c cleaning 10005 clauses out of 20043 with flag 1785002/1785002 857.00/853.34 c cleaning 10004 clauses out of 20037 with flag 1795001/1795001 862.82/859.13 c cleaning 10002 clauses out of 20032 with flag 1805000/1805000 867.24/863.54 c cleaning 9992 clauses out of 20030 with flag 1815000/1815000 871.85/868.15 c cleaning 10011 clauses out of 20040 with flag 1825002/1825002 877.66/873.95 c cleaning 9999 clauses out of 20028 with flag 1835001/1835001 883.38/879.67 c cleaning 9993 clauses out of 20028 with flag 1845000/1845000 888.01/884.23 c cleaning 9993 clauses out of 20036 with flag 1855001/1855001 891.73/887.97 c cleaning 9998 clauses out of 20042 with flag 1865000/1865000 896.13/892.37 c cleaning 10013 clauses out of 20044 with flag 1875000/1875000 901.34/897.60 c cleaning 9995 clauses out of 20031 with flag 1885000/1885000 906.16/902.34 c cleaning 10008 clauses out of 20036 with flag 1895000/1895000 911.88/908.08 c cleaning 10001 clauses out of 20031 with flag 1905003/1905003 917.09/913.28 c cleaning 9993 clauses out of 20028 with flag 1915001/1915001 921.89/918.07 c cleaning 10002 clauses out of 20034 with flag 1925000/1925000 926.82/922.93 c cleaning 9997 clauses out of 20033 with flag 1935001/1935001 933.12/929.22 c cleaning 10001 clauses out of 20035 with flag 1945000/1945000 938.44/934.58 c cleaning 9990 clauses out of 20034 with flag 1955000/1955000 943.25/939.31 c cleaning 10012 clauses out of 20045 with flag 1965001/1965001 949.06/945.15 c cleaning 10005 clauses out of 20032 with flag 1975000/1975000 955.48/951.52 c cleaning 9993 clauses out of 20027 with flag 1985000/1985000 959.20/955.23 c cleaning 9930 clauses out of 20037 with flag 1995003/1995003 962.52/958.51 c cleaning 9985 clauses out of 20104 with flag 2005000/2005000 965.54/961.54 c cleaning 10015 clauses out of 20123 with flag 2015004/2015004 971.37/967.31 c cleaning 9979 clauses out of 20104 with flag 2025000/2025000 975.78/971.73 c cleaning 9995 clauses out of 20125 with flag 2035000/2035000 980.81/976.80 c cleaning 10026 clauses out of 20134 with flag 2045004/2045004 983.82/979.70 c cleaning 10001 clauses out of 20104 with flag 2055000/2055000 987.85/983.70 c cleaning 9995 clauses out of 20104 with flag 2065001/2065001 993.07/988.92 c cleaning 10000 clauses out of 20109 with flag 2075001/2075001 996.78/992.64 c cleaning 9984 clauses out of 20108 with flag 2085000/2085000 1001.30/997.12 c cleaning 9996 clauses out of 20124 with flag 2095000/2095000 1005.92/1001.73 c cleaning 9981 clauses out of 20128 with flag 2105000/2105000 1010.33/1006.12 c cleaning 10002 clauses out of 20147 with flag 2115000/2115000 1014.05/1009.85 c cleaning 10044 clauses out of 20149 with flag 2125004/2125004 1018.67/1014.49 c cleaning 10013 clauses out of 20101 with flag 2135000/2135000 1022.90/1018.61 c cleaning 9999 clauses out of 20092 with flag 2145004/2145004 1028.11/1023.82 c cleaning 10012 clauses out of 20092 with flag 2155003/2155003 1032.83/1028.57 c cleaning 10006 clauses out of 20082 with flag 2165005/2165005 1037.33/1033.06 c cleaning 10002 clauses out of 20072 with flag 2175001/2175001 1042.06/1037.73 c cleaning 10003 clauses out of 20071 with flag 2185002/2185002 1045.76/1041.47 c cleaning 9998 clauses out of 20066 with flag 2195000/2195000 1050.58/1046.29 c cleaning 10000 clauses out of 20069 with flag 2205001/2205001 1057.39/1053.04 c cleaning 9997 clauses out of 20069 with flag 2215001/2215001 1062.22/1057.84 c cleaning 10008 clauses out of 20071 with flag 2225000/2225000 1068.43/1064.00 c cleaning 9993 clauses out of 20063 with flag 2235000/2235000 1074.16/1069.72 c cleaning 10003 clauses out of 20070 with flag 2245000/2245000 1079.19/1074.79 c cleaning 10004 clauses out of 20067 with flag 2255000/2255000 1085.01/1080.53 c cleaning 10005 clauses out of 20068 with flag 2265005/2265005 1092.43/1087.92 c cleaning 9974 clauses out of 20058 with flag 2275000/2275000 1097.55/1093.03 c cleaning 10003 clauses out of 20096 with flag 2285012/2285012 1102.26/1097.78 c cleaning 9953 clauses out of 20089 with flag 2295008/2295008 1108.28/1103.71 c cleaning 10012 clauses out of 20129 with flag 2305001/2305001 1112.69/1108.12 c cleaning 9980 clauses out of 20116 with flag 2315000/2315000 1117.41/1112.86 c cleaning 10016 clauses out of 20138 with flag 2325002/2325002 1121.92/1117.34 c cleaning 9966 clauses out of 20128 with flag 2335008/2335008 1129.04/1124.46 c cleaning 10008 clauses out of 20158 with flag 2345004/2345004 1135.26/1130.66 c cleaning 9996 clauses out of 20147 with flag 2355001/2355001 1141.19/1136.50 c cleaning 10017 clauses out of 20150 with flag 2365000/2365000 1146.11/1141.42 c cleaning 9998 clauses out of 20134 with flag 2375001/2375001 1151.93/1147.22 c cleaning 9992 clauses out of 20139 with flag 2385004/2385004 1157.84/1153.14 c cleaning 9993 clauses out of 20144 with flag 2395001/2395001 1166.86/1162.14 c cleaning 10020 clauses out of 20152 with flag 2405002/2405002 1174.09/1169.32 c cleaning 10012 clauses out of 20130 with flag 2415000/2415000 1180.31/1175.52 c cleaning 9986 clauses out of 20121 with flag 2425003/2425003 1185.82/1181.02 c cleaning 10041 clauses out of 20135 with flag 2435003/2435003 1189.83/1185.06 c cleaning 10016 clauses out of 20091 with flag 2445000/2445000 1194.44/1189.69 c cleaning 10010 clauses out of 20075 with flag 2455000/2455000 1199.15/1194.34 c cleaning 10005 clauses out of 20065 with flag 2465000/2465000 1203.66/1198.80 c cleaning 10003 clauses out of 20061 with flag 2475001/2475001 1208.18/1203.37 c cleaning 10000 clauses out of 20058 with flag 2485001/2485001 1213.08/1208.22 c cleaning 10002 clauses out of 20058 with flag 2495001/2495001 1218.39/1213.56 c cleaning 10001 clauses out of 20055 with flag 2505000/2505000 1223.62/1218.72 c cleaning 9999 clauses out of 20055 with flag 2515001/2515001 1228.42/1223.52 c cleaning 10000 clauses out of 20058 with flag 2525003/2525003 1233.44/1228.56 c cleaning 9997 clauses out of 20057 with flag 2535002/2535002 1238.85/1233.92 c cleaning 10004 clauses out of 20063 with flag 2545005/2545005 1244.07/1239.16 c cleaning 9930 clauses out of 20054 with flag 2555000/2555000 1252.40/1247.44 c cleaning 9948 clauses out of 20124 with flag 2565000/2565000 1257.91/1252.92 c cleaning 9980 clauses out of 20179 with flag 2575003/2575003 1264.52/1259.59 c cleaning 9986 clauses out of 20196 with flag 2585000/2585000 1270.63/1265.60 c cleaning 9993 clauses out of 20212 with flag 2595002/2595002 1276.14/1271.11 c cleaning 10024 clauses out of 20219 with flag 2605002/2605002 1283.64/1278.61 c cleaning 9968 clauses out of 20195 with flag 2615002/2615002 1289.37/1284.35 c cleaning 9991 clauses out of 20225 with flag 2625000/2625000 1295.69/1290.66 c cleaning 10027 clauses out of 20234 with flag 2635000/2635000 1300.90/1295.81 c cleaning 9978 clauses out of 20209 with flag 2645002/2645002 1306.71/1301.70 c cleaning 9991 clauses out of 20230 with flag 2655001/2655001 1312.31/1307.20 c cleaning 10012 clauses out of 20239 with flag 2665001/2665001 1317.35/1312.26 c cleaning 10034 clauses out of 20236 with flag 2675010/2675010 1323.06/1317.93 c cleaning 10010 clauses out of 20196 with flag 2685004/2685004 1328.49/1323.39 c cleaning 10012 clauses out of 20183 with flag 2695001/2695001 1334.21/1329.09 c cleaning 10007 clauses out of 20171 with flag 2705001/2705001 1338.92/1333.74 c cleaning 9978 clauses out of 20164 with flag 2715001/2715001 1344.14/1338.93 c cleaning 10014 clauses out of 20185 with flag 2725000/2725000 1350.06/1344.88 c cleaning 10000 clauses out of 20172 with flag 2735001/2735001 1355.19/1349.93 c cleaning 10011 clauses out of 20172 with flag 2745001/2745001 1360.71/1355.41 c cleaning 10000 clauses out of 20160 with flag 2755000/2755000 1365.83/1360.50 c cleaning 10006 clauses out of 20163 with flag 2765003/2765003 1370.84/1365.58 c cleaning 9982 clauses out of 20157 with flag 2775003/2775003 1376.46/1371.18 c cleaning 10005 clauses out of 20172 with flag 2785000/2785000 1381.39/1376.08 c cleaning 9994 clauses out of 20169 with flag 2795002/2795002 1385.51/1380.19 c cleaning 10009 clauses out of 20174 with flag 2805001/2805001 1390.82/1385.44 c cleaning 9992 clauses out of 20164 with flag 2815000/2815000 1396.43/1391.00 c cleaning 10002 clauses out of 20172 with flag 2825000/2825000 1401.94/1396.55 c cleaning 10009 clauses out of 20171 with flag 2835001/2835001 1407.26/1401.80 c cleaning 9994 clauses out of 20161 with flag 2845000/2845000 1412.28/1406.83 c cleaning 10010 clauses out of 20168 with flag 2855001/2855001 1417.00/1411.56 c cleaning 9997 clauses out of 20160 with flag 2865003/2865003 1422.20/1416.71 c cleaning 9991 clauses out of 20160 with flag 2875000/2875000 1427.31/1421.85 c cleaning 9993 clauses out of 20169 with flag 2885000/2885000 1431.81/1426.38 c cleaning 10006 clauses out of 20176 with flag 2895000/2895000 1438.13/1432.68 c cleaning 10010 clauses out of 20172 with flag 2905002/2905002 1443.45/1437.98 c cleaning 9969 clauses out of 20160 with flag 2915000/2915000 1448.37/1442.88 c cleaning 10024 clauses out of 20193 with flag 2925002/2925002 1452.38/1446.85 c cleaning 10010 clauses out of 20172 with flag 2935005/2935005 1457.18/1451.68 c cleaning 9981 clauses out of 20157 with flag 2945000/2945000 1462.29/1456.72 c cleaning 10015 clauses out of 20177 with flag 2955001/2955001 1467.21/1461.65 c cleaning 10001 clauses out of 20165 with flag 2965004/2965004 1472.33/1466.77 c cleaning 10001 clauses out of 20161 with flag 2975001/2975001 1477.05/1471.42 c cleaning 9998 clauses out of 20161 with flag 2985002/2985002 1479.85/1474.24 c cleaning 10030 clauses out of 20163 with flag 2995002/2995002 1483.08/1477.44 c cleaning 10008 clauses out of 20131 with flag 3005000/3005000 1486.60/1480.97 c cleaning 10039 clauses out of 20124 with flag 3015001/3015001 1491.02/1485.36 c cleaning 10022 clauses out of 20086 with flag 3025002/3025002 1494.42/1488.74 c cleaning 10014 clauses out of 20064 with flag 3035002/3035002 1497.83/1492.12 c cleaning 9990 clauses out of 20049 with flag 3045001/3045001 1501.24/1495.54 c cleaning 10009 clauses out of 20058 with flag 3055000/3055000 1506.77/1501.00 c cleaning 9905 clauses out of 20051 with flag 3065002/3065002 1511.59/1505.87 c cleaning 9953 clauses out of 20144 with flag 3075000/3075000 1515.89/1510.20 c cleaning 10050 clauses out of 20191 with flag 3085000/3085000 1520.62/1514.80 c cleaning 10029 clauses out of 20142 with flag 3095001/3095001 1525.73/1519.95 c cleaning 10010 clauses out of 20113 with flag 3105001/3105001 1530.66/1524.85 c cleaning 10011 clauses out of 20102 with flag 3115000/3115000 1534.07/1528.21 c cleaning 10008 clauses out of 20091 with flag 3125000/3125000 1538.68/1532.86 c cleaning 10008 clauses out of 20083 with flag 3135000/3135000 1543.90/1538.09 c cleaning 10000 clauses out of 20075 with flag 3145000/3145000 1548.81/1542.90 c cleaning 10001 clauses out of 20077 with flag 3155002/3155002 1554.12/1548.23 c cleaning 10003 clauses out of 20075 with flag 3165001/3165001 1559.34/1553.44 c cleaning 9995 clauses out of 20072 with flag 3175001/3175001 1565.45/1559.51 c cleaning 10002 clauses out of 20077 with flag 3185001/3185001 1569.26/1563.39 c cleaning 9998 clauses out of 20076 with flag 3195002/3195002 1574.08/1568.12 c cleaning 10011 clauses out of 20079 with flag 3205003/3205003 1578.69/1572.78 c cleaning 10004 clauses out of 20066 with flag 3215001/3215001 1583.09/1577.15 c cleaning 10000 clauses out of 20064 with flag 3225003/3225003 1586.80/1580.82 c cleaning 10017 clauses out of 20063 with flag 3235002/3235002 1591.52/1585.54 c cleaning 10007 clauses out of 20044 with flag 3245000/3245000 1596.44/1590.43 c cleaning 10007 clauses out of 20046 with flag 3255009/3255009 1601.06/1595.08 c cleaning 9988 clauses out of 20032 with flag 3265002/3265002 1605.57/1599.59 c cleaning 10007 clauses out of 20042 with flag 3275000/3275000 1610.39/1604.36 c cleaning 9997 clauses out of 20040 with flag 3285005/3285005 1614.72/1608.67 c cleaning 9995 clauses out of 20040 with flag 3295002/3295002 1618.74/1612.69 c cleaning 9995 clauses out of 20045 with flag 3305002/3305002 1623.23/1617.10 c cleaning 9999 clauses out of 20050 with flag 3315002/3315002 1627.35/1621.25 c cleaning 9997 clauses out of 20051 with flag 3325002/3325002 1631.57/1625.44 c cleaning 10000 clauses out of 20053 with flag 3335001/3335001 1636.28/1630.13 c cleaning 10001 clauses out of 20053 with flag 3345001/3345001 1640.88/1634.77 c cleaning 10001 clauses out of 20053 with flag 3355002/3355002 1645.49/1639.39 c cleaning 10000 clauses out of 20050 with flag 3365000/3365000 1650.50/1644.31 c cleaning 10003 clauses out of 20053 with flag 3375003/3375003 1654.42/1648.21 c cleaning 10002 clauses out of 20048 with flag 3385001/3385001 1658.63/1652.41 c cleaning 10001 clauses out of 20046 with flag 3395001/3395001 1663.35/1657.15 c cleaning 9998 clauses out of 20044 with flag 3405000/3405000 1667.77/1661.57 c cleaning 10006 clauses out of 20052 with flag 3415006/3415006 1672.09/1665.84 c cleaning 9989 clauses out of 20042 with flag 3425002/3425002 1675.60/1669.37 c cleaning 9966 clauses out of 20053 with flag 3435002/3435002 1680.93/1674.61 c cleaning 9918 clauses out of 20087 with flag 3445002/3445002 1686.34/1680.07 c cleaning 10000 clauses out of 20167 with flag 3455000/3455000 1691.36/1685.03 c cleaning 10004 clauses out of 20168 with flag 3465001/3465001 1696.28/1689.92 c cleaning 9985 clauses out of 20163 with flag 3475000/3475000 1702.30/1696.00 c cleaning 10024 clauses out of 20179 with flag 3485001/3485001 1707.32/1700.96 c cleaning 10008 clauses out of 20157 with flag 3495003/3495003 1714.34/1707.91 c cleaning 10002 clauses out of 20149 with flag 3505003/3505003 1722.55/1716.11 c cleaning 9961 clauses out of 20144 with flag 3515000/3515000 1727.88/1721.50 c cleaning 9898 clauses out of 20184 with flag 3525001/3525001 1735.60/1729.19 c cleaning 10065 clauses out of 20285 with flag 3535000/3535000 1742.83/1736.34 c cleaning 9991 clauses out of 20222 with flag 3545002/3545002 1749.77/1743.24 c cleaning 10010 clauses out of 20229 with flag 3555000/3555000 1755.58/1749.04 c cleaning 9955 clauses out of 20223 with flag 3565004/3565004 1761.20/1754.60 c cleaning 10033 clauses out of 20264 with flag 3575000/3575000 1766.02/1759.45 c cleaning 10019 clauses out of 20231 with flag 3585000/3585000 1771.03/1764.44 c cleaning 10006 clauses out of 20212 with flag 3595000/3595000 1775.56/1768.92 c cleaning 9924 clauses out of 20209 with flag 3605003/3605003 1781.67/1775.02 c cleaning 10054 clauses out of 20284 with flag 3615002/3615002 1789.10/1782.44 c cleaning 9980 clauses out of 20229 with flag 3625001/3625001 1793.61/1786.97 c cleaning 10036 clauses out of 20248 with flag 3635000/3635000 1797.62/1790.91 c cleaning 9946 clauses out of 20214 with flag 3645002/3645002 1800.04/1793.31 c starts : 263 1800.04/1793.31 c conflicts : 3651305 1800.04/1793.31 c decisions : 5523508 1800.04/1793.31 c propagations : 98541663 1800.04/1793.31 c inspects : 4963763632 1800.04/1793.31 c learnt literals : 0 1800.04/1793.31 c learnt binary clauses : 0 1800.04/1793.31 c learnt ternary clauses : 0 1800.04/1793.31 c learnt clauses : 3651305 1800.04/1793.31 c ignored clauses : 0 1800.04/1793.31 c root simplifications : 0 1800.04/1793.31 c removed literals (reason simplification) : 24366245 1800.04/1793.31 c reason swapping (by a shorter reason) : 0 1800.04/1793.31 c Calls to reduceDB : 366 1800.04/1793.31 c number of reductions to clauses (during analyze) : 0 1800.04/1793.31 c number of learned constraints concerned by reduction : 0 1800.04/1793.31 c number of learning phase by resolution : 0 1800.04/1793.31 c number of learning phase by cutting planes : 0 1800.04/1793.31 c speed (assignments/second) : 55058.928933610245 1800.04/1793.31 c non guided choices 186454 1800.04/1793.32 c learnt constraints type 1800.04/1793.32 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16584 1800.04/1793.32 c constraints type 1800.04/1793.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72 1800.04/1793.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 1800.04/1793.32 s SATISFIABLE 1800.04/1793.33 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 1800.04/1793.33 c objective function=5 1800.04/1793.33 c Total wall clock time (in seconds): 1793.242
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698522-1278326895/watcher-2698522-1278326895 -o /tmp/evaluation-result-2698522-1278326895/solver-2698522-1278326895 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698522-1278326895.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4596 /proc/meminfo: memFree=32423284/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=13684 CPUtime=0 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 1183 0 0 0 0 0 0 0 25 0 2 0 903293 14012416 631 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 3421 631 307 10 0 1206 0 [pid=4596/tid=4597] ppid=4594 vsize=13684 CPUtime=0 /proc/4596/task/4597/stat : 4597 (java) S 4594 4596 3780 0 -1 4202560 142 0 0 0 0 0 0 0 25 0 2 0 903294 14012416 631 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16784584 4492827991126048767 0 0 -1 5 0 0 0 [startup+0.057277 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4596 /proc/meminfo: memFree=32423284/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1528556 CPUtime=0.05 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 4181 0 1 0 4 1 0 0 25 0 18 0 903293 1565241344 3621 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 382139 3621 1081 10 0 379442 0 [pid=4596/tid=4597] ppid=4594 vsize=1528556 CPUtime=0.05 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 3098 0 1 0 4 1 0 0 19 0 18 0 903294 1565241344 3621 4089446400 134512640 134550932 4293343712 18446744073709551615 12355427 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528556 [startup+0.100357 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4596 /proc/meminfo: memFree=32423284/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1529552 CPUtime=0.11 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 5289 0 1 0 10 1 0 0 25 0 18 0 903293 1566261248 4723 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 382388 4723 1347 10 0 379691 0 [pid=4596/tid=4597] ppid=4594 vsize=1529552 CPUtime=0.09 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 3627 0 1 0 8 1 0 0 18 0 18 0 903294 1566261248 4723 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529552 [startup+0.300237 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4596 /proc/meminfo: memFree=32423284/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1539708 CPUtime=0.62 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 9781 0 1 0 61 1 0 0 25 0 19 0 903293 1576660992 8000 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 384927 8000 1417 10 0 382230 0 [pid=4596/tid=4597] ppid=4594 vsize=1539708 CPUtime=0.29 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 4657 0 1 0 28 1 0 0 19 0 19 0 903294 1576660992 8000 4089446400 134512640 134550932 4293343712 18446744073709551615 4109543933 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 1539708 [startup+0.70022 s] /proc/loadavg: 2.00 2.00 1.91 3/196 4596 /proc/meminfo: memFree=32423284/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1539708 CPUtime=1.46 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 11528 0 1 0 144 2 0 0 25 0 19 0 903293 1576660992 9543 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 384927 9543 1427 10 0 382230 0 [pid=4596/tid=4597] ppid=4594 vsize=1539708 CPUtime=0.68 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 6017 0 1 0 67 1 0 0 19 0 19 0 903294 1576660992 9543 4089446400 134512640 134550932 4293343712 18446744073709551615 4109954075 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1539708 [startup+1.50102 s] /proc/loadavg: 2.00 2.00 1.91 4/215 4615 /proc/meminfo: memFree=32386084/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1545852 CPUtime=2.54 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 18786 0 1 0 251 3 0 0 25 0 19 0 903293 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386463 14918 1441 10 0 383766 0 [pid=4596/tid=4597] ppid=4594 vsize=1545852 CPUtime=1.47 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 8037 0 1 0 146 1 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4109996681 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 497 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 229 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1545852 CPUtime=0.01 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 908 0 0 0 1 0 0 0 15 0 19 0 903295 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1545852 CPUtime=0.41 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1228 0 0 0 41 0 0 0 15 0 19 0 903298 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1545852 CPUtime=0.61 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6601 0 0 0 61 0 0 0 15 0 19 0 903298 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903298 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1582952448 14918 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 1545852 [startup+3.10073 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4615 /proc/meminfo: memFree=32368600/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1545852 CPUtime=4.17 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 21424 0 1 0 414 3 0 0 25 0 19 0 903293 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386463 17554 1442 10 0 383766 0 [pid=4596/tid=4597] ppid=4594 vsize=1545852 CPUtime=3.05 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 8039 0 1 0 304 1 0 0 21 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4109955526 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 497 0 0 0 0 0 0 0 18 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1545852 CPUtime=0.02 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 1717 0 0 0 2 0 0 0 15 0 19 0 903295 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1545852 CPUtime=0.43 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1236 0 0 0 43 0 0 0 15 0 19 0 903298 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1545852 CPUtime=0.62 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6604 0 0 0 62 0 0 0 16 0 19 0 903298 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903298 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1582952448 17554 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 1545852 [startup+6.30123 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4615 /proc/meminfo: memFree=32350644/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1545852 CPUtime=7.42 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 23368 0 1 0 738 4 0 0 25 0 19 0 903293 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386463 19435 1442 10 0 383766 0 [pid=4596/tid=4597] ppid=4594 vsize=1545852 CPUtime=6.23 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 8041 0 1 0 622 1 0 0 25 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4109934224 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 861 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 402 0 0 0 0 0 0 0 16 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 1135 0 0 0 0 0 0 0 16 0 19 0 903294 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1545852 CPUtime=0.03 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 2425 0 0 0 3 0 0 0 15 0 19 0 903295 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1545852 CPUtime=0.47 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1242 0 0 0 47 0 0 0 15 0 19 0 903298 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1545852 CPUtime=0.63 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6605 0 0 0 63 0 0 0 15 0 19 0 903298 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903298 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1545852 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1582952448 19435 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (KiB) 1545852 ################ # More data... # ################ [pid=4596/tid=4604] ppid=4594 vsize=1547900 CPUtime=0.93 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 3389 0 0 0 87 6 0 0 16 0 19 0 903294 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1547900 CPUtime=0.85 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 4547 0 0 0 80 5 0 0 15 0 19 0 903294 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1547900 CPUtime=0.84 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 4296 0 0 0 78 6 0 0 16 0 19 0 903294 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1547900 CPUtime=12.58 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 6581 0 0 0 1253 5 0 0 16 0 19 0 903295 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1547900 CPUtime=0.47 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1242 0 0 0 47 0 0 0 15 0 19 0 903298 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1547900 CPUtime=0.67 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6613 0 0 0 67 0 0 0 15 0 19 0 903298 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 903298 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1585049600 46760 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.79 Current children cumulated vsize (KiB) 1547900 [startup+1782.3 s] /proc/loadavg: 1.78 1.99 1.95 2/189 4696 /proc/meminfo: memFree=32287556/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1547900 CPUtime=1789 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 60056 0 1 0 178839 61 0 0 25 0 19 0 903293 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386975 48301 1442 10 0 384278 0 [pid=4596/tid=4597] ppid=4594 vsize=1547900 CPUtime=1767.69 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 13674 0 1 0 176764 5 0 0 25 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4109954129 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1547900 CPUtime=0.86 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 3953 0 0 0 81 5 0 0 16 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1547900 CPUtime=0.84 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 3342 0 0 0 78 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1547900 CPUtime=0.96 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 4009 0 0 0 90 6 0 0 16 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1547900 CPUtime=0.81 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 2587 0 0 0 76 5 0 0 16 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 4 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1547900 CPUtime=0.91 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 3689 0 0 0 86 5 0 0 16 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1547900 CPUtime=0.96 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 3518 0 0 0 89 7 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1547900 CPUtime=0.88 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 4655 0 0 0 83 5 0 0 16 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1547900 CPUtime=0.87 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 4563 0 0 0 81 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1547900 CPUtime=12.97 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 7046 0 0 0 1292 5 0 0 15 0 19 0 903295 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1547900 CPUtime=0.47 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1242 0 0 0 47 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1547900 CPUtime=0.67 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6613 0 0 0 67 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1789 Current children cumulated vsize (KiB) 1547900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 1.66 1.96 1.94 2/189 4696 /proc/meminfo: memFree=32288048/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1547900 CPUtime=1800.04 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 60059 0 1 0 179943 61 0 0 25 0 19 0 903293 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386975 48301 1442 10 0 384278 0 [pid=4596/tid=4597] ppid=4594 vsize=1547900 CPUtime=1778.55 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 13677 0 1 0 177850 5 0 0 25 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4110027853 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1547900 CPUtime=0.87 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 3953 0 0 0 82 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1547900 CPUtime=0.84 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 3342 0 0 0 78 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1547900 CPUtime=0.96 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 4009 0 0 0 90 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1547900 CPUtime=0.82 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 2587 0 0 0 77 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 4 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1547900 CPUtime=0.91 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 3689 0 0 0 86 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1547900 CPUtime=0.97 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 3518 0 0 0 90 7 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1547900 CPUtime=0.89 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 4655 0 0 0 84 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1547900 CPUtime=0.88 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 4563 0 0 0 82 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1547900 CPUtime=13.1 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 7046 0 0 0 1305 5 0 0 15 0 19 0 903295 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1547900 CPUtime=0.47 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1242 0 0 0 47 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1547900 CPUtime=0.67 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6613 0 0 0 67 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1547900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.3 s] /proc/loadavg: 1.66 1.96 1.94 2/189 4696 /proc/meminfo: memFree=32288048/32950928 swapFree=67111528/67111528 [pid=4596] ppid=4594 vsize=1547900 CPUtime=1800.04 /proc/4596/stat : 4596 (java) S 4594 4596 3780 0 -1 4202496 60059 0 1 0 179943 61 0 0 25 0 19 0 903293 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4596/statm: 386975 48301 1442 10 0 384278 0 [pid=4596/tid=4597] ppid=4594 vsize=1547900 CPUtime=1778.55 /proc/4596/task/4597/stat : 4597 (java) R 4594 4596 3780 0 -1 4202560 13677 0 1 0 177850 5 0 0 25 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4110027853 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4596/tid=4599] ppid=4594 vsize=1547900 CPUtime=0.87 /proc/4596/task/4599/stat : 4599 (java) S 4594 4596 3780 0 -1 4202560 3953 0 0 0 82 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4600] ppid=4594 vsize=1547900 CPUtime=0.84 /proc/4596/task/4600/stat : 4600 (java) S 4594 4596 3780 0 -1 4202560 3342 0 0 0 78 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4601] ppid=4594 vsize=1547900 CPUtime=0.96 /proc/4596/task/4601/stat : 4601 (java) S 4594 4596 3780 0 -1 4202560 4009 0 0 0 90 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4602] ppid=4594 vsize=1547900 CPUtime=0.82 /proc/4596/task/4602/stat : 4602 (java) S 4594 4596 3780 0 -1 4202560 2587 0 0 0 77 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 4 0 0 0 [pid=4596/tid=4603] ppid=4594 vsize=1547900 CPUtime=0.91 /proc/4596/task/4603/stat : 4603 (java) S 4594 4596 3780 0 -1 4202560 3689 0 0 0 86 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4604] ppid=4594 vsize=1547900 CPUtime=0.97 /proc/4596/task/4604/stat : 4604 (java) S 4594 4596 3780 0 -1 4202560 3518 0 0 0 90 7 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 7 0 0 0 [pid=4596/tid=4605] ppid=4594 vsize=1547900 CPUtime=0.89 /proc/4596/task/4605/stat : 4605 (java) S 4594 4596 3780 0 -1 4202560 4655 0 0 0 84 5 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 [pid=4596/tid=4606] ppid=4594 vsize=1547900 CPUtime=0.88 /proc/4596/task/4606/stat : 4606 (java) S 4594 4596 3780 0 -1 4202560 4563 0 0 0 82 6 0 0 15 0 19 0 903294 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4607] ppid=4594 vsize=1547900 CPUtime=13.1 /proc/4596/task/4607/stat : 4607 (java) S 4594 4596 3780 0 -1 4202560 7046 0 0 0 1305 5 0 0 15 0 19 0 903295 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 0 0 16800975 18446604471138630464 0 0 -1 6 0 0 0 [pid=4596/tid=4608] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4608/stat : 4608 (java) S 4594 4596 3780 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4609] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4609/stat : 4609 (java) S 4594 4596 3780 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 903296 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4610] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4610/stat : 4610 (java) S 4594 4596 3780 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4611] ppid=4594 vsize=1547900 CPUtime=0.47 /proc/4596/task/4611/stat : 4611 (java) S 4594 4596 3780 0 -1 4202560 1242 0 0 0 47 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 2 0 0 0 [pid=4596/tid=4612] ppid=4594 vsize=1547900 CPUtime=0.67 /proc/4596/task/4612/stat : 4612 (java) S 4594 4596 3780 0 -1 4202560 6613 0 0 0 67 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 5 0 0 0 [pid=4596/tid=4613] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4613/stat : 4613 (java) S 4594 4596 3780 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 1 0 0 0 [pid=4596/tid=4614] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4614/stat : 4614 (java) S 4594 4596 3780 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 903298 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 3 0 0 0 [pid=4596/tid=4615] ppid=4594 vsize=1547900 CPUtime=0 /proc/4596/task/4615/stat : 4615 (java) S 4594 4596 3780 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 903316 1585049600 48301 4089446400 134512640 134550932 4293343712 18446744073709551615 4294960144 0 4 0 16800975 18446604471138630464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1547900 Child status: 143 Real time (s): 1793.36 CPU time (s): 1800.15 CPU user time (s): 1799.53 CPU system time (s): 0.623905 CPU usage (%): 100.379 Max. virtual memory (cumulated for all children) (KiB): 1547900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.623905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60085 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= 48154 involuntary context switches= 158324 runsolver used 3.13052 second user time and 6.69898 second system time The end
Begin job on node125 at 2010-07-05 12:48:15 IDJOB=2698522 IDBENCH=79165 IDSOLVER=1211 FILE ID=node125/2698522-1278326895 PBS_JOBID= 11207446 Free space on /tmp= 74196 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698522-1278326895/watcher-2698522-1278326895 -o /tmp/evaluation-result-2698522-1278326895/solver-2698522-1278326895 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698522-1278326895.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 02fb8a7818433044fe5d5a9a278599da RANDOM SEED=1512475295 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.64 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.823 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.83 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.823 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.82 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.823 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32423936 kB Buffers: 24620 kB Cached: 285916 kB SwapCached: 0 kB Active: 197120 kB Inactive: 229796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32423936 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1100 kB Writeback: 0 kB AnonPages: 115780 kB Mapped: 20392 kB Slab: 36036 kB PageTables: 4588 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1638620 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= 74196 MiB End job on node125 at 2010-07-05 13:18:10