Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 59687 | 1800.31 | 969.497 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 59687 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
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 | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 2110 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3036193 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2110 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3036193 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 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.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3454162-1307193971.opb 0.10/0.12 c reading problem ... 0.77/0.41 c ... done. Wall clock time 0.288s. 0.77/0.41 c #vars 3945 0.77/0.41 c #constraints 8582 0.77/0.41 c constraints type 0.77/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 0.77/0.41 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 0.77/0.41 c constraints type 0.77/0.41 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 0.77/0.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 0.77/0.47 c And the winner is Resolution 1.07/0.92 c SATISFIABLE 1.07/0.92 c OPTIMIZING... 1.07/0.92 c Got one! Elapsed wall clock time (in seconds):0.802 1.07/0.92 o 70191 1.07/0.97 c And the winner is Resolution 1.59/1.45 c Got one! Elapsed wall clock time (in seconds):1.333 1.59/1.45 o 68889 1.59/1.47 c And the winner is Resolution 1.76/1.97 c Got one! Elapsed wall clock time (in seconds):1.85 1.76/1.97 o 67587 1.76/1.98 c And the winner is Resolution 1.93/2.48 c Got one! Elapsed wall clock time (in seconds):2.364 1.93/2.48 o 66285 1.93/2.49 c And the winner is Resolution 2.01/2.99 c Got one! Elapsed wall clock time (in seconds):2.874 2.01/2.99 o 64983 2.03/3.00 c And the winner is Resolution 2.06/3.50 c Got one! Elapsed wall clock time (in seconds):3.384 2.06/3.50 o 63681 4.91/4.86 c cleaning 2560 clauses out of 5130 with flag 5000/5130 7.83/6.28 c And the winner is CuttingPlanes 7.98/6.53 c Got one! Elapsed wall clock time (in seconds):6.412 7.98/6.53 o 62399 10.50/7.74 c cleaning 6545 clauses out of 13098 with flag 5000/15658 13.66/9.30 c cleaning 6273 clauses out of 12556 with flag 11003/21661 17.30/11.10 c cleaning 6636 clauses out of 13281 with flag 18001/28659 21.40/13.12 c cleaning 7320 clauses out of 14646 with flag 26002/36660 25.54/15.22 c cleaning 8159 clauses out of 16325 with flag 35001/45659 30.37/17.65 c cleaning 9075 clauses out of 18165 with flag 45000/55658 35.30/20.18 c cleaning 9538 clauses out of 19090 with flag 55000/65658 40.30/22.66 c cleaning 9768 clauses out of 19554 with flag 65002/75660 45.06/25.05 c cleaning 9886 clauses out of 19784 with flag 75000/85658 46.43/25.70 c And the winner is CuttingPlanes 46.44/26.11 c Got one! Elapsed wall clock time (in seconds):25.993 46.44/26.11 o 61271 46.44/26.19 c And the winner is CuttingPlanes 46.64/26.62 c Got one! Elapsed wall clock time (in seconds):26.502 46.64/26.62 o 61123 47.99/27.41 c cleaning 7921 clauses out of 15850 with flag 3000/91610 51.55/29.13 c cleaning 6955 clauses out of 13929 with flag 9000/97610 55.30/31.03 c cleaning 6986 clauses out of 13974 with flag 16000/104610 59.90/33.33 c cleaning 7489 clauses out of 14988 with flag 24000/112610 64.26/35.56 c cleaning 8248 clauses out of 16501 with flag 33002/121612 69.22/38.06 c cleaning 9118 clauses out of 18251 with flag 43000/131610 74.16/40.60 c cleaning 9565 clauses out of 19133 with flag 53000/141610 79.32/43.19 c cleaning 9775 clauses out of 19569 with flag 63001/151611 84.26/45.60 c cleaning 9888 clauses out of 19793 with flag 73000/161610 89.03/48.08 c cleaning 9947 clauses out of 19905 with flag 83000/171610 94.20/50.69 c cleaning 9973 clauses out of 19958 with flag 93000/181610 99.32/53.25 c cleaning 9978 clauses out of 19985 with flag 103000/191610 104.67/55.95 c cleaning 9994 clauses out of 20007 with flag 113000/201610 109.61/58.48 c cleaning 10001 clauses out of 20013 with flag 123000/211610 114.13/60.77 c cleaning 9992 clauses out of 20012 with flag 133000/221610 119.08/63.24 c cleaning 10007 clauses out of 20021 with flag 143001/231611 124.02/65.75 c cleaning 9992 clauses out of 20013 with flag 153000/241610 129.56/68.56 c cleaning 10001 clauses out of 20021 with flag 163000/251610 134.91/71.29 c cleaning 10006 clauses out of 20020 with flag 173000/261610 140.25/73.96 c cleaning 10000 clauses out of 20014 with flag 183000/271610 145.39/76.57 c cleaning 9993 clauses out of 20014 with flag 193000/281610 150.33/79.02 c cleaning 9993 clauses out of 20021 with flag 203000/291610 155.23/81.56 c cleaning 10008 clauses out of 20028 with flag 213000/301610 160.54/84.22 c cleaning 10001 clauses out of 20022 with flag 223002/311612 165.25/86.67 c cleaning 10004 clauses out of 20020 with flag 233001/321611 169.36/88.71 c cleaning 10003 clauses out of 20015 with flag 243000/331610 173.62/90.93 c cleaning 9997 clauses out of 20013 with flag 253001/341611 178.33/93.32 c cleaning 9999 clauses out of 20015 with flag 263000/351610 183.07/95.77 c cleaning 9995 clauses out of 20016 with flag 273000/361610 188.33/98.42 c cleaning 10003 clauses out of 20021 with flag 283000/371610 193.37/101.06 c cleaning 10008 clauses out of 20024 with flag 293006/381616 198.09/103.43 c cleaning 9999 clauses out of 20012 with flag 303002/391612 202.76/105.80 c cleaning 9993 clauses out of 20012 with flag 313001/401611 206.69/107.86 c cleaning 9996 clauses out of 20018 with flag 323000/411610 210.92/110.05 c cleaning 10004 clauses out of 20023 with flag 333001/421611 215.00/112.15 c cleaning 10003 clauses out of 20019 with flag 343001/431611 218.66/114.00 c And the winner is Resolution 218.84/114.29 c Got one! Elapsed wall clock time (in seconds):114.171 218.84/114.29 o 61109 219.86/114.88 c cleaning 12202 clauses out of 24422 with flag 5000/446017 221.34/115.69 c cleaning 9099 clauses out of 18220 with flag 11000/452017 223.37/116.74 c cleaning 8048 clauses out of 16122 with flag 18001/459018 225.45/117.86 c cleaning 8030 clauses out of 16073 with flag 26000/467017 227.94/119.12 c cleaning 8515 clauses out of 17044 with flag 35001/476018 230.83/120.64 c cleaning 9261 clauses out of 18529 with flag 45001/486018 235.89/123.23 c cleaning 9629 clauses out of 19267 with flag 55000/496017 241.14/125.98 c cleaning 9814 clauses out of 19640 with flag 65002/506019 244.82/127.85 c And the winner is CuttingPlanes 244.92/128.12 c Got one! Elapsed wall clock time (in seconds):128.004 244.92/128.12 o 59879 247.27/129.38 c cleaning 11138 clauses out of 22281 with flag 5000/518474 250.55/131.01 c cleaning 8568 clauses out of 17144 with flag 11001/524475 254.41/133.09 c cleaning 7782 clauses out of 15578 with flag 18003/531477 258.68/135.25 c cleaning 7891 clauses out of 15794 with flag 26001/539475 263.53/137.71 c cleaning 8443 clauses out of 16902 with flag 35000/548474 268.41/140.24 c cleaning 9222 clauses out of 18460 with flag 45001/558475 273.65/142.96 c cleaning 9614 clauses out of 19237 with flag 55000/568474 278.49/145.41 c cleaning 9800 clauses out of 19624 with flag 65001/578475 283.77/148.15 c cleaning 9909 clauses out of 19823 with flag 75000/588474 288.89/150.74 c cleaning 9955 clauses out of 19918 with flag 85004/598478 293.66/153.22 c cleaning 9973 clauses out of 19960 with flag 95001/608475 298.53/155.77 c cleaning 9986 clauses out of 19987 with flag 105001/618475 304.00/158.59 c cleaning 9991 clauses out of 20000 with flag 115000/628474 309.27/161.29 c cleaning 9992 clauses out of 20009 with flag 125000/638474 314.87/164.11 c cleaning 9999 clauses out of 20017 with flag 135000/648474 320.34/166.92 c cleaning 9996 clauses out of 20018 with flag 145000/658474 326.20/169.90 c cleaning 10000 clauses out of 20022 with flag 155000/668474 331.49/172.70 c cleaning 10000 clauses out of 20022 with flag 165000/678474 336.85/175.40 c cleaning 10009 clauses out of 20022 with flag 175000/688474 341.91/178.04 c cleaning 10003 clauses out of 20015 with flag 185002/698476 347.56/180.94 c cleaning 9994 clauses out of 20012 with flag 195002/708476 352.62/183.60 c cleaning 10004 clauses out of 20017 with flag 205001/718475 358.01/186.38 c cleaning 9998 clauses out of 20012 with flag 215000/728474 363.50/189.22 c cleaning 10000 clauses out of 20016 with flag 225002/738476 368.73/191.80 c cleaning 9997 clauses out of 20014 with flag 235000/748474 373.18/194.14 c cleaning 10003 clauses out of 20017 with flag 245000/758474 377.75/196.56 c cleaning 9998 clauses out of 20014 with flag 255000/768474 382.85/199.13 c cleaning 10007 clauses out of 20018 with flag 265002/778476 387.65/201.65 c cleaning 10001 clauses out of 20011 with flag 275002/788476 392.69/204.27 c cleaning 9997 clauses out of 20008 with flag 285000/798474 398.25/207.12 c cleaning 9999 clauses out of 20011 with flag 295000/808474 403.68/209.94 c cleaning 9995 clauses out of 20012 with flag 305000/818474 408.92/212.64 c cleaning 9989 clauses out of 20018 with flag 315001/828475 413.56/215.01 c cleaning 10009 clauses out of 20028 with flag 325000/838474 418.11/217.45 c cleaning 10003 clauses out of 20019 with flag 335000/848474 422.55/219.80 c cleaning 10000 clauses out of 20016 with flag 345000/858474 426.37/221.70 c cleaning 10001 clauses out of 20016 with flag 355000/868474 430.61/223.97 c cleaning 10001 clauses out of 20016 with flag 365001/878475 435.14/226.30 c cleaning 9996 clauses out of 20014 with flag 375000/888474 440.16/228.96 c cleaning 10001 clauses out of 20018 with flag 385000/898474 445.38/231.63 c cleaning 10002 clauses out of 20018 with flag 395001/908475 450.20/234.19 c cleaning 10001 clauses out of 20015 with flag 405000/918474 455.93/237.13 c cleaning 10005 clauses out of 20015 with flag 415001/928475 461.17/239.89 c cleaning 9994 clauses out of 20009 with flag 425000/938474 466.73/242.71 c cleaning 9994 clauses out of 20015 with flag 435000/948474 471.93/245.46 c cleaning 10002 clauses out of 20021 with flag 445000/958474 477.02/248.11 c cleaning 10001 clauses out of 20020 with flag 455001/968475 481.61/250.56 c cleaning 10000 clauses out of 20018 with flag 465000/978474 486.23/253.00 c cleaning 9996 clauses out of 20018 with flag 475000/988474 490.43/255.21 c cleaning 10007 clauses out of 20023 with flag 485001/998475 495.68/257.95 c cleaning 9999 clauses out of 20015 with flag 495000/1008474 501.25/260.82 c cleaning 10004 clauses out of 20017 with flag 505001/1018475 506.83/263.77 c cleaning 9997 clauses out of 20012 with flag 515000/1028474 511.81/266.39 c cleaning 10000 clauses out of 20015 with flag 525000/1038474 515.88/268.55 c cleaning 9999 clauses out of 20015 with flag 535000/1048474 519.70/270.61 c cleaning 9998 clauses out of 20016 with flag 545000/1058474 523.88/272.77 c cleaning 9998 clauses out of 20018 with flag 555000/1068474 527.83/274.88 c cleaning 10005 clauses out of 20020 with flag 565000/1078474 532.12/277.15 c cleaning 10001 clauses out of 20015 with flag 575000/1088474 536.30/279.35 c cleaning 9999 clauses out of 20015 with flag 585001/1098475 541.05/281.85 c cleaning 10005 clauses out of 20016 with flag 595001/1108475 546.23/284.50 c cleaning 10003 clauses out of 20010 with flag 605000/1118474 551.13/287.14 c cleaning 9986 clauses out of 20007 with flag 615000/1128474 556.86/290.19 c cleaning 10005 clauses out of 20022 with flag 625001/1138475 561.84/292.78 c cleaning 9995 clauses out of 20016 with flag 635000/1148474 567.21/295.55 c cleaning 10001 clauses out of 20021 with flag 645000/1158474 571.90/298.07 c cleaning 10005 clauses out of 20022 with flag 655002/1168476 576.27/300.38 c cleaning 9995 clauses out of 20017 with flag 665002/1178476 581.20/302.92 c cleaning 10005 clauses out of 20020 with flag 675000/1188474 584.97/304.91 c cleaning 9997 clauses out of 20015 with flag 685000/1198474 588.66/306.99 c cleaning 10001 clauses out of 20018 with flag 695000/1208474 592.39/308.93 c cleaning 10003 clauses out of 20018 with flag 705001/1218475 595.95/310.87 c cleaning 9996 clauses out of 20014 with flag 715000/1228474 601.15/313.53 c cleaning 10003 clauses out of 20019 with flag 725001/1238475 607.19/316.79 c cleaning 9990 clauses out of 20015 with flag 735000/1248474 613.56/320.06 c cleaning 10001 clauses out of 20026 with flag 745001/1258475 620.28/323.51 c cleaning 10004 clauses out of 20025 with flag 755001/1268475 626.28/326.62 c cleaning 9998 clauses out of 20020 with flag 765000/1278474 632.29/329.88 c cleaning 10001 clauses out of 20023 with flag 775001/1288475 638.25/332.91 c cleaning 10007 clauses out of 20022 with flag 785001/1298475 642.61/335.20 c cleaning 10006 clauses out of 20015 with flag 795001/1308475 646.57/337.38 c cleaning 9999 clauses out of 20011 with flag 805003/1318477 650.81/339.64 c cleaning 9999 clauses out of 20009 with flag 815000/1328474 654.96/341.81 c cleaning 9999 clauses out of 20011 with flag 825001/1338475 659.11/344.02 c cleaning 10003 clauses out of 20011 with flag 835000/1348474 663.27/346.24 c cleaning 9998 clauses out of 20008 with flag 845000/1358474 667.50/348.59 c cleaning 9997 clauses out of 20011 with flag 855001/1368475 671.88/350.83 c cleaning 9998 clauses out of 20015 with flag 865002/1378476 676.23/353.12 c cleaning 10001 clauses out of 20015 with flag 875000/1388474 680.54/355.47 c cleaning 10000 clauses out of 20014 with flag 885000/1398474 685.95/358.39 c cleaning 10001 clauses out of 20014 with flag 895000/1408474 691.30/361.12 c cleaning 10001 clauses out of 20013 with flag 905000/1418474 697.45/364.32 c cleaning 9990 clauses out of 20013 with flag 915001/1428475 703.42/367.43 c cleaning 10007 clauses out of 20023 with flag 925001/1438475 708.79/370.34 c cleaning 9998 clauses out of 20015 with flag 935000/1448474 713.55/372.83 c cleaning 9998 clauses out of 20017 with flag 945000/1458474 717.47/374.97 c cleaning 10001 clauses out of 20020 with flag 955001/1468475 721.60/377.22 c cleaning 10002 clauses out of 20020 with flag 965002/1478476 726.04/379.56 c cleaning 10001 clauses out of 20017 with flag 975001/1488475 730.51/381.95 c cleaning 9999 clauses out of 20015 with flag 985000/1498474 735.41/384.57 c cleaning 9995 clauses out of 20016 with flag 995000/1508474 740.35/387.14 c cleaning 10003 clauses out of 20021 with flag 1005000/1518474 745.47/389.95 c cleaning 10002 clauses out of 20019 with flag 1015001/1528475 750.17/392.41 c cleaning 9999 clauses out of 20016 with flag 1025000/1538474 754.91/394.98 c cleaning 10007 clauses out of 20020 with flag 1035003/1548477 760.17/397.76 c cleaning 9995 clauses out of 20010 with flag 1045000/1558474 765.15/400.43 c cleaning 10000 clauses out of 20015 with flag 1055000/1568474 770.01/403.02 c cleaning 10001 clauses out of 20016 with flag 1065001/1578475 774.90/405.65 c cleaning 9997 clauses out of 20014 with flag 1075000/1588474 779.19/407.96 c cleaning 9999 clauses out of 20017 with flag 1085000/1598474 782.92/410.05 c cleaning 10003 clauses out of 20019 with flag 1095001/1608475 786.43/411.99 c cleaning 9999 clauses out of 20016 with flag 1105001/1618475 790.34/414.09 c cleaning 10001 clauses out of 20016 with flag 1115000/1628474 794.26/416.15 c cleaning 10002 clauses out of 20015 with flag 1125000/1638474 798.23/418.35 c cleaning 10000 clauses out of 20014 with flag 1135001/1648475 802.15/420.47 c cleaning 9998 clauses out of 20015 with flag 1145002/1658476 806.06/422.57 c cleaning 9999 clauses out of 20015 with flag 1155000/1668474 810.01/424.62 c cleaning 9999 clauses out of 20016 with flag 1165000/1678474 814.30/427.04 c cleaning 10000 clauses out of 20018 with flag 1175001/1688475 818.82/429.49 c cleaning 10005 clauses out of 20019 with flag 1185002/1698476 823.72/432.09 c cleaning 9996 clauses out of 20013 with flag 1195001/1708475 829.23/434.92 c cleaning 9999 clauses out of 20016 with flag 1205000/1718474 834.42/437.81 c cleaning 10001 clauses out of 20017 with flag 1215000/1728474 839.49/440.49 c cleaning 9998 clauses out of 20016 with flag 1225000/1738474 844.60/443.19 c cleaning 10002 clauses out of 20020 with flag 1235002/1748476 849.69/445.88 c cleaning 10001 clauses out of 20017 with flag 1245001/1758475 855.04/448.79 c cleaning 9995 clauses out of 20015 with flag 1255000/1768474 860.10/451.49 c cleaning 10007 clauses out of 20021 with flag 1265001/1778475 865.40/454.31 c cleaning 9997 clauses out of 20014 with flag 1275001/1788475 870.83/457.13 c cleaning 9996 clauses out of 20017 with flag 1285001/1798475 876.73/460.32 c cleaning 9990 clauses out of 20021 with flag 1295001/1808475 882.17/463.27 c cleaning 10003 clauses out of 20030 with flag 1305000/1818474 887.63/466.15 c cleaning 10001 clauses out of 20027 with flag 1315000/1828474 893.26/469.13 c cleaning 10001 clauses out of 20027 with flag 1325001/1838475 898.92/472.28 c cleaning 10007 clauses out of 20025 with flag 1335000/1848474 904.15/475.09 c cleaning 9998 clauses out of 20019 with flag 1345001/1858475 909.78/478.06 c cleaning 10001 clauses out of 20020 with flag 1355000/1868474 915.40/481.06 c cleaning 10001 clauses out of 20021 with flag 1365002/1878476 921.23/484.26 c cleaning 10000 clauses out of 20018 with flag 1375000/1888474 926.46/487.09 c cleaning 10001 clauses out of 20018 with flag 1385000/1898474 930.91/489.51 c cleaning 9999 clauses out of 20018 with flag 1395001/1908475 935.50/491.93 c cleaning 10002 clauses out of 20018 with flag 1405000/1918474 940.13/494.52 c cleaning 9995 clauses out of 20016 with flag 1415000/1928474 944.98/497.20 c cleaning 10003 clauses out of 20021 with flag 1425000/1938474 950.17/499.95 c cleaning 10000 clauses out of 20018 with flag 1435000/1948474 955.42/502.77 c cleaning 9996 clauses out of 20018 with flag 1445000/1958474 960.80/505.78 c cleaning 9997 clauses out of 20022 with flag 1455000/1968474 965.45/508.26 c cleaning 10008 clauses out of 20025 with flag 1465000/1978474 970.42/510.96 c cleaning 10002 clauses out of 20017 with flag 1475000/1988474 975.24/513.54 c cleaning 9997 clauses out of 20015 with flag 1485000/1998474 980.45/516.42 c cleaning 10005 clauses out of 20018 with flag 1495000/2008474 985.05/518.97 c cleaning 10000 clauses out of 20013 with flag 1505000/2018474 989.68/521.49 c cleaning 9999 clauses out of 20014 with flag 1515001/2028475 994.45/524.07 c cleaning 9999 clauses out of 20014 with flag 1525000/2038474 999.85/527.02 c cleaning 10005 clauses out of 20017 with flag 1535002/2048476 1004.85/529.71 c cleaning 9992 clauses out of 20010 with flag 1545000/2058474 1010.05/532.54 c cleaning 10001 clauses out of 20018 with flag 1555000/2068474 1015.04/535.26 c cleaning 9998 clauses out of 20017 with flag 1565000/2078474 1020.43/538.21 c cleaning 10002 clauses out of 20019 with flag 1575000/2088474 1025.85/541.12 c cleaning 9994 clauses out of 20017 with flag 1585000/2098474 1031.01/543.95 c cleaning 10001 clauses out of 20023 with flag 1595000/2108474 1036.24/546.79 c cleaning 9994 clauses out of 20022 with flag 1605000/2118474 1041.78/549.89 c cleaning 9996 clauses out of 20028 with flag 1615000/2128474 1047.17/552.71 c cleaning 10009 clauses out of 20032 with flag 1625000/2138474 1052.55/555.69 c cleaning 10007 clauses out of 20023 with flag 1635000/2148474 1057.93/558.52 c cleaning 9996 clauses out of 20016 with flag 1645000/2158474 1063.33/561.57 c cleaning 10000 clauses out of 20020 with flag 1655000/2168474 1068.92/564.57 c cleaning 10003 clauses out of 20020 with flag 1665000/2178474 1074.30/567.43 c cleaning 10002 clauses out of 20017 with flag 1675000/2188474 1079.68/570.32 c cleaning 10001 clauses out of 20016 with flag 1685001/2198475 1085.44/573.54 c cleaning 10003 clauses out of 20018 with flag 1695004/2208478 1090.86/576.49 c cleaning 9997 clauses out of 20011 with flag 1705000/2218474 1096.59/579.51 c cleaning 10001 clauses out of 20015 with flag 1715001/2228475 1101.56/582.29 c cleaning 9997 clauses out of 20013 with flag 1725000/2238474 1107.31/585.43 c cleaning 10001 clauses out of 20016 with flag 1735000/2248474 1112.48/588.28 c cleaning 10001 clauses out of 20015 with flag 1745000/2258474 1118.04/591.21 c cleaning 9997 clauses out of 20014 with flag 1755000/2268474 1123.40/594.15 c cleaning 9997 clauses out of 20019 with flag 1765002/2278476 1128.77/597.12 c cleaning 10006 clauses out of 20021 with flag 1775001/2288475 1133.93/599.97 c cleaning 10002 clauses out of 20015 with flag 1785001/2298475 1138.89/602.71 c cleaning 9997 clauses out of 20012 with flag 1795000/2308474 1144.05/605.45 c cleaning 9997 clauses out of 20016 with flag 1805001/2318475 1149.38/608.48 c cleaning 10003 clauses out of 20018 with flag 1815000/2328474 1150.54/609.31 c And the winner is CuttingPlanes 1150.77/609.45 c Got one! Elapsed wall clock time (in seconds):609.338 1150.77/609.45 o 59687 1152.45/610.41 c cleaning 7713 clauses out of 15442 with flag 4000/2333901 1155.99/612.33 c cleaning 6853 clauses out of 13729 with flag 10000/2339901 1159.94/614.53 c cleaning 6933 clauses out of 13876 with flag 17000/2346901 1164.66/617.26 c cleaning 7466 clauses out of 14944 with flag 25001/2354902 1170.05/620.10 c cleaning 8227 clauses out of 16477 with flag 34000/2363901 1175.43/623.03 c cleaning 9123 clauses out of 18251 with flag 44001/2373902 1180.65/625.87 c cleaning 9555 clauses out of 19127 with flag 54000/2383901 1186.58/629.21 c cleaning 9778 clauses out of 19572 with flag 64000/2393901 1192.49/632.32 c cleaning 9888 clauses out of 19794 with flag 74000/2403901 1197.84/635.25 c cleaning 9948 clauses out of 19906 with flag 84000/2413901 1203.39/638.29 c cleaning 9975 clauses out of 19958 with flag 94000/2423901 1209.50/641.67 c cleaning 9987 clauses out of 19983 with flag 104000/2433901 1215.64/644.93 c cleaning 9998 clauses out of 19999 with flag 114003/2443904 1221.01/647.90 c cleaning 9988 clauses out of 19998 with flag 124000/2453901 1226.31/650.77 c cleaning 9994 clauses out of 20010 with flag 134000/2463901 1232.01/653.98 c cleaning 9995 clauses out of 20016 with flag 144000/2473901 1237.94/657.18 c cleaning 10006 clauses out of 20021 with flag 154000/2483901 1244.27/660.51 c cleaning 10005 clauses out of 20015 with flag 164000/2493901 1250.19/663.75 c cleaning 10002 clauses out of 20010 with flag 174000/2503901 1256.15/667.03 c cleaning 9989 clauses out of 20008 with flag 184000/2513901 1261.91/670.17 c cleaning 10004 clauses out of 20019 with flag 194000/2523901 1267.08/672.99 c cleaning 10003 clauses out of 20016 with flag 204001/2533902 1272.43/675.88 c cleaning 9996 clauses out of 20012 with flag 214000/2543901 1277.78/678.83 c cleaning 9995 clauses out of 20016 with flag 224000/2553901 1282.52/681.40 c cleaning 10006 clauses out of 20021 with flag 234000/2563901 1287.07/683.96 c cleaning 10003 clauses out of 20017 with flag 244002/2573903 1291.67/686.48 c cleaning 10001 clauses out of 20012 with flag 254000/2583901 1296.97/689.40 c cleaning 9996 clauses out of 20011 with flag 264000/2593901 1302.52/692.41 c cleaning 9994 clauses out of 20015 with flag 274000/2603901 1308.06/695.41 c cleaning 10008 clauses out of 20021 with flag 284000/2613901 1313.21/698.29 c cleaning 9998 clauses out of 20013 with flag 294000/2623901 1318.92/701.46 c cleaning 9997 clauses out of 20015 with flag 304000/2633901 1325.07/704.73 c cleaning 10005 clauses out of 20018 with flag 314000/2643901 1329.85/707.38 c cleaning 10003 clauses out of 20013 with flag 324000/2653901 1334.35/709.87 c cleaning 9994 clauses out of 20010 with flag 334000/2663901 1339.19/712.70 c cleaning 9997 clauses out of 20016 with flag 344000/2673901 1343.67/715.15 c cleaning 10001 clauses out of 20019 with flag 354000/2683901 1348.16/717.66 c cleaning 9999 clauses out of 20019 with flag 364001/2693902 1352.87/720.22 c cleaning 10004 clauses out of 20020 with flag 374001/2703902 1357.90/723.11 c cleaning 9997 clauses out of 20015 with flag 384000/2713901 1362.78/725.86 c cleaning 10004 clauses out of 20020 with flag 394002/2723903 1368.64/729.04 c cleaning 10001 clauses out of 20015 with flag 404001/2733902 1374.92/732.43 c cleaning 9998 clauses out of 20014 with flag 414001/2743902 1381.32/736.02 c cleaning 9990 clauses out of 20015 with flag 424000/2753901 1386.99/739.18 c cleaning 10006 clauses out of 20025 with flag 434000/2763901 1392.62/742.20 c cleaning 10001 clauses out of 20019 with flag 444000/2773901 1396.89/744.68 c cleaning 10005 clauses out of 20018 with flag 454000/2783901 1401.65/747.46 c cleaning 9998 clauses out of 20015 with flag 464002/2793903 1406.10/749.95 c cleaning 10000 clauses out of 20015 with flag 474000/2803901 1410.95/752.67 c cleaning 10001 clauses out of 20015 with flag 484000/2813901 1416.79/755.89 c cleaning 9999 clauses out of 20016 with flag 494002/2823903 1423.16/759.47 c cleaning 9998 clauses out of 20015 with flag 504000/2833901 1429.20/762.76 c cleaning 9997 clauses out of 20017 with flag 514000/2843901 1434.64/765.78 c cleaning 10006 clauses out of 20020 with flag 524000/2853901 1439.66/768.56 c cleaning 9993 clauses out of 20014 with flag 534000/2863901 1445.02/771.61 c cleaning 10003 clauses out of 20021 with flag 544000/2873901 1450.24/774.52 c cleaning 10004 clauses out of 20018 with flag 554000/2883901 1455.48/777.49 c cleaning 10000 clauses out of 20014 with flag 564000/2893901 1461.12/780.53 c cleaning 10000 clauses out of 20014 with flag 574000/2903901 1466.54/783.67 c cleaning 9992 clauses out of 20014 with flag 584000/2913901 1471.98/786.61 c cleaning 9996 clauses out of 20022 with flag 594000/2923901 1477.06/789.49 c cleaning 10004 clauses out of 20028 with flag 604002/2933903 1482.89/792.61 c cleaning 10007 clauses out of 20022 with flag 614000/2943901 1489.31/796.28 c cleaning 9984 clauses out of 20015 with flag 624000/2953901 1494.99/799.34 c cleaning 10005 clauses out of 20032 with flag 634001/2963902 1500.47/802.32 c cleaning 10009 clauses out of 20028 with flag 644002/2973903 1505.95/805.34 c cleaning 10003 clauses out of 20017 with flag 654000/2983901 1511.97/808.79 c cleaning 9998 clauses out of 20015 with flag 664001/2993902 1517.85/811.96 c cleaning 9989 clauses out of 20016 with flag 674000/3003901 1522.33/814.49 c cleaning 10006 clauses out of 20027 with flag 684000/3013901 1526.61/816.86 c cleaning 10000 clauses out of 20021 with flag 694000/3023901 1531.42/819.63 c cleaning 10006 clauses out of 20021 with flag 704000/3033901 1535.90/822.11 c cleaning 10001 clauses out of 20015 with flag 714000/3043901 1540.57/824.70 c cleaning 9997 clauses out of 20014 with flag 724000/3053901 1545.64/827.59 c cleaning 9996 clauses out of 20017 with flag 734000/3063901 1551.58/830.92 c cleaning 9993 clauses out of 20021 with flag 744000/3073901 1557.05/833.91 c cleaning 10006 clauses out of 20028 with flag 754000/3083901 1562.32/836.85 c cleaning 9997 clauses out of 20022 with flag 764000/3093901 1567.78/839.86 c cleaning 10005 clauses out of 20025 with flag 774000/3103901 1573.91/843.35 c cleaning 10000 clauses out of 20020 with flag 784000/3113901 1580.32/846.86 c cleaning 10002 clauses out of 20020 with flag 794000/3123901 1587.13/850.51 c cleaning 10002 clauses out of 20018 with flag 804000/3133901 1593.16/853.90 c cleaning 10006 clauses out of 20017 with flag 814001/3143902 1599.37/857.33 c cleaning 9992 clauses out of 20010 with flag 824000/3153901 1605.25/860.54 c cleaning 9997 clauses out of 20020 with flag 834002/3163903 1611.52/863.92 c cleaning 9999 clauses out of 20021 with flag 844000/3173901 1617.58/867.20 c cleaning 9999 clauses out of 20022 with flag 854000/3183901 1623.60/870.70 c cleaning 9998 clauses out of 20023 with flag 864000/3193901 1629.66/873.99 c cleaning 10002 clauses out of 20025 with flag 874000/3203901 1635.52/877.12 c cleaning 10006 clauses out of 20023 with flag 884000/3213901 1641.18/880.28 c cleaning 10006 clauses out of 20018 with flag 894001/3223902 1647.18/883.64 c cleaning 10000 clauses out of 20011 with flag 904000/3233901 1652.67/886.66 c cleaning 9998 clauses out of 20012 with flag 914001/3243902 1658.29/889.75 c cleaning 9997 clauses out of 20013 with flag 924000/3253901 1663.75/892.71 c cleaning 10000 clauses out of 20017 with flag 934001/3263902 1668.74/895.69 c cleaning 10004 clauses out of 20017 with flag 944001/3273902 1673.18/898.18 c cleaning 9999 clauses out of 20013 with flag 954001/3283902 1677.83/900.74 c cleaning 9999 clauses out of 20013 with flag 964000/3293901 1682.48/903.36 c cleaning 10005 clauses out of 20016 with flag 974002/3303903 1689.07/907.01 c cleaning 9998 clauses out of 20009 with flag 984000/3313901 1694.92/910.22 c cleaning 9996 clauses out of 20012 with flag 994001/3323902 1701.17/913.68 c cleaning 9999 clauses out of 20017 with flag 1004002/3333903 1707.22/916.93 c cleaning 9996 clauses out of 20016 with flag 1014000/3343901 1712.40/919.98 c cleaning 9998 clauses out of 20020 with flag 1024000/3353901 1718.05/923.00 c cleaning 9995 clauses out of 20022 with flag 1034000/3363901 1723.32/925.98 c cleaning 10000 clauses out of 20027 with flag 1044000/3373901 1728.98/929.03 c cleaning 10008 clauses out of 20028 with flag 1054001/3383902 1734.77/932.39 c cleaning 9991 clauses out of 20019 with flag 1064000/3393901 1740.41/935.47 c cleaning 10007 clauses out of 20028 with flag 1074000/3403901 1745.49/938.32 c cleaning 10004 clauses out of 20021 with flag 1084000/3413901 1750.51/941.00 c cleaning 10001 clauses out of 20017 with flag 1094000/3423901 1755.85/944.14 c cleaning 10001 clauses out of 20016 with flag 1104000/3433901 1760.84/946.98 c cleaning 9999 clauses out of 20015 with flag 1114000/3443901 1765.83/949.72 c cleaning 9999 clauses out of 20016 with flag 1124000/3453901 1770.48/952.34 c cleaning 10005 clauses out of 20018 with flag 1134001/3463902 1775.45/955.29 c cleaning 9997 clauses out of 20012 with flag 1144000/3473901 1780.53/958.09 c cleaning 10001 clauses out of 20015 with flag 1154000/3483901 1785.51/960.87 c cleaning 9999 clauses out of 20015 with flag 1164001/3493902 1790.38/963.53 c cleaning 9993 clauses out of 20015 with flag 1174000/3503901 1795.13/966.33 c cleaning 10008 clauses out of 20024 with flag 1184002/3513903 1799.37/968.75 c cleaning 10002 clauses out of 20016 with flag 1194002/3523903 1800.06/969.33 c starts : 24 1800.06/969.33 c conflicts : 2006 1800.06/969.33 c decisions : 60003 1800.06/969.33 c propagations : 815161 1800.06/969.33 c inspects : 37569467 1800.06/969.33 c shortcuts : 0 1800.06/969.33 c learnt literals : 0 1800.06/969.33 c learnt binary clauses : 0 1800.06/969.33 c learnt ternary clauses : 0 1800.06/969.33 c learnt constraints : 2004 1800.06/969.33 c ignored constraints : 0 1800.06/969.33 c root simplifications : 0 1800.06/969.33 c removed literals (reason simplification) : 0 1800.06/969.33 c reason swapping (by a shorter reason) : 0 1800.06/969.33 c Calls to reduceDB : 0 1800.06/969.33 c number of reductions to clauses (during analyze) : 0 1800.06/969.33 c number of learned constraints concerned by reduction : 0 1800.06/969.33 c number of learning phase by resolution : 0 1800.06/969.33 c number of learning phase by cutting planes : 0 1800.06/969.33 c speed (assignments/second) : 2265.14149475369 1800.06/969.33 c non guided choices 0 1800.06/969.33 c learnt constraints type 1800.06/969.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 5 1800.06/969.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1999 1800.06/969.33 c constraints type 1800.06/969.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1800.06/969.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 1800.06/969.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.06/969.33 c constraints type 1800.06/969.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 1800.06/969.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 1800.06/969.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.06/969.33 s SATISFIABLE 1800.06/969.34 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 1800.06/969.35 c objective function=59687 1800.06/969.35 c Total wall clock time (in seconds): 969.237
OK 59687
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454162-1307193971/watcher-3454162-1307193971 -o /tmp/evaluation-result-3454162-1307193971/solver-3454162-1307193971 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454162-1307193971.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.84 3.88 3.49 2/524 22618 /proc/meminfo: memFree=24858504/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 5332 0 1 0 0 0 0 0 22 0 2 0 909627791 10694979584 5034 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2611079 5046 917 9 0 2602235 0 [pid=22618/tid=22619] ppid=22616 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) R 22616 22618 18760 0 -1 4202560 5925 0 1 0 0 0 0 0 24 0 2 0 909627792 10694979584 6741 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0785979 s] /proc/loadavg: 3.84 3.88 3.49 2/524 22618 /proc/meminfo: memFree=24858504/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10473088 CPUtime=0.06 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 11946 0 1 0 5 1 0 0 22 0 18 0 909627791 10724442112 11643 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2618272 11644 1755 9 0 2609006 0 [pid=22618/tid=22619] ppid=22616 vsize=10473088 CPUtime=0.06 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) R 22616 22618 18760 0 -1 4202560 10772 0 1 0 5 1 0 0 22 0 18 0 909627792 10724442112 11644 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.104621 s] /proc/loadavg: 3.84 3.88 3.49 2/524 22618 /proc/meminfo: memFree=24858504/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10540096 CPUtime=0.1 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 13044 0 1 0 9 1 0 0 22 0 18 0 909627791 10793058304 12741 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2635024 12742 2092 9 0 2625758 0 [pid=22618/tid=22619] ppid=22616 vsize=10540096 CPUtime=0.08 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) R 22616 22618 18760 0 -1 4202560 11154 0 1 0 7 1 0 0 22 0 18 0 909627792 10793058304 12742 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 47700271756035 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540096 [startup+0.306581 s] /proc/loadavg: 3.84 3.88 3.49 2/524 22618 /proc/meminfo: memFree=24858504/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10541784 CPUtime=0.51 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 16625 0 1 0 49 2 0 0 22 0 18 0 909627791 10794786816 15724 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2635446 15725 2200 9 0 2626180 0 [pid=22618/tid=22619] ppid=22616 vsize=10541784 CPUtime=0.27 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) R 22616 22618 18760 0 -1 4202560 13332 0 1 0 26 1 0 0 18 0 18 0 909627792 10794786816 15726 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10541784 [startup+0.700533 s] /proc/loadavg: 3.84 3.88 3.49 2/524 22618 /proc/meminfo: memFree=24858504/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10551056 CPUtime=1.07 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 23907 0 1 0 103 4 0 0 22 0 19 0 909627791 10804281344 21838 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637764 21838 2235 9 0 2628498 0 [pid=22618/tid=22619] ppid=22616 vsize=10551056 CPUtime=0.38 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 17038 0 1 0 36 2 0 0 19 0 19 0 909627792 10804281344 21838 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 10551056 [startup+1.50131 s] /proc/loadavg: 3.84 3.88 3.49 6/565 22670 /proc/meminfo: memFree=24571376/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10551160 CPUtime=1.74 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 25345 0 1 0 170 4 0 0 22 0 20 0 909627791 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637790 23086 2238 9 0 2628524 0 [pid=22618/tid=22619] ppid=22616 vsize=10551160 CPUtime=0.42 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 17534 0 1 0 40 2 0 0 16 0 20 0 909627792 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909627793 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) S 22616 22618 18760 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 909627794 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 0 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 909627795 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909627795 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909627797 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10551160 CPUtime=0.45 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 2232 0 0 0 45 0 0 0 15 0 20 0 909627797 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10551160 CPUtime=0.47 cores=0,2,4,6 /proc/22618/task/22640/stat : 22640 (java) S 22616 22618 18760 0 -1 4202560 3571 0 0 0 46 1 0 0 16 0 20 0 909627797 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22641] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22641/stat : 22641 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 909627797 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22642] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22642/stat : 22642 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909627797 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22662] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22662/stat : 22662 (java) S 22616 22618 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 909627835 10804387840 23086 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 10551160 [startup+3.10107 s] /proc/loadavg: 3.61 3.83 3.47 2/565 22679 /proc/meminfo: memFree=24547744/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10551160 CPUtime=2.05 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 26881 0 1 0 200 5 0 0 22 0 19 0 909627791 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637790 24622 2239 9 0 2628524 0 [pid=22618/tid=22619] ppid=22616 vsize=10551160 CPUtime=0.45 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 18211 0 1 0 42 3 0 0 17 0 19 0 909627792 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909627793 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) S 22616 22618 18760 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 909627794 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 0 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909627795 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909627795 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909627797 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10551160 CPUtime=0.52 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 2245 0 0 0 52 0 0 0 15 0 19 0 909627797 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10551160 CPUtime=0.55 cores=0,2,4,6 /proc/22618/task/22640/stat : 22640 (java) S 22616 22618 18760 0 -1 4202560 3579 0 0 0 54 1 0 0 15 0 19 0 909627797 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22641] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22641/stat : 22641 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909627797 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22642] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22642/stat : 22642 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909627797 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22662] ppid=22616 vsize=10551160 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22662/stat : 22662 (java) S 22616 22618 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909627835 10804387840 24622 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 10551160 heavy processes: [startup+6.30155 s] /proc/loadavg: 3.61 3.83 3.47 5/570 22692 /proc/meminfo: memFree=23797120/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10550288 CPUtime=7.98 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 310957 0 1 0 761 37 0 0 22 0 19 0 909627791 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637572 308340 2268 9 0 2628306 0 [pid=22618/tid=22619] ppid=22616 vsize=10550288 CPUtime=0.46 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 18438 0 1 0 43 3 0 0 15 0 19 0 909627792 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 494 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 471 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 605 0 0 0 0 0 0 0 18 0 19 0 909627793 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10550288 CPUtime=0.02 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) S 22616 22618 18760 0 -1 4202560 1829 0 0 0 2 0 0 0 15 0 19 0 909627794 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 0 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909627795 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909627795 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10550288 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909627797 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10550288 CPUtime=0.8 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 2273 0 0 0 80 0 0 0 15 0 19 0 909627797 10803494912 308340 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10550288 CPUtime=0.71 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=18467132/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10550872 CPUtime=1644.58 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 696029 0 1 0 164369 89 0 0 22 0 22 0 909627791 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637718 692223 2270 9 0 2628452 0 [pid=22618/tid=22619] ppid=22616 vsize=10550872 CPUtime=0.5 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 18580 0 1 0 47 3 0 0 15 0 22 0 909627792 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10550872 CPUtime=0.96 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1079 0 0 0 96 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10550872 CPUtime=0.86 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 836 0 0 0 86 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10550872 CPUtime=1.04 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1124 0 0 0 104 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10550872 CPUtime=0.98 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 269 0 0 0 98 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10550872 CPUtime=1.01 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1599 0 0 0 101 0 0 0 16 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10550872 CPUtime=0.93 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 982 0 0 0 93 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10550872 CPUtime=0.84 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 2002 0 0 0 84 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10550872 CPUtime=0.95 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 2206 0 0 0 95 0 0 0 15 0 22 0 909627793 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10550872 CPUtime=115.44 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) S 22616 22618 18760 0 -1 4202560 104991 0 0 0 11529 15 0 0 15 0 22 0 909627794 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 0 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909627795 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909627795 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909627797 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10550872 CPUtime=1.39 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 3212 0 0 0 139 0 0 0 15 0 22 0 909627797 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10550872 CPUtime=0.79 cores=0,2,4,6 /proc/22618/task/22640/stat : 22640 (java) S 22616 22618 18760 0 -1 4202560 3600 0 0 0 78 1 0 0 15 0 22 0 909627797 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22641] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22641/stat : 22641 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909627797 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22642] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22642/stat : 22642 (java) S 22616 22618 18760 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909627797 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22712] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22712/stat : 22712 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909639220 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22808] ppid=22616 vsize=10550872 CPUtime=218.86 cores=0,2,4,6 /proc/22618/task/22808/stat : 22808 (java) R 22616 22618 18760 0 -1 4202560 23 0 0 0 21886 0 0 0 19 0 22 0 909688737 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 46912506095058 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=22618/tid=22809] ppid=22616 vsize=10550872 CPUtime=218.87 cores=0,2,4,6 /proc/22618/task/22809/stat : 22809 (java) R 22616 22618 18760 0 -1 4202560 3 0 0 0 21887 0 0 0 19 0 22 0 909688737 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 46912505688710 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22618/tid=22810] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22810/stat : 22810 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909688737 10804092928 692223 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1644.58 Current children cumulated vsize (KiB) 10550872 [startup+942.302 s] /proc/loadavg: 3.98 3.87 3.67 4/570 22821 /proc/meminfo: memFree=18308120/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10550872 CPUtime=1752.25 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 733465 0 1 0 175132 93 0 0 22 0 22 0 909627791 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637718 729635 2270 9 0 2628452 0 [pid=22618/tid=22619] ppid=22616 vsize=10550872 CPUtime=0.5 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 18583 0 1 0 47 3 0 0 15 0 22 0 909627792 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10550872 CPUtime=1 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1079 0 0 0 100 0 0 0 16 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10550872 CPUtime=0.91 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 836 0 0 0 91 0 0 0 15 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10550872 CPUtime=1.06 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1124 0 0 0 106 0 0 0 15 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10550872 CPUtime=1.05 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 269 0 0 0 105 0 0 0 16 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10550872 CPUtime=1.09 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1599 0 0 0 109 0 0 0 16 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10550872 CPUtime=1.01 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 984 0 0 0 101 0 0 0 16 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10550872 CPUtime=0.92 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 2008 0 0 0 92 0 0 0 15 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10550872 CPUtime=1 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 2206 0 0 0 100 0 0 0 16 0 22 0 909627793 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10550872 CPUtime=127.94 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) S 22616 22618 18760 0 -1 4202560 106104 0 0 0 12779 15 0 0 16 0 22 0 909627794 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 0 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909627795 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909627795 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909627797 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10550872 CPUtime=1.39 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 3212 0 0 0 139 0 0 0 15 0 22 0 909627797 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10550872 CPUtime=0.79 cores=0,2,4,6 /proc/22618/task/22640/stat : 22640 (java) S 22616 22618 18760 0 -1 4202560 3600 0 0 0 78 1 0 0 15 0 22 0 909627797 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22641] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22641/stat : 22641 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909627797 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22642] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22642/stat : 22642 (java) S 22616 22618 18760 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909627797 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22712] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22712/stat : 22712 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909639220 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22808] ppid=22616 vsize=10550872 CPUtime=266.2 cores=0,2,4,6 /proc/22618/task/22808/stat : 22808 (java) R 22616 22618 18760 0 -1 4202560 71 0 0 0 26620 0 0 0 18 0 22 0 909688737 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 46912505852176 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=22618/tid=22809] ppid=22616 vsize=10550872 CPUtime=266.21 cores=0,2,4,6 /proc/22618/task/22809/stat : 22809 (java) R 22616 22618 18760 0 -1 4202560 36265 0 0 0 26618 3 0 0 18 0 22 0 909688737 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 46912505781514 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22618/tid=22810] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22810/stat : 22810 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909688737 10804092928 729635 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1752.25 Current children cumulated vsize (KiB) 10550872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+969.301 s] /proc/loadavg: 3.65 3.81 3.66 2/543 22842 /proc/meminfo: memFree=21936512/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=10550872 CPUtime=1800.06 cores=0,2,4,6 /proc/22618/stat : 22618 (java) S 22616 22618 18760 0 -1 4202496 734847 0 1 0 179912 94 0 0 22 0 22 0 909627791 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 2637718 731003 2270 9 0 2628452 0 [pid=22618/tid=22619] ppid=22616 vsize=10550872 CPUtime=0.5 cores=0,2,4,6 /proc/22618/task/22619/stat : 22619 (java) S 22616 22618 18760 0 -1 4202560 18587 0 1 0 47 3 0 0 15 0 22 0 909627792 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22621] ppid=22616 vsize=10550872 CPUtime=1.06 cores=0,2,4,6 /proc/22618/task/22621/stat : 22621 (java) S 22616 22618 18760 0 -1 4202560 1079 0 0 0 106 0 0 0 16 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22622] ppid=22616 vsize=10550872 CPUtime=0.93 cores=0,2,4,6 /proc/22618/task/22622/stat : 22622 (java) S 22616 22618 18760 0 -1 4202560 836 0 0 0 93 0 0 0 15 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22623] ppid=22616 vsize=10550872 CPUtime=1.1 cores=0,2,4,6 /proc/22618/task/22623/stat : 22623 (java) S 22616 22618 18760 0 -1 4202560 1128 0 0 0 110 0 0 0 16 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22624] ppid=22616 vsize=10550872 CPUtime=1.07 cores=0,2,4,6 /proc/22618/task/22624/stat : 22624 (java) S 22616 22618 18760 0 -1 4202560 272 0 0 0 107 0 0 0 15 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22625] ppid=22616 vsize=10550872 CPUtime=1.13 cores=0,2,4,6 /proc/22618/task/22625/stat : 22625 (java) S 22616 22618 18760 0 -1 4202560 1600 0 0 0 113 0 0 0 16 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22626] ppid=22616 vsize=10550872 CPUtime=1.04 cores=0,2,4,6 /proc/22618/task/22626/stat : 22626 (java) S 22616 22618 18760 0 -1 4202560 985 0 0 0 104 0 0 0 16 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22627] ppid=22616 vsize=10550872 CPUtime=0.96 cores=0,2,4,6 /proc/22618/task/22627/stat : 22627 (java) S 22616 22618 18760 0 -1 4202560 2008 0 0 0 96 0 0 0 15 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22628] ppid=22616 vsize=10550872 CPUtime=1.08 cores=0,2,4,6 /proc/22618/task/22628/stat : 22628 (java) S 22616 22618 18760 0 -1 4202560 2212 0 0 0 108 0 0 0 16 0 22 0 909627793 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22629] ppid=22616 vsize=10550872 CPUtime=134.3 cores=0,2,4,6 /proc/22618/task/22629/stat : 22629 (java) R 22616 22618 18760 0 -1 4202560 107459 0 0 0 13414 16 0 0 16 0 22 0 909627794 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 47700274995272 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=22618/tid=22630] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22630/stat : 22630 (java) S 22616 22618 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909627795 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 [pid=22618/tid=22631] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22631/stat : 22631 (java) S 22616 22618 18760 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909627795 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22638] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22638/stat : 22638 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909627797 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216747002289 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22639] ppid=22616 vsize=10550872 CPUtime=1.39 cores=0,2,4,6 /proc/22618/task/22639/stat : 22639 (java) S 22616 22618 18760 0 -1 4202560 3212 0 0 0 139 0 0 0 15 0 22 0 909627797 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22640] ppid=22616 vsize=10550872 CPUtime=0.79 cores=0,2,4,6 /proc/22618/task/22640/stat : 22640 (java) S 22616 22618 18760 0 -1 4202560 3600 0 0 0 78 1 0 0 15 0 22 0 909627797 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22641] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22641/stat : 22641 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909627797 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22642] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22642/stat : 22642 (java) S 22616 22618 18760 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 909627797 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 4 0 0 0 [pid=22618/tid=22712] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22712/stat : 22712 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909639220 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22808] ppid=22616 vsize=10550872 CPUtime=286.76 cores=0,2,4,6 /proc/22618/task/22808/stat : 22808 (java) S 22616 22618 18760 0 -1 4202560 77 0 0 0 28676 0 0 0 18 0 22 0 909688737 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 2 0 0 0 [pid=22618/tid=22809] ppid=22616 vsize=10550872 CPUtime=286.78 cores=0,2,4,6 /proc/22618/task/22809/stat : 22809 (java) S 22616 22618 18760 0 -1 4202560 36265 0 0 0 28674 4 0 0 17 0 22 0 909688737 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746994585 0 4 0 16800975 18446604447118478400 0 0 -1 0 0 0 0 [pid=22618/tid=22810] ppid=22616 vsize=10550872 CPUtime=0 cores=0,2,4,6 /proc/22618/task/22810/stat : 22810 (java) S 22616 22618 18760 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909688737 10804092928 731003 33554432000 1073741824 1073778376 140737315624080 18446744073709551615 216746995200 0 4 0 16800975 18446604447118478400 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10550872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+969.427 s] /proc/loadavg: 3.65 3.81 3.66 2/543 22842 /proc/meminfo: memFree=21936512/32951124 swapFree=56241860/67111528 [pid=22618] ppid=22616 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/22618/stat : 22618 (java) Z 22616 22618 18760 0 -1 4203548 735011 0 1 0 179922 101 0 0 17 0 2 0 909627791 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22618/statm: 0 0 0 0 0 0 0 [pid=22618/tid=22712] ppid=22616 vsize=0 CPUtime=0.06 cores=0,2,4,6 /proc/22618/task/22712/stat : 22712 (java) R 22616 22618 18760 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 909639220 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 969.497 CPU time (s): 1800.31 CPU user time (s): 1799.22 CPU system time (s): 1.08583 CPU usage (%): 185.695 Max. virtual memory (cumulated for all children) (KiB): 10552000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.08583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 735011 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33004 involuntary context switches= 22556 runsolver used 5.77912 second user time and 11.8632 second system time The end
Begin job on node119 at 2011-06-04 15:26:11 IDJOB=3454162 IDBENCH=25048 IDSOLVER=1950 FILE ID=node119/3454162-1307193971 RUNJOBID= node119-1307193971-22604 PBS_JOBID= 13508823 Free space on /tmp= 73664 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454162-1307193971/watcher-3454162-1307193971 -o /tmp/evaluation-result-3454162-1307193971/solver-3454162-1307193971 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454162-1307193971.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=1644996015 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24859404 kB Buffers: 252388 kB Cached: 646796 kB SwapCached: 59076 kB Active: 728272 kB Inactive: 7065744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24859404 kB SwapTotal: 67111528 kB SwapFree: 56241860 kB Dirty: 584 kB Writeback: 0 kB AnonPages: 6839464 kB Mapped: 32868 kB Slab: 149876 kB PageTables: 79416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 163860972 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73660 MiB End job on node119 at 2011-06-04 15:42:23