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.56 | 920.947 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_5.opb |
| MD5SUM | 20017986f9960b1d860bf846232b7a22 |
| 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 | 5696927 |
| Best CPU time to get the best result obtained on this benchmark | 1801.28 |
| 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 | 145531576 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 56160700102 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 145531576 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 56160700102 |
| 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.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3744354-1338802534.opb 0.09/0.12 c reading problem ... 1.12/0.59 c ... done. Wall clock time 0.477s. 1.12/0.59 c #vars 5100 1.12/0.59 c #constraints 12610 1.12/0.59 c constraints type 1.12/0.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.12/0.59 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.12/0.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.12/0.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.12/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.12/0.59 c constraints type 1.12/0.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.12/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.12/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.12/0.59 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.12/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 3.04/1.05 c And the winner is Resolution 3.38/1.14 c SATISFIABLE 3.38/1.14 c OPTIMIZING... 3.38/1.14 c Got one! Elapsed wall clock time (in seconds):1.021 3.38/1.14 o 6036309 3.38/1.16 c And the winner is Resolution 3.58/1.66 c Got one! Elapsed wall clock time (in seconds):1.545 3.58/1.66 o 6019205 3.58/1.69 c And the winner is Resolution 3.70/2.19 c Got one! Elapsed wall clock time (in seconds):2.069 3.70/2.19 o 6018779 3.77/2.21 c And the winner is Resolution 3.82/2.71 c Got one! Elapsed wall clock time (in seconds):2.592 3.82/2.71 o 6017235 3.82/2.73 c And the winner is Resolution 3.90/3.23 c Got one! Elapsed wall clock time (in seconds):3.111 3.90/3.23 o 6016157 8.80/5.57 c cleaning 2540 clauses out of 5079 with flag 5000/5079 13.73/7.98 c cleaning 4265 clauses out of 8539 with flag 11000/11079 18.28/10.21 c cleaning 5627 clauses out of 11274 with flag 18000/18079 22.25/12.22 c And the winner is CuttingPlanes 22.25/12.27 c Got one! Elapsed wall clock time (in seconds):12.151 22.25/12.27 o 6012863 28.65/15.36 c cleaning 8596 clauses out of 17201 with flag 5000/29634 33.09/17.51 c cleaning 7294 clauses out of 14606 with flag 11001/35635 36.64/19.32 c cleaning 7142 clauses out of 14311 with flag 18000/42634 40.26/21.15 c cleaning 7575 clauses out of 15169 with flag 26000/50634 44.62/23.30 c cleaning 8293 clauses out of 16594 with flag 35000/59634 48.57/25.32 c cleaning 9147 clauses out of 18301 with flag 45000/69634 53.13/27.69 c cleaning 10069 clauses out of 20154 with flag 56000/80634 58.07/30.11 c cleaning 11038 clauses out of 22086 with flag 68001/92635 64.02/33.12 c cleaning 12022 clauses out of 24047 with flag 81000/105634 71.76/37.03 c cleaning 12511 clauses out of 25030 with flag 94005/118639 80.52/41.46 c And the winner is CuttingPlanes 80.65/41.79 c Got one! Elapsed wall clock time (in seconds):41.674 80.65/41.79 o 6012437 83.10/43.07 c cleaning 8967 clauses out of 17979 with flag 2000/124100 87.07/45.07 c cleaning 7499 clauses out of 15012 with flag 8000/130100 92.80/47.99 c cleaning 7248 clauses out of 14513 with flag 15000/137100 97.33/50.27 c cleaning 7630 clauses out of 15265 with flag 23000/145100 101.28/52.27 c cleaning 8314 clauses out of 16635 with flag 32000/154100 107.22/55.29 c cleaning 9150 clauses out of 18321 with flag 42000/164100 112.57/57.90 c cleaning 10080 clauses out of 20171 with flag 53001/175101 118.49/60.91 c cleaning 11040 clauses out of 22090 with flag 65000/187100 124.05/63.73 c cleaning 12020 clauses out of 24050 with flag 78000/200100 129.38/66.45 c cleaning 12510 clauses out of 25031 with flag 91001/213101 134.12/68.87 c cleaning 12754 clauses out of 25521 with flag 104001/226101 139.04/71.36 c cleaning 12875 clauses out of 25766 with flag 117000/239100 143.61/73.67 c cleaning 12941 clauses out of 25891 with flag 130000/252100 148.16/75.97 c cleaning 12970 clauses out of 25951 with flag 143001/265101 153.29/78.56 c cleaning 12980 clauses out of 25980 with flag 156000/278100 160.22/82.00 c cleaning 12994 clauses out of 26001 with flag 169001/291101 166.77/85.38 c cleaning 12992 clauses out of 26006 with flag 182000/304100 175.72/89.82 c cleaning 12993 clauses out of 26014 with flag 195000/317100 182.45/93.26 c cleaning 13000 clauses out of 26022 with flag 208001/330101 191.58/97.85 c cleaning 13007 clauses out of 26023 with flag 221002/343102 206.74/105.43 c cleaning 12995 clauses out of 26014 with flag 234000/356100 235.56/119.84 c cleaning 13002 clauses out of 26019 with flag 247000/369100 264.30/134.24 c cleaning 13007 clauses out of 26018 with flag 260001/382101 270.39/137.36 c cleaning 12998 clauses out of 26011 with flag 273001/395101 275.32/139.80 c cleaning 13002 clauses out of 26012 with flag 286000/408100 281.46/142.93 c cleaning 12996 clauses out of 26011 with flag 299001/421101 285.98/145.28 c cleaning 12998 clauses out of 26015 with flag 312001/434101 290.68/147.67 c cleaning 12996 clauses out of 26016 with flag 325000/447100 295.60/150.11 c cleaning 13002 clauses out of 26020 with flag 338000/460100 300.52/152.62 c cleaning 12996 clauses out of 26019 with flag 351001/473101 305.86/155.37 c cleaning 12994 clauses out of 26023 with flag 364001/486101 311.75/158.34 c cleaning 13001 clauses out of 26028 with flag 377000/499100 317.46/161.26 c cleaning 13000 clauses out of 26028 with flag 390001/512101 326.39/165.74 c cleaning 12995 clauses out of 26027 with flag 403000/525100 331.31/168.26 c cleaning 13009 clauses out of 26033 with flag 416001/538101 335.99/170.67 c cleaning 12998 clauses out of 26023 with flag 429000/551100 340.92/173.16 c cleaning 13006 clauses out of 26025 with flag 442000/564100 346.84/176.10 c cleaning 12999 clauses out of 26020 with flag 455001/577101 351.76/178.68 c cleaning 13005 clauses out of 26021 with flag 468001/590101 357.64/181.65 c cleaning 12998 clauses out of 26015 with flag 481000/603100 362.57/184.12 c cleaning 12999 clauses out of 26017 with flag 494000/616100 367.48/186.65 c cleaning 12999 clauses out of 26018 with flag 507000/629100 372.40/189.17 c cleaning 13001 clauses out of 26019 with flag 520000/642100 377.06/191.57 c cleaning 13003 clauses out of 26018 with flag 533000/655100 381.77/193.93 c cleaning 13000 clauses out of 26016 with flag 546001/668101 386.08/196.18 c cleaning 13000 clauses out of 26015 with flag 559000/681100 390.59/198.45 c cleaning 13001 clauses out of 26016 with flag 572001/694101 394.87/200.67 c cleaning 12998 clauses out of 26014 with flag 585000/707100 400.39/203.42 c cleaning 12999 clauses out of 26016 with flag 598000/720100 405.69/206.19 c cleaning 12998 clauses out of 26018 with flag 611001/733101 411.41/209.03 c cleaning 12998 clauses out of 26019 with flag 624000/746100 416.06/211.45 c cleaning 12999 clauses out of 26021 with flag 637000/759100 420.97/213.93 c cleaning 12992 clauses out of 26023 with flag 650001/772101 426.48/216.73 c cleaning 13001 clauses out of 26031 with flag 663001/785101 431.98/219.56 c cleaning 13007 clauses out of 26029 with flag 676000/798100 437.65/222.41 c cleaning 13004 clauses out of 26023 with flag 689001/811101 442.16/224.72 c cleaning 13000 clauses out of 26019 with flag 702001/824101 446.46/226.98 c cleaning 12999 clauses out of 26019 with flag 715001/837101 456.77/232.14 c cleaning 13002 clauses out of 26019 with flag 728000/850100 469.02/238.33 c cleaning 13002 clauses out of 26017 with flag 741000/863100 481.32/244.50 c cleaning 12999 clauses out of 26015 with flag 754000/876100 493.42/250.66 c cleaning 13003 clauses out of 26016 with flag 767000/889100 505.71/256.81 c cleaning 13000 clauses out of 26014 with flag 780001/902101 512.95/260.53 c cleaning 13000 clauses out of 26014 with flag 793001/915101 517.66/262.99 c cleaning 12999 clauses out of 26014 with flag 806001/928101 522.53/265.43 c cleaning 12997 clauses out of 26014 with flag 819000/941100 527.43/267.94 c cleaning 13000 clauses out of 26017 with flag 832000/954100 532.29/270.44 c cleaning 13001 clauses out of 26018 with flag 845001/967101 536.99/272.85 c cleaning 13002 clauses out of 26016 with flag 858000/980100 541.68/275.28 c cleaning 12994 clauses out of 26014 with flag 871000/993100 547.18/278.05 c cleaning 13006 clauses out of 26020 with flag 884000/1006100 554.84/281.93 c cleaning 12991 clauses out of 26015 with flag 897002/1019102 559.94/284.54 c cleaning 13004 clauses out of 26022 with flag 910000/1032100 565.42/287.40 c cleaning 13005 clauses out of 26020 with flag 923002/1045102 572.51/290.93 c cleaning 12999 clauses out of 26013 with flag 936000/1058100 578.34/293.95 c cleaning 12993 clauses out of 26014 with flag 949000/1071100 582.83/296.29 c cleaning 12999 clauses out of 26021 with flag 962000/1084100 589.91/299.82 c cleaning 13006 clauses out of 26023 with flag 975001/1097101 603.61/306.72 c cleaning 13000 clauses out of 26016 with flag 988000/1110100 617.65/313.83 c cleaning 13001 clauses out of 26016 with flag 1001000/1123100 631.35/320.77 c cleaning 13002 clauses out of 26015 with flag 1014000/1136100 640.63/325.43 c cleaning 12999 clauses out of 26013 with flag 1027000/1149100 648.91/329.69 c cleaning 13001 clauses out of 26014 with flag 1040000/1162100 657.31/333.94 c cleaning 13000 clauses out of 26014 with flag 1053001/1175101 665.57/338.12 c cleaning 12998 clauses out of 26013 with flag 1066000/1188100 673.45/342.19 c cleaning 13000 clauses out of 26015 with flag 1079000/1201100 678.70/344.84 c cleaning 12998 clauses out of 26015 with flag 1092000/1214100 683.51/347.31 c cleaning 13000 clauses out of 26017 with flag 1105000/1227100 688.38/349.82 c cleaning 12996 clauses out of 26017 with flag 1118000/1240100 693.04/352.28 c cleaning 13001 clauses out of 26021 with flag 1131000/1253100 698.10/354.83 c cleaning 13002 clauses out of 26021 with flag 1144001/1266101 703.13/357.44 c cleaning 13000 clauses out of 26018 with flag 1157000/1279100 708.18/360.00 c cleaning 12998 clauses out of 26018 with flag 1170000/1292100 712.85/362.49 c cleaning 12980 clauses out of 26020 with flag 1183000/1305100 717.31/364.78 c cleaning 13006 clauses out of 26040 with flag 1196000/1318100 721.92/367.16 c cleaning 13001 clauses out of 26034 with flag 1209000/1331100 726.39/369.48 c cleaning 13003 clauses out of 26033 with flag 1222000/1344100 731.07/371.86 c cleaning 13001 clauses out of 26030 with flag 1235000/1357100 735.92/374.30 c cleaning 13001 clauses out of 26029 with flag 1248000/1370100 740.74/376.80 c cleaning 12998 clauses out of 26028 with flag 1261000/1383100 745.20/379.15 c cleaning 13001 clauses out of 26030 with flag 1274000/1396100 749.86/381.57 c cleaning 12996 clauses out of 26029 with flag 1287000/1409100 754.55/383.96 c cleaning 13003 clauses out of 26033 with flag 1300000/1422100 759.35/386.40 c cleaning 13002 clauses out of 26030 with flag 1313000/1435100 763.83/388.73 c cleaning 12997 clauses out of 26028 with flag 1326000/1448100 770.69/392.22 c cleaning 13004 clauses out of 26031 with flag 1339000/1461100 777.36/395.60 c cleaning 13006 clauses out of 26027 with flag 1352000/1474100 783.76/398.97 c cleaning 12986 clauses out of 26021 with flag 1365000/1487100 788.65/401.47 c cleaning 13004 clauses out of 26035 with flag 1378000/1500100 793.70/404.00 c cleaning 13008 clauses out of 26032 with flag 1391001/1513101 799.38/406.96 c cleaning 13005 clauses out of 26024 with flag 1404001/1526101 805.36/410.01 c cleaning 12999 clauses out of 26018 with flag 1417000/1539100 811.03/412.93 c cleaning 13004 clauses out of 26019 with flag 1430000/1552100 816.11/415.60 c cleaning 12998 clauses out of 26016 with flag 1443001/1565101 821.37/418.24 c cleaning 12997 clauses out of 26017 with flag 1456000/1578100 826.17/420.75 c cleaning 12998 clauses out of 26020 with flag 1469000/1591100 830.64/423.04 c cleaning 12998 clauses out of 26022 with flag 1482000/1604100 835.10/425.33 c cleaning 13005 clauses out of 26025 with flag 1495001/1617101 841.17/428.49 c cleaning 12998 clauses out of 26019 with flag 1508000/1630100 845.78/430.87 c cleaning 13002 clauses out of 26021 with flag 1521000/1643100 853.06/434.53 c cleaning 12995 clauses out of 26019 with flag 1534000/1656100 861.11/438.63 c cleaning 13002 clauses out of 26026 with flag 1547002/1669102 869.18/442.71 c cleaning 13000 clauses out of 26022 with flag 1560000/1682100 877.37/446.93 c cleaning 12997 clauses out of 26022 with flag 1573000/1695100 885.44/451.02 c cleaning 13000 clauses out of 26026 with flag 1586001/1708101 893.29/455.06 c cleaning 12999 clauses out of 26026 with flag 1599001/1721101 901.16/459.03 c cleaning 13000 clauses out of 26026 with flag 1612000/1734100 910.35/463.77 c cleaning 13008 clauses out of 26027 with flag 1625001/1747101 919.21/468.23 c cleaning 13001 clauses out of 26019 with flag 1638001/1760101 926.29/471.87 c cleaning 12999 clauses out of 26017 with flag 1651000/1773100 933.34/475.43 c cleaning 12999 clauses out of 26018 with flag 1664000/1786100 941.34/479.57 c cleaning 13000 clauses out of 26019 with flag 1677000/1799100 949.39/483.62 c cleaning 12999 clauses out of 26019 with flag 1690000/1812100 958.25/488.12 c cleaning 13002 clauses out of 26020 with flag 1703000/1825100 965.33/491.70 c cleaning 12999 clauses out of 26018 with flag 1716000/1838100 973.11/495.74 c cleaning 13003 clauses out of 26020 with flag 1729001/1851101 980.56/499.58 c cleaning 12999 clauses out of 26017 with flag 1742001/1864101 988.04/503.32 c cleaning 13000 clauses out of 26018 with flag 1755001/1877101 995.10/506.99 c cleaning 12999 clauses out of 26017 with flag 1768000/1890100 1000.10/509.59 c cleaning 12996 clauses out of 26018 with flag 1781000/1903100 1004.57/511.87 c cleaning 13000 clauses out of 26022 with flag 1794000/1916100 1009.03/514.13 c cleaning 12998 clauses out of 26022 with flag 1807000/1929100 1013.30/516.38 c cleaning 12999 clauses out of 26024 with flag 1820000/1942100 1017.89/518.70 c cleaning 13000 clauses out of 26025 with flag 1833000/1955100 1022.15/520.91 c cleaning 13002 clauses out of 26026 with flag 1846001/1968101 1026.41/523.11 c cleaning 13000 clauses out of 26023 with flag 1859000/1981100 1030.67/525.35 c cleaning 13000 clauses out of 26023 with flag 1872000/1994100 1035.06/527.68 c cleaning 13000 clauses out of 26024 with flag 1885001/2007101 1039.32/529.88 c cleaning 12999 clauses out of 26023 with flag 1898000/2020100 1043.58/532.07 c cleaning 12999 clauses out of 26025 with flag 1911001/2033101 1047.84/534.25 c cleaning 13004 clauses out of 26027 with flag 1924002/2046102 1052.23/536.54 c cleaning 12994 clauses out of 26021 with flag 1937000/2059100 1056.49/538.74 c cleaning 13003 clauses out of 26027 with flag 1950000/2072100 1060.95/541.01 c cleaning 12998 clauses out of 26024 with flag 1963000/2085100 1065.21/543.28 c cleaning 13005 clauses out of 26026 with flag 1976000/2098100 1069.83/545.64 c cleaning 12998 clauses out of 26021 with flag 1989000/2111100 1074.88/548.27 c cleaning 12999 clauses out of 26023 with flag 2002000/2124100 1083.75/552.78 c cleaning 13001 clauses out of 26024 with flag 2015000/2137100 1089.82/555.89 c cleaning 13001 clauses out of 26024 with flag 2028001/2150101 1096.00/559.08 c cleaning 12997 clauses out of 26023 with flag 2041001/2163101 1100.87/561.54 c cleaning 13003 clauses out of 26025 with flag 2054000/2176100 1105.94/564.18 c cleaning 13001 clauses out of 26022 with flag 2067000/2189100 1111.40/566.93 c cleaning 13001 clauses out of 26021 with flag 2080000/2202100 1116.79/569.73 c cleaning 12996 clauses out of 26020 with flag 2093000/2215100 1130.23/576.53 c cleaning 12997 clauses out of 26025 with flag 2106001/2228101 1136.31/579.68 c cleaning 13001 clauses out of 26027 with flag 2119000/2241100 1144.76/583.99 c cleaning 13008 clauses out of 26027 with flag 2132001/2254101 1152.14/587.79 c cleaning 13003 clauses out of 26019 with flag 2145001/2267101 1159.19/591.31 c cleaning 13001 clauses out of 26016 with flag 2158001/2280101 1166.86/595.21 c cleaning 12996 clauses out of 26014 with flag 2171000/2293100 1174.91/599.30 c cleaning 13000 clauses out of 26019 with flag 2184001/2306101 1180.70/602.30 c cleaning 12998 clauses out of 26018 with flag 2197000/2319100 1185.36/604.70 c cleaning 13000 clauses out of 26021 with flag 2210001/2332101 1190.81/607.57 c cleaning 12999 clauses out of 26020 with flag 2223000/2345100 1196.28/610.30 c cleaning 13003 clauses out of 26021 with flag 2236000/2358100 1200.67/612.70 c cleaning 13002 clauses out of 26019 with flag 2249001/2371101 1205.12/614.97 c cleaning 12994 clauses out of 26016 with flag 2262000/2384100 1209.75/617.33 c cleaning 13002 clauses out of 26023 with flag 2275001/2397101 1214.21/619.68 c cleaning 13004 clauses out of 26021 with flag 2288001/2410101 1218.79/622.02 c cleaning 12994 clauses out of 26016 with flag 2301000/2423100 1223.25/624.32 c cleaning 13002 clauses out of 26022 with flag 2314000/2436100 1227.69/626.68 c cleaning 13001 clauses out of 26020 with flag 2327000/2449100 1232.15/628.97 c cleaning 12996 clauses out of 26019 with flag 2340000/2462100 1236.76/631.40 c cleaning 13002 clauses out of 26024 with flag 2353001/2475101 1241.40/633.72 c cleaning 13001 clauses out of 26021 with flag 2366000/2488100 1245.86/636.09 c cleaning 13000 clauses out of 26021 with flag 2379001/2501101 1250.51/638.43 c cleaning 13000 clauses out of 26021 with flag 2392001/2514101 1255.08/640.82 c cleaning 12999 clauses out of 26021 with flag 2405001/2527101 1259.53/643.14 c cleaning 12996 clauses out of 26021 with flag 2418000/2540100 1263.97/645.46 c cleaning 13004 clauses out of 26025 with flag 2431000/2553100 1284.44/655.76 c cleaning 13000 clauses out of 26022 with flag 2444001/2566101 1298.62/662.93 c cleaning 13001 clauses out of 26021 with flag 2457000/2579100 1309.87/668.64 c cleaning 13002 clauses out of 26021 with flag 2470001/2592101 1320.11/673.86 c cleaning 13001 clauses out of 26019 with flag 2483001/2605101 1331.36/679.58 c cleaning 12998 clauses out of 26018 with flag 2496001/2618101 1342.91/685.45 c cleaning 13003 clauses out of 26020 with flag 2509001/2631101 1354.34/691.27 c cleaning 13000 clauses out of 26017 with flag 2522001/2644101 1366.19/697.24 c cleaning 13000 clauses out of 26016 with flag 2535000/2657100 1377.66/703.07 c cleaning 13002 clauses out of 26017 with flag 2548001/2670101 1389.46/709.09 c cleaning 12999 clauses out of 26014 with flag 2561000/2683100 1401.13/714.99 c cleaning 12996 clauses out of 26016 with flag 2574001/2696101 1412.78/720.88 c cleaning 13002 clauses out of 26020 with flag 2587001/2709101 1424.44/726.73 c cleaning 13000 clauses out of 26018 with flag 2600001/2722101 1436.18/732.71 c cleaning 12999 clauses out of 26018 with flag 2613001/2735101 1447.62/738.59 c cleaning 13001 clauses out of 26018 with flag 2626000/2748100 1459.26/744.47 c cleaning 13002 clauses out of 26018 with flag 2639001/2761101 1470.89/750.31 c cleaning 12997 clauses out of 26015 with flag 2652000/2774100 1478.03/754.06 c cleaning 12997 clauses out of 26019 with flag 2665001/2787101 1482.65/756.40 c cleaning 13002 clauses out of 26021 with flag 2678000/2800100 1487.08/758.74 c cleaning 12994 clauses out of 26019 with flag 2691000/2813100 1491.50/761.09 c cleaning 13002 clauses out of 26026 with flag 2704001/2826101 1496.24/763.54 c cleaning 13000 clauses out of 26024 with flag 2717001/2839101 1500.67/765.86 c cleaning 13002 clauses out of 26024 with flag 2730001/2852101 1505.09/768.19 c cleaning 12996 clauses out of 26021 with flag 2743000/2865100 1509.70/770.53 c cleaning 12999 clauses out of 26025 with flag 2756000/2878100 1514.26/772.91 c cleaning 13003 clauses out of 26026 with flag 2769000/2891100 1518.68/775.23 c cleaning 13004 clauses out of 26024 with flag 2782001/2904101 1523.10/777.58 c cleaning 12996 clauses out of 26019 with flag 2795000/2917100 1527.73/779.93 c cleaning 12997 clauses out of 26023 with flag 2808000/2930100 1532.32/782.30 c cleaning 13004 clauses out of 26027 with flag 2821001/2943101 1536.54/784.58 c cleaning 13002 clauses out of 26023 with flag 2834001/2956101 1541.17/786.95 c cleaning 12998 clauses out of 26020 with flag 2847000/2969100 1545.60/789.22 c cleaning 13001 clauses out of 26022 with flag 2860000/2982100 1550.14/791.60 c cleaning 12999 clauses out of 26021 with flag 2873000/2995100 1554.56/793.91 c cleaning 13001 clauses out of 26023 with flag 2886001/3008101 1558.99/796.20 c cleaning 13004 clauses out of 26021 with flag 2899000/3021100 1563.21/798.50 c cleaning 12995 clauses out of 26018 with flag 2912001/3034101 1567.82/800.84 c cleaning 12998 clauses out of 26022 with flag 2925000/3047100 1572.23/803.11 c cleaning 13007 clauses out of 26025 with flag 2938001/3060101 1576.65/805.41 c cleaning 12997 clauses out of 26017 with flag 2951000/3073100 1580.87/807.69 c cleaning 12998 clauses out of 26020 with flag 2964000/3086100 1585.42/810.04 c cleaning 13002 clauses out of 26023 with flag 2977001/3099101 1589.84/812.36 c cleaning 13007 clauses out of 26021 with flag 2990001/3112101 1594.67/814.88 c cleaning 12996 clauses out of 26014 with flag 3003001/3125101 1599.89/817.55 c cleaning 12999 clauses out of 26018 with flag 3016001/3138101 1605.42/820.48 c cleaning 13006 clauses out of 26023 with flag 3029005/3151105 1612.65/824.15 c cleaning 12991 clauses out of 26012 with flag 3042000/3164100 1618.28/827.01 c cleaning 13002 clauses out of 26021 with flag 3055000/3177100 1623.10/829.58 c cleaning 12998 clauses out of 26019 with flag 3068000/3190100 1628.63/832.42 c cleaning 13003 clauses out of 26021 with flag 3081000/3203100 1633.27/834.87 c cleaning 13003 clauses out of 26019 with flag 3094001/3216101 1638.08/837.31 c cleaning 12998 clauses out of 26015 with flag 3107000/3229100 1642.51/839.70 c cleaning 12999 clauses out of 26018 with flag 3120001/3242101 1647.25/842.14 c cleaning 13000 clauses out of 26019 with flag 3133001/3255101 1652.09/844.61 c cleaning 12997 clauses out of 26018 with flag 3146000/3268100 1656.72/847.08 c cleaning 13003 clauses out of 26021 with flag 3159000/3281100 1661.54/849.58 c cleaning 12994 clauses out of 26019 with flag 3172001/3294101 1666.47/852.16 c cleaning 12999 clauses out of 26024 with flag 3185000/3307100 1671.30/854.62 c cleaning 13004 clauses out of 26026 with flag 3198001/3320101 1676.12/857.13 c cleaning 13002 clauses out of 26021 with flag 3211000/3333100 1680.74/859.52 c cleaning 13000 clauses out of 26019 with flag 3224000/3346100 1685.29/861.96 c cleaning 12996 clauses out of 26019 with flag 3237000/3359100 1689.91/864.35 c cleaning 13002 clauses out of 26023 with flag 3250000/3372100 1694.55/866.77 c cleaning 13002 clauses out of 26022 with flag 3263001/3385101 1699.16/869.11 c cleaning 12996 clauses out of 26019 with flag 3276000/3398100 1703.70/871.59 c cleaning 13000 clauses out of 26023 with flag 3289000/3411100 1709.14/874.38 c cleaning 13003 clauses out of 26024 with flag 3302001/3424101 1714.56/877.17 c cleaning 13003 clauses out of 26021 with flag 3315001/3437101 1720.19/880.01 c cleaning 13000 clauses out of 26017 with flag 3328000/3450100 1725.73/882.94 c cleaning 12999 clauses out of 26017 with flag 3341000/3463100 1731.35/885.81 c cleaning 12995 clauses out of 26018 with flag 3354000/3476100 1736.77/888.66 c cleaning 13007 clauses out of 26023 with flag 3367000/3489100 1742.20/891.49 c cleaning 12997 clauses out of 26016 with flag 3380000/3502100 1747.79/894.37 c cleaning 12996 clauses out of 26019 with flag 3393000/3515100 1753.40/897.24 c cleaning 13003 clauses out of 26024 with flag 3406001/3528101 1758.83/900.08 c cleaning 13000 clauses out of 26020 with flag 3419000/3541100 1764.46/902.95 c cleaning 12997 clauses out of 26020 with flag 3432000/3554100 1786.51/914.05 c cleaning 12999 clauses out of 26023 with flag 3445000/3567100 1800.16/920.91 c starts : 8 1800.16/920.91 c conflicts : 449 1800.16/920.91 c decisions : 78080 1800.16/920.91 c propagations : 693923 1800.16/920.91 c inspects : 15712702 1800.16/920.91 c shortcuts : 0 1800.16/920.91 c learnt literals : 0 1800.16/920.91 c learnt binary clauses : 0 1800.16/920.91 c learnt ternary clauses : 0 1800.16/920.91 c learnt constraints : 445 1800.16/920.91 c ignored constraints : 0 1800.16/920.91 c root simplifications : 0 1800.16/920.91 c removed literals (reason simplification) : 0 1800.16/920.91 c reason swapping (by a shorter reason) : 0 1800.16/920.91 c Calls to reduceDB : 0 1800.16/920.91 c number of reductions to clauses (during analyze) : 0 1800.16/920.91 c number of learned constraints concerned by reduction : 0 1800.16/920.91 c number of learning phase by resolution : 0 1800.16/920.91 c number of learning phase by cutting planes : 0 1800.16/920.91 c speed (assignments/second) : 789.3435891135848 1800.16/920.91 c non guided choices 0 1800.16/920.91 c learnt constraints type 1800.16/920.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 445 1800.16/920.91 c constraints type 1800.16/920.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.16/920.91 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.16/920.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.16/920.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.16/920.91 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.16/920.91 c constraints type 1800.16/920.91 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1800.16/920.91 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1800.16/920.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.16/920.91 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.16/920.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376 1800.16/920.91 s SATISFIABLE 1800.16/920.92 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.16/920.93 c objective function=6012437 1800.16/920.93 c Total wall clock time (in seconds): 920.811
OK 6012437
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-3744354-1338802534/watcher-3744354-1338802534 -o /tmp/evaluation-result-3744354-1338802534/solver-3744354-1338802534 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744354-1338802534.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: 3.84 3.95 3.91 3/197 26040 /proc/meminfo: memFree=27721840/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/26040/stat : 26040 (java) D 26038 26040 22704 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346379364 9515008 182 33554432000 1073741824 1073778376 140733964235200 140733964226232 217410518709 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/26040/statm: 2323 182 140 9 0 71 0 [startup+0.0859059 s] /proc/loadavg: 3.84 3.95 3.91 3/197 26040 /proc/meminfo: memFree=27721840/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11586392 CPUtime=0.06 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 4984 0 1 0 5 1 0 0 20 0 18 0 346379364 11864465408 12835 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2896598 12835 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.100217 s] /proc/loadavg: 3.84 3.95 3.91 3/197 26040 /proc/meminfo: memFree=27721840/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11586392 CPUtime=0.09 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 5754 0 1 0 8 1 0 0 20 0 18 0 346379364 11864465408 13587 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2896598 13587 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300181 s] /proc/loadavg: 3.84 3.95 3.91 3/197 26040 /proc/meminfo: memFree=27721840/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11586392 CPUtime=0.52 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 8567 0 1 0 50 2 0 0 20 0 18 0 346379364 11864465408 18389 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2896598 18389 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 11586392 [startup+0.700178 s] /proc/loadavg: 3.84 3.95 3.91 3/197 26040 /proc/meminfo: memFree=27721840/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=1.82 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 23521 0 1 0 178 4 0 0 20 0 22 0 346379364 12137111552 32688 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 32688 2248 9 0 2953849 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 11852648 [startup+1.50062 s] /proc/loadavg: 3.84 3.95 3.91 7/219 26062 /proc/meminfo: memFree=27596136/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=3.58 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 27417 0 1 0 349 9 0 0 20 0 19 0 346379364 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 35728 2265 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3910 0 1 0 60 2 0 0 20 0 19 0 346379365 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822446236824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 11702 0 0 0 96 1 0 0 20 0 19 0 346379371 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10498 0 0 0 96 2 0 0 20 0 19 0 346379371 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26062] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26062/stat : 26062 (java) S 26038 26040 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346379430 12137111552 35728 33554432000 1073741824 1073778376 140736736719520 139821378929960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.58 Current children cumulated vsize (KiB) 11852648 [startup+3.10062 s] /proc/loadavg: 3.84 3.95 3.91 3/216 26068 /proc/meminfo: memFree=27576976/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=3.9 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 27452 0 1 0 376 14 0 0 20 0 19 0 346379364 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 42386 2265 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.68 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3915 0 1 0 66 2 0 0 20 0 19 0 346379365 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822446236840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346379367 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346379368 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 11702 0 0 0 103 2 0 0 20 0 19 0 346379371 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10498 0 0 0 103 2 0 0 20 0 19 0 346379371 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346379371 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26062] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26062/stat : 26062 (java) S 26038 26040 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346379430 12137111552 42386 33554432000 1073741824 1073778376 140736736719520 139821378929960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 11852648 [startup+6.30074 s] /proc/loadavg: 3.85 3.95 3.91 5/219 26077 /proc/meminfo: memFree=26794916/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=10.43 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 29470 0 1 0 1010 33 0 0 20 0 22 0 346379364 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 360311 2291 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3916 0 1 0 68 2 0 0 20 0 22 0 346379365 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822446236840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346379367 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=0.04 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 22 0 346379368 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 13021 0 0 0 136 2 0 0 20 0 22 0 346379371 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10502 0 0 0 115 2 0 0 20 0 22 0 346379371 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26062] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26062/stat : 26062 (java) S 26038 26040 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346379430 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821378929960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26075] ppid=26038 vsize=11852648 CPUtime=2.96 cores=1,3,5,7 /proc/26040/task/26075/stat : 26075 (java) R 26038 26040 22704 0 -1 4202560 11 0 0 0 296 0 0 0 20 0 22 0 346379688 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821381035048 139822275381084 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26076] ppid=26038 vsize=11852648 CPUtime=2.96 cores=1,3,5,7 /proc/26040/task/26076/stat : 26076 (java) R 26038 26040 22704 0 -1 4202560 603 0 0 0 278 18 0 0 20 0 22 0 346379688 12137111552 360311 33554432000 1073741824 1073778376 140736736719520 139821382085384 139822275585769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=26040/tid=26081] ppid=26038 vsize=11852648 CPUtime=744.7 cores=1,3,5,7 /proc/26040/task/26081/stat : 26081 (java) R 26038 26040 22704 0 -1 4202560 148 0 0 0 74459 11 0 0 20 0 22 0 346383544 12137111552 909221 33554432000 1073741824 1073778376 140736736719520 139821381034192 139822275541023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26082] ppid=26038 vsize=11852648 CPUtime=744.73 cores=1,3,5,7 /proc/26040/task/26082/stat : 26082 (java) R 26038 26040 22704 0 -1 4202560 450 0 0 0 74450 23 0 0 20 0 22 0 346383544 12137111552 909221 33554432000 1073741824 1073778376 140736736719520 139821378926544 139822275566190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26083] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26083/stat : 26083 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346383544 12137111552 909221 33554432000 1073741824 1073778376 140736736719520 139821382088360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1609.05 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 2.92 3.09 3.44 4/219 26163 /proc/meminfo: memFree=24107608/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=1724.53 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 33921 0 1 0 172342 111 0 0 20 0 22 0 346379364 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 909249 2293 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.78 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3990 0 1 0 74 4 0 0 20 0 22 0 346379365 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822446236824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 113 0 0 0 56 2 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 85 0 0 0 57 2 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 116 0 0 0 64 3 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 85 0 0 0 53 3 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 70 0 0 0 54 2 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 83 0 0 0 54 2 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 73 0 0 0 56 1 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 97 0 0 0 63 2 0 0 20 0 22 0 346379367 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=39.57 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 149 0 0 0 3952 5 0 0 20 0 22 0 346379368 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 15301 0 0 0 188 2 0 0 20 0 22 0 346379371 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10515 0 0 0 133 2 0 0 20 0 22 0 346379371 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0.32 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 346379371 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26077] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26077/stat : 26077 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346379688 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821379982760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26081] ppid=26038 vsize=11852648 CPUtime=800.06 cores=1,3,5,7 /proc/26040/task/26081/stat : 26081 (java) R 26038 26040 22704 0 -1 4202560 156 0 0 0 79992 14 0 0 20 0 22 0 346383544 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821381034192 139822275944946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26082] ppid=26038 vsize=11852648 CPUtime=800.07 cores=1,3,5,7 /proc/26040/task/26082/stat : 26082 (java) R 26038 26040 22704 0 -1 4202560 461 0 0 0 79982 25 0 0 20 0 22 0 346383544 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821378926544 139822275586059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26083] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26083/stat : 26083 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346383544 12137111552 909249 33554432000 1073741824 1073778376 140736736719520 139821382088360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1724.53 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+920.901 s] /proc/loadavg: 2.88 3.06 3.42 4/219 26163 /proc/meminfo: memFree=24080740/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=1800.16 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 33988 0 1 0 179900 116 0 0 20 0 22 0 346379364 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 915398 2293 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.78 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3994 0 1 0 74 4 0 0 20 0 22 0 346379365 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822446236824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 116 0 0 0 57 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 96 0 0 0 59 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 119 0 0 0 66 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 94 0 0 0 56 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 70 0 0 0 55 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 92 0 0 0 56 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 78 0 0 0 58 1 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0.68 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 107 0 0 0 66 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=41.21 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 152 0 0 0 4115 6 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 15301 0 0 0 188 2 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10515 0 0 0 133 2 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26077] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26077/stat : 26077 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346379688 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821379982760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26081] ppid=26038 vsize=11852648 CPUtime=836.96 cores=1,3,5,7 /proc/26040/task/26081/stat : 26081 (java) R 26038 26040 22704 0 -1 4202560 161 0 0 0 83682 14 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821381032208 139822275455580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26082] ppid=26038 vsize=11852648 CPUtime=836.96 cores=1,3,5,7 /proc/26040/task/26082/stat : 26082 (java) R 26038 26040 22704 0 -1 4202560 464 0 0 0 83671 25 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821378927360 139822275586129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26083] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26083/stat : 26083 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821382088360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 [startup+920.901 s] /proc/loadavg: 2.88 3.06 3.42 4/219 26163 /proc/meminfo: memFree=24080740/32873648 swapFree=7628/7628 [pid=26040] ppid=26038 vsize=11852648 CPUtime=1800.16 cores=1,3,5,7 /proc/26040/stat : 26040 (java) S 26038 26040 22704 0 -1 4202496 33988 0 1 0 179900 116 0 0 20 0 22 0 346379364 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 140736736710656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26040/statm: 2963162 915398 2293 9 0 2953849 0 [pid=26040/tid=26042] ppid=26038 vsize=11852648 CPUtime=0.78 cores=1,3,5,7 /proc/26040/task/26042/stat : 26042 (java) S 26038 26040 22704 0 -1 4202560 3994 0 1 0 74 4 0 0 20 0 22 0 346379365 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822446236824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26043] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26043/stat : 26043 (java) S 26038 26040 22704 0 -1 4202560 116 0 0 0 57 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822400990248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26044] ppid=26038 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/26040/task/26044/stat : 26044 (java) S 26038 26040 22704 0 -1 4202560 96 0 0 0 59 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822399937448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26045] ppid=26038 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/26040/task/26045/stat : 26045 (java) S 26038 26040 22704 0 -1 4202560 119 0 0 0 66 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822398884648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26046] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26046/stat : 26046 (java) S 26038 26040 22704 0 -1 4202560 94 0 0 0 56 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822397831848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26047] ppid=26038 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/26040/task/26047/stat : 26047 (java) S 26038 26040 22704 0 -1 4202560 70 0 0 0 55 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822396779048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26048] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26048/stat : 26048 (java) S 26038 26040 22704 0 -1 4202560 92 0 0 0 56 3 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822395726248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26049] ppid=26038 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/26040/task/26049/stat : 26049 (java) S 26038 26040 22704 0 -1 4202560 78 0 0 0 58 1 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822394673448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26050] ppid=26038 vsize=11852648 CPUtime=0.68 cores=1,3,5,7 /proc/26040/task/26050/stat : 26050 (java) S 26038 26040 22704 0 -1 4202560 107 0 0 0 66 2 0 0 20 0 22 0 346379367 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822393620648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26051] ppid=26038 vsize=11852648 CPUtime=41.21 cores=1,3,5,7 /proc/26040/task/26051/stat : 26051 (java) S 26038 26040 22704 0 -1 4202560 152 0 0 0 4115 6 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822263081960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26052] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26052/stat : 26052 (java) S 26038 26040 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822262028024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26053] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26053/stat : 26053 (java) S 26038 26040 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346379368 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822260975112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26054] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26054/stat : 26054 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822259923600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26055] ppid=26038 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/26040/task/26055/stat : 26055 (java) S 26038 26040 22704 0 -1 4202560 15301 0 0 0 188 2 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139822258870712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26056] ppid=26038 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/26040/task/26056/stat : 26056 (java) S 26038 26040 22704 0 -1 4202560 10515 0 0 0 133 2 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821385247032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26057] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26057/stat : 26057 (java) S 26038 26040 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821384194424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26040/tid=26058] ppid=26038 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/26040/task/26058/stat : 26058 (java) S 26038 26040 22704 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 346379371 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821383141832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26077] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26077/stat : 26077 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346379688 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821379982760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26040/tid=26081] ppid=26038 vsize=11852648 CPUtime=836.96 cores=1,3,5,7 /proc/26040/task/26081/stat : 26081 (java) R 26038 26040 22704 0 -1 4202560 161 0 0 0 83682 14 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821381032208 139822275455580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26040/tid=26082] ppid=26038 vsize=11852648 CPUtime=836.96 cores=1,3,5,7 /proc/26040/task/26082/stat : 26082 (java) R 26038 26040 22704 0 -1 4202560 464 0 0 0 83671 25 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821378927360 139822275586129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26040/tid=26083] ppid=26038 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/26040/task/26083/stat : 26083 (java) S 26038 26040 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346383544 12137111552 915398 33554432000 1073741824 1073778376 140736736719520 139821382088360 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 920.947 CPU time (s): 1800.56 CPU user time (s): 1798.98 CPU system time (s): 1.58276 CPU usage (%): 195.512 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.58276 maximum resident set size= 3661708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34019 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30320 involuntary context switches= 24204 runsolver used 3.14252 second user time and 8.79266 second system time The end
Begin job on node122 at 2012-06-04 11:35:34 IDJOB=3744354 IDBENCH=92735 IDSOLVER=2328 FILE ID=node122/3744354-1338802534 RUNJOBID= node122-1338785055-22721 PBS_JOBID= 14636854 Free space on /tmp= 71184 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744354-1338802534/watcher-3744354-1338802534 -o /tmp/evaluation-result-3744354-1338802534/solver-3744354-1338802534 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744354-1338802534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22 RANDOM SEED=665264721 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 2666.533 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 : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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: 32873648 kB MemFree: 27722368 kB Buffers: 283020 kB Cached: 317608 kB SwapCached: 1584 kB Active: 4059328 kB Inactive: 234764 kB Active(anon): 3690156 kB Inactive(anon): 5436 kB Active(file): 369172 kB Inactive(file): 229328 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 892 kB Writeback: 0 kB AnonPages: 3699360 kB Mapped: 16916 kB Shmem: 0 kB Slab: 713788 kB SReclaimable: 157688 kB SUnreclaim: 556100 kB KernelStack: 1632 kB PageTables: 11216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10495476 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3629056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node122 at 2012-06-04 11:50:57