Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 24 | 1800.38 | 961.276 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 1800.26 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | NO |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3454126-1307193629.opb 0.09/0.11 c reading problem ... 1.03/0.51 c ... done. Wall clock time 0.392s. 1.03/0.51 c #vars 6076 1.03/0.51 c #constraints 21401 1.03/0.51 c constraints type 1.03/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1.03/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.03/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1.03/0.51 c constraints type 1.03/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1.03/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1.03/0.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.03/0.56 c And the winner is Resolution 1.39/1.02 c SATISFIABLE 1.39/1.02 c OPTIMIZING... 1.39/1.02 c Got one! Elapsed wall clock time (in seconds):0.907 1.39/1.02 o 26 3.95/2.06 c cleaning 2496 clauses out of 5003 with flag 5000/5003 6.19/3.12 c cleaning 4246 clauses out of 8507 with flag 11000/11003 7.99/4.05 c cleaning 5624 clauses out of 11261 with flag 18000/18003 8.79/4.47 c And the winner is Resolution 8.94/4.54 c Got one! Elapsed wall clock time (in seconds):4.429 8.94/4.54 o 25 9.67/4.99 c cleaning 5735 clauses out of 11489 with flag 3007/23855 11.88/6.00 c cleaning 5858 clauses out of 11751 with flag 9004/29852 14.44/7.38 c cleaning 6428 clauses out of 12890 with flag 16001/36849 17.61/8.93 c cleaning 7218 clauses out of 14462 with flag 24001/44849 20.18/10.24 c cleaning 8111 clauses out of 16247 with flag 33004/53852 23.54/11.96 c cleaning 9053 clauses out of 18133 with flag 43001/63849 28.88/14.63 c cleaning 10028 clauses out of 20079 with flag 54000/74848 33.26/16.80 c cleaning 11006 clauses out of 22053 with flag 66002/86850 37.07/18.74 c cleaning 12007 clauses out of 24046 with flag 79001/99849 42.58/21.52 c cleaning 13001 clauses out of 26042 with flag 93004/113852 47.75/24.14 c cleaning 13992 clauses out of 28038 with flag 108001/128849 53.46/27.01 c cleaning 15001 clauses out of 30046 with flag 124001/144849 60.38/30.54 c cleaning 16012 clauses out of 32044 with flag 141000/161848 68.26/34.56 c cleaning 17012 clauses out of 34034 with flag 159002/179850 75.98/38.43 c cleaning 17999 clauses out of 36021 with flag 178001/198849 83.67/42.30 c cleaning 19001 clauses out of 38022 with flag 198001/218849 92.37/46.73 c cleaning 20001 clauses out of 40021 with flag 219001/239849 101.21/51.27 c cleaning 20999 clauses out of 42020 with flag 241001/261849 108.89/55.15 c cleaning 21494 clauses out of 43021 with flag 263001/283849 117.78/59.67 c cleaning 21745 clauses out of 43529 with flag 285003/305851 125.76/63.56 c cleaning 21877 clauses out of 43781 with flag 307000/327848 134.58/68.01 c cleaning 21936 clauses out of 43905 with flag 329001/349849 141.65/71.65 c cleaning 21964 clauses out of 43969 with flag 351001/371849 148.91/75.30 c cleaning 21988 clauses out of 44004 with flag 373000/393848 157.97/79.97 c cleaning 21994 clauses out of 44019 with flag 395003/415851 165.55/83.88 c cleaning 22004 clauses out of 44022 with flag 417000/437848 174.39/88.37 c cleaning 21989 clauses out of 44018 with flag 439000/459848 181.41/91.92 c cleaning 21993 clauses out of 44029 with flag 461000/481848 192.03/97.38 c cleaning 21996 clauses out of 44036 with flag 483000/503848 202.76/102.80 c cleaning 21995 clauses out of 44041 with flag 505001/525849 209.57/106.31 c cleaning 22000 clauses out of 44046 with flag 527001/547849 216.17/109.78 c cleaning 21999 clauses out of 44046 with flag 549001/569849 222.76/113.18 c cleaning 22006 clauses out of 44046 with flag 571000/591848 232.44/118.11 c cleaning 21999 clauses out of 44040 with flag 593000/613848 240.42/122.28 c cleaning 22000 clauses out of 44041 with flag 615000/635848 249.19/126.73 c cleaning 21996 clauses out of 44041 with flag 637000/657848 256.35/130.42 c cleaning 22008 clauses out of 44045 with flag 659000/679848 267.81/136.40 c cleaning 21999 clauses out of 44038 with flag 681001/701849 278.15/141.65 c cleaning 22005 clauses out of 44038 with flag 703000/723848 285.12/145.27 c cleaning 21996 clauses out of 44033 with flag 725000/745848 291.47/148.57 c cleaning 21994 clauses out of 44038 with flag 747001/767849 299.46/152.71 c cleaning 22003 clauses out of 44047 with flag 769004/789852 308.59/157.49 c cleaning 22006 clauses out of 44043 with flag 791003/811851 318.10/162.37 c cleaning 21990 clauses out of 44035 with flag 813001/833849 328.21/167.59 c cleaning 21988 clauses out of 44044 with flag 835000/855848 338.98/173.19 c cleaning 22002 clauses out of 44057 with flag 857001/877849 347.68/177.67 c cleaning 21985 clauses out of 44054 with flag 879000/899848 355.76/181.86 c cleaning 22016 clauses out of 44071 with flag 901002/921850 365.08/186.68 c cleaning 21993 clauses out of 44053 with flag 923000/943848 372.79/190.77 c cleaning 21992 clauses out of 44060 with flag 945000/965848 381.46/195.20 c cleaning 22018 clauses out of 44070 with flag 967002/987850 391.33/200.39 c cleaning 22003 clauses out of 44051 with flag 989001/1009849 398.37/204.02 c cleaning 21998 clauses out of 44047 with flag 1011000/1031848 405.68/207.93 c cleaning 22012 clauses out of 44054 with flag 1033005/1053853 412.48/211.51 c cleaning 22002 clauses out of 44039 with flag 1055002/1075850 423.52/217.23 c cleaning 22004 clauses out of 44037 with flag 1077002/1097850 436.15/223.72 c cleaning 21997 clauses out of 44031 with flag 1099000/1119848 448.99/230.49 c cleaning 21996 clauses out of 44035 with flag 1121001/1141849 462.40/237.34 c cleaning 22001 clauses out of 44039 with flag 1143001/1163849 473.19/242.91 c cleaning 21986 clauses out of 44041 with flag 1165004/1185852 481.18/247.18 c cleaning 21983 clauses out of 44052 with flag 1187001/1207849 489.17/251.46 c cleaning 21990 clauses out of 44068 with flag 1209000/1229848 496.54/255.34 c cleaning 21978 clauses out of 44079 with flag 1231001/1251849 504.11/259.37 c cleaning 22003 clauses out of 44100 with flag 1253000/1273848 511.49/263.21 c cleaning 22000 clauses out of 44097 with flag 1275000/1295848 519.07/267.32 c cleaning 21999 clauses out of 44097 with flag 1297000/1317848 526.39/271.20 c cleaning 22017 clauses out of 44098 with flag 1319000/1339848 533.57/275.07 c cleaning 22010 clauses out of 44081 with flag 1341000/1361848 543.08/280.09 c cleaning 22013 clauses out of 44072 with flag 1363001/1383849 550.19/283.91 c cleaning 22014 clauses out of 44061 with flag 1385003/1405851 559.32/288.71 c cleaning 22005 clauses out of 44048 with flag 1407004/1427852 568.68/293.66 c cleaning 22000 clauses out of 44040 with flag 1429001/1449849 575.78/297.45 c cleaning 22000 clauses out of 44040 with flag 1451001/1471849 583.27/301.54 c cleaning 22000 clauses out of 44041 with flag 1473002/1493850 590.97/305.64 c cleaning 22003 clauses out of 44040 with flag 1495001/1515849 602.07/311.48 c cleaning 22007 clauses out of 44036 with flag 1517000/1537848 614.99/318.18 c cleaning 22004 clauses out of 44031 with flag 1539002/1559850 628.24/325.15 c cleaning 21996 clauses out of 44029 with flag 1561004/1581852 641.13/331.80 c cleaning 21993 clauses out of 44032 with flag 1583003/1603851 652.00/337.61 c cleaning 21997 clauses out of 44036 with flag 1605000/1625848 660.26/341.90 c cleaning 22005 clauses out of 44041 with flag 1627002/1647850 667.87/346.13 c cleaning 22002 clauses out of 44034 with flag 1649000/1669848 675.92/350.41 c cleaning 22004 clauses out of 44034 with flag 1671002/1691850 684.17/354.90 c cleaning 21997 clauses out of 44028 with flag 1693000/1713848 692.03/359.07 c cleaning 21997 clauses out of 44031 with flag 1715000/1735848 699.82/363.30 c cleaning 21997 clauses out of 44034 with flag 1737000/1757848 707.48/367.49 c cleaning 21992 clauses out of 44038 with flag 1759001/1779849 718.48/373.24 c cleaning 21999 clauses out of 44045 with flag 1781000/1801848 730.90/379.74 c cleaning 21997 clauses out of 44046 with flag 1803000/1823848 744.06/386.75 c cleaning 22001 clauses out of 44050 with flag 1825001/1845849 757.26/393.67 c cleaning 22005 clauses out of 44048 with flag 1847000/1867848 769.10/399.86 c cleaning 21989 clauses out of 44043 with flag 1869000/1889848 780.73/405.92 c cleaning 22002 clauses out of 44054 with flag 1891000/1911848 793.82/412.94 c cleaning 22002 clauses out of 44054 with flag 1913002/1933850 806.79/419.72 c cleaning 21999 clauses out of 44051 with flag 1935001/1955849 817.38/425.33 c cleaning 22011 clauses out of 44059 with flag 1957008/1977856 827.34/430.69 c cleaning 22000 clauses out of 44040 with flag 1979000/1999848 834.83/434.82 c cleaning 22004 clauses out of 44040 with flag 2001000/2021848 842.77/439.19 c cleaning 22000 clauses out of 44036 with flag 2023000/2043848 853.11/444.68 c cleaning 22000 clauses out of 44038 with flag 2045002/2065850 861.85/449.39 c cleaning 21990 clauses out of 44036 with flag 2067000/2087848 872.11/454.99 c cleaning 22001 clauses out of 44047 with flag 2089001/2109849 882.24/460.32 c cleaning 22002 clauses out of 44045 with flag 2111000/2131848 890.81/464.93 c And the winner is CuttingPlanes 890.87/465.02 c Got one! Elapsed wall clock time (in seconds):464.904 890.87/465.02 o 24 892.66/465.99 c cleaning 22595 clauses out of 45216 with flag 5002/2155021 895.63/467.72 c cleaning 14270 clauses out of 28619 with flag 11000/2161019 898.89/469.85 c cleaning 10654 clauses out of 21349 with flag 18000/2168019 902.63/472.01 c cleaning 9332 clauses out of 18696 with flag 26001/2176020 906.76/474.43 c cleaning 9157 clauses out of 18363 with flag 35000/2185019 911.10/476.95 c cleaning 9579 clauses out of 19206 with flag 45000/2195019 915.75/479.79 c cleaning 10291 clauses out of 20630 with flag 56003/2206022 921.30/482.86 c cleaning 11147 clauses out of 22336 with flag 68000/2218019 927.24/486.18 c cleaning 12079 clauses out of 24189 with flag 81000/2231019 932.57/489.19 c cleaning 13029 clauses out of 26110 with flag 95000/2245019 940.20/493.41 c cleaning 14028 clauses out of 28081 with flag 110000/2260019 946.93/497.18 c cleaning 15011 clauses out of 30053 with flag 126000/2276019 954.25/501.18 c cleaning 16009 clauses out of 32042 with flag 143000/2293019 961.19/504.99 c cleaning 17004 clauses out of 34033 with flag 161000/2311019 969.78/509.78 c cleaning 18004 clauses out of 36032 with flag 180003/2330022 978.49/514.41 c cleaning 18998 clauses out of 38025 with flag 200000/2350019 988.62/519.86 c cleaning 19992 clauses out of 40029 with flag 221002/2371021 998.74/525.29 c cleaning 20992 clauses out of 42035 with flag 243000/2393019 1010.95/531.84 c cleaning 21512 clauses out of 43045 with flag 265002/2415021 1018.66/536.09 c cleaning 21741 clauses out of 43534 with flag 287003/2437022 1029.16/541.61 c cleaning 21878 clauses out of 43791 with flag 309001/2459020 1038.26/546.59 c cleaning 21940 clauses out of 43912 with flag 331000/2481019 1047.06/551.40 c cleaning 21975 clauses out of 43974 with flag 353002/2503021 1060.16/558.35 c cleaning 21980 clauses out of 43997 with flag 375000/2525019 1071.67/564.42 c cleaning 21985 clauses out of 44020 with flag 397003/2547022 1081.36/569.66 c cleaning 22000 clauses out of 44032 with flag 419000/2569019 1094.36/576.65 c cleaning 21994 clauses out of 44032 with flag 441000/2591019 1105.66/582.62 c cleaning 21981 clauses out of 44038 with flag 463000/2613019 1116.14/588.24 c cleaning 22007 clauses out of 44057 with flag 485000/2635019 1123.83/592.43 c cleaning 22011 clauses out of 44052 with flag 507002/2657021 1132.43/597.27 c cleaning 22002 clauses out of 44040 with flag 529001/2679020 1143.90/603.35 c cleaning 22005 clauses out of 44038 with flag 551001/2701020 1155.98/609.75 c cleaning 21998 clauses out of 44032 with flag 573000/2723019 1164.86/614.54 c cleaning 22000 clauses out of 44034 with flag 595000/2745019 1176.64/620.93 c cleaning 21992 clauses out of 44035 with flag 617001/2767020 1185.94/625.93 c cleaning 22008 clauses out of 44043 with flag 639001/2789020 1194.19/630.47 c cleaning 21989 clauses out of 44035 with flag 661001/2811020 1202.93/635.10 c cleaning 21996 clauses out of 44045 with flag 683000/2833019 1214.32/641.33 c cleaning 21994 clauses out of 44050 with flag 705001/2855020 1224.15/646.62 c cleaning 22006 clauses out of 44055 with flag 727000/2877019 1231.80/650.87 c cleaning 22002 clauses out of 44051 with flag 749002/2899021 1239.65/655.18 c cleaning 21998 clauses out of 44047 with flag 771000/2921019 1249.37/660.55 c cleaning 22015 clauses out of 44051 with flag 793002/2943021 1261.42/666.95 c cleaning 22002 clauses out of 44036 with flag 815002/2965021 1272.86/673.02 c cleaning 21996 clauses out of 44032 with flag 837000/2987019 1284.29/679.17 c cleaning 21994 clauses out of 44036 with flag 859000/3009019 1296.19/685.60 c cleaning 22001 clauses out of 44043 with flag 881001/3031020 1304.81/690.38 c cleaning 21995 clauses out of 44044 with flag 903003/3053022 1313.85/695.29 c cleaning 22001 clauses out of 44046 with flag 925000/3075019 1325.65/701.58 c cleaning 21999 clauses out of 44045 with flag 947000/3097019 1335.32/706.99 c cleaning 22001 clauses out of 44049 with flag 969003/3119022 1346.92/713.19 c cleaning 22010 clauses out of 44045 with flag 991000/3141019 1359.50/719.87 c cleaning 21988 clauses out of 44035 with flag 1013000/3163019 1367.09/724.02 c cleaning 22008 clauses out of 44049 with flag 1035002/3185021 1374.53/728.39 c cleaning 22008 clauses out of 44042 with flag 1057003/3207022 1382.12/732.55 c cleaning 21994 clauses out of 44031 with flag 1079000/3229019 1392.10/737.93 c cleaning 22004 clauses out of 44040 with flag 1101003/3251022 1401.29/742.99 c cleaning 21997 clauses out of 44033 with flag 1123000/3273019 1411.12/748.48 c cleaning 21996 clauses out of 44037 with flag 1145001/3295020 1420.89/753.74 c cleaning 21997 clauses out of 44041 with flag 1167001/3317020 1429.87/758.69 c cleaning 21989 clauses out of 44044 with flag 1189001/3339020 1439.24/763.74 c cleaning 21993 clauses out of 44056 with flag 1211002/3361021 1448.26/768.90 c cleaning 21999 clauses out of 44062 with flag 1233001/3383020 1456.64/773.46 c cleaning 21997 clauses out of 44064 with flag 1255002/3405021 1465.64/778.36 c cleaning 22000 clauses out of 44065 with flag 1277000/3427019 1473.99/782.97 c cleaning 22001 clauses out of 44066 with flag 1299001/3449020 1482.78/787.94 c cleaning 21995 clauses out of 44064 with flag 1321000/3471019 1492.77/793.32 c cleaning 22012 clauses out of 44072 with flag 1343003/3493022 1504.45/799.42 c cleaning 22005 clauses out of 44057 with flag 1365000/3515019 1512.75/803.85 c cleaning 21997 clauses out of 44054 with flag 1387002/3537021 1523.99/810.06 c cleaning 21973 clauses out of 44057 with flag 1409002/3559021 1532.16/814.59 c cleaning 22016 clauses out of 44083 with flag 1431001/3581020 1540.10/818.99 c cleaning 22020 clauses out of 44069 with flag 1453003/3603022 1550.65/824.63 c cleaning 22010 clauses out of 44047 with flag 1475001/3625020 1565.67/832.76 c cleaning 22004 clauses out of 44038 with flag 1497002/3647021 1578.78/839.79 c cleaning 22002 clauses out of 44032 with flag 1519000/3669019 1589.53/845.59 c cleaning 22000 clauses out of 44030 with flag 1541000/3691019 1601.06/851.75 c cleaning 21999 clauses out of 44030 with flag 1563000/3713019 1612.85/858.20 c cleaning 22003 clauses out of 44034 with flag 1585003/3735022 1623.99/864.22 c cleaning 21999 clauses out of 44028 with flag 1607000/3757019 1633.79/869.53 c cleaning 21999 clauses out of 44029 with flag 1629000/3779019 1644.12/875.12 c cleaning 21996 clauses out of 44033 with flag 1651003/3801022 1654.27/880.88 c cleaning 21989 clauses out of 44034 with flag 1673000/3823019 1665.19/886.77 c cleaning 21998 clauses out of 44045 with flag 1695000/3845019 1674.50/891.85 c cleaning 21995 clauses out of 44048 with flag 1717001/3867020 1684.81/897.44 c cleaning 22007 clauses out of 44052 with flag 1739000/3889019 1693.73/902.53 c cleaning 22002 clauses out of 44048 with flag 1761003/3911022 1703.03/907.63 c cleaning 22000 clauses out of 44043 with flag 1783000/3933019 1713.33/913.20 c cleaning 22005 clauses out of 44045 with flag 1805002/3955021 1723.68/918.88 c cleaning 22001 clauses out of 44039 with flag 1827001/3977020 1734.20/924.71 c cleaning 22006 clauses out of 44046 with flag 1849009/3999028 1743.88/930.02 c cleaning 21992 clauses out of 44031 with flag 1871000/4021019 1753.38/935.27 c cleaning 21993 clauses out of 44039 with flag 1893000/4043019 1762.86/940.47 c cleaning 22004 clauses out of 44049 with flag 1915003/4065022 1772.76/946.02 c cleaning 22005 clauses out of 44042 with flag 1937000/4087019 1784.19/952.22 c cleaning 21995 clauses out of 44037 with flag 1959000/4109019 1794.66/957.97 c cleaning 22006 clauses out of 44048 with flag 1981006/4131025 1800.12/961.12 c starts : 28 1800.12/961.12 c conflicts : 5834 1800.12/961.12 c decisions : 66456 1800.12/961.12 c propagations : 831220 1800.12/961.12 c inspects : 201151273 1800.12/961.12 c shortcuts : 0 1800.12/961.12 c learnt literals : 0 1800.12/961.12 c learnt binary clauses : 0 1800.12/961.12 c learnt ternary clauses : 0 1800.12/961.12 c learnt constraints : 5833 1800.12/961.12 c ignored constraints : 0 1800.12/961.12 c root simplifications : 0 1800.12/961.12 c removed literals (reason simplification) : 0 1800.12/961.12 c reason swapping (by a shorter reason) : 0 1800.12/961.12 c Calls to reduceDB : 0 1800.12/961.12 c number of reductions to clauses (during analyze) : 0 1800.12/961.12 c number of learned constraints concerned by reduction : 0 1800.12/961.12 c number of learning phase by resolution : 0 1800.12/961.12 c number of learning phase by cutting planes : 0 1800.12/961.12 c speed (assignments/second) : 1675.5265109978714 1800.12/961.12 c non guided choices 0 1800.12/961.12 c learnt constraints type 1800.12/961.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 102 1800.12/961.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.12/961.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5724 1800.12/961.12 c constraints type 1800.12/961.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1800.12/961.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.12/961.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1800.12/961.12 c constraints type 1800.12/961.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1800.12/961.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1800.12/961.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.12/961.12 s SATISFIABLE 1800.12/961.13 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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 x5171 x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 x5226 -x5227 x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 x5399 -x5400 x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 x5955 x5956 -x5957 -x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1800.12/961.14 c objective function=24 1800.12/961.14 c Total wall clock time (in seconds): 961.032
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454126-1307193629/watcher-3454126-1307193629 -o /tmp/evaluation-result-3454126-1307193629/solver-3454126-1307193629 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454126-1307193629.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.68 3.93 3.80 2/383 10440 /proc/meminfo: memFree=23600492/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/10440/stat : 10440 (java) R 10438 10440 6095 0 -1 4202496 955 0 0 0 0 0 0 0 21 0 1 0 830965678 23580672 699 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218365994897 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10440/statm: 5757 699 516 9 0 124 0 [pid=10440/tid=10441] ppid=10438 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) R 10438 10440 6095 0 -1 4202560 2395 0 1 0 0 0 0 0 22 0 2 0 830965679 10694979584 3210 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0980989 s] /proc/loadavg: 3.68 3.93 3.80 2/383 10440 /proc/meminfo: memFree=23600492/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10540088 CPUtime=0.09 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 12945 0 1 0 8 1 0 0 21 0 18 0 830965678 10793050112 12642 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2635022 12643 2092 9 0 2625756 0 [pid=10440/tid=10441] ppid=10438 vsize=10540088 CPUtime=0.07 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) R 10438 10440 6095 0 -1 4202560 11052 0 1 0 6 1 0 0 22 0 18 0 830965679 10793050112 12643 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10540088 [startup+0.10101 s] /proc/loadavg: 3.68 3.93 3.80 2/383 10440 /proc/meminfo: memFree=23600492/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10540088 CPUtime=0.09 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 12980 0 1 0 8 1 0 0 21 0 18 0 830965678 10793050112 12677 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2635022 12678 2092 9 0 2625756 0 [pid=10440/tid=10441] ppid=10438 vsize=10540088 CPUtime=0.08 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) R 10438 10440 6095 0 -1 4202560 11087 0 1 0 7 1 0 0 22 0 18 0 830965679 10793050112 12678 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 47491901950500 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10540088 [startup+0.300977 s] /proc/loadavg: 3.68 3.93 3.80 2/383 10440 /proc/meminfo: memFree=23600492/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10542924 CPUtime=0.46 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 15797 0 1 0 44 2 0 0 21 0 18 0 830965678 10795954176 15494 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2635731 15494 2200 9 0 2626465 0 [pid=10440/tid=10441] ppid=10438 vsize=10542924 CPUtime=0.28 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) R 10438 10440 6095 0 -1 4202560 13078 0 1 0 26 2 0 0 22 0 18 0 830965679 10795954176 15494 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505208048 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10542924 [startup+0.700945 s] /proc/loadavg: 3.68 3.93 3.80 2/383 10440 /proc/meminfo: memFree=23600492/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10553800 CPUtime=1.39 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 31340 0 1 0 135 4 0 0 21 0 20 0 830965678 10807091200 30006 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2638450 30006 2236 9 0 2629184 0 [pid=10440/tid=10441] ppid=10438 vsize=10553800 CPUtime=0.49 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24317 0 1 0 46 3 0 0 24 0 20 0 830965679 10807091200 30006 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 10553800 [startup+1.50076 s] /proc/loadavg: 3.87 3.96 3.81 2/423 10485 /proc/meminfo: memFree=23250176/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10568488 CPUtime=2.81 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 52861 0 1 0 274 7 0 0 21 0 22 0 830965678 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2642122 48743 2242 9 0 2632856 0 [pid=10440/tid=10441] ppid=10438 vsize=10568488 CPUtime=0.5 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24402 0 1 0 47 3 0 0 21 0 22 0 830965679 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830965681 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 830965682 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830965682 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10453] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10453/stat : 10453 (java) S 10438 10440 6095 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830965682 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10454] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10454/stat : 10454 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830965684 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10455] ppid=10438 vsize=10568488 CPUtime=0.73 cores=1,3,5,7 /proc/10440/task/10455/stat : 10455 (java) R 10438 10440 6095 0 -1 4202560 7692 0 0 0 73 0 0 0 16 0 22 0 830965684 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 47491901134911 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10440/tid=10456] ppid=10438 vsize=10568488 CPUtime=0.67 cores=1,3,5,7 /proc/10440/task/10456/stat : 10456 (java) R 10438 10440 6095 0 -1 4202560 4634 0 0 0 67 0 0 0 16 0 22 0 830965684 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 47491899633040 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10440/tid=10457] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10457/stat : 10457 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830965684 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10458] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10458/stat : 10458 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830965684 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10484] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10484/stat : 10484 (java) S 10438 10440 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830965731 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10485] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10485/stat : 10485 (java) S 10438 10440 6095 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 830965735 10822131712 48743 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 10568488 [startup+3.10149 s] /proc/loadavg: 3.87 3.96 3.81 2/426 10491 /proc/meminfo: memFree=22520660/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10568488 CPUtime=6.19 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 199080 0 1 0 597 22 0 0 21 0 22 0 830965678 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2642122 194610 2267 9 0 2632856 0 [pid=10440/tid=10441] ppid=10438 vsize=10568488 CPUtime=0.5 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24402 0 1 0 47 3 0 0 15 0 22 0 830965679 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 653 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 612 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 597 0 0 0 0 0 0 0 18 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 830965681 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10568488 CPUtime=0.03 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 1857 0 0 0 3 0 0 0 15 0 22 0 830965682 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830965682 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10453] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10453/stat : 10453 (java) S 10438 10440 6095 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830965682 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10454] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10454/stat : 10454 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830965684 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10455] ppid=10438 vsize=10568488 CPUtime=0.87 cores=1,3,5,7 /proc/10440/task/10455/stat : 10455 (java) S 10438 10440 6095 0 -1 4202560 7755 0 0 0 87 0 0 0 15 0 22 0 830965684 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10456] ppid=10438 vsize=10568488 CPUtime=0.77 cores=1,3,5,7 /proc/10440/task/10456/stat : 10456 (java) S 10438 10440 6095 0 -1 4202560 4921 0 0 0 77 0 0 0 15 0 22 0 830965684 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10457] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10457/stat : 10457 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830965684 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10458] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10458/stat : 10458 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830965684 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10484] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10484/stat : 10484 (java) S 10438 10440 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830965731 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10485] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10485/stat : 10485 (java) S 10438 10440 6095 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 22 0 830965735 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10486] ppid=10438 vsize=10568488 CPUtime=2.02 cores=1,3,5,7 /proc/10440/task/10486/stat : 10486 (java) R 10438 10440 6095 0 -1 4202560 802 0 0 0 202 0 0 0 19 0 22 0 830965781 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505909738 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10440/tid=10487] ppid=10438 vsize=10568488 CPUtime=1.81 cores=1,3,5,7 /proc/10440/task/10487/stat : 10487 (java) R 10438 10440 6095 0 -1 4202560 155897 0 0 0 165 16 0 0 19 0 22 0 830965781 10822131712 194610 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505963658 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 10568488 [startup+6.30094 s] /proc/loadavg: 3.87 3.96 3.81 4/427 10500 /proc/meminfo: memFree=22114416/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10568488 CPUtime=12.44 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 217361 0 1 0 1220 24 0 0 21 0 22 0 830965678 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2642122 212090 2267 9 0 2632856 0 [pid=10440/tid=10441] ppid=10438 vsize=10568488 CPUtime=0.51 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24402 0 1 0 48 3 0 0 15 0 22 0 830965679 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10568488 CPUtime=0.01 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 660 0 0 0 1 0 0 0 15 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 613 0 0 0 0 0 0 0 16 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 346 0 0 0 0 0 0 0 16 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10568488 CPUtime=0.01 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 598 0 0 0 1 0 0 0 15 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 22 0 830965681 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10568488 CPUtime=0.17 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 2984 0 0 0 17 0 0 0 16 0 22 0 830965682 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10568488 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830965682 10822131712 212090 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=17215860/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10565020 CPUtime=1656.39 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 775672 0 1 0 165552 87 0 0 21 0 22 0 830965678 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2641255 768227 2269 9 0 2631989 0 [pid=10440/tid=10441] ppid=10438 vsize=10565020 CPUtime=0.51 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24522 0 1 0 48 3 0 0 15 0 22 0 830965679 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10565020 CPUtime=1.09 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 1140 0 0 0 109 0 0 0 16 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10565020 CPUtime=1.07 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 2910 0 0 0 107 0 0 0 15 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10565020 CPUtime=1.1 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 1019 0 0 0 110 0 0 0 15 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10565020 CPUtime=1.16 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 1950 0 0 0 116 0 0 0 15 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10565020 CPUtime=1.13 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 2698 0 0 0 113 0 0 0 15 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10565020 CPUtime=0.97 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 342 0 0 0 97 0 0 0 16 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10565020 CPUtime=1.04 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 1065 0 0 0 104 0 0 0 15 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10565020 CPUtime=1.04 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 297 0 0 0 104 0 0 0 16 0 22 0 830965681 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10565020 CPUtime=112.74 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 113799 0 0 0 11261 13 0 0 16 0 22 0 830965682 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10453] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10453/stat : 10453 (java) S 10438 10440 6095 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10454] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10454/stat : 10454 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830965684 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10455] ppid=10438 vsize=10565020 CPUtime=2.24 cores=1,3,5,7 /proc/10440/task/10455/stat : 10455 (java) S 10438 10440 6095 0 -1 4202560 9007 0 0 0 223 1 0 0 16 0 22 0 830965684 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10456] ppid=10438 vsize=10565020 CPUtime=1 cores=1,3,5,7 /proc/10440/task/10456/stat : 10456 (java) S 10438 10440 6095 0 -1 4202560 5653 0 0 0 99 1 0 0 15 0 22 0 830965684 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10457] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10457/stat : 10457 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830965684 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10458] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10458/stat : 10458 (java) S 10438 10440 6095 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830965684 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10500] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10500/stat : 10500 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830966134 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10528] ppid=10438 vsize=10565020 CPUtime=344.22 cores=1,3,5,7 /proc/10440/task/10528/stat : 10528 (java) R 10438 10440 6095 0 -1 4202560 15 0 0 0 34422 0 0 0 18 0 22 0 831012181 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505834551 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10440/tid=10529] ppid=10438 vsize=10565020 CPUtime=344.23 cores=1,3,5,7 /proc/10440/task/10529/stat : 10529 (java) R 10438 10440 6095 0 -1 4202560 1 0 0 0 34423 0 0 0 18 0 22 0 831012181 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505970991 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10440/tid=10530] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10530/stat : 10530 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831012181 10818580480 768227 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1656.39 Current children cumulated vsize (KiB) 10565020 [startup+942.301 s] /proc/loadavg: 3.12 3.64 3.75 2/402 10566 /proc/meminfo: memFree=20511244/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10565020 CPUtime=1765.33 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 780974 0 1 0 176445 88 0 0 21 0 22 0 830965678 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2641255 773514 2269 9 0 2631989 0 [pid=10440/tid=10441] ppid=10438 vsize=10565020 CPUtime=0.51 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24522 0 1 0 48 3 0 0 15 0 22 0 830965679 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10565020 CPUtime=1.18 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 1149 0 0 0 118 0 0 0 16 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10565020 CPUtime=1.19 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 2914 0 0 0 119 0 0 0 15 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10565020 CPUtime=1.22 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 1027 0 0 0 122 0 0 0 15 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10565020 CPUtime=1.25 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 1950 0 0 0 125 0 0 0 15 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10565020 CPUtime=1.25 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 2712 0 0 0 125 0 0 0 16 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10565020 CPUtime=1 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 342 0 0 0 100 0 0 0 15 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10565020 CPUtime=1.06 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 1065 0 0 0 106 0 0 0 15 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10565020 CPUtime=1.13 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 304 0 0 0 113 0 0 0 16 0 22 0 830965681 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10565020 CPUtime=124.01 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 119046 0 0 0 12388 13 0 0 17 0 22 0 830965682 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10453] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10453/stat : 10453 (java) S 10438 10440 6095 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10454] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10454/stat : 10454 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830965684 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10455] ppid=10438 vsize=10565020 CPUtime=2.24 cores=1,3,5,7 /proc/10440/task/10455/stat : 10455 (java) S 10438 10440 6095 0 -1 4202560 9007 0 0 0 223 1 0 0 16 0 22 0 830965684 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10456] ppid=10438 vsize=10565020 CPUtime=1 cores=1,3,5,7 /proc/10440/task/10456/stat : 10456 (java) S 10438 10440 6095 0 -1 4202560 5653 0 0 0 99 1 0 0 15 0 22 0 830965684 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10457] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10457/stat : 10457 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830965684 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10458] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10458/stat : 10458 (java) S 10438 10440 6095 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830965684 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10500] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10500/stat : 10500 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830966134 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10528] ppid=10438 vsize=10565020 CPUtime=392.72 cores=1,3,5,7 /proc/10440/task/10528/stat : 10528 (java) R 10438 10440 6095 0 -1 4202560 26 0 0 0 39272 0 0 0 18 0 22 0 831012181 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505909328 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10440/tid=10529] ppid=10438 vsize=10565020 CPUtime=392.72 cores=1,3,5,7 /proc/10440/task/10529/stat : 10529 (java) R 10438 10440 6095 0 -1 4202560 1 0 0 0 39272 0 0 0 18 0 22 0 831012181 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505971000 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10440/tid=10530] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10530/stat : 10530 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831012181 10818580480 773514 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1765.33 Current children cumulated vsize (KiB) 10565020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+961.102 s] /proc/loadavg: 2.80 3.53 3.71 3/402 10567 /proc/meminfo: memFree=20500304/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=10565020 CPUtime=1800.12 cores=1,3,5,7 /proc/10440/stat : 10440 (java) S 10438 10440 6095 0 -1 4202496 783573 0 1 0 179924 88 0 0 21 0 22 0 830965678 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 2641255 776106 2269 9 0 2631989 0 [pid=10440/tid=10441] ppid=10438 vsize=10565020 CPUtime=0.51 cores=1,3,5,7 /proc/10440/task/10441/stat : 10441 (java) S 10438 10440 6095 0 -1 4202560 24522 0 1 0 48 3 0 0 15 0 22 0 830965679 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10443] ppid=10438 vsize=10565020 CPUtime=1.22 cores=1,3,5,7 /proc/10440/task/10443/stat : 10443 (java) S 10438 10440 6095 0 -1 4202560 1149 0 0 0 122 0 0 0 16 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10444] ppid=10438 vsize=10565020 CPUtime=1.19 cores=1,3,5,7 /proc/10440/task/10444/stat : 10444 (java) S 10438 10440 6095 0 -1 4202560 2914 0 0 0 119 0 0 0 15 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10445] ppid=10438 vsize=10565020 CPUtime=1.26 cores=1,3,5,7 /proc/10440/task/10445/stat : 10445 (java) S 10438 10440 6095 0 -1 4202560 1029 0 0 0 126 0 0 0 16 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10446] ppid=10438 vsize=10565020 CPUtime=1.27 cores=1,3,5,7 /proc/10440/task/10446/stat : 10446 (java) S 10438 10440 6095 0 -1 4202560 1950 0 0 0 127 0 0 0 15 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10447] ppid=10438 vsize=10565020 CPUtime=1.29 cores=1,3,5,7 /proc/10440/task/10447/stat : 10447 (java) S 10438 10440 6095 0 -1 4202560 2712 0 0 0 129 0 0 0 16 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10448] ppid=10438 vsize=10565020 CPUtime=1.02 cores=1,3,5,7 /proc/10440/task/10448/stat : 10448 (java) S 10438 10440 6095 0 -1 4202560 342 0 0 0 102 0 0 0 15 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10449] ppid=10438 vsize=10565020 CPUtime=1.09 cores=1,3,5,7 /proc/10440/task/10449/stat : 10449 (java) S 10438 10440 6095 0 -1 4202560 1065 0 0 0 109 0 0 0 15 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10450] ppid=10438 vsize=10565020 CPUtime=1.13 cores=1,3,5,7 /proc/10440/task/10450/stat : 10450 (java) S 10438 10440 6095 0 -1 4202560 304 0 0 0 113 0 0 0 16 0 22 0 830965681 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10451] ppid=10438 vsize=10565020 CPUtime=126.89 cores=1,3,5,7 /proc/10440/task/10451/stat : 10451 (java) S 10438 10440 6095 0 -1 4202560 121638 0 0 0 12676 13 0 0 15 0 22 0 830965682 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0 [pid=10440/tid=10452] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10452/stat : 10452 (java) S 10438 10440 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10453] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10453/stat : 10453 (java) S 10438 10440 6095 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830965682 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10454] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10454/stat : 10454 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830965684 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10455] ppid=10438 vsize=10565020 CPUtime=2.24 cores=1,3,5,7 /proc/10440/task/10455/stat : 10455 (java) S 10438 10440 6095 0 -1 4202560 9007 0 0 0 223 1 0 0 16 0 22 0 830965684 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10456] ppid=10438 vsize=10565020 CPUtime=1 cores=1,3,5,7 /proc/10440/task/10456/stat : 10456 (java) S 10438 10440 6095 0 -1 4202560 5653 0 0 0 99 1 0 0 15 0 22 0 830965684 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10457] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10457/stat : 10457 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830965684 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0 [pid=10440/tid=10458] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10458/stat : 10458 (java) S 10438 10440 6095 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830965684 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0 [pid=10440/tid=10500] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10500/stat : 10500 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830966134 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 [pid=10440/tid=10528] ppid=10438 vsize=10565020 CPUtime=408.59 cores=1,3,5,7 /proc/10440/task/10528/stat : 10528 (java) R 10438 10440 6095 0 -1 4202560 29 0 0 0 40859 0 0 0 21 0 22 0 831012181 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912505897898 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10440/tid=10529] ppid=10438 vsize=10565020 CPUtime=408.59 cores=1,3,5,7 /proc/10440/task/10529/stat : 10529 (java) R 10438 10440 6095 0 -1 4202560 1 0 0 0 40859 0 0 0 21 0 22 0 831012181 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 46912506071332 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10440/tid=10530] ppid=10438 vsize=10565020 CPUtime=0 cores=1,3,5,7 /proc/10440/task/10530/stat : 10530 (java) S 10438 10440 6095 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831012181 10818580480 776106 33554432000 1073741824 1073778376 140734867730992 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 10565020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+961.221 s] /proc/loadavg: 2.80 3.53 3.71 3/402 10567 /proc/meminfo: memFree=20500304/32951124 swapFree=49244120/67111528 [pid=10440] ppid=10438 vsize=0 CPUtime=1800.31 cores=1,3,5,7 /proc/10440/stat : 10440 (java) Z 10438 10440 6095 0 -1 4203548 783602 0 1 0 179936 95 0 0 17 0 2 0 830965678 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10440/statm: 0 0 0 0 0 0 0 [pid=10440/tid=10529] ppid=10438 vsize=0 CPUtime=408.7 cores=1,3,5,7 /proc/10440/task/10529/stat : 10529 (java) R 10438 10440 6095 0 -1 4203588 1 0 0 0 40863 7 0 0 21 0 2 0 831012181 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 961.276 CPU time (s): 1800.38 CPU user time (s): 1799.37 CPU system time (s): 1.01085 CPU usage (%): 187.29 Max. virtual memory (cumulated for all children) (KiB): 10570160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 1.01085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 783602 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27770 involuntary context switches= 20136 runsolver used 3.63045 second user time and 8.72567 second system time The end
Begin job on node101 at 2011-06-04 15:20:29 IDJOB=3454126 IDBENCH=25012 IDSOLVER=1950 FILE ID=node101/3454126-1307193629 RUNJOBID= node101-1307193629-10427 PBS_JOBID= 13508816 Free space on /tmp= 74004 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454126-1307193629/watcher-3454126-1307193629 -o /tmp/evaluation-result-3454126-1307193629/solver-3454126-1307193629 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454126-1307193629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=421578416 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23600896 kB Buffers: 291460 kB Cached: 641616 kB SwapCached: 27120 kB Active: 8501164 kB Inactive: 571628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23600896 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 2140 kB Writeback: 0 kB AnonPages: 8135052 kB Mapped: 17512 kB Slab: 136932 kB PageTables: 74744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78588008 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74004 MiB End job on node101 at 2011-06-04 15:36:32