Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.3 | 959.791 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 6.03108 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 63 |
Number of terms in the objective function | 2273 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2273 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2273 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454096-1307193446.opb 0.10/0.11 c reading problem ... 0.80/0.44 c ... done. Wall clock time 0.333s. 0.80/0.44 c #vars 4666 0.80/0.44 c #constraints 12693 0.80/0.44 c constraints type 0.80/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2402 0.80/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10127 0.80/0.44 c constraints type 0.80/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10127 0.80/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2402 1.14/0.53 c And the winner is CuttingPlanes 1.29/0.96 c SATISFIABLE 1.29/0.96 c OPTIMIZING... 1.29/0.96 c Got one! Elapsed wall clock time (in seconds):0.847 1.29/0.96 o 38 1.29/0.99 c And the winner is CuttingPlanes 1.61/1.48 c Got one! Elapsed wall clock time (in seconds):1.365 1.61/1.48 o 37 1.67/1.56 c And the winner is Resolution 2.45/2.00 c Got one! Elapsed wall clock time (in seconds):1.889 2.45/2.00 o 36 2.45/2.06 c And the winner is Resolution 2.73/2.51 c Got one! Elapsed wall clock time (in seconds):2.403 2.73/2.51 o 34 2.73/2.57 c And the winner is Resolution 2.92/3.03 c Got one! Elapsed wall clock time (in seconds):2.917 2.92/3.03 o 33 3.21/3.14 c And the winner is Resolution 3.28/3.54 c Got one! Elapsed wall clock time (in seconds):3.427 3.28/3.54 o 32 3.69/3.77 c And the winner is Resolution 3.97/4.05 c Got one! Elapsed wall clock time (in seconds):3.936 3.97/4.05 o 31 6.53/5.41 c And the winner is Resolution 6.92/5.61 c Got one! Elapsed wall clock time (in seconds):5.502 6.92/5.61 o 30 7.49/5.94 c cleaning 3281 clauses out of 6570 with flag 1000/6570 11.16/7.72 c cleaning 4641 clauses out of 9291 with flag 7002/12572 14.93/9.64 c cleaning 5819 clauses out of 11648 with flag 14000/19570 19.12/11.77 c cleaning 6906 clauses out of 13829 with flag 22000/27570 24.54/14.46 c cleaning 7955 clauses out of 15923 with flag 31000/36570 30.31/17.37 c cleaning 8980 clauses out of 17968 with flag 41000/46570 36.49/20.44 c cleaning 9988 clauses out of 19988 with flag 52000/57570 43.46/23.95 c cleaning 10996 clauses out of 22001 with flag 64001/69571 51.81/28.13 c cleaning 11994 clauses out of 24004 with flag 77000/82570 58.78/31.65 c cleaning 12503 clauses out of 25012 with flag 90002/95572 65.98/35.24 c cleaning 12746 clauses out of 25507 with flag 103000/108570 72.90/38.78 c cleaning 12879 clauses out of 25762 with flag 116001/121571 79.44/42.03 c cleaning 12939 clauses out of 25884 with flag 129002/134572 86.59/45.62 c cleaning 12963 clauses out of 25943 with flag 142000/147570 93.72/49.20 c cleaning 12986 clauses out of 25981 with flag 155001/160571 100.25/52.57 c And the winner is Resolution 100.54/52.81 c Got one! Elapsed wall clock time (in seconds):52.695 100.54/52.81 o 29 102.99/54.06 c cleaning 15260 clauses out of 30532 with flag 5002/178108 106.08/55.68 c cleaning 10621 clauses out of 21270 with flag 11000/184106 109.61/57.48 c cleaning 8819 clauses out of 17649 with flag 18000/191106 114.54/59.95 c cleaning 8412 clauses out of 16830 with flag 26000/199106 119.05/62.29 c cleaning 8701 clauses out of 17418 with flag 35000/208106 124.73/65.15 c cleaning 9356 clauses out of 18720 with flag 45003/218109 131.04/68.30 c cleaning 10174 clauses out of 20364 with flag 56003/229109 137.39/71.55 c cleaning 11089 clauses out of 22188 with flag 68001/241107 144.26/75.04 c cleaning 12040 clauses out of 24098 with flag 81000/254106 151.32/78.63 c cleaning 12522 clauses out of 25058 with flag 94000/267106 158.02/82.05 c cleaning 12760 clauses out of 25536 with flag 107000/280106 164.51/85.31 c cleaning 12884 clauses out of 25778 with flag 120002/293108 170.99/88.60 c cleaning 12934 clauses out of 25892 with flag 133000/306106 177.21/91.88 c cleaning 12976 clauses out of 25961 with flag 146003/319109 183.48/95.10 c cleaning 12984 clauses out of 25982 with flag 159000/332106 189.75/98.26 c cleaning 12992 clauses out of 25998 with flag 172000/345106 196.81/101.89 c cleaning 12998 clauses out of 26007 with flag 185001/358107 203.81/105.41 c cleaning 12996 clauses out of 26008 with flag 198000/371106 210.28/108.80 c cleaning 12995 clauses out of 26013 with flag 211001/384107 217.17/112.27 c cleaning 13001 clauses out of 26017 with flag 224000/397106 223.42/115.47 c cleaning 13002 clauses out of 26016 with flag 237000/410106 230.03/118.89 c cleaning 12999 clauses out of 26014 with flag 250000/423106 237.05/122.44 c cleaning 12998 clauses out of 26015 with flag 263000/436106 243.91/125.94 c cleaning 13005 clauses out of 26017 with flag 276000/449106 250.76/129.46 c cleaning 13001 clauses out of 26013 with flag 289001/462107 257.97/133.19 c cleaning 12996 clauses out of 26012 with flag 302001/475107 264.58/136.57 c cleaning 13004 clauses out of 26016 with flag 315001/488107 271.23/139.99 c cleaning 12999 clauses out of 26011 with flag 328000/501106 277.88/143.32 c cleaning 12995 clauses out of 26013 with flag 341001/514107 284.85/146.95 c cleaning 13000 clauses out of 26017 with flag 354000/527106 292.32/150.72 c cleaning 13004 clauses out of 26020 with flag 367003/540109 299.51/154.40 c cleaning 12995 clauses out of 26013 with flag 380000/553106 306.54/158.05 c cleaning 12996 clauses out of 26018 with flag 393000/566106 314.28/162.08 c cleaning 12997 clauses out of 26022 with flag 406000/579106 321.90/165.96 c cleaning 13007 clauses out of 26026 with flag 419001/592107 328.54/169.38 c cleaning 13003 clauses out of 26018 with flag 432000/605106 335.17/172.74 c cleaning 13003 clauses out of 26016 with flag 445001/618107 341.65/176.16 c cleaning 13000 clauses out of 26012 with flag 458000/631106 348.47/179.67 c cleaning 12996 clauses out of 26013 with flag 471001/644107 354.88/182.90 c cleaning 13000 clauses out of 26016 with flag 484000/657106 361.09/186.15 c cleaning 12997 clauses out of 26016 with flag 497000/670106 368.20/189.87 c cleaning 13003 clauses out of 26019 with flag 510000/683106 375.20/193.42 c cleaning 12998 clauses out of 26016 with flag 523000/696106 382.40/197.14 c cleaning 13002 clauses out of 26018 with flag 536000/709106 389.39/200.77 c cleaning 13004 clauses out of 26017 with flag 549001/722107 396.69/204.53 c cleaning 12998 clauses out of 26012 with flag 562000/735106 404.04/208.34 c cleaning 12987 clauses out of 26014 with flag 575000/748106 411.39/212.21 c cleaning 13000 clauses out of 26028 with flag 588001/761107 419.15/216.16 c cleaning 12998 clauses out of 26027 with flag 601000/774106 426.78/220.14 c cleaning 13011 clauses out of 26030 with flag 614001/787107 434.13/223.94 c cleaning 13004 clauses out of 26018 with flag 627000/800106 441.50/227.78 c cleaning 13002 clauses out of 26015 with flag 640001/813107 449.21/231.70 c cleaning 13000 clauses out of 26012 with flag 653000/826106 456.82/235.74 c cleaning 12997 clauses out of 26012 with flag 666000/839106 464.58/239.77 c cleaning 12996 clauses out of 26015 with flag 679000/852106 472.31/243.77 c cleaning 12996 clauses out of 26019 with flag 692000/865106 480.05/247.71 c cleaning 13005 clauses out of 26027 with flag 705004/878110 487.25/251.52 c cleaning 12995 clauses out of 26018 with flag 718000/891106 493.79/254.92 c cleaning 13007 clauses out of 26023 with flag 731000/904106 500.54/258.45 c cleaning 13002 clauses out of 26016 with flag 744000/917106 507.65/262.13 c cleaning 13001 clauses out of 26014 with flag 757000/930106 511.84/264.46 c And the winner is CuttingPlanes 511.96/264.57 c Got one! Elapsed wall clock time (in seconds):264.454 511.96/264.57 o 28 514.42/265.88 c cleaning 12599 clauses out of 25211 with flag 5000/942304 517.55/267.57 c cleaning 9295 clauses out of 18612 with flag 11000/948304 521.10/269.50 c cleaning 8152 clauses out of 16317 with flag 18000/955304 525.60/271.85 c cleaning 8075 clauses out of 16165 with flag 26000/963304 530.39/274.41 c cleaning 8542 clauses out of 17091 with flag 35001/972305 536.11/277.41 c cleaning 9271 clauses out of 18549 with flag 45001/982305 542.07/280.59 c cleaning 10135 clauses out of 20279 with flag 56002/993306 548.95/284.15 c cleaning 11065 clauses out of 22142 with flag 68000/1005304 556.77/288.24 c cleaning 12033 clauses out of 24077 with flag 81000/1018304 563.44/291.71 c cleaning 12516 clauses out of 25044 with flag 94000/1031304 571.00/295.63 c cleaning 12761 clauses out of 25529 with flag 107001/1044305 577.94/299.25 c cleaning 12879 clauses out of 25768 with flag 120001/1057305 584.86/302.90 c cleaning 12932 clauses out of 25888 with flag 133000/1070304 591.76/306.52 c cleaning 12969 clauses out of 25957 with flag 146001/1083305 598.46/310.05 c cleaning 12988 clauses out of 25988 with flag 159001/1096305 605.36/313.61 c cleaning 12996 clauses out of 26000 with flag 172001/1109305 612.31/317.32 c cleaning 12997 clauses out of 26003 with flag 185000/1122304 619.45/321.01 c cleaning 12991 clauses out of 26006 with flag 198000/1135304 626.54/324.70 c cleaning 13006 clauses out of 26015 with flag 211000/1148304 633.63/328.44 c cleaning 12993 clauses out of 26009 with flag 224000/1161304 641.37/332.50 c cleaning 12996 clauses out of 26016 with flag 237000/1174304 649.29/336.62 c cleaning 13005 clauses out of 26023 with flag 250003/1187307 657.15/340.70 c cleaning 13000 clauses out of 26015 with flag 263000/1200304 664.06/344.32 c cleaning 12998 clauses out of 26016 with flag 276001/1213305 670.55/347.87 c cleaning 13004 clauses out of 26017 with flag 289000/1226304 677.02/351.25 c cleaning 13000 clauses out of 26013 with flag 302000/1239304 683.47/354.64 c cleaning 12994 clauses out of 26013 with flag 315000/1252304 690.52/358.32 c cleaning 12996 clauses out of 26019 with flag 328000/1265304 697.59/362.18 c cleaning 13008 clauses out of 26023 with flag 341000/1278304 704.63/365.89 c cleaning 12997 clauses out of 26016 with flag 354001/1291305 712.05/369.78 c cleaning 13003 clauses out of 26019 with flag 367001/1304305 718.87/373.39 c cleaning 13000 clauses out of 26015 with flag 380000/1317304 726.13/377.30 c cleaning 13002 clauses out of 26015 with flag 393000/1330304 733.53/381.15 c cleaning 12991 clauses out of 26013 with flag 406000/1343304 740.34/384.72 c cleaning 13002 clauses out of 26022 with flag 419000/1356304 747.19/388.36 c cleaning 12994 clauses out of 26020 with flag 432000/1369304 755.97/393.05 c cleaning 12996 clauses out of 26026 with flag 445000/1382304 763.59/397.08 c cleaning 13002 clauses out of 26030 with flag 458000/1395304 770.57/400.71 c cleaning 13006 clauses out of 26028 with flag 471000/1408304 777.96/404.65 c cleaning 12997 clauses out of 26022 with flag 484000/1421304 786.39/409.17 c cleaning 13005 clauses out of 26025 with flag 497000/1434304 794.78/413.56 c cleaning 13002 clauses out of 26020 with flag 510000/1447304 802.35/417.56 c cleaning 13005 clauses out of 26018 with flag 523000/1460304 809.36/421.22 c cleaning 12999 clauses out of 26014 with flag 536001/1473305 816.72/425.29 c cleaning 12999 clauses out of 26014 with flag 549000/1486304 823.72/428.94 c cleaning 13002 clauses out of 26015 with flag 562000/1499304 830.88/432.79 c cleaning 12998 clauses out of 26013 with flag 575000/1512304 838.27/436.71 c cleaning 13003 clauses out of 26016 with flag 588001/1525305 845.62/440.61 c cleaning 13001 clauses out of 26013 with flag 601001/1538305 852.19/444.18 c cleaning 13000 clauses out of 26011 with flag 614000/1551304 859.16/447.84 c cleaning 12996 clauses out of 26011 with flag 627000/1564304 866.93/451.96 c cleaning 13000 clauses out of 26016 with flag 640001/1577305 874.90/456.20 c cleaning 12994 clauses out of 26015 with flag 653000/1590304 883.46/460.77 c cleaning 12990 clauses out of 26021 with flag 666000/1603304 892.62/465.59 c cleaning 13004 clauses out of 26031 with flag 679000/1616304 900.18/469.59 c cleaning 13004 clauses out of 26027 with flag 692000/1629304 907.52/473.59 c cleaning 13002 clauses out of 26023 with flag 705000/1642304 914.70/477.36 c cleaning 13001 clauses out of 26021 with flag 718000/1655304 922.63/481.57 c cleaning 13003 clauses out of 26020 with flag 731000/1668304 931.18/486.11 c cleaning 12999 clauses out of 26017 with flag 744000/1681304 940.70/491.10 c cleaning 12998 clauses out of 26019 with flag 757001/1694305 949.04/495.57 c cleaning 12999 clauses out of 26020 with flag 770000/1707304 957.57/500.08 c cleaning 13000 clauses out of 26021 with flag 783000/1720304 965.11/504.00 c cleaning 13007 clauses out of 26021 with flag 796000/1733304 972.22/507.94 c cleaning 13002 clauses out of 26014 with flag 809000/1746304 979.34/511.76 c cleaning 12995 clauses out of 26012 with flag 822000/1759304 986.44/515.51 c cleaning 13006 clauses out of 26017 with flag 835000/1772304 993.37/519.25 c cleaning 12993 clauses out of 26011 with flag 848000/1785304 1000.60/523.29 c cleaning 13000 clauses out of 26018 with flag 861000/1798304 1007.32/526.88 c cleaning 12998 clauses out of 26018 with flag 874000/1811304 1014.59/530.79 c cleaning 13001 clauses out of 26020 with flag 887000/1824304 1021.91/534.63 c cleaning 13004 clauses out of 26019 with flag 900000/1837304 1029.32/538.75 c cleaning 13000 clauses out of 26015 with flag 913000/1850304 1036.21/542.42 c cleaning 13001 clauses out of 26017 with flag 926002/1863306 1043.09/546.17 c cleaning 12992 clauses out of 26014 with flag 939000/1876304 1049.98/549.83 c cleaning 13006 clauses out of 26022 with flag 952000/1889304 1057.02/553.78 c cleaning 13002 clauses out of 26017 with flag 965001/1902305 1063.91/557.40 c cleaning 13004 clauses out of 26015 with flag 978001/1915305 1071.18/561.37 c cleaning 12989 clauses out of 26010 with flag 991000/1928304 1078.27/565.17 c cleaning 13000 clauses out of 26021 with flag 1004000/1941304 1085.50/569.16 c cleaning 12995 clauses out of 26021 with flag 1017000/1954304 1092.57/572.96 c cleaning 13002 clauses out of 26027 with flag 1030001/1967305 1099.44/576.69 c cleaning 13007 clauses out of 26025 with flag 1043001/1980305 1106.50/580.42 c cleaning 13005 clauses out of 26017 with flag 1056000/1993304 1113.72/584.43 c cleaning 12997 clauses out of 26012 with flag 1069000/2006304 1120.58/588.10 c cleaning 13004 clauses out of 26015 with flag 1082000/2019304 1127.27/591.81 c cleaning 12997 clauses out of 26011 with flag 1095000/2032304 1134.51/595.65 c cleaning 12998 clauses out of 26014 with flag 1108000/2045304 1141.73/599.65 c cleaning 13002 clauses out of 26016 with flag 1121000/2058304 1148.79/603.42 c cleaning 13000 clauses out of 26014 with flag 1134000/2071304 1155.88/607.23 c cleaning 12997 clauses out of 26014 with flag 1147000/2084304 1163.09/611.15 c cleaning 12993 clauses out of 26018 with flag 1160001/2097305 1170.50/615.27 c cleaning 13000 clauses out of 26024 with flag 1173000/2110304 1177.75/619.12 c cleaning 12999 clauses out of 26024 with flag 1186000/2123304 1185.20/623.17 c cleaning 13009 clauses out of 26025 with flag 1199000/2136304 1192.63/627.14 c cleaning 13004 clauses out of 26016 with flag 1212000/2149304 1199.83/631.20 c cleaning 12998 clauses out of 26012 with flag 1225000/2162304 1207.28/635.18 c cleaning 12993 clauses out of 26014 with flag 1238000/2175304 1214.93/639.26 c cleaning 13006 clauses out of 26021 with flag 1251000/2188304 1222.17/643.17 c cleaning 13003 clauses out of 26015 with flag 1264000/2201304 1230.15/647.57 c cleaning 12991 clauses out of 26012 with flag 1277000/2214304 1237.39/651.45 c cleaning 13002 clauses out of 26023 with flag 1290002/2227306 1244.63/655.32 c cleaning 12986 clauses out of 26019 with flag 1303000/2240304 1251.86/659.20 c cleaning 13007 clauses out of 26033 with flag 1316000/2253304 1259.30/663.33 c cleaning 13006 clauses out of 26027 with flag 1329001/2266305 1266.29/667.16 c cleaning 13002 clauses out of 26020 with flag 1342000/2279304 1273.93/671.25 c cleaning 13004 clauses out of 26018 with flag 1355000/2292304 1280.96/675.09 c cleaning 13001 clauses out of 26014 with flag 1368000/2305304 1288.71/679.32 c cleaning 13002 clauses out of 26014 with flag 1381001/2318305 1296.14/683.38 c cleaning 12996 clauses out of 26011 with flag 1394000/2331304 1303.58/687.40 c cleaning 13001 clauses out of 26015 with flag 1407000/2344304 1310.60/691.17 c cleaning 13004 clauses out of 26014 with flag 1420000/2357304 1318.00/695.24 c cleaning 12998 clauses out of 26010 with flag 1433000/2370304 1325.79/699.51 c cleaning 13000 clauses out of 26013 with flag 1446001/2383305 1333.60/703.62 c cleaning 12995 clauses out of 26012 with flag 1459000/2396304 1340.82/707.50 c cleaning 13000 clauses out of 26017 with flag 1472000/2409304 1348.58/711.83 c cleaning 13004 clauses out of 26017 with flag 1485000/2422304 1355.80/715.78 c cleaning 12997 clauses out of 26013 with flag 1498000/2435304 1363.21/719.72 c cleaning 13002 clauses out of 26017 with flag 1511001/2448305 1370.65/723.79 c cleaning 12996 clauses out of 26014 with flag 1524000/2461304 1378.98/728.37 c cleaning 13003 clauses out of 26018 with flag 1537000/2474304 1386.80/732.61 c cleaning 12996 clauses out of 26015 with flag 1550000/2487304 1394.59/736.71 c cleaning 12999 clauses out of 26019 with flag 1563000/2500304 1402.20/740.82 c cleaning 12996 clauses out of 26020 with flag 1576000/2513304 1409.92/745.17 c cleaning 13007 clauses out of 26025 with flag 1589001/2526305 1417.93/749.44 c cleaning 13001 clauses out of 26017 with flag 1602000/2539304 1425.95/753.79 c cleaning 13002 clauses out of 26017 with flag 1615001/2552305 1433.33/757.72 c cleaning 12996 clauses out of 26014 with flag 1628000/2565304 1440.45/761.77 c cleaning 12997 clauses out of 26018 with flag 1641000/2578304 1447.25/765.48 c cleaning 12984 clauses out of 26021 with flag 1654000/2591304 1454.05/769.17 c cleaning 13005 clauses out of 26037 with flag 1667000/2604304 1461.05/772.96 c cleaning 13012 clauses out of 26032 with flag 1680000/2617304 1468.36/777.04 c cleaning 13008 clauses out of 26025 with flag 1693005/2630309 1475.34/780.84 c cleaning 12996 clauses out of 26012 with flag 1706000/2643304 1482.13/784.57 c cleaning 12995 clauses out of 26016 with flag 1719000/2656304 1489.11/788.38 c cleaning 13000 clauses out of 26021 with flag 1732000/2669304 1496.41/792.43 c cleaning 12999 clauses out of 26022 with flag 1745001/2682305 1503.40/796.23 c cleaning 12995 clauses out of 26022 with flag 1758000/2695304 1510.38/800.07 c cleaning 13003 clauses out of 26027 with flag 1771000/2708304 1517.76/804.10 c cleaning 12999 clauses out of 26024 with flag 1784000/2721304 1525.66/808.49 c cleaning 13004 clauses out of 26025 with flag 1797000/2734304 1533.21/812.58 c cleaning 12997 clauses out of 26021 with flag 1810000/2747304 1541.18/816.85 c cleaning 12999 clauses out of 26024 with flag 1823000/2760304 1548.75/820.99 c cleaning 13003 clauses out of 26025 with flag 1836000/2773304 1557.64/825.83 c cleaning 13004 clauses out of 26023 with flag 1849001/2786305 1565.40/830.04 c cleaning 12999 clauses out of 26019 with flag 1862001/2799305 1572.96/834.16 c cleaning 13001 clauses out of 26019 with flag 1875000/2812304 1580.92/838.46 c cleaning 12999 clauses out of 26018 with flag 1888000/2825304 1589.40/843.11 c cleaning 12995 clauses out of 26019 with flag 1901000/2838304 1596.96/847.24 c cleaning 12998 clauses out of 26024 with flag 1914000/2851304 1604.75/851.47 c cleaning 13008 clauses out of 26028 with flag 1927002/2864306 1612.47/855.69 c cleaning 12996 clauses out of 26018 with flag 1940000/2877304 1620.55/860.17 c cleaning 13004 clauses out of 26022 with flag 1953000/2890304 1628.71/864.56 c cleaning 12999 clauses out of 26018 with flag 1966000/2903304 1636.65/868.81 c cleaning 12998 clauses out of 26019 with flag 1979000/2916304 1644.20/872.96 c cleaning 13009 clauses out of 26021 with flag 1992000/2929304 1652.06/877.32 c cleaning 12999 clauses out of 26012 with flag 2005000/2942304 1658.83/881.05 c cleaning 13000 clauses out of 26013 with flag 2018000/2955304 1665.96/884.99 c cleaning 13003 clauses out of 26013 with flag 2031000/2968304 1673.15/888.87 c cleaning 12996 clauses out of 26010 with flag 2044000/2981304 1680.56/893.04 c cleaning 13002 clauses out of 26016 with flag 2057002/2994306 1687.31/896.77 c cleaning 13000 clauses out of 26013 with flag 2070001/3007305 1691.45/899.19 c And the winner is Resolution 1691.94/899.56 c Got one! Elapsed wall clock time (in seconds):899.454 1691.94/899.56 o 27 1694.45/900.87 c cleaning 13141 clauses out of 26301 with flag 5001/3020593 1697.97/903.01 c cleaning 9571 clauses out of 19159 with flag 11000/3026592 1702.41/905.64 c cleaning 8283 clauses out of 16588 with flag 18000/3033592 1707.34/908.40 c cleaning 8143 clauses out of 16305 with flag 26000/3041592 1712.47/911.34 c cleaning 8572 clauses out of 17162 with flag 35000/3050592 1718.19/914.54 c cleaning 9288 clauses out of 18590 with flag 45000/3060592 1725.26/918.57 c cleaning 10140 clauses out of 20302 with flag 56000/3071592 1732.34/922.47 c cleaning 11064 clauses out of 22162 with flag 68000/3083592 1740.27/926.71 c cleaning 12043 clauses out of 24098 with flag 81000/3096592 1748.00/930.96 c cleaning 12519 clauses out of 25055 with flag 94000/3109592 1756.22/935.56 c cleaning 12760 clauses out of 25537 with flag 107001/3122593 1763.73/939.66 c cleaning 12881 clauses out of 25776 with flag 120000/3135592 1771.49/943.84 c cleaning 12938 clauses out of 25895 with flag 133000/3148592 1779.16/948.03 c cleaning 12965 clauses out of 25957 with flag 146000/3161592 1786.98/952.44 c cleaning 12988 clauses out of 25992 with flag 159000/3174592 1794.89/956.76 c cleaning 12990 clauses out of 26006 with flag 172002/3187594 1800.02/959.62 c starts : 423 1800.02/959.62 c conflicts : 3195806 1800.02/959.62 c decisions : 12272452 1800.02/959.62 c propagations : 3316533239 1800.02/959.62 c inspects : 3707923589 1800.02/959.62 c shortcuts : 0 1800.02/959.62 c learnt literals : 0 1800.02/959.62 c learnt binary clauses : 0 1800.02/959.62 c learnt ternary clauses : 3 1800.02/959.62 c learnt constraints : 3195806 1800.02/959.62 c ignored constraints : 0 1800.02/959.62 c root simplifications : 0 1800.02/959.62 c removed literals (reason simplification) : 2802490 1800.02/959.62 c reason swapping (by a shorter reason) : 0 1800.02/959.62 c Calls to reduceDB : 254 1800.02/959.62 c number of reductions to clauses (during analyze) : 0 1800.02/959.62 c number of learned constraints concerned by reduction : 0 1800.02/959.62 c number of learning phase by resolution : 0 1800.02/959.62 c number of learning phase by cutting planes : 0 1800.02/959.62 c speed (assignments/second) : 5.522769070139213E7 1800.02/959.62 c non guided choices 30037 1800.02/959.63 c learnt constraints type 1800.02/959.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21266 1800.02/959.65 c constraints type 1800.02/959.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2402 1800.02/959.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/959.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10127 1800.02/959.65 c constraints type 1800.02/959.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10127 1800.02/959.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2402 1800.02/959.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.02/959.65 s SATISFIABLE 1800.02/959.65 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 x4660 x4661 x4662 -x4663 -x4664 x4665 -x4666 1800.02/959.65 c objective function=27 1800.02/959.65 c Total wall clock time (in seconds): 959.537
OK 27
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-3454096-1307193446/watcher-3454096-1307193446 -o /tmp/evaluation-result-3454096-1307193446/solver-3454096-1307193446 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454096-1307193446.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: 1.90 2.85 3.22 1/479 27646 /proc/meminfo: memFree=24785212/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 1972 0 1 0 0 0 0 0 24 0 2 0 909575240 10681323520 1673 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2607745 1687 906 9 0 2598901 0 [pid=27646/tid=27651] ppid=27644 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) R 27644 27646 22562 0 -1 4202560 5439 0 1 0 0 0 0 0 25 0 2 0 909575240 10694979584 6255 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0704891 s] /proc/loadavg: 1.90 2.85 3.22 1/479 27646 /proc/meminfo: memFree=24785212/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 11804 0 1 0 4 1 0 0 24 0 18 0 909575240 10724442112 11500 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2618272 11500 1742 9 0 2609006 0 [pid=27646/tid=27651] ppid=27644 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) R 27644 27646 22562 0 -1 4202560 10630 0 1 0 4 1 0 0 25 0 18 0 909575240 10724442112 11502 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46966401683363 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473088 [startup+0.100482 s] /proc/loadavg: 1.90 2.85 3.22 1/479 27646 /proc/meminfo: memFree=24785212/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10539864 CPUtime=0.1 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 13051 0 1 0 8 2 0 0 24 0 18 0 909575240 10792820736 12716 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2634966 12716 2093 9 0 2625700 0 [pid=27646/tid=27651] ppid=27644 vsize=10539864 CPUtime=0.08 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) R 27644 27646 22562 0 -1 4202560 11090 0 1 0 7 1 0 0 25 0 18 0 909575240 10792820736 12716 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46966404716056 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539864 [startup+0.300447 s] /proc/loadavg: 1.90 2.85 3.22 1/479 27646 /proc/meminfo: memFree=24785212/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10541124 CPUtime=0.51 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 16695 0 1 0 49 2 0 0 24 0 18 0 909575240 10794110976 15667 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2635281 15668 2202 9 0 2626015 0 [pid=27646/tid=27651] ppid=27644 vsize=10541124 CPUtime=0.27 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) R 27644 27646 22562 0 -1 4202560 13366 0 1 0 26 1 0 0 25 0 18 0 909575240 10794110976 15669 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10541124 [startup+0.700428 s] /proc/loadavg: 1.90 2.85 3.22 1/479 27646 /proc/meminfo: memFree=24785212/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10550636 CPUtime=1.29 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 27297 0 1 0 126 3 0 0 24 0 19 0 909575240 10803851264 24124 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637659 24124 2237 9 0 2628393 0 [pid=27646/tid=27651] ppid=27644 vsize=10550636 CPUtime=0.42 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 19292 0 1 0 40 2 0 0 25 0 19 0 909575240 10803851264 24124 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 10550636 [startup+1.50123 s] /proc/loadavg: 1.90 2.85 3.22 7/522 27700 /proc/meminfo: memFree=24599484/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10550636 CPUtime=1.67 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 30196 0 1 0 163 4 0 0 24 0 22 0 909575240 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637659 26009 2238 9 0 2628393 0 [pid=27646/tid=27651] ppid=27644 vsize=10550636 CPUtime=0.46 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 19746 0 1 0 44 2 0 0 18 0 22 0 909575240 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 909575243 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909575244 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909575244 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10550636 CPUtime=0.49 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) R 27644 27646 22562 0 -1 4202560 6013 0 0 0 49 0 0 0 18 0 22 0 909575246 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46966400994896 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10550636 CPUtime=0.46 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) R 27644 27646 22562 0 -1 4202560 2770 0 0 0 46 0 0 0 17 0 22 0 909575246 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260905087940 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27646/tid=27682] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27682/stat : 27682 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27685] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27685/stat : 27685 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909575246 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27693] ppid=27644 vsize=10550636 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27693/stat : 27693 (java) S 27644 27646 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909575288 10803851264 26009 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 10550636 [startup+3.12897 s] /proc/loadavg: 1.90 2.85 3.22 2/520 27713 /proc/meminfo: memFree=24562660/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10551000 CPUtime=3.21 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 38912 0 1 0 317 4 0 0 24 0 22 0 909575240 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637750 31281 2243 9 0 2628484 0 [pid=27646/tid=27651] ppid=27644 vsize=10551000 CPUtime=0.49 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 20380 0 1 0 47 2 0 0 16 0 22 0 909575240 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909575243 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909575244 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909575244 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10551000 CPUtime=0.77 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) S 27644 27646 22562 0 -1 4202560 6232 0 0 0 77 0 0 0 15 0 22 0 909575246 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10551000 CPUtime=1.08 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) R 27644 27646 22562 0 -1 4202560 9364 0 0 0 108 0 0 0 15 0 22 0 909575246 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46966405364354 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27646/tid=27682] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27682/stat : 27682 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27685] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27685/stat : 27685 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909575246 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27706] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27706/stat : 27706 (java) S 27644 27646 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909575389 10804224000 31281 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 10551000 [startup+6.30135 s] /proc/loadavg: 1.90 2.83 3.21 5/526 27731 /proc/meminfo: memFree=22812848/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10551000 CPUtime=8.28 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 279386 0 1 0 797 31 0 0 24 0 22 0 909575240 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637750 270719 2268 9 0 2628484 0 [pid=27646/tid=27651] ppid=27644 vsize=10551000 CPUtime=0.51 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 21015 0 1 0 49 2 0 0 15 0 22 0 909575240 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 613 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 670 0 0 0 0 0 0 0 18 0 22 0 909575242 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10551000 CPUtime=0.03 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 2006 0 0 0 3 0 0 0 15 0 22 0 909575243 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909575244 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909575244 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10551000 CPUtime=0.88 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) S 27644 27646 22562 0 -1 4202560 6245 0 0 0 88 0 0 0 15 0 22 0 909575246 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10551000 CPUtime=1.21 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) S 27644 27646 22562 0 -1 4202560 9371 0 0 0 121 0 0 0 15 0 22 0 909575246 10804224000 270719 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=17944404/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10551000 CPUtime=1660.76 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 852701 0 1 0 165982 94 0 0 24 0 22 0 909575240 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637750 843634 2270 9 0 2628484 0 [pid=27646/tid=27651] ppid=27644 vsize=10551000 CPUtime=0.52 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 21168 0 1 0 50 2 0 0 15 0 22 0 909575240 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10551000 CPUtime=0.92 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 898 0 0 0 92 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10551000 CPUtime=0.81 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 240 0 0 0 81 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10551000 CPUtime=0.96 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1758 0 0 0 96 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10551000 CPUtime=0.87 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1164 0 0 0 87 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10551000 CPUtime=0.88 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 2767 0 0 0 88 0 0 0 16 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10551000 CPUtime=0.93 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 176 0 0 0 93 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10551000 CPUtime=0.82 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 1728 0 0 0 82 0 0 0 15 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10551000 CPUtime=1 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 966 0 0 0 100 0 0 0 16 0 22 0 909575242 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10551000 CPUtime=101.79 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 92034 0 0 0 10167 12 0 0 16 0 22 0 909575243 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909575244 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 909575244 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10551000 CPUtime=0.98 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) S 27644 27646 22562 0 -1 4202560 6245 0 0 0 98 0 0 0 15 0 22 0 909575246 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10551000 CPUtime=1.51 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) S 27644 27646 22562 0 -1 4202560 9411 0 0 0 151 0 0 0 15 0 22 0 909575246 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27682] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27682/stat : 27682 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27685] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27685/stat : 27685 (java) S 27644 27646 22562 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909575246 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27741] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27741/stat : 27741 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909580522 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27751] ppid=27644 vsize=10551000 CPUtime=526.95 cores=0,2,4,6 /proc/27646/task/27751/stat : 27751 (java) R 27644 27646 22562 0 -1 4202560 164 0 0 0 52695 0 0 0 20 0 22 0 909601697 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912506061743 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27646/tid=27752] ppid=27644 vsize=10551000 CPUtime=527.02 cores=0,2,4,6 /proc/27646/task/27752/stat : 27752 (java) R 27644 27646 22562 0 -1 4202560 119158 0 0 0 52692 10 0 0 19 0 22 0 909601697 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912506155864 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27646/tid=27753] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27753/stat : 27753 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909601698 10804224000 843634 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1660.76 Current children cumulated vsize (KiB) 10551000 [startup+942.301 s] /proc/loadavg: 3.75 3.71 3.56 4/526 27777 /proc/meminfo: memFree=17902684/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10551000 CPUtime=1768.45 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 857841 0 1 0 176750 95 0 0 24 0 22 0 909575240 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637750 848742 2270 9 0 2628484 0 [pid=27646/tid=27651] ppid=27644 vsize=10551000 CPUtime=0.53 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 21180 0 1 0 51 2 0 0 15 0 22 0 909575240 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10551000 CPUtime=1.04 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 1086 0 0 0 104 0 0 0 16 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10551000 CPUtime=0.91 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 683 0 0 0 91 0 0 0 16 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10551000 CPUtime=1.05 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1912 0 0 0 105 0 0 0 16 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10551000 CPUtime=0.95 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1341 0 0 0 95 0 0 0 15 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10551000 CPUtime=0.94 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 2779 0 0 0 94 0 0 0 16 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10551000 CPUtime=1.01 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 473 0 0 0 101 0 0 0 15 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10551000 CPUtime=0.88 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 1808 0 0 0 88 0 0 0 15 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10551000 CPUtime=1.07 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 1326 0 0 0 107 0 0 0 15 0 22 0 909575242 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10551000 CPUtime=113.91 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 95443 0 0 0 11379 12 0 0 15 0 22 0 909575243 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909575244 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909575244 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10551000 CPUtime=0.98 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) S 27644 27646 22562 0 -1 4202560 6245 0 0 0 98 0 0 0 15 0 22 0 909575246 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10551000 CPUtime=1.51 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) S 27644 27646 22562 0 -1 4202560 9411 0 0 0 151 0 0 0 15 0 22 0 909575246 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27682] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27682/stat : 27682 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27685] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27685/stat : 27685 (java) S 27644 27646 22562 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909575246 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27753] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27753/stat : 27753 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909601698 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27773] ppid=27644 vsize=10551000 CPUtime=33.4 cores=0,2,4,6 /proc/27646/task/27773/stat : 27773 (java) R 27644 27646 22562 0 -1 4202560 0 0 0 0 3340 0 0 0 22 0 22 0 909665197 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912506043062 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27646/tid=27774] ppid=27644 vsize=10551000 CPUtime=33.4 cores=0,2,4,6 /proc/27646/task/27774/stat : 27774 (java) R 27644 27646 22562 0 -1 4202560 0 0 0 0 3340 0 0 0 22 0 22 0 909665197 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912505672654 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27646/tid=27775] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27775/stat : 27775 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909665212 10804224000 848742 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1768.45 Current children cumulated vsize (KiB) 10551000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+959.601 s] /proc/loadavg: 3.52 3.67 3.54 3/499 27797 /proc/meminfo: memFree=21384864/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=10551000 CPUtime=1800.02 cores=0,2,4,6 /proc/27646/stat : 27646 (java) S 27644 27646 22562 0 -1 4202496 858629 0 1 0 179906 96 0 0 24 0 22 0 909575240 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 2637750 849522 2270 9 0 2628484 0 [pid=27646/tid=27651] ppid=27644 vsize=10551000 CPUtime=0.53 cores=0,2,4,6 /proc/27646/task/27651/stat : 27651 (java) S 27644 27646 22562 0 -1 4202560 21184 0 1 0 51 2 0 0 15 0 22 0 909575240 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27655] ppid=27644 vsize=10551000 CPUtime=1.05 cores=0,2,4,6 /proc/27646/task/27655/stat : 27655 (java) S 27644 27646 22562 0 -1 4202560 1086 0 0 0 105 0 0 0 15 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27656] ppid=27644 vsize=10551000 CPUtime=0.91 cores=0,2,4,6 /proc/27646/task/27656/stat : 27656 (java) S 27644 27646 22562 0 -1 4202560 683 0 0 0 91 0 0 0 15 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27657] ppid=27644 vsize=10551000 CPUtime=1.08 cores=0,2,4,6 /proc/27646/task/27657/stat : 27657 (java) S 27644 27646 22562 0 -1 4202560 1912 0 0 0 108 0 0 0 16 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27658] ppid=27644 vsize=10551000 CPUtime=0.95 cores=0,2,4,6 /proc/27646/task/27658/stat : 27658 (java) S 27644 27646 22562 0 -1 4202560 1341 0 0 0 95 0 0 0 15 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27659] ppid=27644 vsize=10551000 CPUtime=0.96 cores=0,2,4,6 /proc/27646/task/27659/stat : 27659 (java) S 27644 27646 22562 0 -1 4202560 2779 0 0 0 96 0 0 0 16 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27660] ppid=27644 vsize=10551000 CPUtime=1.04 cores=0,2,4,6 /proc/27646/task/27660/stat : 27660 (java) S 27644 27646 22562 0 -1 4202560 473 0 0 0 104 0 0 0 16 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27661] ppid=27644 vsize=10551000 CPUtime=0.93 cores=0,2,4,6 /proc/27646/task/27661/stat : 27661 (java) S 27644 27646 22562 0 -1 4202560 1808 0 0 0 93 0 0 0 16 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27662] ppid=27644 vsize=10551000 CPUtime=1.1 cores=0,2,4,6 /proc/27646/task/27662/stat : 27662 (java) S 27644 27646 22562 0 -1 4202560 1326 0 0 0 110 0 0 0 15 0 22 0 909575242 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27671] ppid=27644 vsize=10551000 CPUtime=117.03 cores=0,2,4,6 /proc/27646/task/27671/stat : 27671 (java) S 27644 27646 22562 0 -1 4202560 96225 0 0 0 11690 13 0 0 15 0 22 0 909575243 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27673] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27673/stat : 27673 (java) S 27644 27646 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909575244 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27674] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27674/stat : 27674 (java) S 27644 27646 22562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909575244 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27677] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27677/stat : 27677 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27678] ppid=27644 vsize=10551000 CPUtime=0.98 cores=0,2,4,6 /proc/27646/task/27678/stat : 27678 (java) S 27644 27646 22562 0 -1 4202560 6245 0 0 0 98 0 0 0 15 0 22 0 909575246 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27681] ppid=27644 vsize=10551000 CPUtime=1.51 cores=0,2,4,6 /proc/27646/task/27681/stat : 27681 (java) S 27644 27646 22562 0 -1 4202560 9411 0 0 0 151 0 0 0 15 0 22 0 909575246 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0 [pid=27646/tid=27682] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27682/stat : 27682 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0 [pid=27646/tid=27685] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27685/stat : 27685 (java) S 27644 27646 22562 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909575246 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 0 0 0 0 [pid=27646/tid=27753] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27753/stat : 27753 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909601698 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 [pid=27646/tid=27773] ppid=27644 vsize=10551000 CPUtime=47.54 cores=0,2,4,6 /proc/27646/task/27773/stat : 27773 (java) R 27644 27646 22562 0 -1 4202560 0 0 0 0 4754 0 0 0 23 0 22 0 909665197 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912506009943 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27646/tid=27774] ppid=27644 vsize=10551000 CPUtime=47.54 cores=0,2,4,6 /proc/27646/task/27774/stat : 27774 (java) R 27644 27646 22562 0 -1 4202560 0 0 0 0 4754 0 0 0 23 0 22 0 909665197 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 46912505671237 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=27646/tid=27775] ppid=27644 vsize=10551000 CPUtime=0 cores=0,2,4,6 /proc/27646/task/27775/stat : 27775 (java) S 27644 27646 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909665212 10804224000 849522 33554432000 1073741824 1073778376 140734438963200 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 10551000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+959.725 s] /proc/loadavg: 3.52 3.67 3.54 3/499 27797 /proc/meminfo: memFree=21384864/32950928 swapFree=61542356/67111528 [pid=27646] ppid=27644 vsize=0 CPUtime=1800.22 cores=0,2,4,6 /proc/27646/stat : 27646 (java) Z 27644 27646 22562 0 -1 4203548 858663 0 1 0 179919 103 0 0 17 0 2 0 909575240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27646/statm: 0 0 0 0 0 0 0 [pid=27646/tid=27774] ppid=27644 vsize=0 CPUtime=47.63 cores=0,2,4,6 /proc/27646/task/27774/stat : 27774 (java) R 27644 27646 22562 0 -1 4203588 0 0 0 0 4756 7 0 0 24 0 2 0 909665197 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.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 959.791 CPU time (s): 1800.3 CPU user time (s): 1799.19 CPU system time (s): 1.10283 CPU usage (%): 187.572 Max. virtual memory (cumulated for all children) (KiB): 10551000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 1.10283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 858663 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= 29161 involuntary context switches= 22606 runsolver used 4.88726 second user time and 11.3773 second system time The end
Begin job on node116 at 2011-06-04 15:17:26 IDJOB=3454096 IDBENCH=24982 IDSOLVER=1950 FILE ID=node116/3454096-1307193446 RUNJOBID= node116-1307193446-27631 PBS_JOBID= 13508818 Free space on /tmp= 73888 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454096-1307193446/watcher-3454096-1307193446 -o /tmp/evaluation-result-3454096-1307193446/solver-3454096-1307193446 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454096-1307193446.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=235358551 node116.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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.75 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.77 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.75 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24785500 kB Buffers: 280272 kB Cached: 505480 kB SwapCached: 12580 kB Active: 7501148 kB Inactive: 393752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24785500 kB SwapTotal: 67111528 kB SwapFree: 61542356 kB Dirty: 1220 kB Writeback: 56 kB AnonPages: 7106932 kB Mapped: 21932 kB Slab: 140768 kB PageTables: 61720 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 139579300 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= 73888 MiB End job on node116 at 2011-06-04 15:33:27