Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.04 | 917.249 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_9.opb |
| MD5SUM | 796ce15de170aa64363741766a49999c |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3179263 |
| Best CPU time to get the best result obtained on this benchmark | 1801.45 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 143055667 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 44011059162 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 143055667 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 44011059162 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.12 c See www.sat4j.org for details. 0.07/0.12 c version 2.3.1.v20110525 0.07/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.12 c java.vm.version 19.1-b02 0.07/0.12 c java.vm.vendor Sun Microsystems Inc. 0.07/0.12 c sun.arch.data.model 64 0.07/0.12 c java.version 1.6.0_24 0.07/0.12 c os.name Linux 0.07/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.12 c os.arch amd64 0.07/0.12 c Free memory 9996466904 0.07/0.12 c Max memory 10048897024 0.07/0.12 c Total memory 10048897024 0.07/0.12 c Number of processors 8 0.07/0.15 c Pseudo Boolean Optimization 0.07/0.15 c ManyCore solver with 2 solvers running in parallel 0.07/0.15 c --- Begin Solver configuration --- 0.07/0.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.15 c Learn all clauses as in MiniSAT 0.07/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.15 c Expensive reason simplification 0.07/0.15 c Armin Biere (Picosat) restarts strategy 0.07/0.15 c Glucose learned constraints deletion strategy 0.07/0.15 c timeout=2147483s 0.07/0.15 c DB Simplification allowed=false 0.07/0.15 c --- End Solver configuration --- 0.07/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.15 c --- Begin Solver configuration --- 0.07/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.15 c Learn all clauses as in MiniSAT 0.07/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.15 c No reason simplification 0.07/0.15 c Armin Biere (Picosat) restarts strategy 0.07/0.15 c Glucose learned constraints deletion strategy 0.07/0.15 c timeout=2147483s 0.07/0.15 c DB Simplification allowed=false 0.07/0.15 c --- End Solver configuration --- 0.07/0.15 c solving HOME/instance-3744390-1338805299.opb 0.07/0.15 c reading problem ... 1.35/0.63 c ... done. Wall clock time 0.486s. 1.35/0.63 c #vars 5100 1.35/0.63 c #constraints 12610 1.35/0.63 c constraints type 1.35/0.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.35/0.63 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.35/0.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.35/0.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.35/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.35/0.63 c constraints type 1.35/0.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.35/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.35/0.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.35/0.63 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.35/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 3.32/1.19 c And the winner is Resolution 3.76/1.65 c SATISFIABLE 3.76/1.65 c OPTIMIZING... 3.76/1.65 c Got one! Elapsed wall clock time (in seconds):1.504 3.76/1.65 o 3194111 9.95/4.56 c cleaning 2582 clauses out of 5163 with flag 5000/5163 17.66/8.19 c cleaning 4282 clauses out of 8580 with flag 11000/11163 20.24/9.45 c And the winner is CuttingPlanes 20.32/9.68 c Got one! Elapsed wall clock time (in seconds):9.529 20.32/9.68 o 3185055 23.50/11.02 c cleaning 4689 clauses out of 9378 with flag 2000/16243 26.27/12.40 c And the winner is CuttingPlanes 26.28/12.70 c Got one! Elapsed wall clock time (in seconds):12.55 26.28/12.70 o 3181603 28.33/13.71 c cleaning 4933 clauses out of 9866 with flag 2000/21421 32.97/16.09 c cleaning 5461 clauses out of 10931 with flag 8000/27421 39.12/19.19 c cleaning 6225 clauses out of 12470 with flag 15002/34423 45.46/22.33 c cleaning 7106 clauses out of 14243 with flag 23001/42422 51.01/25.17 c cleaning 8058 clauses out of 16137 with flag 32001/51422 55.74/27.58 c cleaning 9039 clauses out of 18077 with flag 42000/61421 61.47/30.46 c cleaning 10016 clauses out of 20038 with flag 53000/72421 68.21/33.86 c cleaning 11006 clauses out of 22023 with flag 65001/84422 74.17/36.81 c cleaning 12008 clauses out of 24016 with flag 78000/97421 80.09/39.87 c cleaning 12499 clauses out of 25008 with flag 91000/110421 84.87/42.24 c cleaning 12748 clauses out of 25510 with flag 104001/123422 92.62/46.16 c cleaning 12878 clauses out of 25761 with flag 117000/136421 99.35/49.54 c cleaning 12935 clauses out of 25884 with flag 130001/149422 104.65/52.29 c cleaning 12968 clauses out of 25950 with flag 143002/162423 110.40/55.16 c cleaning 12979 clauses out of 25980 with flag 156000/175421 115.33/57.66 c cleaning 12985 clauses out of 26002 with flag 169001/188422 121.67/60.86 c cleaning 13008 clauses out of 26016 with flag 182000/201421 128.38/64.25 c cleaning 12989 clauses out of 26006 with flag 195000/214421 134.92/67.58 c cleaning 13002 clauses out of 26018 with flag 208001/227422 139.85/70.01 c cleaning 12998 clauses out of 26014 with flag 221000/240421 146.19/73.23 c cleaning 13001 clauses out of 26016 with flag 234000/253421 153.91/77.14 c cleaning 13004 clauses out of 26016 with flag 247002/266423 161.04/80.72 c cleaning 13000 clauses out of 26011 with flag 260001/279422 167.38/83.97 c cleaning 13003 clauses out of 26010 with flag 273000/292421 172.51/86.53 c cleaning 12990 clauses out of 26008 with flag 286001/305422 179.64/90.20 c cleaning 13001 clauses out of 26017 with flag 299000/318421 187.96/94.33 c cleaning 13001 clauses out of 26016 with flag 312000/331421 193.90/97.31 c cleaning 12998 clauses out of 26015 with flag 325000/344421 199.85/100.34 c cleaning 13002 clauses out of 26018 with flag 338001/357422 205.37/103.18 c cleaning 13000 clauses out of 26016 with flag 351001/370422 210.91/105.92 c cleaning 13002 clauses out of 26015 with flag 364000/383421 217.64/109.32 c cleaning 12999 clauses out of 26014 with flag 377001/396422 224.00/112.57 c cleaning 12999 clauses out of 26015 with flag 390001/409422 231.51/116.35 c cleaning 13000 clauses out of 26016 with flag 403001/422422 237.04/119.18 c cleaning 12998 clauses out of 26015 with flag 416000/435421 241.37/121.36 c cleaning 12999 clauses out of 26018 with flag 429001/448422 246.10/123.76 c cleaning 13004 clauses out of 26019 with flag 442001/461422 251.87/126.68 c cleaning 12995 clauses out of 26014 with flag 455000/474421 257.21/129.30 c cleaning 12997 clauses out of 26019 with flag 468000/487421 261.74/131.65 c cleaning 12998 clauses out of 26022 with flag 481000/500421 266.27/133.92 c cleaning 13004 clauses out of 26025 with flag 494001/513422 274.77/138.28 c cleaning 13004 clauses out of 26021 with flag 507001/526422 284.91/143.36 c cleaning 13000 clauses out of 26017 with flag 520001/539422 293.06/147.41 c cleaning 13000 clauses out of 26017 with flag 533001/552422 298.19/150.04 c cleaning 13002 clauses out of 26017 with flag 546001/565422 302.70/152.38 c cleaning 13001 clauses out of 26015 with flag 559001/578422 307.22/154.66 c cleaning 13002 clauses out of 26014 with flag 572001/591422 313.55/157.80 c cleaning 12999 clauses out of 26011 with flag 585000/604421 318.48/160.35 c cleaning 13002 clauses out of 26013 with flag 598001/617422 324.97/163.68 c cleaning 12998 clauses out of 26011 with flag 611001/630422 330.50/166.43 c cleaning 12999 clauses out of 26013 with flag 624001/643422 335.43/168.93 c cleaning 12996 clauses out of 26013 with flag 637000/656421 341.15/171.84 c cleaning 13001 clauses out of 26017 with flag 650000/669421 346.46/174.53 c cleaning 13002 clauses out of 26017 with flag 663001/682422 350.79/176.74 c cleaning 12994 clauses out of 26014 with flag 676000/695421 355.93/179.30 c cleaning 13005 clauses out of 26021 with flag 689001/708422 361.65/182.28 c cleaning 13000 clauses out of 26016 with flag 702001/721422 366.94/184.94 c cleaning 13004 clauses out of 26015 with flag 715001/734422 372.06/187.57 c cleaning 12998 clauses out of 26010 with flag 728000/747421 377.42/190.28 c cleaning 13002 clauses out of 26013 with flag 741001/760422 383.52/193.37 c cleaning 12997 clauses out of 26010 with flag 754000/773421 391.59/197.46 c cleaning 13000 clauses out of 26014 with flag 767001/786422 399.32/201.36 c cleaning 12998 clauses out of 26013 with flag 780000/799421 407.02/205.26 c cleaning 13000 clauses out of 26016 with flag 793001/812422 414.93/209.27 c cleaning 12999 clauses out of 26015 with flag 806000/825421 421.81/212.76 c cleaning 13001 clauses out of 26016 with flag 819000/838421 426.52/215.12 c cleaning 12997 clauses out of 26015 with flag 832000/851421 431.65/217.75 c cleaning 13001 clauses out of 26018 with flag 845000/864421 436.94/220.45 c cleaning 12994 clauses out of 26017 with flag 858000/877421 441.62/222.83 c cleaning 12997 clauses out of 26023 with flag 871000/890421 446.74/225.47 c cleaning 13001 clauses out of 26027 with flag 884001/903422 452.64/228.43 c cleaning 12995 clauses out of 26025 with flag 897000/916421 457.36/230.90 c cleaning 13008 clauses out of 26030 with flag 910000/929421 464.24/234.34 c cleaning 13004 clauses out of 26022 with flag 923001/942422 468.73/236.69 c cleaning 13002 clauses out of 26017 with flag 936000/955421 473.84/239.24 c cleaning 13002 clauses out of 26016 with flag 949001/968422 478.94/241.87 c cleaning 12999 clauses out of 26014 with flag 962001/981422 483.63/244.28 c cleaning 12998 clauses out of 26014 with flag 975000/994421 488.12/246.55 c cleaning 12996 clauses out of 26016 with flag 988000/1007421 492.42/248.78 c cleaning 13003 clauses out of 26020 with flag 1001000/1020421 497.32/251.22 c cleaning 13000 clauses out of 26017 with flag 1014000/1033421 501.57/253.48 c cleaning 12999 clauses out of 26017 with flag 1027000/1046421 506.09/255.77 c cleaning 12999 clauses out of 26018 with flag 1040000/1059421 510.79/258.19 c cleaning 12996 clauses out of 26020 with flag 1053001/1072422 515.91/260.76 c cleaning 13001 clauses out of 26024 with flag 1066001/1085422 521.16/263.40 c cleaning 12996 clauses out of 26022 with flag 1079000/1098421 526.06/265.99 c cleaning 13001 clauses out of 26026 with flag 1092000/1111421 531.16/268.53 c cleaning 13003 clauses out of 26026 with flag 1105001/1124422 536.07/271.00 c cleaning 12997 clauses out of 26022 with flag 1118000/1137421 541.33/273.76 c cleaning 13000 clauses out of 26025 with flag 1131000/1150421 546.83/276.58 c cleaning 13001 clauses out of 26026 with flag 1144001/1163422 552.35/279.37 c cleaning 12997 clauses out of 26025 with flag 1157001/1176422 557.84/282.14 c cleaning 12999 clauses out of 26028 with flag 1170001/1189422 563.50/285.07 c cleaning 13002 clauses out of 26029 with flag 1183001/1202422 569.20/287.92 c cleaning 13004 clauses out of 26027 with flag 1196001/1215422 574.50/290.69 c cleaning 12995 clauses out of 26022 with flag 1209000/1228421 580.01/293.41 c cleaning 13004 clauses out of 26028 with flag 1222001/1241422 584.88/295.96 c cleaning 13000 clauses out of 26023 with flag 1235000/1254421 589.78/298.45 c cleaning 12999 clauses out of 26024 with flag 1248001/1267422 594.48/300.81 c cleaning 13001 clauses out of 26024 with flag 1261000/1280421 598.78/303.04 c cleaning 12999 clauses out of 26023 with flag 1274000/1293421 603.46/305.40 c cleaning 13003 clauses out of 26026 with flag 1287002/1306423 607.96/307.74 c cleaning 13000 clauses out of 26021 with flag 1300000/1319421 612.67/310.20 c cleaning 13001 clauses out of 26022 with flag 1313001/1332422 617.56/312.69 c cleaning 12996 clauses out of 26020 with flag 1326000/1345421 622.64/315.21 c cleaning 13002 clauses out of 26025 with flag 1339001/1358422 627.34/317.66 c cleaning 12999 clauses out of 26023 with flag 1352001/1371422 633.25/320.66 c cleaning 13004 clauses out of 26024 with flag 1365001/1384422 645.77/326.91 c cleaning 13002 clauses out of 26019 with flag 1378000/1397421 650.44/329.40 c cleaning 13001 clauses out of 26017 with flag 1391000/1410421 655.34/331.81 c cleaning 13002 clauses out of 26017 with flag 1404001/1423422 659.85/334.10 c cleaning 12998 clauses out of 26014 with flag 1417000/1436421 663.95/336.22 c cleaning 12998 clauses out of 26017 with flag 1430001/1449422 668.21/338.44 c cleaning 13001 clauses out of 26019 with flag 1443001/1462422 673.34/341.07 c cleaning 13003 clauses out of 26017 with flag 1456000/1475421 677.83/343.36 c cleaning 12997 clauses out of 26014 with flag 1469000/1488421 682.53/345.73 c cleaning 13000 clauses out of 26017 with flag 1482000/1501421 687.60/348.33 c cleaning 12994 clauses out of 26017 with flag 1495000/1514421 692.71/350.92 c cleaning 13007 clauses out of 26023 with flag 1508000/1527421 697.41/353.35 c cleaning 12998 clauses out of 26016 with flag 1521000/1540421 702.31/355.87 c cleaning 13001 clauses out of 26018 with flag 1534000/1553421 707.17/358.38 c cleaning 13000 clauses out of 26018 with flag 1547001/1566422 712.08/360.81 c cleaning 12996 clauses out of 26018 with flag 1560001/1579422 716.97/363.32 c cleaning 12999 clauses out of 26022 with flag 1573001/1592422 721.87/365.86 c cleaning 13001 clauses out of 26023 with flag 1586001/1605422 726.95/368.46 c cleaning 12999 clauses out of 26021 with flag 1599000/1618421 731.84/370.99 c cleaning 13000 clauses out of 26022 with flag 1612000/1631421 736.95/373.52 c cleaning 13000 clauses out of 26023 with flag 1625001/1644422 741.86/376.01 c cleaning 13002 clauses out of 26022 with flag 1638000/1657421 746.93/378.61 c cleaning 13001 clauses out of 26021 with flag 1651001/1670422 751.83/381.15 c cleaning 13002 clauses out of 26020 with flag 1664001/1683422 756.54/383.58 c cleaning 12999 clauses out of 26018 with flag 1677001/1696422 761.45/386.08 c cleaning 13000 clauses out of 26018 with flag 1690000/1709421 766.50/388.65 c cleaning 12998 clauses out of 26018 with flag 1703000/1722421 771.79/391.36 c cleaning 13000 clauses out of 26021 with flag 1716001/1735422 776.90/393.94 c cleaning 13000 clauses out of 26021 with flag 1729001/1748422 781.99/396.56 c cleaning 13000 clauses out of 26020 with flag 1742000/1761421 787.06/399.13 c cleaning 12999 clauses out of 26021 with flag 1755001/1774422 791.96/401.68 c cleaning 12999 clauses out of 26022 with flag 1768001/1787422 797.25/404.35 c cleaning 13002 clauses out of 26022 with flag 1781000/1800421 802.35/406.99 c cleaning 13001 clauses out of 26021 with flag 1794001/1813422 809.23/410.40 c cleaning 12999 clauses out of 26020 with flag 1807001/1826422 816.93/414.30 c cleaning 13004 clauses out of 26020 with flag 1820000/1839421 825.03/418.44 c cleaning 13003 clauses out of 26016 with flag 1833000/1852421 831.53/421.76 c cleaning 12997 clauses out of 26014 with flag 1846001/1865422 838.38/425.22 c cleaning 13001 clauses out of 26016 with flag 1859000/1878421 845.48/428.80 c cleaning 12996 clauses out of 26015 with flag 1872000/1891421 851.98/432.14 c cleaning 13004 clauses out of 26019 with flag 1885000/1904421 858.48/435.42 c cleaning 12996 clauses out of 26016 with flag 1898001/1917422 864.93/438.79 c cleaning 12999 clauses out of 26019 with flag 1911000/1930421 871.43/442.10 c cleaning 12999 clauses out of 26020 with flag 1924000/1943421 877.93/445.34 c cleaning 13001 clauses out of 26021 with flag 1937000/1956421 884.63/448.73 c cleaning 13000 clauses out of 26020 with flag 1950000/1969421 892.89/452.91 c cleaning 13002 clauses out of 26021 with flag 1963001/1982422 900.59/456.82 c cleaning 13001 clauses out of 26018 with flag 1976000/1995421 907.89/460.50 c cleaning 12997 clauses out of 26017 with flag 1989000/2008421 914.58/463.97 c cleaning 12997 clauses out of 26020 with flag 2002000/2021421 921.03/467.29 c cleaning 13004 clauses out of 26024 with flag 2015001/2034422 927.94/470.78 c cleaning 13003 clauses out of 26019 with flag 2028000/2047421 933.62/473.64 c cleaning 13002 clauses out of 26017 with flag 2041001/2060422 940.51/477.13 c cleaning 12995 clauses out of 26014 with flag 2054000/2073421 946.15/480.08 c cleaning 13005 clauses out of 26019 with flag 2067000/2086421 951.05/482.51 c cleaning 13001 clauses out of 26015 with flag 2080001/2099422 956.94/485.53 c cleaning 12996 clauses out of 26014 with flag 2093002/2112423 961.65/487.93 c cleaning 12997 clauses out of 26017 with flag 2106001/2125422 966.49/490.45 c cleaning 13001 clauses out of 26020 with flag 2119001/2138422 971.59/493.05 c cleaning 12998 clauses out of 26018 with flag 2132000/2151421 976.68/495.63 c cleaning 13000 clauses out of 26021 with flag 2145001/2164422 983.76/499.24 c cleaning 12999 clauses out of 26021 with flag 2158001/2177422 995.40/505.17 c cleaning 13000 clauses out of 26022 with flag 2171001/2190422 1007.10/511.06 c cleaning 12996 clauses out of 26021 with flag 2184000/2203421 1018.79/516.93 c cleaning 13003 clauses out of 26026 with flag 2197001/2216422 1026.87/521.09 c cleaning 12999 clauses out of 26022 with flag 2210000/2229421 1033.51/524.40 c cleaning 12998 clauses out of 26023 with flag 2223000/2242421 1041.60/528.54 c cleaning 13004 clauses out of 26026 with flag 2236001/2255422 1049.69/532.62 c cleaning 12998 clauses out of 26022 with flag 2249001/2268422 1058.57/537.12 c cleaning 12999 clauses out of 26024 with flag 2262001/2281422 1066.80/541.33 c cleaning 13005 clauses out of 26024 with flag 2275000/2294421 1074.49/545.30 c cleaning 12997 clauses out of 26019 with flag 2288000/2307421 1082.99/549.50 c cleaning 13000 clauses out of 26023 with flag 2301001/2320422 1090.66/553.47 c cleaning 12998 clauses out of 26022 with flag 2314000/2333421 1099.90/558.19 c cleaning 13006 clauses out of 26024 with flag 2327000/2346421 1108.18/562.31 c cleaning 12997 clauses out of 26018 with flag 2340000/2359421 1115.87/566.20 c cleaning 13001 clauses out of 26022 with flag 2353001/2372422 1123.36/570.01 c cleaning 13004 clauses out of 26021 with flag 2366001/2385422 1129.58/573.21 c cleaning 12999 clauses out of 26017 with flag 2379001/2398422 1135.46/576.25 c cleaning 12999 clauses out of 26017 with flag 2392000/2411421 1141.55/579.32 c cleaning 13001 clauses out of 26019 with flag 2405001/2424422 1147.63/582.43 c cleaning 12999 clauses out of 26018 with flag 2418001/2437422 1153.87/585.62 c cleaning 12999 clauses out of 26019 with flag 2431001/2450422 1159.97/588.72 c cleaning 13001 clauses out of 26019 with flag 2444000/2463421 1166.06/591.84 c cleaning 13005 clauses out of 26018 with flag 2457000/2476421 1172.93/595.38 c cleaning 12994 clauses out of 26014 with flag 2470001/2489422 1177.77/597.83 c cleaning 12996 clauses out of 26019 with flag 2483000/2502421 1182.46/600.22 c cleaning 13003 clauses out of 26023 with flag 2496000/2515421 1186.94/602.57 c cleaning 13002 clauses out of 26021 with flag 2509001/2528422 1191.64/604.94 c cleaning 12995 clauses out of 26018 with flag 2522000/2541421 1196.28/607.34 c cleaning 12998 clauses out of 26023 with flag 2535000/2554421 1200.96/609.72 c cleaning 13001 clauses out of 26025 with flag 2548000/2567421 1205.45/612.05 c cleaning 13005 clauses out of 26024 with flag 2561000/2580421 1210.13/614.43 c cleaning 12998 clauses out of 26020 with flag 2574001/2593422 1214.78/616.81 c cleaning 12996 clauses out of 26021 with flag 2587000/2606421 1219.47/619.22 c cleaning 13005 clauses out of 26026 with flag 2600001/2619422 1224.16/621.62 c cleaning 12996 clauses out of 26020 with flag 2613000/2632421 1228.85/624.01 c cleaning 13002 clauses out of 26025 with flag 2626001/2645422 1233.50/626.49 c cleaning 12998 clauses out of 26022 with flag 2639000/2658421 1238.99/629.22 c cleaning 13000 clauses out of 26024 with flag 2652000/2671421 1244.07/631.88 c cleaning 12994 clauses out of 26024 with flag 2665000/2684421 1249.35/634.54 c cleaning 13004 clauses out of 26031 with flag 2678001/2697422 1255.20/637.55 c cleaning 13004 clauses out of 26025 with flag 2691000/2710421 1261.68/640.80 c cleaning 13000 clauses out of 26021 with flag 2704000/2723421 1266.98/643.54 c cleaning 13004 clauses out of 26022 with flag 2717001/2736422 1272.05/646.12 c cleaning 13001 clauses out of 26018 with flag 2730001/2749422 1277.28/648.82 c cleaning 13000 clauses out of 26017 with flag 2743001/2762422 1282.17/651.37 c cleaning 13001 clauses out of 26016 with flag 2756000/2775421 1287.25/653.94 c cleaning 12999 clauses out of 26016 with flag 2769001/2788422 1292.34/656.55 c cleaning 13001 clauses out of 26017 with flag 2782001/2801422 1297.17/659.04 c cleaning 13001 clauses out of 26016 with flag 2795001/2814422 1302.06/661.59 c cleaning 12998 clauses out of 26015 with flag 2808001/2827422 1307.34/664.23 c cleaning 13001 clauses out of 26016 with flag 2821000/2840421 1312.42/666.85 c cleaning 12999 clauses out of 26016 with flag 2834001/2853422 1317.27/669.38 c cleaning 12999 clauses out of 26016 with flag 2847000/2866421 1322.35/671.96 c cleaning 13000 clauses out of 26017 with flag 2860000/2879421 1327.62/674.60 c cleaning 12997 clauses out of 26017 with flag 2873000/2892421 1332.69/677.24 c cleaning 13002 clauses out of 26021 with flag 2886001/2905422 1337.92/679.92 c cleaning 13000 clauses out of 26018 with flag 2899000/2918421 1343.22/682.61 c cleaning 13003 clauses out of 26018 with flag 2912000/2931421 1348.51/685.39 c cleaning 12998 clauses out of 26015 with flag 2925000/2944421 1353.17/687.77 c cleaning 13003 clauses out of 26017 with flag 2938000/2957421 1357.99/690.29 c cleaning 13001 clauses out of 26015 with flag 2951001/2970422 1363.08/692.80 c cleaning 13003 clauses out of 26013 with flag 2964000/2983421 1367.95/695.35 c cleaning 12998 clauses out of 26010 with flag 2977000/2996421 1372.63/697.70 c cleaning 13001 clauses out of 26012 with flag 2990000/3009421 1377.46/700.20 c cleaning 12997 clauses out of 26012 with flag 3003001/3022422 1382.14/702.62 c cleaning 12999 clauses out of 26014 with flag 3016000/3035421 1388.21/705.71 c cleaning 13002 clauses out of 26016 with flag 3029001/3048422 1392.69/708.09 c cleaning 12999 clauses out of 26013 with flag 3042000/3061421 1397.53/710.59 c cleaning 12998 clauses out of 26014 with flag 3055000/3074421 1405.60/714.66 c cleaning 12997 clauses out of 26016 with flag 3068001/3087422 1414.25/719.07 c cleaning 13001 clauses out of 26019 with flag 3081001/3100422 1423.33/723.62 c cleaning 12995 clauses out of 26018 with flag 3094001/3113422 1432.15/728.15 c cleaning 13003 clauses out of 26022 with flag 3107000/3126421 1437.61/730.97 c cleaning 13007 clauses out of 26019 with flag 3120000/3139421 1444.09/734.22 c cleaning 12998 clauses out of 26013 with flag 3133001/3152422 1450.98/737.70 c cleaning 12998 clauses out of 26014 with flag 3146000/3165421 1457.58/741.10 c cleaning 13001 clauses out of 26017 with flag 3159001/3178422 1463.65/744.28 c cleaning 13000 clauses out of 26015 with flag 3172000/3191421 1469.93/747.45 c cleaning 13001 clauses out of 26015 with flag 3185000/3204421 1475.99/750.52 c cleaning 13003 clauses out of 26015 with flag 3198001/3217422 1482.42/753.86 c cleaning 12998 clauses out of 26012 with flag 3211001/3230422 1487.89/756.65 c cleaning 12993 clauses out of 26014 with flag 3224001/3243422 1492.96/759.24 c cleaning 12998 clauses out of 26021 with flag 3237001/3256422 1498.43/762.03 c cleaning 13003 clauses out of 26024 with flag 3250002/3269423 1503.64/764.74 c cleaning 12994 clauses out of 26019 with flag 3263000/3282421 1508.70/767.30 c cleaning 13002 clauses out of 26025 with flag 3276000/3295421 1513.77/769.91 c cleaning 13000 clauses out of 26023 with flag 3289000/3308421 1518.83/772.55 c cleaning 13000 clauses out of 26024 with flag 3302001/3321422 1523.85/775.13 c cleaning 12997 clauses out of 26023 with flag 3315000/3334421 1528.33/777.47 c cleaning 13008 clauses out of 26027 with flag 3328001/3347422 1533.00/779.82 c cleaning 12996 clauses out of 26019 with flag 3341001/3360422 1537.47/782.18 c cleaning 13000 clauses out of 26023 with flag 3354001/3373422 1542.25/784.64 c cleaning 12999 clauses out of 26023 with flag 3367001/3386422 1547.11/787.12 c cleaning 12999 clauses out of 26024 with flag 3380001/3399422 1551.98/789.63 c cleaning 13002 clauses out of 26024 with flag 3393000/3412421 1556.65/792.07 c cleaning 12998 clauses out of 26022 with flag 3406000/3425421 1561.44/794.56 c cleaning 13003 clauses out of 26025 with flag 3419001/3438422 1566.09/796.95 c cleaning 12995 clauses out of 26021 with flag 3432000/3451421 1570.76/799.35 c cleaning 13000 clauses out of 26027 with flag 3445001/3464422 1575.64/801.83 c cleaning 13001 clauses out of 26027 with flag 3458001/3477422 1581.42/804.81 c cleaning 13008 clauses out of 26025 with flag 3471000/3490421 1587.88/808.10 c cleaning 13002 clauses out of 26017 with flag 3484000/3503421 1595.33/811.90 c cleaning 13001 clauses out of 26015 with flag 3497000/3516421 1601.59/815.17 c cleaning 12999 clauses out of 26014 with flag 3510000/3529421 1609.18/819.00 c cleaning 12999 clauses out of 26016 with flag 3523001/3542422 1618.24/823.66 c cleaning 13003 clauses out of 26016 with flag 3536000/3555421 1626.49/827.85 c cleaning 12998 clauses out of 26014 with flag 3549001/3568422 1634.74/832.04 c cleaning 12995 clauses out of 26015 with flag 3562000/3581421 1641.92/835.76 c cleaning 13002 clauses out of 26020 with flag 3575000/3594421 1647.96/838.81 c cleaning 13002 clauses out of 26019 with flag 3588001/3607422 1653.41/841.67 c cleaning 13003 clauses out of 26017 with flag 3601001/3620422 1658.48/844.25 c cleaning 13002 clauses out of 26013 with flag 3614000/3633421 1663.45/846.82 c cleaning 12996 clauses out of 26012 with flag 3627001/3646422 1669.49/849.92 c cleaning 12993 clauses out of 26016 with flag 3640001/3659422 1674.74/852.67 c cleaning 13002 clauses out of 26023 with flag 3653001/3672422 1680.19/855.50 c cleaning 13002 clauses out of 26020 with flag 3666000/3685421 1685.96/858.47 c cleaning 12998 clauses out of 26018 with flag 3679000/3698421 1693.81/862.45 c cleaning 13001 clauses out of 26020 with flag 3692000/3711421 1700.25/865.76 c cleaning 12999 clauses out of 26019 with flag 3705000/3724421 1706.68/869.09 c cleaning 13001 clauses out of 26021 with flag 3718001/3737422 1713.24/872.46 c cleaning 12998 clauses out of 26019 with flag 3731000/3750421 1719.69/875.78 c cleaning 13003 clauses out of 26022 with flag 3744001/3763422 1726.13/879.03 c cleaning 13002 clauses out of 26020 with flag 3757002/3776423 1732.97/882.57 c cleaning 12997 clauses out of 26017 with flag 3770001/3789422 1739.54/885.92 c cleaning 12999 clauses out of 26019 with flag 3783000/3802421 1745.98/889.27 c cleaning 13002 clauses out of 26021 with flag 3796001/3815422 1752.42/892.59 c cleaning 13001 clauses out of 26018 with flag 3809000/3828421 1758.86/895.83 c cleaning 12999 clauses out of 26018 with flag 3822001/3841422 1765.44/899.25 c cleaning 13002 clauses out of 26019 with flag 3835001/3854422 1770.89/902.05 c cleaning 12997 clauses out of 26017 with flag 3848001/3867422 1775.72/904.51 c cleaning 13004 clauses out of 26019 with flag 3861000/3880421 1780.16/906.89 c cleaning 12995 clauses out of 26015 with flag 3874000/3893421 1784.92/909.35 c cleaning 13003 clauses out of 26021 with flag 3887001/3906422 1789.58/911.74 c cleaning 12998 clauses out of 26017 with flag 3900000/3919421 1794.83/914.40 c cleaning 13000 clauses out of 26019 with flag 3913000/3932421 1799.47/916.85 c cleaning 13004 clauses out of 26020 with flag 3926001/3945422 1800.03/917.21 c starts : 5 1800.03/917.21 c conflicts : 835 1800.03/917.21 c decisions : 24342 1800.03/917.21 c propagations : 489812 1800.03/917.21 c inspects : 15631970 1800.03/917.21 c shortcuts : 0 1800.03/917.21 c learnt literals : 0 1800.03/917.21 c learnt binary clauses : 0 1800.03/917.21 c learnt ternary clauses : 0 1800.03/917.21 c learnt constraints : 833 1800.03/917.21 c ignored constraints : 0 1800.03/917.21 c root simplifications : 0 1800.03/917.21 c removed literals (reason simplification) : 0 1800.03/917.21 c reason swapping (by a shorter reason) : 0 1800.03/917.21 c Calls to reduceDB : 0 1800.03/917.21 c number of reductions to clauses (during analyze) : 0 1800.03/917.21 c number of learned constraints concerned by reduction : 0 1800.03/917.21 c number of learning phase by resolution : 0 1800.03/917.21 c number of learning phase by cutting planes : 0 1800.03/917.21 c speed (assignments/second) : 541.5261198691436 1800.03/917.21 c non guided choices 0 1800.03/917.21 c learnt constraints type 1800.03/917.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.03/917.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 831 1800.03/917.21 c constraints type 1800.03/917.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.03/917.21 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.03/917.21 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.03/917.21 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.03/917.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.03/917.21 c constraints type 1800.03/917.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1800.03/917.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1800.03/917.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.03/917.21 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.03/917.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376 1800.03/917.21 s SATISFIABLE 1800.03/917.22 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 x233 x234 x235 x236 -x237 x238 x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 x507 -x508 -x509 x510 -x511 -x512 -x513 x514 x515 x516 -x517 -x518 -x519 x520 x521 x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 x1676 -x1677 x1678 -x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 x1698 x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1800.03/917.23 c objective function=3181603 1800.03/917.23 c Total wall clock time (in seconds): 917.08
OK 3181603
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744390-1338805299/watcher-3744390-1338805299 -o /tmp/evaluation-result-3744390-1338805299/solver-3744390-1338805299 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744390-1338805299.opb running on 4 cores: 1,3,5,7 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: 2.62 2.82 2.47 3/196 1747 /proc/meminfo: memFree=23363576/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/1747/stat : 1747 (java) R 1745 1747 32548 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 346654974 278528 33 33554432000 1073741824 1073778376 140733211308592 140733211305768 227132140839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1747/statm: 68 33 25 9 0 25 0 [startup+0.0974931 s] /proc/loadavg: 2.62 2.82 2.47 3/196 1747 /proc/meminfo: memFree=23363576/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11586364 CPUtime=0.06 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 4404 0 1 0 4 2 0 0 20 0 18 0 346654974 11864436736 12767 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2896591 12767 1757 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586364 [startup+0.100329 s] /proc/loadavg: 2.62 2.82 2.47 3/196 1747 /proc/meminfo: memFree=23363576/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11586364 CPUtime=0.07 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 4407 0 1 0 5 2 0 0 20 0 18 0 346654974 11864436736 12770 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2896591 12770 1757 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586364 [startup+0.300295 s] /proc/loadavg: 2.62 2.82 2.47 3/196 1747 /proc/meminfo: memFree=23363576/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11586392 CPUtime=0.45 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 6331 0 1 0 43 2 0 0 20 0 18 0 346654974 11864465408 16015 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2896598 16015 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 11586392 [startup+0.700212 s] /proc/loadavg: 2.62 2.82 2.47 3/196 1747 /proc/meminfo: memFree=23363576/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11719520 CPUtime=1.7 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 21547 0 1 0 165 5 0 0 20 0 20 0 346654974 12000788480 32785 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2929880 32785 2247 9 0 2920567 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 11719520 [startup+1.50067 s] /proc/loadavg: 2.62 2.82 2.47 6/218 1769 /proc/meminfo: memFree=23238244/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11852648 CPUtime=3.76 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 25753 0 1 0 368 8 0 0 20 0 19 0 346654974 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2963162 35259 2265 9 0 2953849 0 [pid=1747/tid=1749] ppid=1745 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/1747/task/1749/stat : 1749 (java) S 1745 1747 32548 0 -1 4202560 3407 0 1 0 57 2 0 0 20 0 19 0 346654976 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490975671448 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1750] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1750/stat : 1750 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490812943016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1751] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1751/stat : 1751 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490811890472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1752] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1752/stat : 1752 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490810837928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346654979 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346654980 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346654980 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346654981 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654983 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11802 0 0 0 98 2 0 0 20 0 19 0 346654983 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 9244 0 0 0 100 2 0 0 20 0 19 0 346654983 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654983 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346654983 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1769] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1769/stat : 1769 (java) S 1745 1747 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346655044 12137111552 35259 33554432000 1073741824 1073778376 140735901191232 140490311665320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 11852648 [startup+3.10081 s] /proc/loadavg: 2.62 2.82 2.47 4/218 1772 /proc/meminfo: memFree=23131252/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11852648 CPUtime=7.12 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 27623 0 1 0 696 16 0 0 20 0 22 0 346654974 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2963162 140230 2268 9 0 2953849 0 [pid=1747/tid=1749] ppid=1745 vsize=11852648 CPUtime=0.61 cores=1,3,5,7 /proc/1747/task/1749/stat : 1749 (java) S 1745 1747 32548 0 -1 4202560 3408 0 1 0 59 2 0 0 20 0 22 0 346654976 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490975671448 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1750] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1750/stat : 1750 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490812943016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1751] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1751/stat : 1751 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490811890472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1752] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1752/stat : 1752 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490810837928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346654981 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1.28 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11804 0 0 0 126 2 0 0 20 0 22 0 346654983 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=1.22 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 10897 0 0 0 120 2 0 0 20 0 22 0 346654983 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1769] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1769/stat : 1769 (java) S 1745 1747 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346655044 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490311665320 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1770] ppid=1745 vsize=11852648 CPUtime=1.41 cores=1,3,5,7 /proc/1747/task/1770/stat : 1770 (java) R 1745 1747 32548 0 -1 4202560 6 0 0 0 141 0 0 0 20 0 22 0 346655141 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490313767152 140490813883346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1771] ppid=1745 vsize=11852648 CPUtime=1.4 cores=1,3,5,7 /proc/1747/task/1771/stat : 1771 (java) R 1745 1747 32548 0 -1 4202560 205 0 0 0 133 7 0 0 20 0 22 0 346655141 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490314821544 140490813966492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1772] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1772/stat : 1772 (java) S 1745 1747 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346655141 12137111552 140230 33554432000 1073741824 1073778376 140735901191232 140490312717352 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.12 Current children cumulated vsize (KiB) 11852648 [startup+6.30089 s] /proc/loadavg: 2.73 2.84 2.48 4/218 1772 /proc/meminfo: memFree=21906364/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11852648 CPUtime=14.02 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 33765 0 1 0 1365 37 0 0 20 0 22 0 346654974 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2963162 364985 2292 9 0 2953849 0 [pid=1747/tid=1749] ppid=1745 vsize=11852648 CPUtime=0.61 cores=1,3,5,7 /proc/1747/task/1749/stat : 1749 (java) S 1745 1747 32548 0 -1 4202560 3408 0 1 0 59 2 0 0 20 0 22 0 346654976 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490975671448 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1750] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1750/stat : 1750 (java) S 1745 1747 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490812943016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1751] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1751/stat : 1751 (java) S 1745 1747 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490811890472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1752] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1752/stat : 1752 (java) S 1745 1747 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490810837928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346654979 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=0.05 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 22 0 346654980 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346654981 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1.3 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11808 0 0 0 128 2 0 0 20 0 22 0 346654983 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=1.75 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 16526 0 0 0 172 3 0 0 20 0 22 0 346654983 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 364985 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 75 0 0 0 41 0 0 0 20 0 22 0 346654979 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 57 0 0 0 43 0 0 0 20 0 22 0 346654979 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 81 0 0 0 42 2 0 0 20 0 22 0 346654979 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 68 0 0 0 44 2 0 0 20 0 22 0 346654979 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0.4 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 60 0 0 0 40 0 0 0 20 0 22 0 346654979 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=30.93 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 126 0 0 0 3087 6 0 0 20 0 22 0 346654980 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346654981 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11815 0 0 0 172 2 0 0 20 0 22 0 346654983 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=2.34 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 22986 0 0 0 230 4 0 0 20 0 22 0 346654983 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 47 0 0 0 20 14 0 0 20 0 22 0 346654983 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1772] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1772/stat : 1772 (java) S 1745 1747 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346655141 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490312717352 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1776] ppid=1745 vsize=11852648 CPUtime=775.25 cores=1,3,5,7 /proc/1747/task/1776/stat : 1776 (java) R 1745 1747 32548 0 -1 4202560 209 0 0 0 77512 13 0 0 20 0 22 0 346656245 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490313769808 140490813953904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1778] ppid=1745 vsize=11852648 CPUtime=775.32 cores=1,3,5,7 /proc/1747/task/1778/stat : 1778 (java) R 1745 1747 32548 0 -1 4202560 578 0 0 0 77505 27 0 0 20 0 22 0 346656245 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490311662400 140490813420442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1779] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1779/stat : 1779 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346656245 12137111552 904760 33554432000 1073741824 1073778376 140735901191232 140490314822440 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1615.64 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.81 3.31 2.88 5/220 1867 /proc/meminfo: memFree=20012796/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11852648 CPUtime=1732.57 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 42239 0 1 0 173150 107 0 0 20 0 22 0 346654974 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2963162 905810 2293 9 0 2953849 0 [pid=1747/tid=1749] ppid=1745 vsize=11852648 CPUtime=0.71 cores=1,3,5,7 /proc/1747/task/1749/stat : 1749 (java) S 1745 1747 32548 0 -1 4202560 3471 0 1 0 67 4 0 0 20 0 22 0 346654976 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490975671448 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1750] ppid=1745 vsize=11852648 CPUtime=0.49 cores=1,3,5,7 /proc/1747/task/1750/stat : 1750 (java) S 1745 1747 32548 0 -1 4202560 82 0 0 0 47 2 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490812943016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1751] ppid=1745 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/1747/task/1751/stat : 1751 (java) S 1745 1747 32548 0 -1 4202560 82 0 0 0 48 2 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490811890472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1752] ppid=1745 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/1747/task/1752/stat : 1752 (java) S 1745 1747 32548 0 -1 4202560 63 0 0 0 46 0 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490810837928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 83 0 0 0 46 0 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0.48 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 60 0 0 0 48 0 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0.49 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 81 0 0 0 47 2 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0.49 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 68 0 0 0 47 2 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 64 0 0 0 42 2 0 0 20 0 22 0 346654979 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=34.09 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 132 0 0 0 3402 7 0 0 20 0 22 0 346654980 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346654981 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11815 0 0 0 172 2 0 0 20 0 22 0 346654983 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=2.34 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 22986 0 0 0 230 4 0 0 20 0 22 0 346654983 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0.36 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 51 0 0 0 22 14 0 0 20 0 22 0 346654983 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1772] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1772/stat : 1772 (java) S 1745 1747 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346655141 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490312717352 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1776] ppid=1745 vsize=11852648 CPUtime=831.82 cores=1,3,5,7 /proc/1747/task/1776/stat : 1776 (java) R 1745 1747 32548 0 -1 4202560 218 0 0 0 83168 14 0 0 20 0 22 0 346656245 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490313769808 140490814127248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1778] ppid=1745 vsize=11852648 CPUtime=831.88 cores=1,3,5,7 /proc/1747/task/1778/stat : 1778 (java) R 1745 1747 32548 0 -1 4202560 581 0 0 0 83160 28 0 0 20 0 22 0 346656245 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490311662400 140490814130316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1779] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1779/stat : 1779 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346656245 12137111552 905810 33554432000 1073741824 1073778376 140735901191232 140490314822440 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1732.57 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+917.201 s] /proc/loadavg: 3.89 3.38 2.92 5/219 1867 /proc/meminfo: memFree=20004240/32873844 swapFree=7116/7116 [pid=1747] ppid=1745 vsize=11852648 CPUtime=1800.03 cores=1,3,5,7 /proc/1747/stat : 1747 (java) S 1745 1747 32548 0 -1 4202496 42265 0 1 0 179895 108 0 0 20 0 22 0 346654974 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140735901182368 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1747/statm: 2963162 906330 2293 9 0 2953849 0 [pid=1747/tid=1749] ppid=1745 vsize=11852648 CPUtime=0.71 cores=1,3,5,7 /proc/1747/task/1749/stat : 1749 (java) S 1745 1747 32548 0 -1 4202560 3473 0 1 0 67 4 0 0 20 0 22 0 346654976 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490975671448 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1750] ppid=1745 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/1747/task/1750/stat : 1750 (java) S 1745 1747 32548 0 -1 4202560 82 0 0 0 49 2 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490812943016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1751] ppid=1745 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/1747/task/1751/stat : 1751 (java) S 1745 1747 32548 0 -1 4202560 82 0 0 0 50 2 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490811890472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1752] ppid=1745 vsize=11852648 CPUtime=0.49 cores=1,3,5,7 /proc/1747/task/1752/stat : 1752 (java) S 1745 1747 32548 0 -1 4202560 63 0 0 0 49 0 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490810837928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1753] ppid=1745 vsize=11852648 CPUtime=0.48 cores=1,3,5,7 /proc/1747/task/1753/stat : 1753 (java) S 1745 1747 32548 0 -1 4202560 84 0 0 0 48 0 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490809785384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1754] ppid=1745 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/1747/task/1754/stat : 1754 (java) S 1745 1747 32548 0 -1 4202560 60 0 0 0 50 0 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490808731816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1755] ppid=1745 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/1747/task/1755/stat : 1755 (java) S 1745 1747 32548 0 -1 4202560 81 0 0 0 48 2 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490807679272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1756] ppid=1745 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/1747/task/1756/stat : 1756 (java) S 1745 1747 32548 0 -1 4202560 68 0 0 0 48 2 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490806626728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1757] ppid=1745 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/1747/task/1757/stat : 1757 (java) S 1745 1747 32548 0 -1 4202560 71 0 0 0 44 2 0 0 20 0 22 0 346654979 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490805574184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1758] ppid=1745 vsize=11852648 CPUtime=36.47 cores=1,3,5,7 /proc/1747/task/1758/stat : 1758 (java) S 1745 1747 32548 0 -1 4202560 135 0 0 0 3640 7 0 0 20 0 22 0 346654980 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490323245672 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1759] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1759/stat : 1759 (java) S 1745 1747 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346654980 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490322191992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1760] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1760/stat : 1760 (java) S 1745 1747 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346654981 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490321139336 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1761] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1761/stat : 1761 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490320088080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1747/tid=1762] ppid=1745 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/1747/task/1762/stat : 1762 (java) S 1745 1747 32548 0 -1 4202560 11815 0 0 0 172 2 0 0 20 0 22 0 346654983 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490319034424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1763] ppid=1745 vsize=11852648 CPUtime=2.34 cores=1,3,5,7 /proc/1747/task/1763/stat : 1763 (java) S 1745 1747 32548 0 -1 4202560 22986 0 0 0 230 4 0 0 20 0 22 0 346654983 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490317981880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1747/tid=1764] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1764/stat : 1764 (java) S 1745 1747 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346654983 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490316929528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1765] ppid=1745 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/1747/task/1765/stat : 1765 (java) S 1745 1747 32548 0 -1 4202560 53 0 0 0 23 15 0 0 20 0 22 0 346654983 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490315877192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1772] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1772/stat : 1772 (java) S 1745 1747 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346655141 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490312717352 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1776] ppid=1745 vsize=11852648 CPUtime=864.21 cores=1,3,5,7 /proc/1747/task/1776/stat : 1776 (java) R 1745 1747 32548 0 -1 4202560 228 0 0 0 86406 15 0 0 20 0 22 0 346656245 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490313769928 140490814044280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1747/tid=1778] ppid=1745 vsize=11852648 CPUtime=864.26 cores=1,3,5,7 /proc/1747/task/1778/stat : 1778 (java) R 1745 1747 32548 0 -1 4202560 582 0 0 0 86396 30 0 0 20 0 22 0 346656245 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490311662368 140490813421089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1747/tid=1779] ppid=1745 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1747/task/1779/stat : 1779 (java) S 1745 1747 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346656245 12137111552 906330 33554432000 1073741824 1073778376 140735901191232 140490314822440 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1747 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=558185 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=512770 # CPU time returned by wait4() is 1796.07 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.0100002 # lost CPU user time (s): 0.0200005 # lost CPU system time (s): -0.00999999 Real time (s): 917.249 CPU time (s): 1800.04 CPU user time (s): 1798.97 CPU system time (s): 1.07 CPU usage (%): 196.243 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.56 system time used= 1.51277 maximum resident set size= 3625440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42297 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30518 involuntary context switches= 29636 runsolver used 3.19151 second user time and 9.24359 second system time The end
Begin job on node138 at 2012-06-04 12:21:39 IDJOB=3744390 IDBENCH=92742 IDSOLVER=2328 FILE ID=node138/3744390-1338805299 RUNJOBID= node138-1338804380-1576 PBS_JOBID= 14636830 Free space on /tmp= 70768 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744390-1338805299/watcher-3744390-1338805299 -o /tmp/evaluation-result-3744390-1338805299/solver-3744390-1338805299 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744390-1338805299.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 796ce15de170aa64363741766a49999c RANDOM SEED=1490017075 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23363732 kB Buffers: 730776 kB Cached: 4037932 kB SwapCached: 208 kB Active: 6220812 kB Inactive: 2365172 kB Active(anon): 3801996 kB Inactive(anon): 11376 kB Active(file): 2418816 kB Inactive(file): 2353796 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 804 kB Writeback: 16 kB AnonPages: 3821424 kB Mapped: 22512 kB Shmem: 200 kB Slab: 772464 kB SReclaimable: 214528 kB SUnreclaim: 557936 kB KernelStack: 1624 kB PageTables: 11540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458000 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3766272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70768 MiB End job on node138 at 2012-06-04 12:36:58