Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 82 | 1800.41 | 947.807 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 23.1855 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 509 |
Number of constraints which are clauses | 509 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 166 |
Number of terms in the objective function | 4676 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454534-1307188657.opb 0.11/0.11 c reading problem ... 0.52/0.34 c ... done. Wall clock time 0.226s. 0.52/0.34 c #vars 4676 0.52/0.34 c #constraints 509 0.52/0.34 c constraints type 0.52/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 509 0.52/0.34 c constraints type 0.52/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 509 0.52/0.41 c And the winner is Resolution 0.87/0.86 c SATISFIABLE 0.87/0.86 c OPTIMIZING... 0.87/0.86 c Got one! Elapsed wall clock time (in seconds):0.746 0.87/0.86 o 89 4.29/2.39 c And the winner is CuttingPlanes 4.48/2.40 c Got one! Elapsed wall clock time (in seconds):2.289 4.48/2.40 o 88 6.88/3.66 c cleaning 2721 clauses out of 5446 with flag 3001/5446 12.16/6.24 c cleaning 4353 clauses out of 8724 with flag 9000/11445 19.11/9.67 c cleaning 5683 clauses out of 11371 with flag 16000/18445 23.94/12.05 c And the winner is CuttingPlanes 24.03/12.46 c Got one! Elapsed wall clock time (in seconds):12.348 24.03/12.46 o 87 28.16/14.55 c cleaning 8296 clauses out of 16600 with flag 5000/29357 34.05/17.40 c cleaning 7145 clauses out of 14304 with flag 11000/35357 39.42/20.14 c cleaning 7076 clauses out of 14160 with flag 18001/42358 47.18/24.08 c cleaning 7536 clauses out of 15083 with flag 26000/50357 53.95/27.50 c cleaning 8268 clauses out of 16548 with flag 35001/59358 62.89/31.95 c cleaning 9127 clauses out of 18279 with flag 45000/69357 71.42/36.30 c cleaning 9571 clauses out of 19152 with flag 55000/79357 80.97/41.01 c cleaning 9788 clauses out of 19581 with flag 65000/89357 87.11/44.13 c cleaning 9894 clauses out of 19794 with flag 75001/99358 96.83/49.09 c cleaning 9943 clauses out of 19900 with flag 85001/109358 107.16/54.28 c cleaning 9979 clauses out of 19963 with flag 95007/119364 115.33/58.40 c cleaning 9983 clauses out of 19977 with flag 105000/129357 124.06/62.79 c cleaning 9993 clauses out of 19994 with flag 115000/139357 134.73/68.14 c cleaning 9999 clauses out of 20002 with flag 125001/149358 142.65/72.12 c cleaning 9995 clauses out of 20002 with flag 135000/159357 150.96/76.34 c cleaning 9994 clauses out of 20008 with flag 145001/169358 157.27/79.53 c cleaning 9999 clauses out of 20013 with flag 155000/179357 164.55/83.20 c cleaning 9999 clauses out of 20015 with flag 165001/189358 173.45/87.73 c cleaning 10006 clauses out of 20016 with flag 175001/199358 184.55/93.30 c cleaning 10002 clauses out of 20009 with flag 185000/209357 194.04/98.17 c cleaning 9995 clauses out of 20007 with flag 195000/219357 202.88/102.67 c cleaning 10002 clauses out of 20013 with flag 205001/229358 212.37/107.48 c cleaning 10001 clauses out of 20011 with flag 215001/239358 218.66/110.66 c cleaning 9999 clauses out of 20009 with flag 225000/249357 225.75/114.20 c cleaning 10000 clauses out of 20010 with flag 235000/259357 230.77/116.87 c cleaning 9999 clauses out of 20010 with flag 245000/269357 235.86/119.43 c cleaning 10001 clauses out of 20011 with flag 255000/279357 244.54/123.82 c cleaning 10000 clauses out of 20011 with flag 265001/289358 253.62/128.45 c cleaning 10000 clauses out of 20010 with flag 275000/299357 262.65/133.10 c cleaning 10003 clauses out of 20010 with flag 285000/309357 271.91/137.74 c cleaning 9995 clauses out of 20007 with flag 295000/319357 281.38/142.59 c cleaning 10002 clauses out of 20013 with flag 305001/329358 289.86/146.84 c cleaning 9998 clauses out of 20010 with flag 315000/339357 294.05/149.09 c cleaning 9999 clauses out of 20012 with flag 325000/349357 297.92/151.09 c cleaning 10001 clauses out of 20015 with flag 335002/359359 302.19/153.23 c cleaning 10000 clauses out of 20013 with flag 345001/369358 307.65/156.02 c cleaning 9993 clauses out of 20012 with flag 355000/379357 313.44/159.08 c cleaning 10000 clauses out of 20019 with flag 365000/389357 318.53/161.63 c cleaning 10003 clauses out of 20019 with flag 375000/399357 323.38/164.19 c cleaning 9998 clauses out of 20017 with flag 385001/409358 332.25/168.63 c cleaning 9996 clauses out of 20018 with flag 395000/419357 343.24/174.28 c cleaning 10004 clauses out of 20022 with flag 405000/429357 352.51/178.93 c cleaning 10001 clauses out of 20018 with flag 415000/439357 361.81/183.69 c cleaning 9999 clauses out of 20017 with flag 425000/449357 372.24/188.94 c cleaning 10001 clauses out of 20019 with flag 435001/459358 380.21/193.08 c cleaning 10004 clauses out of 20017 with flag 445000/469357 389.05/197.55 c cleaning 9998 clauses out of 20014 with flag 455001/479358 395.29/200.73 c cleaning 10001 clauses out of 20016 with flag 465001/489358 401.53/203.93 c cleaning 9997 clauses out of 20014 with flag 475000/499357 405.87/206.30 c cleaning 10001 clauses out of 20017 with flag 485000/509357 410.31/208.58 c cleaning 10001 clauses out of 20017 with flag 495001/519358 414.55/210.70 c cleaning 9996 clauses out of 20015 with flag 505000/529357 418.80/212.97 c cleaning 10000 clauses out of 20020 with flag 515001/539358 423.97/215.68 c cleaning 10002 clauses out of 20019 with flag 525000/549357 428.78/218.13 c cleaning 10003 clauses out of 20017 with flag 535000/559357 434.21/220.97 c cleaning 9999 clauses out of 20014 with flag 545000/569357 439.43/223.68 c cleaning 10001 clauses out of 20015 with flag 555000/579357 447.17/227.61 c cleaning 9997 clauses out of 20014 with flag 565000/589357 452.37/230.31 c cleaning 10002 clauses out of 20018 with flag 575001/599358 456.38/232.41 c cleaning 9997 clauses out of 20015 with flag 585000/609357 465.80/237.29 c cleaning 10005 clauses out of 20019 with flag 595001/619358 474.70/241.83 c cleaning 10002 clauses out of 20013 with flag 605000/629357 482.51/245.82 c cleaning 10000 clauses out of 20012 with flag 615001/639358 492.89/251.15 c cleaning 9999 clauses out of 20012 with flag 625001/649358 500.48/255.05 c cleaning 9999 clauses out of 20013 with flag 635001/659358 506.96/258.51 c cleaning 9996 clauses out of 20013 with flag 645000/669357 512.13/261.14 c cleaning 10003 clauses out of 20018 with flag 655001/679358 516.51/263.43 c cleaning 10005 clauses out of 20015 with flag 665001/689358 521.49/266.07 c cleaning 9999 clauses out of 20010 with flag 675001/699358 526.13/268.54 c cleaning 9999 clauses out of 20010 with flag 685000/709357 530.14/270.66 c cleaning 9998 clauses out of 20012 with flag 695001/719358 534.48/272.90 c cleaning 9993 clauses out of 20014 with flag 705001/729358 538.65/275.17 c cleaning 10002 clauses out of 20021 with flag 715001/739358 543.48/277.73 c cleaning 9998 clauses out of 20018 with flag 725000/749357 547.64/279.96 c cleaning 10006 clauses out of 20021 with flag 735001/759358 551.61/282.07 c cleaning 10001 clauses out of 20015 with flag 745001/769358 555.97/284.33 c cleaning 9991 clauses out of 20013 with flag 755000/779357 560.20/286.66 c cleaning 10001 clauses out of 20022 with flag 765000/789357 564.56/288.92 c cleaning 10003 clauses out of 20021 with flag 775000/799357 569.55/291.56 c cleaning 10004 clauses out of 20019 with flag 785001/809358 573.86/293.81 c cleaning 10001 clauses out of 20014 with flag 795000/819357 578.07/296.10 c cleaning 9999 clauses out of 20014 with flag 805001/829358 581.86/298.14 c cleaning 10000 clauses out of 20015 with flag 815001/839358 588.36/301.59 c cleaning 9997 clauses out of 20014 with flag 825000/849357 594.70/304.83 c cleaning 9995 clauses out of 20017 with flag 835000/859357 600.73/308.04 c cleaning 10005 clauses out of 20022 with flag 845000/869357 605.83/310.74 c cleaning 9998 clauses out of 20018 with flag 855001/879358 611.57/313.73 c cleaning 10003 clauses out of 20019 with flag 865000/889357 617.54/316.82 c cleaning 9997 clauses out of 20016 with flag 875000/899357 624.10/320.39 c cleaning 10001 clauses out of 20019 with flag 885000/909357 633.82/325.30 c cleaning 9998 clauses out of 20018 with flag 895000/919357 644.73/330.96 c cleaning 10007 clauses out of 20020 with flag 905000/929357 654.46/335.96 c cleaning 10001 clauses out of 20013 with flag 915000/939357 664.04/340.97 c cleaning 10000 clauses out of 20013 with flag 925001/949358 672.93/345.52 c cleaning 10003 clauses out of 20013 with flag 935001/959358 678.04/348.25 c cleaning 9997 clauses out of 20009 with flag 945000/969357 683.18/350.94 c cleaning 9999 clauses out of 20013 with flag 955001/979358 688.10/353.63 c cleaning 9997 clauses out of 20016 with flag 965003/989360 693.22/356.31 c cleaning 9997 clauses out of 20016 with flag 975000/999357 697.35/358.59 c cleaning 10004 clauses out of 20019 with flag 985000/1009357 702.07/361.06 c cleaning 10002 clauses out of 20015 with flag 995000/1019357 706.26/363.39 c cleaning 9997 clauses out of 20013 with flag 1005000/1029357 710.60/365.68 c cleaning 10003 clauses out of 20016 with flag 1015000/1039357 716.33/368.61 c cleaning 10002 clauses out of 20013 with flag 1025000/1049357 722.27/371.77 c cleaning 9998 clauses out of 20011 with flag 1035000/1059357 727.84/374.80 c cleaning 10001 clauses out of 20014 with flag 1045001/1069358 732.58/377.28 c cleaning 10001 clauses out of 20012 with flag 1055000/1079357 738.09/380.11 c cleaning 9995 clauses out of 20011 with flag 1065000/1089357 743.61/383.05 c cleaning 10003 clauses out of 20017 with flag 1075001/1099358 748.58/385.72 c cleaning 9999 clauses out of 20013 with flag 1085000/1109357 752.70/387.95 c cleaning 9999 clauses out of 20014 with flag 1095000/1119357 757.22/390.31 c cleaning 9999 clauses out of 20016 with flag 1105001/1129358 762.34/393.01 c cleaning 10002 clauses out of 20018 with flag 1115002/1139359 768.11/396.16 c cleaning 9998 clauses out of 20014 with flag 1125000/1149357 774.62/399.55 c cleaning 9999 clauses out of 20016 with flag 1135000/1159357 779.54/402.15 c cleaning 9997 clauses out of 20017 with flag 1145000/1169357 784.69/404.89 c cleaning 10004 clauses out of 20023 with flag 1155003/1179360 790.02/407.75 c cleaning 9996 clauses out of 20016 with flag 1165000/1189357 794.97/410.38 c cleaning 9998 clauses out of 20020 with flag 1175000/1199357 802.65/414.38 c cleaning 10002 clauses out of 20022 with flag 1185000/1209357 809.36/417.86 c cleaning 10000 clauses out of 20020 with flag 1195000/1219357 817.94/422.33 c cleaning 10000 clauses out of 20020 with flag 1205000/1229357 824.63/425.89 c cleaning 10002 clauses out of 20021 with flag 1215001/1239358 832.54/429.94 c cleaning 10001 clauses out of 20019 with flag 1225001/1249358 842.84/435.26 c cleaning 9997 clauses out of 20017 with flag 1235000/1259357 855.01/441.51 c cleaning 9999 clauses out of 20020 with flag 1245000/1269357 861.32/444.86 c cleaning 10004 clauses out of 20022 with flag 1255001/1279358 866.03/447.35 c cleaning 9999 clauses out of 20017 with flag 1265000/1289357 874.14/451.58 c cleaning 9999 clauses out of 20018 with flag 1275000/1299357 884.70/457.03 c cleaning 10001 clauses out of 20020 with flag 1285001/1309358 890.21/459.98 c cleaning 9999 clauses out of 20018 with flag 1295000/1319357 896.52/463.25 c cleaning 10001 clauses out of 20019 with flag 1305000/1329357 902.23/466.28 c cleaning 10001 clauses out of 20018 with flag 1315000/1339357 908.60/469.68 c cleaning 10000 clauses out of 20017 with flag 1325000/1349357 920.89/475.96 c cleaning 9998 clauses out of 20017 with flag 1335000/1359357 932.00/481.69 c cleaning 10000 clauses out of 20019 with flag 1345000/1369357 941.91/486.72 c cleaning 10003 clauses out of 20019 with flag 1355000/1379357 951.49/491.77 c cleaning 10004 clauses out of 20016 with flag 1365000/1389357 959.36/495.84 c cleaning 9998 clauses out of 20012 with flag 1375000/1399357 967.86/500.28 c cleaning 9998 clauses out of 20014 with flag 1385000/1409357 974.95/503.91 c cleaning 10001 clauses out of 20016 with flag 1395000/1419357 980.70/507.02 c cleaning 10002 clauses out of 20015 with flag 1405000/1429357 985.77/509.74 c cleaning 10001 clauses out of 20014 with flag 1415001/1439358 990.86/512.48 c cleaning 9999 clauses out of 20013 with flag 1425001/1449358 995.53/514.92 c cleaning 9999 clauses out of 20013 with flag 1435000/1459357 999.63/517.28 c cleaning 9994 clauses out of 20014 with flag 1445000/1469357 1003.90/519.57 c cleaning 10002 clauses out of 20021 with flag 1455001/1479358 1008.37/521.98 c cleaning 10004 clauses out of 20018 with flag 1465000/1489357 1013.84/524.87 c cleaning 10002 clauses out of 20015 with flag 1475001/1499358 1019.76/528.09 c cleaning 9998 clauses out of 20012 with flag 1485000/1509357 1024.38/530.52 c cleaning 9997 clauses out of 20014 with flag 1495000/1519357 1029.24/533.15 c cleaning 10000 clauses out of 20018 with flag 1505001/1529358 1034.50/535.92 c cleaning 10002 clauses out of 20018 with flag 1515001/1539358 1039.77/538.87 c cleaning 10000 clauses out of 20015 with flag 1525000/1549357 1048.02/543.10 c cleaning 10000 clauses out of 20016 with flag 1535001/1559358 1053.46/546.05 c cleaning 10001 clauses out of 20016 with flag 1545001/1569358 1059.50/549.29 c cleaning 9998 clauses out of 20015 with flag 1555001/1579358 1067.35/553.48 c cleaning 9996 clauses out of 20016 with flag 1565000/1589357 1074.57/557.23 c cleaning 9999 clauses out of 20020 with flag 1575000/1599357 1081.40/560.80 c cleaning 10001 clauses out of 20021 with flag 1585000/1609357 1088.63/564.69 c cleaning 10000 clauses out of 20020 with flag 1595000/1619357 1095.46/568.34 c cleaning 10000 clauses out of 20020 with flag 1605000/1629357 1102.10/571.84 c cleaning 10000 clauses out of 20021 with flag 1615001/1639358 1108.54/575.25 c cleaning 10003 clauses out of 20020 with flag 1625000/1649357 1113.74/578.02 c cleaning 10002 clauses out of 20018 with flag 1635001/1659358 1120.55/581.74 c cleaning 9999 clauses out of 20016 with flag 1645001/1669358 1125.57/584.40 c cleaning 10004 clauses out of 20017 with flag 1655001/1679358 1131.00/587.35 c cleaning 9997 clauses out of 20012 with flag 1665000/1689357 1137.80/590.91 c cleaning 10003 clauses out of 20015 with flag 1675000/1699357 1144.42/594.55 c cleaning 9994 clauses out of 20012 with flag 1685000/1709357 1150.83/597.96 c cleaning 10003 clauses out of 20019 with flag 1695001/1719358 1156.24/600.83 c cleaning 9999 clauses out of 20015 with flag 1705000/1729357 1161.05/603.47 c cleaning 10001 clauses out of 20017 with flag 1715001/1739358 1166.46/606.46 c cleaning 9997 clauses out of 20015 with flag 1725000/1749357 1172.46/609.63 c cleaning 9998 clauses out of 20018 with flag 1735000/1759357 1178.29/612.74 c cleaning 9999 clauses out of 20020 with flag 1745000/1769357 1182.66/615.14 c cleaning 10000 clauses out of 20024 with flag 1755003/1779360 1188.05/618.20 c cleaning 9999 clauses out of 20022 with flag 1765001/1789358 1194.04/621.31 c cleaning 10006 clauses out of 20023 with flag 1775001/1799358 1198.83/623.96 c cleaning 10001 clauses out of 20017 with flag 1785001/1809358 1203.21/626.32 c cleaning 10001 clauses out of 20015 with flag 1795000/1819357 1207.98/629.09 c cleaning 9996 clauses out of 20015 with flag 1805001/1829358 1213.16/631.85 c cleaning 9998 clauses out of 20018 with flag 1815000/1839357 1219.14/635.05 c cleaning 9996 clauses out of 20020 with flag 1825000/1849357 1224.12/637.78 c cleaning 10001 clauses out of 20025 with flag 1835001/1859358 1229.08/640.56 c cleaning 10003 clauses out of 20024 with flag 1845001/1869358 1234.07/643.26 c cleaning 10006 clauses out of 20024 with flag 1855004/1879361 1239.85/646.30 c cleaning 9999 clauses out of 20015 with flag 1865001/1889358 1245.64/649.40 c cleaning 9999 clauses out of 20016 with flag 1875001/1899358 1250.62/652.28 c cleaning 10000 clauses out of 20016 with flag 1885000/1909357 1257.02/655.65 c cleaning 9998 clauses out of 20019 with flag 1895003/1919360 1262.98/658.84 c cleaning 9999 clauses out of 20018 with flag 1905000/1929357 1267.95/661.53 c cleaning 9997 clauses out of 20019 with flag 1915000/1939357 1273.33/664.50 c cleaning 10004 clauses out of 20023 with flag 1925001/1949358 1279.12/667.66 c cleaning 9996 clauses out of 20018 with flag 1935000/1959357 1284.68/670.64 c cleaning 10003 clauses out of 20022 with flag 1945000/1969357 1288.85/672.91 c cleaning 10003 clauses out of 20020 with flag 1955001/1979358 1293.62/675.64 c cleaning 9998 clauses out of 20016 with flag 1965000/1989357 1298.00/678.02 c cleaning 9999 clauses out of 20018 with flag 1975000/1999357 1302.15/680.37 c cleaning 10004 clauses out of 20020 with flag 1985001/2009358 1309.87/684.49 c cleaning 10002 clauses out of 20016 with flag 1995001/2019358 1316.59/688.15 c And the winner is CuttingPlanes 1316.70/688.23 c Got one! Elapsed wall clock time (in seconds):688.12 1316.70/688.23 o 86 1321.27/690.55 c cleaning 10169 clauses out of 20366 with flag 5000/2029710 1327.82/694.07 c cleaning 8093 clauses out of 16197 with flag 11000/2035710 1334.93/697.86 c cleaning 7548 clauses out of 15106 with flag 18002/2042712 1342.48/701.87 c cleaning 7771 clauses out of 15556 with flag 26000/2050710 1351.11/706.59 c cleaning 8389 clauses out of 16787 with flag 35002/2059712 1359.82/711.10 c cleaning 9191 clauses out of 18396 with flag 45000/2069710 1372.14/717.50 c And the winner is CuttingPlanes 1372.14/717.63 c Got one! Elapsed wall clock time (in seconds):717.518 1372.14/717.63 o 85 1376.46/719.82 c cleaning 11758 clauses out of 23528 with flag 5000/2084033 1382.17/722.93 c cleaning 8881 clauses out of 17770 with flag 11000/2090033 1389.22/726.86 c cleaning 7937 clauses out of 15889 with flag 18000/2097033 1397.32/731.17 c cleaning 7965 clauses out of 15952 with flag 26000/2105033 1405.21/735.34 c cleaning 8488 clauses out of 16988 with flag 35001/2114034 1414.53/740.30 c cleaning 9247 clauses out of 18501 with flag 45002/2124035 1419.74/743.27 c And the winner is CuttingPlanes 1419.89/743.62 c Got one! Elapsed wall clock time (in seconds):743.511 1419.89/743.62 o 84 1422.05/744.72 c cleaning 7193 clauses out of 14392 with flag 2001/2129173 1427.72/747.83 c cleaning 6592 clauses out of 13199 with flag 8001/2135173 1435.02/751.79 c cleaning 6800 clauses out of 13606 with flag 15000/2142172 1443.15/756.04 c cleaning 7396 clauses out of 14806 with flag 23000/2150172 1446.27/757.96 c And the winner is CuttingPlanes 1446.36/758.31 c Got one! Elapsed wall clock time (in seconds):758.196 1446.36/758.31 o 83 1449.13/759.72 c cleaning 6327 clauses out of 12667 with flag 3000/2155429 1454.26/762.58 c cleaning 6166 clauses out of 12340 with flag 9000/2161429 1461.54/766.43 c cleaning 6584 clauses out of 13174 with flag 16000/2168429 1468.82/770.31 c cleaning 7289 clauses out of 14590 with flag 24000/2176429 1477.03/774.87 c cleaning 8143 clauses out of 16301 with flag 33000/2185429 1487.90/780.50 c cleaning 9071 clauses out of 18158 with flag 43000/2195429 1497.56/785.63 c cleaning 9538 clauses out of 19087 with flag 53000/2205429 1506.22/790.20 c cleaning 9768 clauses out of 19549 with flag 63000/2215429 1520.59/797.84 c And the winner is CuttingPlanes 1520.67/798.09 c Got one! Elapsed wall clock time (in seconds):797.982 1520.67/798.09 o 82 1524.47/800.03 c cleaning 11637 clauses out of 23284 with flag 5000/2228932 1530.51/803.35 c cleaning 8821 clauses out of 17647 with flag 11000/2234932 1536.95/806.86 c cleaning 7908 clauses out of 15826 with flag 18000/2241932 1543.79/810.51 c cleaning 7953 clauses out of 15918 with flag 26000/2249932 1553.34/815.71 c cleaning 8478 clauses out of 16966 with flag 35001/2258933 1561.95/820.38 c cleaning 9235 clauses out of 18487 with flag 45000/2268932 1571.36/825.36 c cleaning 9612 clauses out of 19253 with flag 55001/2278933 1583.19/831.53 c cleaning 9810 clauses out of 19640 with flag 65000/2288932 1593.65/837.21 c cleaning 9914 clauses out of 19830 with flag 75000/2298932 1605.05/843.28 c cleaning 9950 clauses out of 19916 with flag 85000/2308932 1616.27/849.19 c cleaning 9972 clauses out of 19966 with flag 95000/2318932 1626.44/854.57 c cleaning 9990 clauses out of 19995 with flag 105001/2328933 1637.51/860.54 c cleaning 9998 clauses out of 20004 with flag 115000/2338932 1648.55/866.35 c cleaning 10002 clauses out of 20007 with flag 125001/2348933 1660.02/872.36 c cleaning 9991 clauses out of 20004 with flag 135000/2358932 1672.02/878.62 c cleaning 10000 clauses out of 20014 with flag 145001/2368933 1680.38/883.23 c cleaning 10003 clauses out of 20013 with flag 155000/2378932 1694.03/890.34 c cleaning 9997 clauses out of 20010 with flag 165000/2388932 1708.68/897.94 c cleaning 9993 clauses out of 20013 with flag 175000/2398932 1719.50/903.61 c cleaning 10004 clauses out of 20020 with flag 185000/2408932 1728.44/908.57 c cleaning 10004 clauses out of 20017 with flag 195001/2418933 1737.85/913.51 c cleaning 10001 clauses out of 20014 with flag 205002/2428934 1745.86/917.88 c cleaning 9998 clauses out of 20011 with flag 215000/2438932 1752.69/921.56 c cleaning 10004 clauses out of 20014 with flag 225001/2448933 1759.04/925.18 c cleaning 9999 clauses out of 20009 with flag 235000/2458932 1763.83/927.83 c cleaning 9997 clauses out of 20010 with flag 245000/2468932 1768.44/930.43 c cleaning 9999 clauses out of 20013 with flag 255000/2478932 1777.03/935.06 c cleaning 10001 clauses out of 20014 with flag 265000/2488932 1789.13/941.55 c cleaning 9988 clauses out of 20013 with flag 275000/2498932 1798.94/946.70 c cleaning 9989 clauses out of 20025 with flag 285000/2508932 1800.15/947.62 c starts : 18 1800.15/947.62 c conflicts : 2264 1800.15/947.62 c decisions : 101567 1800.15/947.62 c propagations : 235659 1800.15/947.62 c inspects : 4195295 1800.15/947.62 c shortcuts : 0 1800.15/947.62 c learnt literals : 0 1800.15/947.62 c learnt binary clauses : 0 1800.15/947.62 c learnt ternary clauses : 0 1800.15/947.62 c learnt constraints : 2263 1800.15/947.62 c ignored constraints : 0 1800.15/947.62 c root simplifications : 0 1800.15/947.62 c removed literals (reason simplification) : 0 1800.15/947.62 c reason swapping (by a shorter reason) : 0 1800.15/947.62 c Calls to reduceDB : 0 1800.15/947.62 c number of reductions to clauses (during analyze) : 0 1800.15/947.62 c number of learned constraints concerned by reduction : 0 1800.15/947.62 c number of learning phase by resolution : 0 1800.15/947.62 c number of learning phase by cutting planes : 0 1800.15/947.62 c speed (assignments/second) : 1576.2405773642706 1800.15/947.62 c non guided choices 0 1800.15/947.62 c learnt constraints type 1800.15/947.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 986 1800.15/947.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1277 1800.15/947.62 c constraints type 1800.15/947.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 509 1800.15/947.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.15/947.62 c constraints type 1800.15/947.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 509 1800.15/947.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.15/947.62 s SATISFIABLE 1800.15/947.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.15/947.64 c objective function=82 1800.15/947.64 c Total wall clock time (in seconds): 947.524
OK 82
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454534-1307188657/watcher-3454534-1307188657 -o /tmp/evaluation-result-3454534-1307188657/solver-3454534-1307188657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454534-1307188657.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.64 3.75 3.20 3/450 4065 /proc/meminfo: memFree=28253404/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=31604 CPUtime=0 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 1260 0 0 0 0 0 0 0 25 0 2 0 830466110 32362496 979 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 7901 988 759 9 0 386 0 [pid=4065/tid=4066] ppid=4063 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) R 4063 4065 585 0 -1 4202560 3746 0 1 0 0 0 0 0 25 0 2 0 830466111 10694979584 4562 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0398161 s] /proc/loadavg: 3.64 3.75 3.20 3/450 4065 /proc/meminfo: memFree=28253404/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10467480 CPUtime=0.02 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 11106 0 1 0 1 1 0 0 25 0 13 0 830466110 10718699520 10804 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2616870 10805 1641 9 0 2607618 0 [pid=4065/tid=4066] ppid=4063 vsize=10467480 CPUtime=0.02 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) R 4063 4065 585 0 -1 4202560 9963 0 1 0 1 1 0 0 25 0 13 0 830466111 10718699520 10808 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 47193489222448 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10467480 [startup+0.106802 s] /proc/loadavg: 3.64 3.75 3.20 3/450 4065 /proc/meminfo: memFree=28253404/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10539976 CPUtime=0.11 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 13126 0 1 0 9 2 0 0 25 0 18 0 830466110 10792935424 12823 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2634994 12824 2093 9 0 2625728 0 [pid=4065/tid=4066] ppid=4063 vsize=10539976 CPUtime=0.08 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) R 4063 4065 585 0 -1 4202560 11232 0 1 0 7 1 0 0 18 0 18 0 830466111 10792935424 12824 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 47193491272757 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539976 [startup+0.300749 s] /proc/loadavg: 3.64 3.75 3.20 3/450 4065 /proc/meminfo: memFree=28253404/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10545824 CPUtime=0.52 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 17960 0 1 0 50 2 0 0 25 0 18 0 830466110 10798923776 16798 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2636456 16799 2199 9 0 2627190 0 [pid=4065/tid=4066] ppid=4063 vsize=10545824 CPUtime=0.27 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) R 4063 4065 585 0 -1 4202560 13660 0 1 0 26 1 0 0 18 0 18 0 830466111 10798923776 16800 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505545846 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10545824 [startup+0.700715 s] /proc/loadavg: 3.64 3.75 3.20 3/450 4065 /proc/meminfo: memFree=28253404/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10549936 CPUtime=0.87 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 20571 0 1 0 84 3 0 0 25 0 19 0 830466110 10803134464 19409 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2637484 19409 2229 9 0 2628218 0 [pid=4065/tid=4066] ppid=4063 vsize=10549936 CPUtime=0.32 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 15941 0 1 0 30 2 0 0 19 0 19 0 830466111 10803134464 19409 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 10549936 [startup+1.50149 s] /proc/loadavg: 3.64 3.75 3.20 7/472 4090 /proc/meminfo: memFree=28177264/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=2.54 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 23814 0 1 0 251 3 0 0 25 0 22 0 830466110 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 22216 2236 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.36 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 16386 0 1 0 34 2 0 0 15 0 22 0 830466111 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830466114 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830466114 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830466114 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4079] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4079/stat : 4079 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458768817 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4080] ppid=4063 vsize=10552516 CPUtime=0.43 cores=0,2,4,6 /proc/4065/task/4080/stat : 4080 (java) R 4063 4065 585 0 -1 4202560 3431 0 0 0 43 0 0 0 15 0 22 0 830466116 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 47193486840126 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4065/tid=4081] ppid=4063 vsize=10552516 CPUtime=0.38 cores=0,2,4,6 /proc/4065/task/4081/stat : 4081 (java) R 4063 4065 585 0 -1 4202560 1270 0 0 0 38 0 0 0 15 0 22 0 830466116 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 47193487277524 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4065/tid=4082] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4082/stat : 4082 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4083] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4083/stat : 4083 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830466116 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4086] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4086/stat : 4086 (java) S 4063 4065 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830466147 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4088] ppid=4063 vsize=10552516 CPUtime=0.61 cores=0,2,4,6 /proc/4065/task/4088/stat : 4088 (java) R 4063 4065 585 0 -1 4202560 345 0 0 0 61 0 0 0 18 0 22 0 830466199 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505869474 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4065/tid=4089] ppid=4063 vsize=10552516 CPUtime=0.59 cores=0,2,4,6 /proc/4065/task/4089/stat : 4089 (java) R 4063 4065 585 0 -1 4202560 979 0 0 0 59 0 0 0 18 0 22 0 830466199 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505834308 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4065/tid=4090] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4090/stat : 4090 (java) S 4063 4065 585 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830466199 10805776384 22216 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 10552516 [startup+3.1012 s] /proc/loadavg: 3.64 3.75 3.20 4/472 4091 /proc/meminfo: memFree=28166600/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=5.87 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 27065 0 1 0 584 3 0 0 25 0 22 0 830466110 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 25398 2239 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.38 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 16806 0 1 0 36 2 0 0 15 0 22 0 830466111 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466113 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830466114 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830466114 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4079] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4079/stat : 4079 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458768817 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4080] ppid=4063 vsize=10552516 CPUtime=0.53 cores=0,2,4,6 /proc/4065/task/4080/stat : 4080 (java) S 4063 4065 585 0 -1 4202560 3525 0 0 0 53 0 0 0 15 0 22 0 830466116 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4081] ppid=4063 vsize=10552516 CPUtime=0.44 cores=0,2,4,6 /proc/4065/task/4081/stat : 4081 (java) S 4063 4065 585 0 -1 4202560 1278 0 0 0 44 0 0 0 15 0 22 0 830466116 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4082] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4082/stat : 4082 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4083] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4083/stat : 4083 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830466116 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4090] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4090/stat : 4090 (java) S 4063 4065 585 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830466199 10805776384 25398 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.87 Current children cumulated vsize (KiB) 10552516 [startup+6.3016 s] /proc/loadavg: 3.67 3.75 3.21 5/472 4094 /proc/meminfo: memFree=28129908/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=12.35 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 36833 0 1 0 1230 5 0 0 25 0 22 0 830466110 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 34904 2264 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.38 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 16806 0 1 0 36 2 0 0 15 0 22 0 830466111 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 394 0 0 0 0 0 0 0 16 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 784 0 0 0 0 0 0 0 18 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 22 0 830466113 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=0.04 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 2199 0 0 0 4 0 0 0 16 0 22 0 830466114 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830466114 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830466114 10805776384 34904 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=24379104/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=1678.57 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 964088 0 1 0 167746 111 0 0 25 0 22 0 830466110 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 957769 2265 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.52 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 17240 0 1 0 50 2 0 0 15 0 22 0 830466111 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=0.97 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 1411 0 0 0 97 0 0 0 15 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0.73 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 2264 0 0 0 73 0 0 0 15 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0.88 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 1516 0 0 0 88 0 0 0 16 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=0.86 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 1457 0 0 0 86 0 0 0 16 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=0.95 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 2826 0 0 0 95 0 0 0 16 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0.91 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 3061 0 0 0 91 0 0 0 15 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0.91 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 2158 0 0 0 91 0 0 0 16 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=0.94 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 3476 0 0 0 94 0 0 0 16 0 22 0 830466113 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=85.85 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 83351 0 0 0 8575 10 0 0 15 0 22 0 830466114 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4079] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4079/stat : 4079 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458768817 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4080] ppid=4063 vsize=10552516 CPUtime=0.99 cores=0,2,4,6 /proc/4065/task/4080/stat : 4080 (java) S 4063 4065 585 0 -1 4202560 7220 0 0 0 98 1 0 0 15 0 22 0 830466116 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4081] ppid=4063 vsize=10552516 CPUtime=0.78 cores=0,2,4,6 /proc/4065/task/4081/stat : 4081 (java) S 4063 4065 585 0 -1 4202560 1348 0 0 0 78 0 0 0 15 0 22 0 830466116 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4082] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4082/stat : 4082 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4083] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4083/stat : 4083 (java) S 4063 4065 585 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830466116 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4090] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4090/stat : 4090 (java) S 4063 4065 585 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830466199 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4198] ppid=4063 vsize=10552516 CPUtime=72.97 cores=0,2,4,6 /proc/4065/task/4198/stat : 4198 (java) R 4063 4065 585 0 -1 4202560 4 0 0 0 7297 0 0 0 23 0 22 0 830545922 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505805891 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4065/tid=4199] ppid=4063 vsize=10552516 CPUtime=72.96 cores=0,2,4,6 /proc/4065/task/4199/stat : 4199 (java) R 4063 4065 585 0 -1 4202560 3 0 0 0 7296 0 0 0 23 0 22 0 830545922 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912506311964 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4065/tid=4200] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4200/stat : 4200 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830545922 10805776384 957769 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1678.57 Current children cumulated vsize (KiB) 10552516 [startup+942.301 s] /proc/loadavg: 3.79 3.85 3.58 5/472 4203 /proc/meminfo: memFree=24334172/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=1790.14 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 968551 0 1 0 178902 112 0 0 25 0 22 0 830466110 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 962075 2265 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.52 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 17243 0 1 0 50 2 0 0 15 0 22 0 830466111 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=1.04 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 2074 0 0 0 104 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0.82 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 2561 0 0 0 82 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0.98 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 1811 0 0 0 98 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=1 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 2672 0 0 0 100 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=1.04 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 4114 0 0 0 104 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0.99 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 3459 0 0 0 99 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0.98 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 2164 0 0 0 98 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=1.04 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 3478 0 0 0 104 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=94.6 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 83630 0 0 0 9449 11 0 0 16 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4079] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4079/stat : 4079 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458768817 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4080] ppid=4063 vsize=10552516 CPUtime=0.99 cores=0,2,4,6 /proc/4065/task/4080/stat : 4080 (java) S 4063 4065 585 0 -1 4202560 7221 0 0 0 98 1 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4081] ppid=4063 vsize=10552516 CPUtime=0.78 cores=0,2,4,6 /proc/4065/task/4081/stat : 4081 (java) S 4063 4065 585 0 -1 4202560 1348 0 0 0 78 0 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4082] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4082/stat : 4082 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4083] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4083/stat : 4083 (java) S 4063 4065 585 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4090] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4090/stat : 4090 (java) S 4063 4065 585 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830466199 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4198] ppid=4063 vsize=10552516 CPUtime=124.02 cores=0,2,4,6 /proc/4065/task/4198/stat : 4198 (java) R 4063 4065 585 0 -1 4202560 15 0 0 0 12402 0 0 0 19 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505805904 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4065/tid=4199] ppid=4063 vsize=10552516 CPUtime=124.01 cores=0,2,4,6 /proc/4065/task/4199/stat : 4199 (java) R 4063 4065 585 0 -1 4202560 4 0 0 0 12401 0 0 0 19 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912506146489 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4065/tid=4200] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4200/stat : 4200 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 10552516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+947.601 s] /proc/loadavg: 3.81 3.85 3.58 5/472 4204 /proc/meminfo: memFree=24334180/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=10552516 CPUtime=1800.15 cores=0,2,4,6 /proc/4065/stat : 4065 (java) S 4063 4065 585 0 -1 4202496 968552 0 1 0 179903 112 0 0 25 0 22 0 830466110 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 2638129 962075 2265 9 0 2628863 0 [pid=4065/tid=4066] ppid=4063 vsize=10552516 CPUtime=0.52 cores=0,2,4,6 /proc/4065/task/4066/stat : 4066 (java) S 4063 4065 585 0 -1 4202560 17244 0 1 0 50 2 0 0 15 0 22 0 830466111 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4068] ppid=4063 vsize=10552516 CPUtime=1.04 cores=0,2,4,6 /proc/4065/task/4068/stat : 4068 (java) S 4063 4065 585 0 -1 4202560 2074 0 0 0 104 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4069] ppid=4063 vsize=10552516 CPUtime=0.82 cores=0,2,4,6 /proc/4065/task/4069/stat : 4069 (java) S 4063 4065 585 0 -1 4202560 2561 0 0 0 82 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4070] ppid=4063 vsize=10552516 CPUtime=0.98 cores=0,2,4,6 /proc/4065/task/4070/stat : 4070 (java) S 4063 4065 585 0 -1 4202560 1811 0 0 0 98 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4071] ppid=4063 vsize=10552516 CPUtime=1 cores=0,2,4,6 /proc/4065/task/4071/stat : 4071 (java) S 4063 4065 585 0 -1 4202560 2672 0 0 0 100 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4072] ppid=4063 vsize=10552516 CPUtime=1.05 cores=0,2,4,6 /proc/4065/task/4072/stat : 4072 (java) S 4063 4065 585 0 -1 4202560 4114 0 0 0 105 0 0 0 16 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4073] ppid=4063 vsize=10552516 CPUtime=0.99 cores=0,2,4,6 /proc/4065/task/4073/stat : 4073 (java) S 4063 4065 585 0 -1 4202560 3459 0 0 0 99 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4074] ppid=4063 vsize=10552516 CPUtime=0.98 cores=0,2,4,6 /proc/4065/task/4074/stat : 4074 (java) S 4063 4065 585 0 -1 4202560 2164 0 0 0 98 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4075] ppid=4063 vsize=10552516 CPUtime=1.04 cores=0,2,4,6 /proc/4065/task/4075/stat : 4075 (java) S 4063 4065 585 0 -1 4202560 3478 0 0 0 104 0 0 0 15 0 22 0 830466113 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 0 0 0 0 [pid=4065/tid=4076] ppid=4063 vsize=10552516 CPUtime=95.21 cores=0,2,4,6 /proc/4065/task/4076/stat : 4076 (java) S 4063 4065 585 0 -1 4202560 83630 0 0 0 9510 11 0 0 16 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 0 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4077] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4077/stat : 4077 (java) S 4063 4065 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4078] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4078/stat : 4078 (java) S 4063 4065 585 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830466114 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4079] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4079/stat : 4079 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458768817 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4080] ppid=4063 vsize=10552516 CPUtime=0.99 cores=0,2,4,6 /proc/4065/task/4080/stat : 4080 (java) S 4063 4065 585 0 -1 4202560 7221 0 0 0 98 1 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4081] ppid=4063 vsize=10552516 CPUtime=0.78 cores=0,2,4,6 /proc/4065/task/4081/stat : 4081 (java) S 4063 4065 585 0 -1 4202560 1348 0 0 0 78 0 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4082] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4082/stat : 4082 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761113 0 4 0 16800975 18446604440784731200 0 0 -1 4 0 0 0 [pid=4065/tid=4083] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4083/stat : 4083 (java) S 4063 4065 585 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830466116 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 2 0 0 0 [pid=4065/tid=4090] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4090/stat : 4090 (java) S 4063 4065 585 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830466199 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 [pid=4065/tid=4198] ppid=4063 vsize=10552516 CPUtime=128.72 cores=0,2,4,6 /proc/4065/task/4198/stat : 4198 (java) R 4063 4065 585 0 -1 4202560 15 0 0 0 12872 0 0 0 20 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505805891 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4065/tid=4199] ppid=4063 vsize=10552516 CPUtime=128.71 cores=0,2,4,6 /proc/4065/task/4199/stat : 4199 (java) R 4063 4065 585 0 -1 4202560 4 0 0 0 12871 0 0 0 20 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 46912505834031 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4065/tid=4200] ppid=4063 vsize=10552516 CPUtime=0 cores=0,2,4,6 /proc/4065/task/4200/stat : 4200 (java) S 4063 4065 585 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830545922 10805776384 962075 33554432000 1073741824 1073778376 140733312294336 18446744073709551615 244458761728 0 4 0 16800975 18446604440784731200 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 10552516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+947.801 s] /proc/loadavg: 3.81 3.85 3.58 5/472 4204 /proc/meminfo: memFree=24334180/32951124 swapFree=43324008/67111528 [pid=4065] ppid=4063 vsize=0 CPUtime=1800.39 cores=0,2,4,6 /proc/4065/stat : 4065 (java) Z 4063 4065 585 0 -1 4203548 968582 0 1 0 179912 127 0 0 17 0 2 0 830466110 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4065/statm: 0 0 0 0 0 0 0 [pid=4065/tid=4199] ppid=4063 vsize=0 CPUtime=128.87 cores=0,2,4,6 /proc/4065/task/4199/stat : 4199 (java) R 4063 4065 585 0 -1 4203588 4 0 0 0 12873 14 0 0 20 0 2 0 830545922 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 947.807 CPU time (s): 1800.41 CPU user time (s): 1799.13 CPU system time (s): 1.2828 CPU usage (%): 189.955 Max. virtual memory (cumulated for all children) (KiB): 10552516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.13 system time used= 1.2828 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 968582 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= 29555 involuntary context switches= 19409 runsolver used 4.54131 second user time and 9.16861 second system time The end
Begin job on node105 at 2011-06-04 13:57:37 IDJOB=3454534 IDBENCH=2044 IDSOLVER=1950 FILE ID=node105/3454534-1307188657 RUNJOBID= node105-1307187369-3449 PBS_JOBID= 13508836 Free space on /tmp= 73768 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454534-1307188657/watcher-3454534-1307188657 -o /tmp/evaluation-result-3454534-1307188657/solver-3454534-1307188657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454534-1307188657.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=416140595 node105.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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5226.15 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.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5410.70 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.825 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.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28253684 kB Buffers: 339320 kB Cached: 855300 kB SwapCached: 20984 kB Active: 3674724 kB Inactive: 708116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28253684 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 524 kB Writeback: 0 kB AnonPages: 3185152 kB Mapped: 27636 kB Slab: 165500 kB PageTables: 82808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 125243068 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= 73768 MiB End job on node105 at 2011-06-04 14:13:26