Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 818 | 1800.81 | 917.153 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb |
MD5SUM | 59d685b710ba34babb28c57a0abba1bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 776 |
Best CPU time to get the best result obtained on this benchmark | 2.16067 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 776 |
Optimality of the best value was proved | NO |
Number of variables | 4316 |
Total number of constraints | 11912 |
Number of constraints which are clauses | 11912 |
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 | 1 |
Maximum length of a constraint | 160 |
Number of terms in the objective function | 4316 |
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 | 4316 |
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 | 4316 |
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.06/0.09 c version 2.2.0.v20100531 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 1349517296 0.06/0.09 c Max memory 1356595200 0.06/0.09 c Total memory 1356595200 0.06/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 0.08/0.12 c solving HOME/instance-3732323-1338739671.opb 0.08/0.12 c reading problem ... 0.77/0.47 c ... done. Wall clock time 0.349s. 0.77/0.47 c #vars 4316 0.77/0.47 c #constraints 8977 0.77/0.47 c constraints type 0.77/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964 0.77/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814 0.77/0.47 c constraints type 0.77/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814 0.77/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964 1.40/0.60 c And the winner is Resolution 1.57/1.48 c SATISFIABLE 1.57/1.48 c OPTIMIZING... 1.57/1.48 c Got one! Elapsed wall clock time (in seconds):1.363 1.57/1.48 o 848 1.62/1.54 c And the winner is Resolution 1.88/2.52 c Got one! Elapsed wall clock time (in seconds):2.398 1.88/2.52 o 844 2.52/2.72 c And the winner is Resolution 2.88/3.54 c Got one! Elapsed wall clock time (in seconds):3.419 2.88/3.54 o 838 3.11/3.65 c And the winner is Resolution 3.70/4.56 c Got one! Elapsed wall clock time (in seconds):4.437 3.70/4.56 o 837 4.30/4.81 c And the winner is Resolution 4.49/5.57 c Got one! Elapsed wall clock time (in seconds):5.448 4.49/5.57 o 831 5.15/5.93 c And the winner is Resolution 5.41/6.58 c Got one! Elapsed wall clock time (in seconds):6.459 5.41/6.58 o 829 6.05/6.95 c cleaning 2494 clauses out of 5000 with flag 5000/5000 9.59/8.61 c cleaning 4248 clauses out of 8506 with flag 11000/11000 14.20/10.92 c cleaning 5619 clauses out of 11258 with flag 18000/18000 19.04/13.39 c cleaning 6817 clauses out of 13641 with flag 26002/26002 24.34/15.93 c cleaning 7905 clauses out of 15823 with flag 35001/35001 30.43/18.95 c cleaning 8950 clauses out of 17917 with flag 45000/45000 37.44/22.50 c cleaning 9478 clauses out of 18967 with flag 55000/55000 43.08/25.24 c cleaning 9736 clauses out of 19489 with flag 65000/65000 49.10/28.21 c cleaning 9873 clauses out of 19754 with flag 75001/75001 56.67/32.07 c cleaning 9935 clauses out of 19880 with flag 85000/85000 62.70/35.09 c cleaning 9967 clauses out of 19946 with flag 95001/95001 67.73/37.53 c cleaning 9982 clauses out of 19978 with flag 105000/105000 72.30/39.80 c cleaning 9995 clauses out of 19997 with flag 115001/115001 77.29/42.32 c cleaning 9999 clauses out of 20001 with flag 125000/125000 81.88/44.67 c cleaning 9996 clauses out of 20002 with flag 135000/135000 86.27/46.83 c cleaning 9995 clauses out of 20006 with flag 145000/145000 90.67/49.08 c cleaning 10001 clauses out of 20011 with flag 155000/155000 95.66/51.53 c cleaning 9998 clauses out of 20011 with flag 165001/165001 100.47/53.91 c cleaning 9999 clauses out of 20013 with flag 175001/175001 106.63/57.02 c cleaning 10003 clauses out of 20013 with flag 185000/185000 112.37/59.95 c cleaning 9997 clauses out of 20010 with flag 195000/195000 117.18/62.33 c cleaning 10000 clauses out of 20014 with flag 205001/205001 121.82/64.66 c cleaning 10002 clauses out of 20014 with flag 215001/215001 126.20/66.88 c cleaning 10001 clauses out of 20012 with flag 225001/225001 130.56/69.09 c cleaning 9999 clauses out of 20010 with flag 235000/235000 135.73/71.63 c cleaning 10001 clauses out of 20011 with flag 245000/245000 140.53/74.01 c cleaning 9997 clauses out of 20010 with flag 255000/255000 145.16/76.33 c cleaning 10003 clauses out of 20014 with flag 265001/265001 150.77/79.19 c cleaning 9996 clauses out of 20010 with flag 275000/275000 156.38/81.92 c cleaning 10006 clauses out of 20014 with flag 285000/285000 160.77/84.11 c cleaning 9998 clauses out of 20008 with flag 295000/295000 165.17/86.38 c cleaning 10001 clauses out of 20011 with flag 305001/305001 170.12/88.88 c cleaning 9998 clauses out of 20010 with flag 315001/315001 175.51/91.59 c cleaning 10000 clauses out of 20011 with flag 325000/325000 181.11/94.39 c cleaning 9999 clauses out of 20011 with flag 335000/335000 186.70/97.18 c cleaning 9998 clauses out of 20013 with flag 345001/345001 191.28/99.49 c cleaning 10003 clauses out of 20014 with flag 355000/355000 195.89/101.72 c cleaning 9998 clauses out of 20011 with flag 365000/365000 200.26/103.97 c cleaning 9998 clauses out of 20013 with flag 375000/375000 204.84/106.20 c cleaning 9999 clauses out of 20015 with flag 385000/385000 209.21/108.48 c cleaning 10003 clauses out of 20017 with flag 395001/395001 214.78/111.21 c cleaning 10000 clauses out of 20013 with flag 405000/405000 222.56/115.11 c cleaning 10001 clauses out of 20013 with flag 415000/415000 227.56/117.62 c cleaning 10000 clauses out of 20012 with flag 425000/425000 231.96/119.85 c cleaning 10001 clauses out of 20012 with flag 435000/435000 236.52/122.19 c cleaning 10001 clauses out of 20011 with flag 445000/445000 241.50/124.64 c cleaning 9997 clauses out of 20010 with flag 455000/455000 246.30/127.02 c cleaning 10002 clauses out of 20013 with flag 465000/465000 251.07/129.41 c cleaning 9999 clauses out of 20011 with flag 475000/475000 255.68/131.72 c cleaning 10002 clauses out of 20013 with flag 485001/485001 260.08/133.92 c cleaning 10000 clauses out of 20011 with flag 495001/495001 264.66/136.21 c cleaning 10001 clauses out of 20011 with flag 505001/505001 269.26/138.56 c cleaning 9998 clauses out of 20010 with flag 515001/515001 274.23/141.09 c cleaning 10002 clauses out of 20012 with flag 525001/525001 279.83/143.86 c cleaning 9999 clauses out of 20010 with flag 535001/535001 285.42/146.65 c cleaning 9999 clauses out of 20011 with flag 545001/545001 291.00/149.45 c cleaning 9999 clauses out of 20012 with flag 555001/555001 296.58/152.23 c cleaning 10000 clauses out of 20013 with flag 565001/565001 302.21/155.03 c cleaning 10002 clauses out of 20013 with flag 575001/575001 307.77/157.80 c cleaning 9998 clauses out of 20011 with flag 585001/585001 312.53/160.29 c cleaning 10001 clauses out of 20012 with flag 595000/595000 317.94/162.94 c cleaning 9999 clauses out of 20012 with flag 605001/605001 324.55/166.21 c cleaning 10000 clauses out of 20012 with flag 615000/615000 329.54/168.75 c cleaning 9998 clauses out of 20012 with flag 625000/625000 335.49/171.76 c cleaning 10000 clauses out of 20014 with flag 635000/635000 342.07/175.02 c cleaning 10002 clauses out of 20014 with flag 645000/645000 350.26/179.16 c cleaning 9998 clauses out of 20012 with flag 655000/655000 358.48/183.27 c cleaning 9999 clauses out of 20014 with flag 665000/665000 367.03/187.51 c cleaning 10004 clauses out of 20015 with flag 675000/675000 372.42/190.26 c cleaning 9998 clauses out of 20011 with flag 685000/685000 377.39/192.75 c cleaning 9999 clauses out of 20013 with flag 695000/695000 382.39/195.22 c cleaning 9998 clauses out of 20014 with flag 705000/705000 387.15/197.65 c cleaning 10001 clauses out of 20016 with flag 715000/715000 391.75/199.90 c cleaning 10000 clauses out of 20015 with flag 725000/725000 396.13/202.12 c cleaning 10001 clauses out of 20015 with flag 735000/735000 400.52/204.32 c cleaning 9996 clauses out of 20014 with flag 745000/745000 404.88/206.58 c cleaning 9998 clauses out of 20018 with flag 755000/755000 409.44/208.83 c cleaning 9999 clauses out of 20020 with flag 765000/765000 414.03/211.15 c cleaning 10002 clauses out of 20021 with flag 775000/775000 418.61/213.49 c cleaning 10004 clauses out of 20019 with flag 785000/785000 423.72/216.08 c cleaning 10001 clauses out of 20016 with flag 795001/795001 428.68/218.50 c cleaning 10000 clauses out of 20015 with flag 805001/805001 433.47/220.98 c cleaning 10001 clauses out of 20015 with flag 815001/815001 438.28/223.36 c cleaning 10002 clauses out of 20014 with flag 825001/825001 443.20/225.83 c cleaning 9997 clauses out of 20011 with flag 835000/835000 448.19/228.34 c cleaning 9999 clauses out of 20014 with flag 845000/845000 452.94/230.74 c cleaning 9998 clauses out of 20015 with flag 855000/855000 457.74/233.14 c cleaning 9998 clauses out of 20017 with flag 865000/865000 462.30/235.48 c cleaning 10002 clauses out of 20019 with flag 875000/875000 467.08/237.84 c cleaning 10004 clauses out of 20018 with flag 885001/885001 472.06/240.34 c cleaning 10005 clauses out of 20017 with flag 895004/895004 478.66/243.62 c cleaning 9996 clauses out of 20008 with flag 905000/905000 484.41/246.57 c cleaning 10002 clauses out of 20013 with flag 915001/915001 489.61/249.17 c cleaning 9999 clauses out of 20010 with flag 925000/925000 494.56/251.69 c cleaning 9999 clauses out of 20011 with flag 935000/935000 499.56/254.13 c cleaning 10004 clauses out of 20013 with flag 945001/945001 504.06/256.46 c cleaning 9997 clauses out of 20009 with flag 955001/955001 508.63/258.77 c cleaning 9998 clauses out of 20012 with flag 965001/965001 513.44/261.18 c cleaning 10002 clauses out of 20013 with flag 975000/975000 518.41/263.67 c cleaning 10000 clauses out of 20011 with flag 985000/985000 523.56/266.24 c cleaning 9996 clauses out of 20011 with flag 995000/995000 528.55/268.76 c cleaning 10001 clauses out of 20016 with flag 1005001/1005001 533.75/271.39 c cleaning 9999 clauses out of 20014 with flag 1015000/1015000 540.15/274.50 c cleaning 9998 clauses out of 20015 with flag 1025000/1025000 546.91/277.94 c cleaning 10001 clauses out of 20018 with flag 1035001/1035001 553.07/281.07 c cleaning 9995 clauses out of 20016 with flag 1045000/1045000 559.03/284.05 c cleaning 10002 clauses out of 20022 with flag 1055001/1055001 566.01/287.51 c cleaning 10002 clauses out of 20020 with flag 1065001/1065001 571.54/290.38 c cleaning 10000 clauses out of 20018 with flag 1075001/1075001 577.52/293.38 c cleaning 10003 clauses out of 20018 with flag 1085001/1085001 583.08/296.19 c cleaning 9998 clauses out of 20014 with flag 1095000/1095000 589.12/299.20 c cleaning 10000 clauses out of 20016 with flag 1105000/1105000 596.05/302.65 c cleaning 10002 clauses out of 20017 with flag 1115001/1115001 603.43/306.38 c cleaning 9997 clauses out of 20015 with flag 1125001/1125001 609.21/309.27 c cleaning 9999 clauses out of 20017 with flag 1135000/1135000 615.16/312.25 c cleaning 10005 clauses out of 20019 with flag 1145001/1145001 620.08/314.73 c cleaning 9998 clauses out of 20014 with flag 1155001/1155001 625.07/317.25 c cleaning 10000 clauses out of 20016 with flag 1165001/1165001 630.21/319.85 c cleaning 9999 clauses out of 20015 with flag 1175000/1175000 634.99/322.23 c cleaning 9999 clauses out of 20016 with flag 1185000/1185000 639.71/324.67 c cleaning 10003 clauses out of 20018 with flag 1195001/1195001 644.48/327.06 c cleaning 10002 clauses out of 20015 with flag 1205001/1205001 649.44/329.52 c cleaning 10001 clauses out of 20012 with flag 1215000/1215000 654.23/331.95 c cleaning 9995 clauses out of 20011 with flag 1225000/1225000 659.17/334.40 c cleaning 9999 clauses out of 20017 with flag 1235001/1235001 664.17/336.93 c cleaning 10003 clauses out of 20018 with flag 1245001/1245001 668.73/339.28 c cleaning 9999 clauses out of 20014 with flag 1255000/1255000 673.48/341.69 c cleaning 9997 clauses out of 20015 with flag 1265000/1265000 678.45/344.10 c cleaning 9999 clauses out of 20019 with flag 1275001/1275001 683.22/346.57 c cleaning 10005 clauses out of 20020 with flag 1285001/1285001 687.98/348.97 c cleaning 10000 clauses out of 20014 with flag 1295000/1295000 692.98/351.40 c cleaning 9998 clauses out of 20014 with flag 1305000/1305000 697.70/353.84 c cleaning 10001 clauses out of 20017 with flag 1315001/1315001 702.44/356.21 c cleaning 10000 clauses out of 20016 with flag 1325001/1325001 707.63/358.84 c cleaning 10004 clauses out of 20016 with flag 1335001/1335001 713.84/361.91 c cleaning 9999 clauses out of 20011 with flag 1345000/1345000 718.57/364.30 c cleaning 9997 clauses out of 20012 with flag 1355000/1355000 723.14/366.69 c cleaning 10002 clauses out of 20016 with flag 1365001/1365001 728.94/369.59 c cleaning 10000 clauses out of 20014 with flag 1375001/1375001 734.91/372.53 c cleaning 10005 clauses out of 20014 with flag 1385001/1385001 740.62/375.45 c cleaning 9996 clauses out of 20008 with flag 1395000/1395000 746.62/378.46 c cleaning 9996 clauses out of 20012 with flag 1405000/1405000 752.39/381.31 c cleaning 10004 clauses out of 20017 with flag 1415001/1415001 757.74/384.08 c cleaning 10001 clauses out of 20013 with flag 1425001/1425001 763.33/386.87 c cleaning 9999 clauses out of 20012 with flag 1435001/1435001 768.50/389.45 c cleaning 10001 clauses out of 20013 with flag 1445001/1445001 773.45/391.94 c cleaning 9999 clauses out of 20012 with flag 1455001/1455001 778.40/394.43 c cleaning 10002 clauses out of 20012 with flag 1465000/1465000 783.75/397.12 c cleaning 9999 clauses out of 20010 with flag 1475000/1475000 788.92/399.79 c cleaning 10000 clauses out of 20011 with flag 1485000/1485000 794.25/402.47 c cleaning 10000 clauses out of 20011 with flag 1495000/1495000 799.81/405.24 c cleaning 10001 clauses out of 20012 with flag 1505001/1505001 805.73/408.26 c cleaning 9999 clauses out of 20010 with flag 1515000/1515000 811.70/411.26 c cleaning 10000 clauses out of 20012 with flag 1525001/1525001 819.45/415.18 c cleaning 9999 clauses out of 20012 with flag 1535001/1535001 825.24/418.06 c cleaning 10001 clauses out of 20013 with flag 1545001/1545001 830.95/420.93 c cleaning 9998 clauses out of 20012 with flag 1555001/1555001 836.71/423.84 c cleaning 10000 clauses out of 20014 with flag 1565001/1565001 842.91/426.93 c cleaning 10001 clauses out of 20014 with flag 1575001/1575001 848.85/429.95 c cleaning 9999 clauses out of 20013 with flag 1585001/1585001 854.76/432.90 c cleaning 10001 clauses out of 20014 with flag 1595001/1595001 860.30/435.78 c cleaning 9996 clauses out of 20013 with flag 1605001/1605001 866.53/438.81 c cleaning 10002 clauses out of 20017 with flag 1615001/1615001 871.68/441.42 c cleaning 10000 clauses out of 20015 with flag 1625001/1625001 876.61/443.98 c cleaning 10002 clauses out of 20015 with flag 1635001/1635001 881.79/446.54 c cleaning 10001 clauses out of 20013 with flag 1645001/1645001 886.56/448.97 c cleaning 9997 clauses out of 20012 with flag 1655001/1655001 891.28/451.34 c cleaning 10002 clauses out of 20015 with flag 1665001/1665001 895.95/453.78 c cleaning 9999 clauses out of 20013 with flag 1675001/1675001 900.68/456.16 c cleaning 9999 clauses out of 20014 with flag 1685001/1685001 905.39/458.50 c cleaning 10000 clauses out of 20015 with flag 1695001/1695001 909.91/460.85 c cleaning 10000 clauses out of 20015 with flag 1705001/1705001 914.55/463.27 c cleaning 10000 clauses out of 20015 with flag 1715001/1715001 919.25/465.66 c cleaning 10002 clauses out of 20015 with flag 1725001/1725001 923.76/468.00 c cleaning 9997 clauses out of 20013 with flag 1735001/1735001 928.48/470.34 c cleaning 10001 clauses out of 20016 with flag 1745001/1745001 933.12/472.77 c cleaning 9999 clauses out of 20015 with flag 1755001/1755001 937.85/475.18 c cleaning 10001 clauses out of 20016 with flag 1765001/1765001 942.37/477.49 c cleaning 10001 clauses out of 20015 with flag 1775001/1775001 946.87/479.71 c cleaning 10001 clauses out of 20014 with flag 1785001/1785001 951.30/482.05 c cleaning 10001 clauses out of 20013 with flag 1795001/1795001 955.81/484.31 c cleaning 10001 clauses out of 20012 with flag 1805001/1805001 960.10/486.58 c cleaning 9998 clauses out of 20011 with flag 1815001/1815001 964.59/488.81 c cleaning 10000 clauses out of 20013 with flag 1825001/1825001 969.02/491.14 c cleaning 10002 clauses out of 20013 with flag 1835001/1835001 973.32/493.38 c cleaning 10000 clauses out of 20011 with flag 1845001/1845001 977.61/495.59 c cleaning 9996 clauses out of 20011 with flag 1855001/1855001 982.12/497.81 c cleaning 10001 clauses out of 20015 with flag 1865001/1865001 986.54/500.10 c cleaning 10000 clauses out of 20014 with flag 1875001/1875001 990.82/502.34 c cleaning 10001 clauses out of 20014 with flag 1885001/1885001 995.11/504.58 c cleaning 9999 clauses out of 20013 with flag 1895001/1895001 999.59/506.82 c cleaning 10002 clauses out of 20014 with flag 1905001/1905001 1004.00/509.12 c cleaning 9999 clauses out of 20012 with flag 1915001/1915001 1008.28/511.40 c cleaning 10001 clauses out of 20013 with flag 1925001/1925001 1012.78/513.66 c cleaning 10000 clauses out of 20012 with flag 1935001/1935001 1017.07/515.89 c cleaning 9998 clauses out of 20012 with flag 1945001/1945001 1021.65/518.20 c cleaning 9999 clauses out of 20014 with flag 1955001/1955001 1025.93/520.43 c cleaning 9998 clauses out of 20015 with flag 1965001/1965001 1030.21/522.68 c cleaning 10002 clauses out of 20017 with flag 1975001/1975001 1034.70/524.92 c cleaning 10000 clauses out of 20015 with flag 1985001/1985001 1039.09/527.29 c cleaning 10001 clauses out of 20014 with flag 1995000/1995000 1043.97/529.76 c cleaning 10005 clauses out of 20016 with flag 2005003/2005003 1049.06/532.40 c cleaning 10001 clauses out of 20009 with flag 2015001/2015001 1052.94/534.35 c And the winner is CuttingPlanes 1053.36/534.56 c Got one! Elapsed wall clock time (in seconds):534.444 1053.36/534.56 o 828 1055.45/535.63 c cleaning 9997 clauses out of 20007 with flag 2025000/2025000 1060.43/538.22 c cleaning 9997 clauses out of 20010 with flag 2035000/2035000 1065.00/540.54 c cleaning 9999 clauses out of 20014 with flag 2045001/2045001 1069.35/542.78 c cleaning 9999 clauses out of 20014 with flag 2055000/2055000 1074.30/545.28 c cleaning 9999 clauses out of 20015 with flag 2065000/2065000 1079.17/547.80 c cleaning 10002 clauses out of 20016 with flag 2075000/2075000 1084.12/550.26 c cleaning 9999 clauses out of 20014 with flag 2085000/2085000 1088.84/552.68 c cleaning 10000 clauses out of 20015 with flag 2095000/2095000 1094.42/555.46 c cleaning 10000 clauses out of 20015 with flag 2105000/2105000 1099.84/558.28 c cleaning 10002 clauses out of 20015 with flag 2115000/2115000 1106.18/561.49 c cleaning 10002 clauses out of 20014 with flag 2125001/2125001 1112.75/564.73 c cleaning 10000 clauses out of 20011 with flag 2135000/2135000 1118.73/567.75 c cleaning 9999 clauses out of 20011 with flag 2145000/2145000 1123.77/570.30 c cleaning 10001 clauses out of 20013 with flag 2155001/2155001 1128.50/572.74 c cleaning 10000 clauses out of 20013 with flag 2165002/2165002 1133.46/575.20 c cleaning 9996 clauses out of 20012 with flag 2175001/2175001 1140.02/578.55 c cleaning 10000 clauses out of 20015 with flag 2185000/2185000 1148.11/582.60 c cleaning 10001 clauses out of 20015 with flag 2195000/2195000 1156.04/586.64 c cleaning 10002 clauses out of 20014 with flag 2205000/2205000 1163.83/590.60 c cleaning 9998 clauses out of 20012 with flag 2215000/2215000 1169.18/593.27 c cleaning 10001 clauses out of 20014 with flag 2225000/2225000 1174.66/596.05 c cleaning 10000 clauses out of 20013 with flag 2235000/2235000 1179.80/598.64 c cleaning 10000 clauses out of 20013 with flag 2245000/2245000 1184.95/601.22 c cleaning 9997 clauses out of 20013 with flag 2255000/2255000 1190.10/603.81 c cleaning 10003 clauses out of 20016 with flag 2265000/2265000 1195.14/606.49 c cleaning 9999 clauses out of 20013 with flag 2275000/2275000 1200.26/609.04 c cleaning 10000 clauses out of 20014 with flag 2285000/2285000 1206.45/612.18 c cleaning 10003 clauses out of 20015 with flag 2295001/2295001 1212.77/615.33 c cleaning 9998 clauses out of 20012 with flag 2305001/2305001 1218.45/618.29 c cleaning 9997 clauses out of 20014 with flag 2315001/2315001 1224.18/621.18 c cleaning 10001 clauses out of 20016 with flag 2325000/2325000 1229.92/624.00 c cleaning 10001 clauses out of 20015 with flag 2335000/2335000 1234.84/626.57 c cleaning 9997 clauses out of 20014 with flag 2345000/2345000 1239.89/629.16 c cleaning 10002 clauses out of 20017 with flag 2355000/2355000 1244.87/631.64 c cleaning 9999 clauses out of 20016 with flag 2365001/2365001 1249.79/634.20 c cleaning 9999 clauses out of 20016 with flag 2375000/2375000 1254.71/636.68 c cleaning 9997 clauses out of 20018 with flag 2385001/2385001 1259.55/639.19 c cleaning 10003 clauses out of 20020 with flag 2395000/2395000 1264.48/641.63 c cleaning 10001 clauses out of 20019 with flag 2405002/2405002 1269.23/644.07 c cleaning 10001 clauses out of 20017 with flag 2415001/2415001 1274.35/646.61 c cleaning 10003 clauses out of 20016 with flag 2425001/2425001 1280.22/649.65 c cleaning 10000 clauses out of 20013 with flag 2435001/2435001 1286.18/652.63 c cleaning 9998 clauses out of 20012 with flag 2445000/2445000 1291.92/655.51 c cleaning 9998 clauses out of 20014 with flag 2455000/2455000 1297.47/658.39 c cleaning 9998 clauses out of 20016 with flag 2465000/2465000 1303.47/661.40 c cleaning 10000 clauses out of 20019 with flag 2475001/2475001 1309.01/664.28 c cleaning 9999 clauses out of 20018 with flag 2485000/2485000 1314.97/667.22 c cleaning 10004 clauses out of 20019 with flag 2495000/2495000 1320.51/670.03 c cleaning 9999 clauses out of 20015 with flag 2505000/2505000 1326.15/672.92 c cleaning 9997 clauses out of 20016 with flag 2515000/2515000 1331.72/675.79 c cleaning 10006 clauses out of 20020 with flag 2525001/2525001 1337.27/678.57 c cleaning 9998 clauses out of 20013 with flag 2535000/2535000 1342.60/681.26 c cleaning 9996 clauses out of 20015 with flag 2545000/2545000 1347.85/683.99 c cleaning 9998 clauses out of 20020 with flag 2555001/2555001 1352.83/686.49 c cleaning 10003 clauses out of 20022 with flag 2565001/2565001 1357.78/688.97 c cleaning 9998 clauses out of 20019 with flag 2575001/2575001 1362.71/691.42 c cleaning 10000 clauses out of 20021 with flag 2585001/2585001 1367.56/693.97 c cleaning 9998 clauses out of 20021 with flag 2595001/2595001 1372.49/696.49 c cleaning 10006 clauses out of 20023 with flag 2605001/2605001 1377.38/698.91 c cleaning 10001 clauses out of 20017 with flag 2615001/2615001 1382.32/701.40 c cleaning 9999 clauses out of 20016 with flag 2625001/2625001 1387.16/703.95 c cleaning 9998 clauses out of 20017 with flag 2635001/2635001 1392.11/706.49 c cleaning 10000 clauses out of 20019 with flag 2645001/2645001 1396.85/708.88 c cleaning 10004 clauses out of 20018 with flag 2655000/2655000 1401.78/711.30 c cleaning 9999 clauses out of 20014 with flag 2665000/2665000 1406.59/713.81 c cleaning 10000 clauses out of 20016 with flag 2675001/2675001 1411.55/716.31 c cleaning 9999 clauses out of 20015 with flag 2685000/2685000 1416.41/718.82 c cleaning 10000 clauses out of 20017 with flag 2695001/2695001 1421.53/721.43 c cleaning 9999 clauses out of 20016 with flag 2705000/2705000 1426.74/724.14 c cleaning 10001 clauses out of 20017 with flag 2715000/2715000 1431.90/726.76 c cleaning 10002 clauses out of 20017 with flag 2725001/2725001 1436.84/729.24 c cleaning 10001 clauses out of 20015 with flag 2735001/2735001 1441.53/731.69 c cleaning 9999 clauses out of 20014 with flag 2745001/2745001 1446.38/734.18 c cleaning 10000 clauses out of 20015 with flag 2755001/2755001 1451.31/736.62 c cleaning 9998 clauses out of 20014 with flag 2765000/2765000 1456.06/739.07 c cleaning 10000 clauses out of 20016 with flag 2775000/2775000 1460.97/741.53 c cleaning 10002 clauses out of 20016 with flag 2785000/2785000 1465.81/744.06 c cleaning 10000 clauses out of 20014 with flag 2795000/2795000 1470.71/746.60 c cleaning 10000 clauses out of 20014 with flag 2805000/2805000 1475.61/749.08 c cleaning 10001 clauses out of 20014 with flag 2815000/2815000 1480.53/751.52 c cleaning 9998 clauses out of 20013 with flag 2825000/2825000 1485.14/753.97 c cleaning 10000 clauses out of 20015 with flag 2835000/2835000 1490.02/756.40 c cleaning 10002 clauses out of 20015 with flag 2845000/2845000 1494.94/758.93 c cleaning 10002 clauses out of 20013 with flag 2855000/2855000 1500.04/761.51 c cleaning 9997 clauses out of 20011 with flag 2865000/2865000 1505.04/764.16 c cleaning 9998 clauses out of 20014 with flag 2875000/2875000 1509.96/766.68 c cleaning 9999 clauses out of 20016 with flag 2885000/2885000 1514.86/769.14 c cleaning 9998 clauses out of 20017 with flag 2895000/2895000 1519.56/771.58 c cleaning 10001 clauses out of 20019 with flag 2905000/2905000 1524.59/774.15 c cleaning 10000 clauses out of 20018 with flag 2915000/2915000 1529.32/776.60 c cleaning 9998 clauses out of 20018 with flag 2925000/2925000 1534.23/779.09 c cleaning 9998 clauses out of 20020 with flag 2935000/2935000 1539.36/781.61 c cleaning 10003 clauses out of 20022 with flag 2945000/2945000 1544.16/784.14 c cleaning 10002 clauses out of 20019 with flag 2955000/2955000 1549.08/786.68 c cleaning 9999 clauses out of 20017 with flag 2965000/2965000 1554.00/789.20 c cleaning 10001 clauses out of 20019 with flag 2975001/2975001 1559.34/791.84 c cleaning 10002 clauses out of 20018 with flag 2985001/2985001 1565.11/794.82 c cleaning 10002 clauses out of 20015 with flag 2995000/2995000 1571.39/798.07 c cleaning 10004 clauses out of 20014 with flag 3005001/3005001 1575.87/800.39 c cleaning 10001 clauses out of 20010 with flag 3015001/3015001 1580.94/802.98 c cleaning 9999 clauses out of 20008 with flag 3025000/3025000 1586.48/805.90 c cleaning 9997 clauses out of 20009 with flag 3035000/3035000 1592.35/808.81 c cleaning 10000 clauses out of 20012 with flag 3045000/3045000 1599.82/812.60 c cleaning 9999 clauses out of 20012 with flag 3055000/3055000 1607.08/816.39 c cleaning 10001 clauses out of 20013 with flag 3065000/3065000 1612.81/819.32 c cleaning 9999 clauses out of 20013 with flag 3075001/3075001 1617.87/821.95 c cleaning 9999 clauses out of 20013 with flag 3085000/3085000 1622.93/824.53 c cleaning 10001 clauses out of 20014 with flag 3095000/3095000 1627.80/827.08 c cleaning 9999 clauses out of 20014 with flag 3105001/3105001 1633.15/829.85 c cleaning 10001 clauses out of 20014 with flag 3115000/3115000 1638.82/832.74 c cleaning 10001 clauses out of 20013 with flag 3125000/3125000 1644.44/835.69 c cleaning 10001 clauses out of 20012 with flag 3135000/3135000 1650.10/838.59 c cleaning 9998 clauses out of 20011 with flag 3145000/3145000 1656.01/841.60 c cleaning 9998 clauses out of 20013 with flag 3155000/3155000 1661.45/844.47 c cleaning 10001 clauses out of 20015 with flag 3165000/3165000 1667.12/847.37 c cleaning 10000 clauses out of 20014 with flag 3175000/3175000 1674.15/850.91 c cleaning 10001 clauses out of 20014 with flag 3185000/3185000 1681.49/854.75 c cleaning 9999 clauses out of 20013 with flag 3195000/3195000 1689.12/858.64 c cleaning 9998 clauses out of 20014 with flag 3205000/3205000 1695.76/862.02 c cleaning 10002 clauses out of 20016 with flag 3215000/3215000 1701.61/865.01 c cleaning 10002 clauses out of 20015 with flag 3225001/3225001 1707.51/868.14 c cleaning 9998 clauses out of 20013 with flag 3235001/3235001 1713.37/871.19 c cleaning 10002 clauses out of 20014 with flag 3245000/3245000 1719.38/874.20 c cleaning 9996 clauses out of 20012 with flag 3255000/3255000 1725.00/877.19 c cleaning 10001 clauses out of 20017 with flag 3265001/3265001 1730.86/880.27 c cleaning 10003 clauses out of 20015 with flag 3275000/3275000 1735.50/882.63 c cleaning 9997 clauses out of 20012 with flag 3285000/3285000 1739.90/884.97 c cleaning 10001 clauses out of 20015 with flag 3295000/3295000 1744.35/887.29 c cleaning 9998 clauses out of 20014 with flag 3305000/3305000 1749.02/889.78 c cleaning 10000 clauses out of 20016 with flag 3315000/3315000 1753.66/892.15 c cleaning 9999 clauses out of 20016 with flag 3325000/3325000 1758.07/894.49 c cleaning 9999 clauses out of 20017 with flag 3335000/3335000 1762.69/896.83 c cleaning 9997 clauses out of 20018 with flag 3345000/3345000 1767.38/899.30 c cleaning 10003 clauses out of 20021 with flag 3355000/3355000 1771.81/901.68 c cleaning 9998 clauses out of 20018 with flag 3365000/3365000 1776.66/904.11 c cleaning 10004 clauses out of 20020 with flag 3375000/3375000 1781.47/906.63 c cleaning 10005 clauses out of 20016 with flag 3385000/3385000 1786.33/909.23 c cleaning 10000 clauses out of 20011 with flag 3395000/3395000 1789.94/911.19 c And the winner is CuttingPlanes 1790.34/912.02 c Got one! Elapsed wall clock time (in seconds):911.903 1790.34/912.02 o 818 1791.08/912.50 c cleaning 10001 clauses out of 20012 with flag 3405001/3405001 1796.12/915.05 c cleaning 10000 clauses out of 20011 with flag 3415001/3415001 1800.16/917.11 c starts : 18 1800.16/917.11 c conflicts : 2503 1800.16/917.11 c decisions : 68144 1800.16/917.11 c propagations : 113271 1800.16/917.11 c inspects : 11777806 1800.16/917.11 c learnt literals : 0 1800.16/917.11 c learnt binary clauses : 3 1800.16/917.11 c learnt ternary clauses : 3 1800.16/917.11 c learnt clauses : 2502 1800.16/917.11 c ignored clauses : 0 1800.16/917.11 c root simplifications : 0 1800.16/917.11 c removed literals (reason simplification) : 0 1800.16/917.11 c reason swapping (by a shorter reason) : 0 1800.16/917.11 c Calls to reduceDB : 0 1800.16/917.11 c number of reductions to clauses (during analyze) : 0 1800.16/917.11 c number of learned constraints concerned by reduction : 0 1800.16/917.11 c number of learning phase by resolution : 0 1800.16/917.11 c number of learning phase by cutting planes : 0 1800.16/917.11 c speed (assignments/second) : 22315.011820330972 1800.16/917.11 c non guided choices 0 1800.16/917.11 c learnt constraints type 1800.16/917.11 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 53 1800.16/917.11 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3 1800.16/917.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2446 1800.16/917.11 c constraints type 1800.16/917.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964 1800.16/917.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.16/917.11 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814 1800.16/917.11 c constraints type 1800.16/917.11 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814 1800.16/917.11 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964 1800.16/917.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.16/917.11 s SATISFIABLE 1800.16/917.12 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 1800.16/917.13 c objective function=818 1800.16/917.13 c Total wall clock time (in seconds): 917.011
OK 818
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3732323-1338739671/watcher-3732323-1338739671 -o /tmp/evaluation-result-3732323-1338739671/solver-3732323-1338739671 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732323-1338739671.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.90 3.81 3.65 4/199 19805 /proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/19805/stat : 19805 (java) R 19803 19805 11290 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 340091847 278528 33 33554432000 1073741824 1073778376 140734213907728 140733246375192 215134334247 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 68 33 25 9 0 25 0 [startup+0.089581 s] /proc/loadavg: 3.90 3.81 3.65 4/199 19805 /proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2699928 CPUtime=0.06 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 340091847 2764726272 5616 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 674982 5616 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2699928 [startup+0.100249 s] /proc/loadavg: 3.90 3.81 3.65 4/199 19805 /proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2699928 CPUtime=0.08 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 4292 0 1 0 7 1 0 0 20 0 18 0 340091847 2764726272 6009 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 674982 6013 2001 9 0 665676 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2699928 [startup+0.30017 s] /proc/loadavg: 3.90 3.81 3.65 4/199 19805 /proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2699928 CPUtime=0.54 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 7845 0 1 0 52 2 0 0 20 0 18 0 340091847 2764726272 10808 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 674982 10808 2215 9 0 665676 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 2699928 [startup+0.700302 s] /proc/loadavg: 3.90 3.81 3.65 4/199 19805 /proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=1.57 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 11891 0 1 0 152 5 0 0 20 0 20 0 340091847 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 24969 2257 9 0 732240 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 2966184 [startup+1.50064 s] /proc/loadavg: 3.90 3.81 3.65 3/219 19827 /proc/meminfo: memFree=27953664/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=1.62 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 11891 0 1 0 157 5 0 0 20 0 20 0 340091847 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 24969 2257 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) R 19803 19805 11290 0 -1 4202560 2817 0 1 0 44 2 0 0 20 0 20 0 340091848 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647979005080 140647982289872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=0.45 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) R 19803 19805 11290 0 -1 4202560 4811 0 0 0 45 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647351671608 140647982850103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.4 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) R 19803 19805 11290 0 -1 4202560 2963 0 0 0 40 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647350618944 140647985171252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 2966184 [startup+3.10072 s] /proc/loadavg: 3.91 3.81 3.65 3/219 19829 /proc/meminfo: memFree=27937824/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=2.88 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 19493 0 1 0 278 10 0 0 20 0 20 0 340091847 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 34617 2259 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.5 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2818 0 1 0 48 2 0 0 20 0 20 0 340091848 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 10290 0 0 0 86 2 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.65 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 5053 0 0 0 65 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 2966184 [startup+6.30072 s] /proc/loadavg: 3.91 3.81 3.65 3/219 19835 /proc/meminfo: memFree=27868960/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=5.41 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 25127 0 1 0 524 17 0 0 20 0 20 0 340091847 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 50138 2263 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.54 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2821 0 1 0 52 2 0 0 20 0 20 0 340091848 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647979005096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.29 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14242 0 0 0 127 2 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.89 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6682 0 0 0 87 2 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19924] ppid=19803 vsize=2966184 CPUtime=263.5 cores=0,2,4,6 /proc/19805/task/19924/stat : 19924 (java) R 19803 19805 11290 0 -1 4202560 176 0 0 0 26344 6 0 0 20 0 22 0 340145305 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647347458368 140647848645153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19925] ppid=19803 vsize=2966184 CPUtime=263.53 cores=0,2,4,6 /proc/19805/task/19925/stat : 19925 (java) R 19803 19805 11290 0 -1 4202560 192 0 0 0 26349 4 0 0 20 0 22 0 340145305 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647346403792 140647848688346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1618.54 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.46 3.49 3.55 4/221 19932 /proc/meminfo: memFree=27226888/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=1734.9 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28424 0 1 0 173329 161 0 0 20 0 22 0 340091847 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 185339 2287 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.58 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2851 0 1 0 55 3 0 0 20 0 22 0 340091848 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 516 8 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.14 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 507 7 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.05 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 231 0 0 0 499 6 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.25 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 251 0 0 0 516 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.41 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 294 0 0 0 532 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.2 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 513 7 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.07 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 211 0 0 0 502 5 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.11 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 216 0 0 0 502 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=38.65 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 121 0 0 0 3821 44 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14258 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19924] ppid=19803 vsize=2966184 CPUtime=318.8 cores=0,2,4,6 /proc/19805/task/19924/stat : 19924 (java) R 19803 19805 11290 0 -1 4202560 191 0 0 0 31874 6 0 0 20 0 22 0 340145305 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647347458368 140647848624304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19925] ppid=19803 vsize=2966184 CPUtime=318.84 cores=0,2,4,6 /proc/19805/task/19925/stat : 19925 (java) R 19803 19805 11290 0 -1 4202560 195 0 0 0 31880 4 0 0 20 0 22 0 340145305 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647346403792 140647848688608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1734.9 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+917.101 s] /proc/loadavg: 3.16 3.42 3.52 5/221 19934 /proc/meminfo: memFree=27209328/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28486 0 1 0 179842 174 0 0 20 0 22 0 340091847 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 186908 2287 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.6 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2855 0 1 0 57 3 0 0 20 0 22 0 340091848 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 531 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.27 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 520 7 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.19 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 236 0 0 0 513 6 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 259 0 0 0 530 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.57 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 304 0 0 0 548 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.32 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 524 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.23 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 215 0 0 0 518 5 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.26 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 222 0 0 0 517 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=42.06 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 126 0 0 0 4162 44 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14259 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19933] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6 /proc/19805/task/19933/stat : 19933 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647347458112 140647848624332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19934] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6 /proc/19805/task/19934/stat : 19934 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647346403536 140647848688283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+917.101 s] /proc/loadavg: 3.16 3.42 3.52 5/221 19934 /proc/meminfo: memFree=27209328/32873844 swapFree=7380/7380 [pid=19805] ppid=19803 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6 /proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28486 0 1 0 179842 174 0 0 20 0 22 0 340091847 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19805/statm: 741546 186908 2287 9 0 732240 0 [pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.6 cores=0,2,4,6 /proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2855 0 1 0 57 3 0 0 20 0 22 0 340091848 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 531 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.27 cores=0,2,4,6 /proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 520 7 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.19 cores=0,2,4,6 /proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 236 0 0 0 513 6 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 259 0 0 0 530 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.57 cores=0,2,4,6 /proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 304 0 0 0 548 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.32 cores=0,2,4,6 /proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 524 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.23 cores=0,2,4,6 /proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 215 0 0 0 518 5 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.26 cores=0,2,4,6 /proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 222 0 0 0 517 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=42.06 cores=0,2,4,6 /proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 126 0 0 0 4162 44 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6 /proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14259 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6 /proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19933] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6 /proc/19805/task/19933/stat : 19933 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647347458112 140647848624332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19805/tid=19934] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6 /proc/19805/task/19934/stat : 19934 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647346403536 140647848688283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 917.153 CPU time (s): 1800.81 CPU user time (s): 1798.85 CPU system time (s): 1.9617 CPU usage (%): 196.348 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 1.9617 maximum resident set size= 749792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28516 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51594 involuntary context switches= 90120 runsolver used 3.43248 second user time and 8.32273 second system time The end
Begin job on node133 at 2012-06-03 18:07:51 IDJOB=3732323 IDBENCH=2047 IDSOLVER=2324 FILE ID=node133/3732323-1338739671 RUNJOBID= node133-1338736630-19082 PBS_JOBID= 14636724 Free space on /tmp= 70484 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732323-1338739671/watcher-3732323-1338739671 -o /tmp/evaluation-result-3732323-1338739671/solver-3732323-1338739671 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732323-1338739671.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc RANDOM SEED=1636425007 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28043828 kB Buffers: 483420 kB Cached: 2814924 kB SwapCached: 676 kB Active: 2116288 kB Inactive: 1812468 kB Active(anon): 622100 kB Inactive(anon): 10220 kB Active(file): 1494188 kB Inactive(file): 1802248 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 832 kB Writeback: 0 kB AnonPages: 646376 kB Mapped: 18616 kB Shmem: 0 kB Slab: 759496 kB SReclaimable: 201168 kB SUnreclaim: 558328 kB KernelStack: 1808 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1572028 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 591872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70484 MiB End job on node133 at 2012-06-03 18:23:10