Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 165 | 1800.36 | 968.406 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 5.20921 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
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 | 2 |
Maximum length of a constraint | 80 |
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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.00/0.11 c Pseudo Boolean Optimization 0.00/0.11 c ManyCore solver with 2 solvers running in parallel 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.11 c Expensive reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.11 c No reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c solving HOME/instance-3455074-1307188718.opb 0.00/0.11 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.176s. 0.28/0.29 c #vars 4676 0.28/0.29 c #constraints 398 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397 0.28/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397 0.53/0.37 c And the winner is Resolution 0.80/0.84 c SATISFIABLE 0.80/0.84 c OPTIMIZING... 0.80/0.84 c Got one! Elapsed wall clock time (in seconds):0.729 0.80/0.84 o 173 4.03/2.31 c cleaning 2495 clauses out of 5000 with flag 5000/5000 8.32/4.34 c cleaning 4249 clauses out of 8506 with flag 11001/11001 9.51/4.98 c And the winner is CuttingPlanes 9.68/5.43 c Got one! Elapsed wall clock time (in seconds):5.32 9.68/5.43 o 172 11.81/6.55 c cleaning 5080 clauses out of 10167 with flag 4001/16911 15.41/8.33 c cleaning 5539 clauses out of 11088 with flag 10002/22912 18.42/9.83 c And the winner is CuttingPlanes 18.50/9.97 c Got one! Elapsed wall clock time (in seconds):9.855 18.50/9.97 o 171 18.82/10.17 c cleaning 5415 clauses out of 10833 with flag 1001/28196 23.04/12.22 c cleaning 5698 clauses out of 11417 with flag 7000/34195 27.59/14.51 c cleaning 6356 clauses out of 12719 with flag 14000/41195 33.27/17.37 c cleaning 7178 clauses out of 14364 with flag 22001/49196 40.96/21.16 c cleaning 8084 clauses out of 16185 with flag 31000/58195 42.39/21.89 c And the winner is CuttingPlanes 42.59/22.03 c Got one! Elapsed wall clock time (in seconds):21.916 42.59/22.03 o 170 44.77/23.19 c cleaning 6945 clauses out of 13898 with flag 4002/63992 49.54/25.54 c cleaning 6471 clauses out of 12951 with flag 10000/69990 54.11/27.88 c cleaning 6734 clauses out of 13481 with flag 17001/76991 59.33/30.48 c cleaning 7369 clauses out of 14746 with flag 25000/84990 64.30/33.00 c And the winner is CuttingPlanes 64.50/33.11 c Got one! Elapsed wall clock time (in seconds):33.0 64.50/33.11 o 169 67.90/34.80 c cleaning 9118 clauses out of 18257 with flag 5001/95870 72.47/37.17 c cleaning 7567 clauses out of 15139 with flag 11001/101870 77.24/39.51 c cleaning 7279 clauses out of 14571 with flag 18000/108869 82.83/42.35 c cleaning 7642 clauses out of 15293 with flag 26001/116870 89.64/45.79 c And the winner is CuttingPlanes 89.83/46.17 c Got one! Elapsed wall clock time (in seconds):46.062 89.83/46.17 o 168 92.67/47.62 c cleaning 9809 clauses out of 19625 with flag 5001/128844 96.44/49.61 c cleaning 7901 clauses out of 15815 with flag 11000/134843 101.05/51.87 c cleaning 7452 clauses out of 14915 with flag 18001/141844 106.16/54.42 c cleaning 7727 clauses out of 15462 with flag 26000/149843 112.32/57.59 c cleaning 8360 clauses out of 16735 with flag 35000/158843 119.68/61.21 c cleaning 9182 clauses out of 18376 with flag 45001/168844 128.03/65.47 c cleaning 9593 clauses out of 19193 with flag 55000/178843 136.16/69.51 c cleaning 9794 clauses out of 19600 with flag 65000/188843 141.31/72.11 c cleaning 9901 clauses out of 19806 with flag 75000/198843 148.46/75.70 c cleaning 9947 clauses out of 19905 with flag 85000/208843 155.66/79.38 c cleaning 9975 clauses out of 19958 with flag 95000/218843 160.52/81.85 c cleaning 9985 clauses out of 19984 with flag 105001/228844 166.50/84.86 c cleaning 9997 clauses out of 19998 with flag 115000/238843 172.78/88.02 c cleaning 9994 clauses out of 20001 with flag 125000/248843 181.28/92.40 c cleaning 9999 clauses out of 20007 with flag 135000/258843 186.53/95.01 c cleaning 9995 clauses out of 20008 with flag 145000/268843 190.64/97.13 c cleaning 10001 clauses out of 20014 with flag 155001/278844 194.74/99.22 c cleaning 9999 clauses out of 20013 with flag 165001/288844 198.66/101.30 c cleaning 10001 clauses out of 20013 with flag 175000/298843 208.70/106.39 c cleaning 10001 clauses out of 20013 with flag 185001/308844 215.80/110.01 c cleaning 10002 clauses out of 20011 with flag 195000/318843 220.90/112.54 c cleaning 10001 clauses out of 20009 with flag 205000/328843 226.19/115.28 c cleaning 9999 clauses out of 20009 with flag 215001/338844 230.43/117.42 c cleaning 9996 clauses out of 20009 with flag 225000/348843 235.13/119.84 c cleaning 10000 clauses out of 20013 with flag 235000/358843 240.62/122.67 c cleaning 9996 clauses out of 20013 with flag 245000/368843 246.34/125.56 c cleaning 10002 clauses out of 20017 with flag 255000/378843 251.32/128.20 c cleaning 10003 clauses out of 20017 with flag 265002/388845 259.60/132.31 c cleaning 9995 clauses out of 20012 with flag 275000/398843 264.48/134.89 c cleaning 10007 clauses out of 20017 with flag 285000/408843 268.39/136.81 c cleaning 9997 clauses out of 20011 with flag 295001/418844 272.20/138.89 c cleaning 10001 clauses out of 20014 with flag 305001/428844 275.89/140.80 c cleaning 9995 clauses out of 20012 with flag 315000/438843 280.62/143.14 c cleaning 10000 clauses out of 20018 with flag 325001/448844 285.27/145.51 c cleaning 10005 clauses out of 20018 with flag 335001/458844 289.28/147.62 c cleaning 9995 clauses out of 20013 with flag 345001/468844 294.16/150.11 c cleaning 10004 clauses out of 20018 with flag 355001/478844 298.04/152.11 c cleaning 10000 clauses out of 20013 with flag 365000/488843 301.96/154.15 c cleaning 9994 clauses out of 20013 with flag 375000/498843 305.93/156.24 c cleaning 10002 clauses out of 20019 with flag 385000/508843 310.01/158.41 c cleaning 10003 clauses out of 20017 with flag 395000/518843 317.89/162.34 c cleaning 10002 clauses out of 20014 with flag 405000/528843 324.37/165.65 c cleaning 9996 clauses out of 20012 with flag 415000/538843 328.76/167.94 c cleaning 10000 clauses out of 20017 with flag 425001/548844 333.04/170.13 c cleaning 10002 clauses out of 20017 with flag 435001/558844 336.91/172.13 c cleaning 10001 clauses out of 20014 with flag 445000/568843 342.39/174.96 c cleaning 9999 clauses out of 20013 with flag 455000/578843 347.98/177.86 c cleaning 9998 clauses out of 20014 with flag 465000/588843 353.86/180.84 c cleaning 10001 clauses out of 20016 with flag 475000/598843 357.93/182.93 c cleaning 10002 clauses out of 20016 with flag 485001/608844 362.00/185.02 c cleaning 9999 clauses out of 20014 with flag 495001/618844 366.02/187.16 c cleaning 10000 clauses out of 20015 with flag 505001/628844 370.05/189.24 c cleaning 10001 clauses out of 20015 with flag 515001/638844 373.92/191.22 c cleaning 10005 clauses out of 20014 with flag 525001/648844 377.80/193.21 c cleaning 10001 clauses out of 20008 with flag 535000/658843 382.58/195.81 c cleaning 9995 clauses out of 20007 with flag 545000/668843 386.85/197.94 c cleaning 9998 clauses out of 20012 with flag 555000/678843 391.32/200.28 c cleaning 9998 clauses out of 20016 with flag 565002/688845 395.81/202.60 c cleaning 10002 clauses out of 20017 with flag 575001/698844 400.36/204.95 c cleaning 9997 clauses out of 20014 with flag 585000/708843 406.62/208.20 c cleaning 10005 clauses out of 20017 with flag 595000/718843 414.88/212.33 c cleaning 9996 clauses out of 20012 with flag 605000/728843 424.15/217.01 c cleaning 10004 clauses out of 20017 with flag 615001/738844 429.12/219.69 c cleaning 9998 clauses out of 20013 with flag 625001/748844 433.98/222.12 c cleaning 10001 clauses out of 20015 with flag 635001/758844 438.44/224.47 c cleaning 10000 clauses out of 20014 with flag 645001/768844 443.89/227.22 c cleaning 9997 clauses out of 20015 with flag 655002/778845 448.06/229.46 c cleaning 9999 clauses out of 20016 with flag 665000/788843 451.92/231.48 c cleaning 10003 clauses out of 20017 with flag 675000/798843 455.77/233.42 c cleaning 10000 clauses out of 20014 with flag 685000/808843 459.42/235.33 c cleaning 9999 clauses out of 20014 with flag 695000/818843 463.19/237.32 c cleaning 9999 clauses out of 20015 with flag 705000/828843 466.84/239.24 c cleaning 9999 clauses out of 20016 with flag 715000/838843 472.09/241.94 c cleaning 10005 clauses out of 20018 with flag 725001/848844 478.14/245.01 c cleaning 9998 clauses out of 20013 with flag 735001/858844 484.11/248.14 c cleaning 10000 clauses out of 20015 with flag 745001/868844 490.15/251.25 c cleaning 9999 clauses out of 20014 with flag 755000/878843 496.39/254.44 c cleaning 10000 clauses out of 20016 with flag 765001/888844 502.23/257.47 c cleaning 10002 clauses out of 20015 with flag 775000/898843 508.16/260.54 c cleaning 10003 clauses out of 20014 with flag 785001/908844 512.60/262.81 c cleaning 9994 clauses out of 20010 with flag 795000/918843 516.43/264.81 c cleaning 9999 clauses out of 20016 with flag 805000/928843 520.27/266.85 c cleaning 10005 clauses out of 20018 with flag 815001/938844 524.24/268.97 c cleaning 10000 clauses out of 20013 with flag 825001/948844 528.30/271.01 c cleaning 9994 clauses out of 20012 with flag 835000/958843 532.14/273.08 c cleaning 9997 clauses out of 20019 with flag 845001/968844 536.21/275.17 c cleaning 10002 clauses out of 20022 with flag 855001/978844 540.33/277.34 c cleaning 10000 clauses out of 20020 with flag 865001/988844 544.32/279.45 c cleaning 10002 clauses out of 20020 with flag 875001/998844 548.33/281.50 c cleaning 10004 clauses out of 20017 with flag 885000/1008843 556.36/285.64 c cleaning 10002 clauses out of 20014 with flag 895001/1018844 563.27/289.27 c cleaning 9999 clauses out of 20011 with flag 905000/1028843 571.68/293.51 c cleaning 10001 clauses out of 20012 with flag 915000/1038843 577.90/296.79 c cleaning 10001 clauses out of 20012 with flag 925001/1048844 583.10/299.46 c cleaning 10000 clauses out of 20011 with flag 935001/1058844 588.00/302.04 c cleaning 10003 clauses out of 20011 with flag 945001/1068844 592.41/304.30 c cleaning 9996 clauses out of 20008 with flag 955001/1078844 596.21/306.37 c cleaning 9998 clauses out of 20012 with flag 965001/1088844 600.62/308.65 c cleaning 10000 clauses out of 20013 with flag 975000/1098843 606.71/311.88 c cleaning 9999 clauses out of 20014 with flag 985001/1108844 611.92/314.58 c cleaning 10002 clauses out of 20015 with flag 995001/1118844 617.11/317.28 c cleaning 9998 clauses out of 20013 with flag 1005001/1128844 622.31/319.90 c cleaning 10001 clauses out of 20014 with flag 1015000/1138843 627.18/322.58 c cleaning 9997 clauses out of 20013 with flag 1025000/1148843 631.97/325.01 c cleaning 10000 clauses out of 20016 with flag 1035000/1158843 636.77/327.59 c cleaning 10001 clauses out of 20016 with flag 1045000/1168843 642.75/330.67 c cleaning 10000 clauses out of 20015 with flag 1055000/1178843 647.62/333.25 c cleaning 10000 clauses out of 20015 with flag 1065000/1188843 653.61/336.37 c cleaning 10002 clauses out of 20016 with flag 1075001/1198844 660.59/339.96 c cleaning 10000 clauses out of 20013 with flag 1085000/1208843 665.00/342.22 c cleaning 10002 clauses out of 20014 with flag 1095001/1218844 670.00/344.92 c cleaning 9997 clauses out of 20011 with flag 1105000/1228843 674.77/347.49 c cleaning 10001 clauses out of 20014 with flag 1115000/1238843 679.35/349.85 c cleaning 10001 clauses out of 20013 with flag 1125000/1248843 685.30/352.91 c cleaning 9995 clauses out of 20012 with flag 1135000/1258843 690.13/355.50 c cleaning 9996 clauses out of 20017 with flag 1145000/1268843 694.27/357.77 c cleaning 10004 clauses out of 20022 with flag 1155001/1278844 699.83/360.68 c cleaning 9999 clauses out of 20017 with flag 1165000/1288843 706.17/363.95 c cleaning 9996 clauses out of 20018 with flag 1175000/1298843 712.37/367.20 c cleaning 10005 clauses out of 20022 with flag 1185000/1308843 717.70/370.03 c cleaning 10000 clauses out of 20017 with flag 1195000/1318843 721.83/372.27 c cleaning 9998 clauses out of 20018 with flag 1205001/1328844 726.36/374.66 c cleaning 10002 clauses out of 20020 with flag 1215001/1338844 731.13/377.20 c cleaning 9999 clauses out of 20018 with flag 1225001/1348844 735.46/379.60 c cleaning 9998 clauses out of 20019 with flag 1235001/1358844 739.96/381.99 c cleaning 9999 clauses out of 20021 with flag 1245001/1368844 744.47/384.38 c cleaning 10005 clauses out of 20022 with flag 1255001/1378844 749.21/386.97 c cleaning 10002 clauses out of 20017 with flag 1265001/1388844 753.93/389.43 c cleaning 10000 clauses out of 20015 with flag 1275001/1398844 758.42/391.89 c cleaning 10003 clauses out of 20015 with flag 1285001/1408844 763.72/394.64 c cleaning 9998 clauses out of 20012 with flag 1295001/1418844 768.87/397.46 c cleaning 10000 clauses out of 20014 with flag 1305001/1428844 773.77/400.08 c cleaning 9998 clauses out of 20014 with flag 1315001/1438844 778.90/402.75 c cleaning 10000 clauses out of 20016 with flag 1325001/1448844 785.36/406.14 c cleaning 10000 clauses out of 20015 with flag 1335000/1458843 796.30/411.86 c cleaning 10002 clauses out of 20015 with flag 1345000/1468843 803.19/415.49 c cleaning 9998 clauses out of 20013 with flag 1355000/1478843 808.67/418.32 c cleaning 10003 clauses out of 20015 with flag 1365000/1488843 813.15/420.75 c cleaning 10000 clauses out of 20013 with flag 1375001/1498844 818.06/423.48 c cleaning 10002 clauses out of 20012 with flag 1385000/1508843 824.79/426.99 c cleaning 9998 clauses out of 20011 with flag 1395001/1518844 829.83/429.61 c cleaning 9997 clauses out of 20012 with flag 1405000/1528843 834.70/432.24 c cleaning 10003 clauses out of 20016 with flag 1415001/1538844 839.60/434.99 c cleaning 9999 clauses out of 20013 with flag 1425001/1548844 844.67/437.63 c cleaning 10003 clauses out of 20014 with flag 1435001/1558844 849.94/440.44 c cleaning 9999 clauses out of 20011 with flag 1445001/1568844 855.20/443.26 c cleaning 9999 clauses out of 20012 with flag 1455001/1578844 860.08/445.98 c cleaning 9995 clauses out of 20012 with flag 1465000/1588843 864.73/448.48 c cleaning 9998 clauses out of 20017 with flag 1475000/1598843 869.39/451.01 c cleaning 9999 clauses out of 20020 with flag 1485001/1608844 874.23/453.54 c cleaning 10005 clauses out of 20021 with flag 1495001/1618844 879.49/456.42 c cleaning 10004 clauses out of 20015 with flag 1505000/1628843 884.33/459.05 c cleaning 9999 clauses out of 20012 with flag 1515001/1638844 889.17/461.65 c cleaning 9999 clauses out of 20013 with flag 1525001/1648844 894.02/464.24 c cleaning 10000 clauses out of 20014 with flag 1535001/1658844 898.65/466.85 c cleaning 9996 clauses out of 20013 with flag 1545000/1668843 903.28/469.30 c cleaning 10004 clauses out of 20018 with flag 1555001/1678844 907.71/471.72 c cleaning 10002 clauses out of 20014 with flag 1565001/1688844 912.15/474.15 c cleaning 9999 clauses out of 20012 with flag 1575001/1698844 916.56/476.68 c cleaning 9998 clauses out of 20013 with flag 1585001/1708844 920.97/479.06 c cleaning 10003 clauses out of 20015 with flag 1595001/1718844 926.59/482.03 c cleaning 9999 clauses out of 20012 with flag 1605001/1728844 931.40/484.65 c cleaning 9999 clauses out of 20012 with flag 1615000/1738843 936.45/487.48 c cleaning 10000 clauses out of 20014 with flag 1625001/1748844 941.41/490.19 c cleaning 9998 clauses out of 20013 with flag 1635000/1758843 946.80/493.00 c cleaning 10003 clauses out of 20015 with flag 1645000/1768843 951.39/495.56 c cleaning 9997 clauses out of 20013 with flag 1655001/1778844 955.96/498.16 c cleaning 10000 clauses out of 20015 with flag 1665000/1788843 960.59/500.64 c cleaning 10000 clauses out of 20016 with flag 1675001/1798844 965.73/503.45 c cleaning 10000 clauses out of 20016 with flag 1685001/1808844 971.50/506.53 c cleaning 9998 clauses out of 20015 with flag 1695000/1818843 977.46/509.85 c cleaning 10000 clauses out of 20017 with flag 1705000/1828843 983.43/513.00 c cleaning 10000 clauses out of 20017 with flag 1715000/1838843 989.20/516.12 c cleaning 10002 clauses out of 20017 with flag 1725000/1848843 994.96/519.25 c cleaning 10000 clauses out of 20015 with flag 1735000/1858843 1000.10/522.12 c cleaning 9999 clauses out of 20015 with flag 1745000/1868843 1004.65/524.62 c cleaning 9999 clauses out of 20016 with flag 1755000/1878843 1009.62/527.33 c cleaning 10000 clauses out of 20017 with flag 1765000/1888843 1014.98/530.24 c cleaning 10004 clauses out of 20018 with flag 1775001/1898844 1021.92/534.04 c cleaning 9998 clauses out of 20013 with flag 1785000/1908843 1030.27/538.45 c cleaning 9998 clauses out of 20016 with flag 1795001/1918844 1035.43/541.26 c cleaning 9996 clauses out of 20017 with flag 1805000/1928843 1040.18/543.84 c cleaning 10007 clauses out of 20021 with flag 1815000/1938843 1045.71/546.96 c cleaning 10001 clauses out of 20015 with flag 1825001/1948844 1050.86/549.79 c cleaning 9999 clauses out of 20014 with flag 1835001/1958844 1056.21/552.69 c cleaning 9999 clauses out of 20014 with flag 1845000/1968843 1061.36/555.40 c cleaning 9996 clauses out of 20016 with flag 1855001/1978844 1066.66/558.43 c cleaning 10000 clauses out of 20019 with flag 1865000/1988843 1071.80/561.22 c cleaning 10005 clauses out of 20019 with flag 1875000/1998843 1077.13/564.12 c cleaning 10001 clauses out of 20014 with flag 1885000/2008843 1082.46/567.01 c cleaning 9997 clauses out of 20013 with flag 1895000/2018843 1087.95/570.18 c cleaning 10002 clauses out of 20016 with flag 1905000/2028843 1093.06/572.96 c cleaning 9996 clauses out of 20014 with flag 1915000/2038843 1097.98/575.68 c cleaning 10001 clauses out of 20018 with flag 1925000/2048843 1103.09/578.45 c cleaning 9998 clauses out of 20017 with flag 1935000/2058843 1108.75/581.64 c cleaning 10002 clauses out of 20019 with flag 1945000/2068843 1114.25/584.63 c cleaning 9998 clauses out of 20017 with flag 1955000/2078843 1119.76/587.64 c cleaning 10000 clauses out of 20019 with flag 1965000/2088843 1125.05/590.54 c cleaning 9998 clauses out of 20019 with flag 1975000/2098843 1130.70/593.72 c cleaning 10000 clauses out of 20021 with flag 1985000/2108843 1135.99/596.63 c cleaning 10006 clauses out of 20022 with flag 1995001/2118844 1145.91/601.88 c cleaning 10000 clauses out of 20016 with flag 2005001/2128844 1156.74/607.54 c cleaning 10004 clauses out of 20016 with flag 2015001/2138844 1161.75/610.51 c cleaning 9996 clauses out of 20011 with flag 2025000/2148843 1166.61/613.15 c cleaning 10003 clauses out of 20015 with flag 2035000/2158843 1171.68/615.97 c cleaning 10001 clauses out of 20013 with flag 2045001/2168844 1176.55/618.68 c cleaning 9997 clauses out of 20012 with flag 2055001/2178844 1181.34/621.40 c cleaning 10001 clauses out of 20015 with flag 2065001/2188844 1185.79/623.93 c cleaning 9998 clauses out of 20014 with flag 2075001/2198844 1190.65/626.68 c cleaning 9997 clauses out of 20015 with flag 2085000/2208843 1195.31/629.26 c cleaning 9998 clauses out of 20018 with flag 2095000/2218843 1200.87/632.40 c cleaning 10002 clauses out of 20020 with flag 2105000/2228843 1205.16/634.87 c cleaning 10000 clauses out of 20019 with flag 2115001/2238844 1209.76/637.44 c cleaning 10004 clauses out of 20019 with flag 2125001/2248844 1214.59/640.18 c cleaning 9998 clauses out of 20014 with flag 2135000/2258843 1219.75/643.18 c cleaning 10001 clauses out of 20016 with flag 2145000/2268843 1224.96/646.02 c cleaning 10001 clauses out of 20016 with flag 2155001/2278844 1229.99/648.81 c cleaning 10003 clauses out of 20014 with flag 2165000/2288843 1235.01/651.61 c cleaning 9997 clauses out of 20012 with flag 2175001/2298844 1239.96/654.56 c cleaning 10003 clauses out of 20015 with flag 2185001/2308844 1244.76/657.26 c cleaning 9997 clauses out of 20011 with flag 2195000/2318843 1250.02/660.12 c cleaning 9999 clauses out of 20015 with flag 2205001/2328844 1255.19/663.00 c cleaning 9998 clauses out of 20016 with flag 2215001/2338844 1260.71/666.20 c cleaning 9999 clauses out of 20017 with flag 2225000/2348843 1265.56/668.92 c cleaning 9998 clauses out of 20018 with flag 2235000/2358843 1270.52/671.78 c cleaning 10003 clauses out of 20020 with flag 2245000/2368843 1275.91/674.77 c cleaning 9995 clauses out of 20017 with flag 2255000/2378843 1281.80/678.16 c cleaning 10004 clauses out of 20023 with flag 2265001/2388844 1287.38/681.26 c cleaning 9996 clauses out of 20018 with flag 2275000/2398843 1291.36/683.57 c And the winner is CuttingPlanes 1291.50/683.93 c Got one! Elapsed wall clock time (in seconds):683.821 1291.50/683.93 o 167 1294.47/685.45 c cleaning 10795 clauses out of 21596 with flag 5003/2410417 1299.61/688.31 c cleaning 8395 clauses out of 16798 with flag 11000/2416414 1305.19/691.67 c cleaning 7698 clauses out of 15404 with flag 18001/2423415 1312.01/695.36 c cleaning 7846 clauses out of 15705 with flag 26000/2431414 1319.48/699.42 c cleaning 8427 clauses out of 16859 with flag 35000/2440414 1328.65/704.36 c cleaning 9212 clauses out of 18432 with flag 45000/2450414 1337.11/709.01 c cleaning 9607 clauses out of 19221 with flag 55001/2460415 1345.48/713.50 c cleaning 9794 clauses out of 19613 with flag 65000/2470414 1353.25/717.70 c cleaning 9909 clauses out of 19819 with flag 75000/2480414 1361.01/721.99 c cleaning 9952 clauses out of 19910 with flag 85000/2490414 1369.47/726.66 c cleaning 9973 clauses out of 19960 with flag 95002/2500416 1377.23/730.89 c cleaning 9985 clauses out of 19986 with flag 105001/2510415 1383.78/734.48 c cleaning 9999 clauses out of 20001 with flag 115001/2520415 1390.93/738.30 c cleaning 9994 clauses out of 20001 with flag 125000/2530414 1399.36/743.06 c And the winner is CuttingPlanes 1399.49/743.34 c Got one! Elapsed wall clock time (in seconds):743.223 1399.49/743.34 o 166 1402.60/744.92 c cleaning 11172 clauses out of 22352 with flag 5006/2542759 1407.76/747.84 c cleaning 8580 clauses out of 17174 with flag 11000/2548753 1413.24/750.93 c cleaning 7794 clauses out of 15597 with flag 18003/2555756 1419.53/754.43 c cleaning 7896 clauses out of 15800 with flag 26000/2563753 1427.66/759.02 c cleaning 8447 clauses out of 16904 with flag 35000/2572753 1434.34/762.71 c cleaning 9223 clauses out of 18457 with flag 45000/2582753 1442.82/767.33 c cleaning 9609 clauses out of 19234 with flag 55000/2592753 1452.50/772.59 c cleaning 9808 clauses out of 19626 with flag 65001/2602754 1458.59/776.18 c cleaning 9908 clauses out of 19818 with flag 75001/2612754 1468.64/781.57 c cleaning 9953 clauses out of 19909 with flag 85000/2622753 1478.29/786.72 c cleaning 9974 clauses out of 19956 with flag 95000/2632753 1484.74/790.32 c cleaning 9984 clauses out of 19982 with flag 105000/2642753 1490.23/793.63 c cleaning 9995 clauses out of 19999 with flag 115001/2652754 1498.08/797.92 c cleaning 9999 clauses out of 20003 with flag 125000/2662753 1507.55/803.07 c cleaning 10000 clauses out of 20006 with flag 135002/2672755 1513.60/806.46 c cleaning 9996 clauses out of 20004 with flag 145000/2682753 1519.40/809.91 c cleaning 9996 clauses out of 20009 with flag 155001/2692754 1523.82/812.50 c cleaning 9994 clauses out of 20012 with flag 165000/2702753 1528.25/815.15 c cleaning 10003 clauses out of 20018 with flag 175000/2712753 1537.92/820.33 c cleaning 10002 clauses out of 20015 with flag 185000/2722753 1546.76/825.30 c cleaning 9995 clauses out of 20013 with flag 195000/2732753 1552.59/828.66 c cleaning 10003 clauses out of 20019 with flag 205001/2742754 1554.22/829.88 c And the winner is CuttingPlanes 1554.39/830.01 c Got one! Elapsed wall clock time (in seconds):829.898 1554.39/830.01 o 165 1556.56/831.11 c cleaning 7886 clauses out of 15780 with flag 4000/2748518 1562.20/834.40 c cleaning 6935 clauses out of 13894 with flag 10000/2754518 1568.84/838.28 c cleaning 6974 clauses out of 13960 with flag 17001/2761519 1575.45/841.92 c cleaning 7482 clauses out of 14985 with flag 25000/2769518 1582.90/846.05 c cleaning 8249 clauses out of 16503 with flag 34000/2778518 1592.27/851.10 c cleaning 9121 clauses out of 18255 with flag 44001/2788519 1603.12/857.12 c cleaning 9557 clauses out of 19133 with flag 54000/2798518 1611.33/861.60 c cleaning 9782 clauses out of 19576 with flag 64000/2808518 1618.53/865.64 c cleaning 9886 clauses out of 19794 with flag 74000/2818518 1626.14/869.86 c cleaning 9945 clauses out of 19909 with flag 84001/2828519 1636.39/875.52 c cleaning 9971 clauses out of 19963 with flag 94000/2838518 1643.19/879.36 c cleaning 9990 clauses out of 19992 with flag 104000/2848518 1649.40/882.81 c cleaning 9998 clauses out of 20003 with flag 114001/2858519 1657.39/887.28 c cleaning 9998 clauses out of 20004 with flag 124000/2868518 1667.21/892.74 c cleaning 9999 clauses out of 20007 with flag 134001/2878519 1675.42/897.28 c cleaning 9998 clauses out of 20008 with flag 144001/2888519 1680.42/900.11 c cleaning 10001 clauses out of 20009 with flag 154000/2898518 1685.00/902.81 c cleaning 9996 clauses out of 20009 with flag 164001/2908519 1690.21/906.04 c cleaning 10005 clauses out of 20012 with flag 174000/2918518 1698.81/910.70 c cleaning 9997 clauses out of 20008 with flag 184001/2928519 1708.24/915.81 c cleaning 9998 clauses out of 20010 with flag 194000/2938518 1713.83/919.06 c cleaning 10000 clauses out of 20012 with flag 204000/2948518 1719.41/922.45 c cleaning 9999 clauses out of 20013 with flag 214001/2958519 1724.26/925.22 c cleaning 10003 clauses out of 20014 with flag 224001/2968519 1729.40/928.24 c cleaning 10002 clauses out of 20011 with flag 234001/2978519 1733.97/930.93 c cleaning 9993 clauses out of 20009 with flag 244001/2988519 1739.17/934.15 c cleaning 10001 clauses out of 20016 with flag 254001/2998519 1744.16/937.04 c cleaning 10003 clauses out of 20014 with flag 264000/3008518 1752.95/941.87 c cleaning 9995 clauses out of 20011 with flag 274000/3018518 1763.15/947.35 c cleaning 10001 clauses out of 20017 with flag 284001/3028519 1769.33/951.04 c cleaning 10000 clauses out of 20016 with flag 294001/3038519 1774.16/953.89 c cleaning 10000 clauses out of 20016 with flag 304001/3048519 1778.68/956.52 c cleaning 10000 clauses out of 20016 with flag 314001/3058519 1788.07/961.63 c cleaning 10002 clauses out of 20016 with flag 324001/3068519 1800.09/968.23 c starts : 24 1800.09/968.23 c conflicts : 3248 1800.09/968.23 c decisions : 140197 1800.09/968.23 c propagations : 511828 1800.09/968.23 c inspects : 13096830 1800.09/968.23 c shortcuts : 0 1800.09/968.23 c learnt literals : 0 1800.09/968.23 c learnt binary clauses : 0 1800.09/968.23 c learnt ternary clauses : 0 1800.09/968.23 c learnt constraints : 3247 1800.09/968.23 c ignored constraints : 0 1800.09/968.23 c root simplifications : 0 1800.09/968.23 c removed literals (reason simplification) : 0 1800.09/968.23 c reason swapping (by a shorter reason) : 0 1800.09/968.23 c Calls to reduceDB : 0 1800.09/968.23 c number of reductions to clauses (during analyze) : 0 1800.09/968.23 c number of learned constraints concerned by reduction : 0 1800.09/968.23 c number of learning phase by resolution : 0 1800.09/968.23 c number of learning phase by cutting planes : 0 1800.09/968.23 c speed (assignments/second) : 3703.4775184150735 1800.09/968.23 c non guided choices 0 1800.09/968.23 c learnt constraints type 1800.09/968.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1804 1800.09/968.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1443 1800.09/968.23 c constraints type 1800.09/968.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397 1800.09/968.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/968.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 1800.09/968.23 c constraints type 1800.09/968.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 1800.09/968.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397 1800.09/968.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.09/968.23 s SATISFIABLE 1800.09/968.24 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.09/968.24 c objective function=165 1800.09/968.24 c Total wall clock time (in seconds): 968.131
OK 165
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-3455074-1307188718/watcher-3455074-1307188718 -o /tmp/evaluation-result-3455074-1307188718/solver-3455074-1307188718 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455074-1307188718.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.94 3.90 3.64 3/596 1252 /proc/meminfo: memFree=19804884/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=5592 CPUtime=0 cores=0,2,4,6 /proc/1252/stat : 1252 (java) R 1250 1252 30921 0 -1 4194304 289 0 0 0 0 0 0 0 25 0 1 0 830469551 5726208 53 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212682751623 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/1252/statm: 2254 59 45 9 0 33 0 [pid=1252/tid=1253] ppid=1250 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) R 1250 1252 30921 0 -1 4202560 7125 0 1 0 0 0 0 0 25 0 2 0 830469551 10694979584 7941 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.123851 s] /proc/loadavg: 3.94 3.90 3.64 3/596 1252 /proc/meminfo: memFree=19804884/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10605032 CPUtime=0.13 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 13420 0 1 0 11 2 0 0 25 0 18 0 830469551 10859552768 13088 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2651258 13089 2134 9 0 2641992 0 [pid=1252/tid=1253] ppid=1250 vsize=10605032 CPUtime=0.11 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) R 1250 1252 30921 0 -1 4202560 11421 0 1 0 9 2 0 0 18 0 18 0 830469551 10859552768 13089 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10605032 [startup+0.200834 s] /proc/loadavg: 3.94 3.90 3.64 3/596 1252 /proc/meminfo: memFree=19804884/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10605736 CPUtime=0.28 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 14347 0 1 0 26 2 0 0 25 0 18 0 830469551 10860273664 13984 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2651434 13984 2185 9 0 2642168 0 [pid=1252/tid=1253] ppid=1250 vsize=10605736 CPUtime=0.18 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) R 1250 1252 30921 0 -1 4202560 11965 0 1 0 16 2 0 0 18 0 18 0 830469551 10860273664 13984 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10605736 [startup+0.3008 s] /proc/loadavg: 3.94 3.90 3.64 3/596 1252 /proc/meminfo: memFree=19804884/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10609404 CPUtime=0.53 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 18619 0 1 0 51 2 0 0 25 0 20 0 830469551 10864029696 17403 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2652351 17403 2207 9 0 2643085 0 [pid=1252/tid=1253] ppid=1250 vsize=10609404 CPUtime=0.28 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 13862 0 1 0 26 2 0 0 19 0 20 0 830469551 10864029696 17403 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10609404 [startup+0.700794 s] /proc/loadavg: 3.94 3.90 3.64 3/596 1252 /proc/meminfo: memFree=19804884/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10613004 CPUtime=0.8 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 19209 0 1 0 78 2 0 0 25 0 19 0 830469551 10867716096 17869 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653251 17869 2221 9 0 2643985 0 [pid=1252/tid=1253] ppid=1250 vsize=10613004 CPUtime=0.28 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 13862 0 1 0 26 2 0 0 19 0 19 0 830469551 10867716096 17869 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 10613004 [startup+1.50156 s] /proc/loadavg: 3.94 3.90 3.64 6/618 1277 /proc/meminfo: memFree=19734032/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10615636 CPUtime=2.45 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 22157 0 1 0 242 3 0 0 25 0 22 0 830469551 10870411264 20438 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653909 20439 2230 9 0 2644643 0 [pid=1252/tid=1253] ppid=1250 vsize=10615636 CPUtime=0.31 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 14309 0 1 0 29 2 0 0 15 0 22 0 830469551 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1255] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1255/stat : 1255 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1256] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1256/stat : 1256 (java) S 1250 1252 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1257] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20439 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469553 10870411264 20445 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1263] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1263/stat : 1263 (java) S 1250 1252 30921 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830469554 10870411264 20448 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 0 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1264] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1264/stat : 1264 (java) S 1250 1252 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830469555 10870411264 20451 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1265] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1265/stat : 1265 (java) S 1250 1252 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830469555 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1266] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1266/stat : 1266 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1267] ppid=1250 vsize=10615636 CPUtime=0.33 cores=0,2,4,6 /proc/1252/task/1267/stat : 1267 (java) R 1250 1252 30921 0 -1 4202560 2550 0 0 0 33 0 0 0 17 0 22 0 830469557 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 47069572812616 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1252/tid=1268] ppid=1250 vsize=10615636 CPUtime=0.44 cores=0,2,4,6 /proc/1252/task/1268/stat : 1268 (java) R 1250 1252 30921 0 -1 4202560 2621 0 0 0 44 0 0 0 18 0 22 0 830469557 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 47069572836832 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=1252/tid=1269] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1269/stat : 1269 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1270] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1270/stat : 1270 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830469557 10870411264 20453 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1273] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1273/stat : 1273 (java) S 1250 1252 30921 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830469585 10870411264 20454 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1275] ppid=1250 vsize=10615636 CPUtime=0.63 cores=0,2,4,6 /proc/1252/task/1275/stat : 1275 (java) R 1250 1252 30921 0 -1 4202560 598 0 0 0 63 0 0 0 18 0 22 0 830469638 10870411264 20454 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 47069572840275 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1252/tid=1276] ppid=1250 vsize=10615636 CPUtime=0.6 cores=0,2,4,6 /proc/1252/task/1276/stat : 1276 (java) R 1250 1252 30921 0 -1 4202560 722 0 0 0 60 0 0 0 19 0 22 0 830469638 10870411264 20454 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 47069571308659 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=1252/tid=1277] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1277/stat : 1277 (java) S 1250 1252 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830469638 10870411264 20454 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 10615636 [startup+3.10133 s] /proc/loadavg: 3.94 3.90 3.64 6/618 1277 /proc/meminfo: memFree=19722500/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10615636 CPUtime=5.84 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 28040 0 1 0 580 4 0 0 25 0 22 0 830469551 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653909 26305 2258 9 0 2644643 0 [pid=1252/tid=1253] ppid=1250 vsize=10615636 CPUtime=0.31 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 14309 0 1 0 29 2 0 0 15 0 22 0 830469551 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1255] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1255/stat : 1255 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1256] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1256/stat : 1256 (java) S 1250 1252 30921 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1257] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 56 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 356 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 641 0 0 0 0 0 0 0 17 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 460 0 0 0 0 0 0 0 18 0 22 0 830469553 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1263] ppid=1250 vsize=10615636 CPUtime=0.01 cores=0,2,4,6 /proc/1252/task/1263/stat : 1263 (java) S 1250 1252 30921 0 -1 4202560 1496 0 0 0 1 0 0 0 16 0 22 0 830469554 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 0 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1264] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1264/stat : 1264 (java) S 1250 1252 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830469555 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1265] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1265/stat : 1265 (java) S 1250 1252 30921 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830469555 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1266] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1266/stat : 1266 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1267] ppid=1250 vsize=10615636 CPUtime=0.45 cores=0,2,4,6 /proc/1252/task/1267/stat : 1267 (java) S 1250 1252 30921 0 -1 4202560 2580 0 0 0 45 0 0 0 15 0 22 0 830469557 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1268] ppid=1250 vsize=10615636 CPUtime=0.54 cores=0,2,4,6 /proc/1252/task/1268/stat : 1268 (java) S 1250 1252 30921 0 -1 4202560 2642 0 0 0 54 0 0 0 15 0 22 0 830469557 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1269] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1269/stat : 1269 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1270] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1270/stat : 1270 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830469557 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1273] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1273/stat : 1273 (java) S 1250 1252 30921 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830469585 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1275] ppid=1250 vsize=10615636 CPUtime=2.19 cores=0,2,4,6 /proc/1252/task/1275/stat : 1275 (java) R 1250 1252 30921 0 -1 4202560 1223 0 0 0 219 0 0 0 21 0 22 0 830469638 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505773328 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1252/tid=1276] ppid=1250 vsize=10615636 CPUtime=2.17 cores=0,2,4,6 /proc/1252/task/1276/stat : 1276 (java) R 1250 1252 30921 0 -1 4202560 2908 0 0 0 217 0 0 0 23 0 22 0 830469638 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505835219 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=1252/tid=1277] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1277/stat : 1277 (java) S 1250 1252 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830469638 10870411264 26305 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.84 Current children cumulated vsize (KiB) 10615636 [startup+6.30074 s] /proc/loadavg: 3.86 3.88 3.63 6/618 1280 /proc/meminfo: memFree=19676488/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10615636 CPUtime=11.41 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 33488 0 1 0 1136 5 0 0 25 0 22 0 830469551 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653909 31740 2258 9 0 2644643 0 [pid=1252/tid=1253] ppid=1250 vsize=10615636 CPUtime=0.33 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 14662 0 1 0 31 2 0 0 15 0 22 0 830469551 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1255] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1255/stat : 1255 (java) S 1250 1252 30921 0 -1 4202560 634 0 0 0 0 0 0 0 16 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1256] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1256/stat : 1256 (java) S 1250 1252 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1257] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 513 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 643 0 0 0 0 0 0 0 16 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 22 0 830469553 10870411264 31740 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 560 0 0 0 133 0 0 0 16 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=1.27 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 1268 0 0 0 127 0 0 0 15 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=1.48 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 1276 0 0 0 148 0 0 0 15 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=1.51 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 2284 0 0 0 151 0 0 0 16 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=1.5 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 1875 0 0 0 150 0 0 0 15 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=1.3 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 1207 0 0 0 130 0 0 0 15 0 22 0 830469553 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1263] ppid=1250 vsize=10615636 CPUtime=117.46 cores=0,2,4,6 /proc/1252/task/1263/stat : 1263 (java) S 1250 1252 30921 0 -1 4202560 108427 0 0 0 11734 12 0 0 15 0 22 0 830469554 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 0 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1264] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1264/stat : 1264 (java) S 1250 1252 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1265] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1265/stat : 1265 (java) S 1250 1252 30921 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1266] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1266/stat : 1266 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1267] ppid=1250 vsize=10615636 CPUtime=0.98 cores=0,2,4,6 /proc/1252/task/1267/stat : 1267 (java) S 1250 1252 30921 0 -1 4202560 3502 0 0 0 98 0 0 0 15 0 22 0 830469557 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1268] ppid=1250 vsize=10615636 CPUtime=0.93 cores=0,2,4,6 /proc/1252/task/1268/stat : 1268 (java) S 1250 1252 30921 0 -1 4202560 2684 0 0 0 93 0 0 0 15 0 22 0 830469557 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1269] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1269/stat : 1269 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1270] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1270/stat : 1270 (java) S 1250 1252 30921 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830469557 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1277] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1277/stat : 1277 (java) S 1250 1252 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830469638 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1503] ppid=1250 vsize=10615636 CPUtime=41.06 cores=0,2,4,6 /proc/1252/task/1503/stat : 1503 (java) R 1250 1252 30921 0 -1 4202560 11 0 0 0 4106 0 0 0 21 0 22 0 830552554 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505799676 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1252/tid=1504] ppid=1250 vsize=10615636 CPUtime=41.05 cores=0,2,4,6 /proc/1252/task/1504/stat : 1504 (java) R 1250 1252 30921 0 -1 4202560 161 0 0 0 4105 0 0 0 21 0 22 0 830552554 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912506374267 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=1252/tid=1505] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1505/stat : 1505 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830552554 10870411264 775452 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1648.45 Current children cumulated vsize (KiB) 10615636 [startup+942.301 s] /proc/loadavg: 3.74 3.82 3.77 5/618 1508 /proc/meminfo: memFree=16694504/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10615636 CPUtime=1753.57 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 782827 0 1 0 175272 85 0 0 25 0 22 0 830469551 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653909 780333 2259 9 0 2644643 0 [pid=1252/tid=1253] ppid=1250 vsize=10615636 CPUtime=0.44 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 14819 0 1 0 42 2 0 0 15 0 22 0 830469551 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1255] ppid=1250 vsize=10615636 CPUtime=1.58 cores=0,2,4,6 /proc/1252/task/1255/stat : 1255 (java) S 1250 1252 30921 0 -1 4202560 1665 0 0 0 158 0 0 0 16 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1256] ppid=1250 vsize=10615636 CPUtime=1.74 cores=0,2,4,6 /proc/1252/task/1256/stat : 1256 (java) S 1250 1252 30921 0 -1 4202560 1034 0 0 0 174 0 0 0 16 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1257] ppid=1250 vsize=10615636 CPUtime=1.48 cores=0,2,4,6 /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 1717 0 0 0 148 0 0 0 16 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=1.42 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 1589 0 0 0 142 0 0 0 15 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=1.64 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 1868 0 0 0 164 0 0 0 16 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=1.63 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 2902 0 0 0 163 0 0 0 15 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=1.59 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 1971 0 0 0 159 0 0 0 15 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=1.39 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 1371 0 0 0 139 0 0 0 15 0 22 0 830469553 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1263] ppid=1250 vsize=10615636 CPUtime=132.75 cores=0,2,4,6 /proc/1252/task/1263/stat : 1263 (java) R 1250 1252 30921 0 -1 4202560 109831 0 0 0 13263 12 0 0 16 0 22 0 830469554 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 47069571930503 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1252/tid=1264] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1264/stat : 1264 (java) S 1250 1252 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1265] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1265/stat : 1265 (java) S 1250 1252 30921 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1266] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1266/stat : 1266 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1267] ppid=1250 vsize=10615636 CPUtime=0.98 cores=0,2,4,6 /proc/1252/task/1267/stat : 1267 (java) S 1250 1252 30921 0 -1 4202560 3502 0 0 0 98 0 0 0 15 0 22 0 830469557 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1268] ppid=1250 vsize=10615636 CPUtime=0.93 cores=0,2,4,6 /proc/1252/task/1268/stat : 1268 (java) S 1250 1252 30921 0 -1 4202560 2684 0 0 0 93 0 0 0 15 0 22 0 830469557 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1269] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1269/stat : 1269 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1270] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1270/stat : 1270 (java) S 1250 1252 30921 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830469557 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1277] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1277/stat : 1277 (java) S 1250 1252 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830469638 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1503] ppid=1250 vsize=10615636 CPUtime=85.44 cores=0,2,4,6 /proc/1252/task/1503/stat : 1503 (java) S 1250 1252 30921 0 -1 4202560 15 0 0 0 8544 0 0 0 25 0 22 0 830552554 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1504] ppid=1250 vsize=10615636 CPUtime=85.43 cores=0,2,4,6 /proc/1252/task/1504/stat : 1504 (java) S 1250 1252 30921 0 -1 4202560 163 0 0 0 8543 0 0 0 25 0 22 0 830552554 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1505] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1505/stat : 1505 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830552554 10870411264 780333 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1753.57 Current children cumulated vsize (KiB) 10615636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+968.201 s] /proc/loadavg: 3.77 3.82 3.77 5/618 1508 /proc/meminfo: memFree=16161524/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=10615636 CPUtime=1800.09 cores=0,2,4,6 /proc/1252/stat : 1252 (java) S 1250 1252 30921 0 -1 4202496 885488 0 1 0 179914 95 0 0 25 0 22 0 830469551 10870411264 882985 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 2653909 882985 2259 9 0 2644643 0 [pid=1252/tid=1253] ppid=1250 vsize=10615636 CPUtime=0.44 cores=0,2,4,6 /proc/1252/task/1253/stat : 1253 (java) S 1250 1252 30921 0 -1 4202560 14824 0 1 0 42 2 0 0 15 0 22 0 830469551 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1255] ppid=1250 vsize=10615636 CPUtime=1.64 cores=0,2,4,6 /proc/1252/task/1255/stat : 1255 (java) S 1250 1252 30921 0 -1 4202560 1666 0 0 0 164 0 0 0 16 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1256] ppid=1250 vsize=10615636 CPUtime=1.76 cores=0,2,4,6 /proc/1252/task/1256/stat : 1256 (java) S 1250 1252 30921 0 -1 4202560 1034 0 0 0 176 0 0 0 16 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1257] ppid=1250 vsize=10615636 CPUtime=1.51 cores=0,2,4,6 /proc/1252/task/1257/stat : 1257 (java) S 1250 1252 30921 0 -1 4202560 2034 0 0 0 151 0 0 0 15 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1258] ppid=1250 vsize=10615636 CPUtime=1.45 cores=0,2,4,6 /proc/1252/task/1258/stat : 1258 (java) S 1250 1252 30921 0 -1 4202560 1594 0 0 0 145 0 0 0 16 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1259] ppid=1250 vsize=10615636 CPUtime=1.67 cores=0,2,4,6 /proc/1252/task/1259/stat : 1259 (java) S 1250 1252 30921 0 -1 4202560 1993 0 0 0 167 0 0 0 15 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1260] ppid=1250 vsize=10615636 CPUtime=1.67 cores=0,2,4,6 /proc/1252/task/1260/stat : 1260 (java) S 1250 1252 30921 0 -1 4202560 3123 0 0 0 167 0 0 0 15 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1261] ppid=1250 vsize=10615636 CPUtime=1.63 cores=0,2,4,6 /proc/1252/task/1261/stat : 1261 (java) S 1250 1252 30921 0 -1 4202560 1971 0 0 0 163 0 0 0 16 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1262] ppid=1250 vsize=10615636 CPUtime=1.42 cores=0,2,4,6 /proc/1252/task/1262/stat : 1262 (java) S 1250 1252 30921 0 -1 4202560 1510 0 0 0 142 0 0 0 16 0 22 0 830469553 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 [pid=1252/tid=1263] ppid=1250 vsize=10615636 CPUtime=138.16 cores=0,2,4,6 /proc/1252/task/1263/stat : 1263 (java) S 1250 1252 30921 0 -1 4202560 110267 0 0 0 13804 12 0 0 15 0 22 0 830469554 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 0 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1264] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1264/stat : 1264 (java) S 1250 1252 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1265] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1265/stat : 1265 (java) S 1250 1252 30921 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830469555 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1266] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1266/stat : 1266 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1267] ppid=1250 vsize=10615636 CPUtime=0.98 cores=0,2,4,6 /proc/1252/task/1267/stat : 1267 (java) S 1250 1252 30921 0 -1 4202560 3502 0 0 0 98 0 0 0 15 0 22 0 830469557 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0 [pid=1252/tid=1268] ppid=1250 vsize=10615636 CPUtime=0.93 cores=0,2,4,6 /proc/1252/task/1268/stat : 1268 (java) S 1250 1252 30921 0 -1 4202560 2684 0 0 0 93 0 0 0 15 0 22 0 830469557 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1269] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1269/stat : 1269 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830469557 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1270] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1270/stat : 1270 (java) S 1250 1252 30921 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830469557 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0 [pid=1252/tid=1277] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1277/stat : 1277 (java) S 1250 1252 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830469638 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 6 0 0 0 [pid=1252/tid=1503] ppid=1250 vsize=10615636 CPUtime=105.88 cores=0,2,4,6 /proc/1252/task/1503/stat : 1503 (java) R 1250 1252 30921 0 -1 4202560 427 0 0 0 10588 0 0 0 25 0 22 0 830552554 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505881295 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1252/tid=1504] ppid=1250 vsize=10615636 CPUtime=105.86 cores=0,2,4,6 /proc/1252/task/1504/stat : 1504 (java) R 1250 1252 30921 0 -1 4202560 101167 0 0 0 10576 10 0 0 25 0 22 0 830552554 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 46912505835089 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1252/tid=1505] ppid=1250 vsize=10615636 CPUtime=0 cores=0,2,4,6 /proc/1252/task/1505/stat : 1505 (java) S 1250 1252 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830552554 10870411264 882991 33554432000 1073741824 1073778376 140735878504256 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 10615636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+968.327 s] /proc/loadavg: 3.77 3.82 3.77 5/618 1508 /proc/meminfo: memFree=16161524/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=0 CPUtime=1800.28 cores=0,2,4,6 /proc/1252/stat : 1252 (java) Z 1250 1252 30921 0 -1 4203548 885603 0 1 0 179926 102 0 0 17 0 2 0 830469551 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 0 0 0 0 0 0 0 [pid=1252/tid=1503] ppid=1250 vsize=0 CPUtime=105.96 cores=0,2,4,6 /proc/1252/task/1503/stat : 1503 (java) R 1250 1252 30921 0 -1 4203588 436 0 0 0 10590 6 0 0 25 0 2 0 830552554 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 [startup+968.401 s] /proc/loadavg: 3.77 3.82 3.77 5/618 1508 /proc/meminfo: memFree=16161524/32951124 swapFree=58940260/67111528 [pid=1252] ppid=1250 vsize=0 CPUtime=1800.35 cores=0,2,4,6 /proc/1252/stat : 1252 (java) Z 1250 1252 30921 0 -1 4203548 885603 0 1 0 179926 109 0 0 17 0 2 0 830469551 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1252/statm: 0 0 0 0 0 0 0 [pid=1252/tid=1503] ppid=1250 vsize=0 CPUtime=106.04 cores=0,2,4,6 /proc/1252/task/1503/stat : 1503 (java) R 1250 1252 30921 0 -1 4203588 436 0 0 0 10590 14 0 0 25 0 2 0 830552554 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 968.406 CPU time (s): 1800.36 CPU user time (s): 1799.26 CPU system time (s): 1.09883 CPU usage (%): 185.91 Max. virtual memory (cumulated for all children) (KiB): 10615636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 1.09883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 885603 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= 31949 involuntary context switches= 23175 runsolver used 6.09007 second user time and 12.6691 second system time The end
Begin job on node139 at 2011-06-04 13:58:38 IDJOB=3455074 IDBENCH=2048 IDSOLVER=1950 FILE ID=node139/3455074-1307188718 RUNJOBID= node139-1307186520-523 PBS_JOBID= 13508863 Free space on /tmp= 73456 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455074-1307188718/watcher-3455074-1307188718 -o /tmp/evaluation-result-3455074-1307188718/solver-3455074-1307188718 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455074-1307188718.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=787515452 node139.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.852 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.70 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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 : 5321.49 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19805032 kB Buffers: 280936 kB Cached: 634012 kB SwapCached: 3628 kB Active: 12322488 kB Inactive: 514036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19805032 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 11919332 kB Mapped: 41220 kB Slab: 152900 kB PageTables: 86152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 181245928 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= 73472 MiB End job on node139 at 2011-06-04 14:14:48