Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 28 | 1800.28 | 1797.54 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 6.30604 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6080 |
Total number of constraints | 18113 |
Number of constraints which are clauses | 18113 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 125 |
Number of terms in the objective function | 2975 |
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 | 2975 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2975 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-2658700-1276635800.opb 0.23/0.21 c reading problem ... 1.85/1.13 c ... done. Wall clock time 0.921s. 1.85/1.13 c #vars 6080 1.85/1.13 c #constraints 18113 1.85/1.13 c constraints type 1.85/1.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1.85/1.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 2.82/1.60 c SATISFIABLE 2.82/1.60 c OPTIMIZING... 2.82/1.61 c Got one! Elapsed wall clock time (in seconds):1.392 2.82/1.61 o 37 3.01/1.76 c Got one! Elapsed wall clock time (in seconds):1.542 3.01/1.76 o 36 4.03/2.25 c Got one! Elapsed wall clock time (in seconds):2.036 4.03/2.25 o 33 4.41/2.45 c Got one! Elapsed wall clock time (in seconds):2.241 4.41/2.45 o 32 4.79/2.74 c Got one! Elapsed wall clock time (in seconds):2.531 4.79/2.74 o 31 5.06/2.94 c Got one! Elapsed wall clock time (in seconds):2.73 5.06/2.94 o 30 8.00/5.85 c cleaning 2496 clauses out of 5000 with flag 5000/5000 12.06/9.81 c cleaning 4242 clauses out of 8504 with flag 11000/11000 16.36/14.13 c cleaning 5623 clauses out of 11262 with flag 18000/18000 21.58/19.36 c cleaning 6813 clauses out of 13639 with flag 26000/26000 27.39/25.16 c cleaning 7907 clauses out of 15827 with flag 35001/35001 34.29/32.05 c cleaning 8954 clauses out of 17919 with flag 45000/45000 41.70/39.46 c cleaning 9975 clauses out of 19965 with flag 56000/56000 49.20/46.93 c cleaning 10994 clauses out of 21991 with flag 68001/68001 58.50/56.28 c cleaning 11991 clauses out of 23997 with flag 81001/81001 61.61/59.37 c Got one! Elapsed wall clock time (in seconds):59.152 61.61/59.37 o 29 66.40/64.13 c cleaning 12991 clauses out of 26005 with flag 95000/95000 75.61/73.38 c cleaning 13999 clauses out of 28014 with flag 110000/110000 86.11/83.83 c cleaning 15001 clauses out of 30015 with flag 126000/126000 96.21/93.94 c cleaning 16002 clauses out of 32015 with flag 143001/143001 107.21/104.95 c cleaning 17000 clauses out of 34012 with flag 161000/161000 118.42/116.18 c cleaning 17498 clauses out of 35012 with flag 179000/179000 119.52/117.29 c Got one! Elapsed wall clock time (in seconds):117.08 119.52/117.29 o 28 128.62/126.36 c cleaning 17749 clauses out of 35514 with flag 197000/197000 140.32/138.02 c cleaning 17873 clauses out of 35765 with flag 215000/215000 152.54/150.20 c cleaning 17932 clauses out of 35892 with flag 233000/233000 163.74/161.47 c cleaning 17972 clauses out of 35960 with flag 251000/251000 174.64/172.31 c cleaning 17987 clauses out of 35988 with flag 269000/269000 186.34/184.06 c cleaning 17986 clauses out of 36001 with flag 287000/287000 199.04/196.78 c cleaning 18001 clauses out of 36015 with flag 305000/305000 210.04/207.76 c cleaning 17999 clauses out of 36014 with flag 323000/323000 221.75/219.42 c cleaning 17996 clauses out of 36015 with flag 341000/341000 233.15/230.82 c cleaning 17999 clauses out of 36019 with flag 359000/359000 244.26/241.97 c cleaning 17997 clauses out of 36020 with flag 377000/377000 255.45/253.11 c cleaning 18007 clauses out of 36024 with flag 395001/395001 266.96/264.63 c cleaning 17991 clauses out of 36017 with flag 413001/413001 278.36/276.01 c cleaning 18000 clauses out of 36025 with flag 431000/431000 289.26/286.97 c cleaning 18006 clauses out of 36025 with flag 449000/449000 300.37/298.08 c cleaning 18002 clauses out of 36019 with flag 467000/467000 311.17/308.84 c cleaning 18006 clauses out of 36017 with flag 485000/485000 322.28/319.90 c cleaning 17999 clauses out of 36011 with flag 503000/503000 333.39/331.07 c cleaning 17995 clauses out of 36013 with flag 521001/521001 344.89/342.57 c cleaning 18003 clauses out of 36017 with flag 539000/539000 356.50/354.11 c cleaning 17998 clauses out of 36014 with flag 557000/557000 368.39/366.01 c cleaning 17998 clauses out of 36016 with flag 575000/575000 380.29/377.93 c cleaning 18002 clauses out of 36018 with flag 593000/593000 390.90/388.57 c cleaning 17999 clauses out of 36016 with flag 611000/611000 401.80/399.46 c cleaning 17999 clauses out of 36017 with flag 629000/629000 412.10/409.70 c cleaning 18006 clauses out of 36019 with flag 647001/647001 423.51/421.14 c cleaning 17997 clauses out of 36012 with flag 665000/665000 434.31/431.96 c cleaning 17997 clauses out of 36015 with flag 683000/683000 444.22/441.86 c cleaning 17998 clauses out of 36018 with flag 701000/701000 455.02/452.65 c cleaning 17997 clauses out of 36020 with flag 719000/719000 466.53/464.11 c cleaning 18003 clauses out of 36023 with flag 737000/737000 478.92/476.51 c cleaning 17999 clauses out of 36020 with flag 755000/755000 491.42/489.03 c cleaning 18006 clauses out of 36022 with flag 773001/773001 503.52/501.17 c cleaning 18001 clauses out of 36015 with flag 791000/791000 514.42/512.05 c cleaning 17997 clauses out of 36015 with flag 809001/809001 525.62/523.23 c cleaning 17996 clauses out of 36017 with flag 827000/827000 536.83/534.48 c cleaning 17997 clauses out of 36021 with flag 845000/845000 549.03/546.68 c cleaning 18002 clauses out of 36024 with flag 863000/863000 560.42/558.08 c cleaning 17997 clauses out of 36022 with flag 881000/881000 571.43/569.01 c cleaning 18011 clauses out of 36025 with flag 899000/899000 582.43/580.09 c cleaning 17998 clauses out of 36014 with flag 917000/917000 593.44/591.05 c cleaning 18002 clauses out of 36016 with flag 935000/935000 604.53/602.17 c cleaning 17999 clauses out of 36014 with flag 953000/953000 615.83/613.49 c cleaning 17999 clauses out of 36016 with flag 971001/971001 627.33/624.98 c cleaning 18003 clauses out of 36017 with flag 989001/989001 638.94/636.55 c cleaning 18001 clauses out of 36015 with flag 1007002/1007002 649.94/647.58 c cleaning 18001 clauses out of 36013 with flag 1025001/1025001 661.64/659.22 c cleaning 17997 clauses out of 36014 with flag 1043003/1043003 672.84/670.49 c cleaning 17997 clauses out of 36014 with flag 1061000/1061000 684.64/682.29 c cleaning 17994 clauses out of 36018 with flag 1079001/1079001 695.74/693.38 c cleaning 18006 clauses out of 36025 with flag 1097002/1097002 706.56/704.15 c cleaning 18000 clauses out of 36018 with flag 1115001/1115001 717.37/714.92 c cleaning 18002 clauses out of 36017 with flag 1133000/1133000 728.38/725.98 c cleaning 18005 clauses out of 36016 with flag 1151001/1151001 739.78/737.33 c cleaning 17997 clauses out of 36011 with flag 1169001/1169001 751.97/749.57 c cleaning 17997 clauses out of 36013 with flag 1187000/1187000 765.27/762.83 c cleaning 17994 clauses out of 36016 with flag 1205000/1205000 778.58/776.17 c cleaning 18002 clauses out of 36022 with flag 1223000/1223000 791.58/789.19 c cleaning 18003 clauses out of 36020 with flag 1241000/1241000 804.48/802.10 c cleaning 17998 clauses out of 36017 with flag 1259000/1259000 817.87/815.47 c cleaning 18004 clauses out of 36020 with flag 1277001/1277001 831.28/828.80 c cleaning 17997 clauses out of 36016 with flag 1295001/1295001 843.57/841.20 c cleaning 17996 clauses out of 36020 with flag 1313002/1313002 857.19/854.76 c cleaning 18005 clauses out of 36022 with flag 1331000/1331000 867.58/865.12 c cleaning 18006 clauses out of 36017 with flag 1349000/1349000 878.29/875.82 c cleaning 18001 clauses out of 36012 with flag 1367001/1367001 889.78/887.40 c cleaning 17997 clauses out of 36010 with flag 1385000/1385000 901.48/899.10 c cleaning 17998 clauses out of 36014 with flag 1403001/1403001 913.78/911.38 c cleaning 17998 clauses out of 36016 with flag 1421001/1421001 924.19/921.71 c cleaning 18000 clauses out of 36017 with flag 1439000/1439000 934.88/932.46 c cleaning 17996 clauses out of 36017 with flag 1457000/1457000 946.29/943.81 c cleaning 18008 clauses out of 36024 with flag 1475003/1475003 958.19/955.72 c cleaning 17999 clauses out of 36014 with flag 1493001/1493001 969.79/967.38 c cleaning 17995 clauses out of 36014 with flag 1511000/1511000 981.49/979.04 c cleaning 18000 clauses out of 36021 with flag 1529002/1529002 992.00/989.55 c cleaning 18005 clauses out of 36021 with flag 1547002/1547002 1002.30/999.81 c cleaning 18002 clauses out of 36014 with flag 1565000/1565000 1012.80/1010.35 c cleaning 17999 clauses out of 36013 with flag 1583001/1583001 1023.51/1021.09 c cleaning 17997 clauses out of 36013 with flag 1601000/1601000 1034.11/1031.66 c cleaning 18001 clauses out of 36017 with flag 1619001/1619001 1044.41/1041.92 c cleaning 17994 clauses out of 36015 with flag 1637000/1637000 1055.61/1053.14 c cleaning 17993 clauses out of 36021 with flag 1655000/1655000 1067.01/1064.53 c cleaning 18009 clauses out of 36029 with flag 1673001/1673001 1078.02/1075.51 c cleaning 18003 clauses out of 36021 with flag 1691002/1691002 1088.82/1086.36 c cleaning 18001 clauses out of 36016 with flag 1709000/1709000 1100.33/1097.83 c cleaning 17996 clauses out of 36017 with flag 1727002/1727002 1111.13/1108.61 c cleaning 17999 clauses out of 36019 with flag 1745000/1745000 1122.03/1119.53 c cleaning 18006 clauses out of 36021 with flag 1763001/1763001 1132.33/1129.84 c cleaning 17996 clauses out of 36014 with flag 1781000/1781000 1144.13/1141.69 c cleaning 18005 clauses out of 36019 with flag 1799001/1799001 1156.24/1153.71 c cleaning 17998 clauses out of 36013 with flag 1817000/1817000 1168.34/1165.81 c cleaning 17995 clauses out of 36015 with flag 1835000/1835000 1180.24/1177.72 c cleaning 18003 clauses out of 36021 with flag 1853001/1853001 1190.34/1187.87 c cleaning 18002 clauses out of 36017 with flag 1871000/1871000 1200.64/1198.15 c cleaning 17998 clauses out of 36015 with flag 1889000/1889000 1210.75/1208.23 c cleaning 18002 clauses out of 36017 with flag 1907000/1907000 1220.95/1218.44 c cleaning 17995 clauses out of 36015 with flag 1925000/1925000 1231.16/1228.62 c cleaning 18003 clauses out of 36020 with flag 1943000/1943000 1241.25/1238.76 c cleaning 18001 clauses out of 36017 with flag 1961000/1961000 1251.06/1248.51 c cleaning 17998 clauses out of 36017 with flag 1979001/1979001 1261.06/1258.56 c cleaning 18006 clauses out of 36018 with flag 1997000/1997000 1270.96/1268.48 c cleaning 18000 clauses out of 36012 with flag 2015000/2015000 1280.86/1278.37 c cleaning 17995 clauses out of 36012 with flag 2033000/2033000 1291.06/1288.54 c cleaning 18002 clauses out of 36017 with flag 2051000/2051000 1301.26/1298.79 c cleaning 18001 clauses out of 36015 with flag 2069000/2069000 1311.07/1308.59 c cleaning 18004 clauses out of 36015 with flag 2087001/2087001 1320.77/1318.20 c cleaning 17996 clauses out of 36011 with flag 2105001/2105001 1330.87/1328.38 c cleaning 18002 clauses out of 36014 with flag 2123000/2123000 1341.19/1338.61 c cleaning 17995 clauses out of 36012 with flag 2141000/2141000 1351.98/1349.49 c cleaning 18006 clauses out of 36017 with flag 2159000/2159000 1362.68/1360.11 c cleaning 18000 clauses out of 36013 with flag 2177002/2177002 1373.10/1370.58 c cleaning 17998 clauses out of 36012 with flag 2195001/2195001 1383.29/1380.76 c cleaning 17999 clauses out of 36015 with flag 2213002/2213002 1393.29/1390.77 c cleaning 18000 clauses out of 36017 with flag 2231003/2231003 1403.29/1400.74 c cleaning 17999 clauses out of 36015 with flag 2249001/2249001 1413.91/1411.35 c cleaning 18004 clauses out of 36018 with flag 2267003/2267003 1424.00/1421.41 c cleaning 17987 clauses out of 36011 with flag 2285000/2285000 1434.90/1432.37 c cleaning 18005 clauses out of 36024 with flag 2303000/2303000 1446.40/1443.86 c cleaning 18002 clauses out of 36019 with flag 2321000/2321000 1457.39/1454.88 c cleaning 17998 clauses out of 36017 with flag 2339000/2339000 1468.59/1466.09 c cleaning 17994 clauses out of 36019 with flag 2357000/2357000 1479.90/1477.39 c cleaning 18005 clauses out of 36025 with flag 2375000/2375000 1491.09/1488.56 c cleaning 18001 clauses out of 36022 with flag 2393002/2393002 1503.00/1500.43 c cleaning 18002 clauses out of 36020 with flag 2411001/2411001 1514.39/1511.87 c cleaning 17998 clauses out of 36017 with flag 2429000/2429000 1524.60/1522.07 c cleaning 18002 clauses out of 36020 with flag 2447001/2447001 1534.60/1532.00 c cleaning 18004 clauses out of 36017 with flag 2465000/2465000 1544.81/1542.21 c cleaning 18002 clauses out of 36013 with flag 2483000/2483000 1555.01/1552.48 c cleaning 18001 clauses out of 36013 with flag 2501002/2501002 1565.51/1562.94 c cleaning 17997 clauses out of 36011 with flag 2519001/2519001 1576.31/1573.71 c cleaning 17994 clauses out of 36013 with flag 2537000/2537000 1586.10/1583.59 c cleaning 18000 clauses out of 36020 with flag 2555001/2555001 1596.91/1594.35 c cleaning 17998 clauses out of 36019 with flag 2573000/2573000 1607.62/1605.03 c cleaning 17999 clauses out of 36021 with flag 2591000/2591000 1618.22/1615.69 c cleaning 18001 clauses out of 36022 with flag 2609000/2609000 1629.43/1626.80 c cleaning 18004 clauses out of 36023 with flag 2627002/2627002 1640.02/1637.41 c cleaning 18001 clauses out of 36017 with flag 2645000/2645000 1650.33/1647.74 c cleaning 17995 clauses out of 36016 with flag 2663000/2663000 1660.72/1658.13 c cleaning 18000 clauses out of 36021 with flag 2681000/2681000 1671.52/1668.92 c cleaning 18002 clauses out of 36022 with flag 2699001/2699001 1681.83/1679.22 c cleaning 18001 clauses out of 36020 with flag 2717001/2717001 1692.43/1689.86 c cleaning 18001 clauses out of 36018 with flag 2735000/2735000 1703.44/1700.89 c cleaning 18002 clauses out of 36018 with flag 2753001/2753001 1714.24/1711.67 c cleaning 18003 clauses out of 36015 with flag 2771000/2771000 1725.24/1722.61 c cleaning 17999 clauses out of 36012 with flag 2789000/2789000 1736.34/1733.74 c cleaning 17999 clauses out of 36013 with flag 2807000/2807000 1747.04/1744.40 c cleaning 17997 clauses out of 36014 with flag 2825000/2825000 1757.84/1755.27 c cleaning 18002 clauses out of 36018 with flag 2843001/2843001 1768.45/1765.88 c cleaning 17998 clauses out of 36015 with flag 2861000/2861000 1778.95/1776.35 c cleaning 18002 clauses out of 36017 with flag 2879000/2879000 1789.55/1786.98 c cleaning 17997 clauses out of 36016 with flag 2897001/2897001 1799.65/1797.08 c cleaning 18000 clauses out of 36018 with flag 2915000/2915000 1800.07/1797.42 c starts : 239 1800.07/1797.42 c conflicts : 2915509 1800.07/1797.42 c decisions : 9591621 1800.07/1797.42 c propagations : 3682100514 1800.07/1797.42 c inspects : 4078108085 1800.07/1797.42 c learnt literals : 0 1800.07/1797.42 c learnt binary clauses : 0 1800.07/1797.42 c learnt ternary clauses : 2 1800.07/1797.42 c learnt clauses : 2915509 1800.07/1797.42 c ignored clauses : 0 1800.07/1797.42 c root simplifications : 0 1800.07/1797.42 c removed literals (reason simplification) : 4219898 1800.07/1797.42 c reason swapping (by a shorter reason) : 0 1800.07/1797.42 c Calls to reduceDB : 167 1800.07/1797.42 c number of reductions to clauses (during analyze) : 0 1800.07/1797.42 c number of learned constraints concerned by reduction : 0 1800.07/1797.42 c number of learning phase by resolution : 0 1800.07/1797.42 c number of learning phase by cutting planes : 0 1800.07/1797.42 c speed (assignments/second) : 2191562.135220811 1800.07/1797.42 c non guided choices 17672 1800.07/1797.44 c learnt constraints type 1800.07/1797.44 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 18551 1800.07/1797.44 c constraints type 1800.07/1797.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1800.07/1797.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1797.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1800.07/1797.44 s SATISFIABLE 1800.07/1797.47 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 -x6077 -x6078 x6079 x6080 1800.07/1797.49 c objective function=28 1800.07/1797.49 c Total wall clock time (in seconds): 1797.281
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658700-1276635800/watcher-2658700-1276635800 -o /tmp/evaluation-result-2658700-1276635800/solver-2658700-1276635800 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658700-1276635800.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.03 1.14 3/106 5827 /proc/meminfo: memFree=1643596/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=392 CPUtime=0 /proc/5827/stat : 5827 (java6) R 5825 5827 5397 0 -1 4194304 122 0 0 0 0 0 0 0 16 0 1 0 39183654 401408 40 1992294400 134512640 134550932 4293996672 18446744073709551615 2679326 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5827/statm: 107 42 33 10 0 25 0 [startup+0.017421 s] /proc/loadavg: 0.95 1.03 1.14 3/106 5827 /proc/meminfo: memFree=1643596/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=13524 CPUtime=0 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 1079 0 0 0 0 0 0 0 15 0 2 0 39183654 13848576 560 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 3368 558 246 10 0 1202 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13524 [startup+0.101421 s] /proc/loadavg: 0.95 1.03 1.14 3/106 5827 /proc/meminfo: memFree=1643596/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1524184 CPUtime=0.08 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 3961 0 1 0 6 2 0 0 15 0 12 0 39183654 1560764416 3399 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 381046 3399 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.302421 s] /proc/loadavg: 0.95 1.03 1.14 3/106 5827 /proc/meminfo: memFree=1643596/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1527528 CPUtime=0.35 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 5378 0 1 0 32 3 0 0 15 0 12 0 39183654 1564188672 4814 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 381882 4814 1361 10 0 379184 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1527528 [startup+0.70042 s] /proc/loadavg: 0.95 1.03 1.14 3/106 5827 /proc/meminfo: memFree=1643596/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1531656 CPUtime=1.12 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 8539 0 1 0 108 4 0 0 15 0 12 0 39183654 1568415744 7595 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 382914 7595 1401 10 0 380216 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 1531656 [startup+1.50042 s] /proc/loadavg: 0.95 1.03 1.14 4/118 5839 /proc/meminfo: memFree=1604192/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533608 CPUtime=2.62 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 15880 0 1 0 254 8 0 0 15 0 13 0 39183654 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383402 14274 1420 10 0 380704 0 [pid=5827/tid=5829] ppid=5825 vsize=1533608 CPUtime=1.45 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 11639 0 1 0 139 6 0 0 25 0 13 0 39183655 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4108856164 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 39183657 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39183657 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39183658 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 39183659 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 39183659 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533608 CPUtime=0.35 /proc/5827/task/5836/stat : 5836 (java) R 5825 5827 5397 0 -1 4202560 880 0 0 0 35 0 0 0 16 0 13 0 39183663 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 105578246 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533608 CPUtime=0.78 /proc/5827/task/5837/stat : 5837 (java) R 5825 5827 5397 0 -1 4202560 2292 0 0 0 78 0 0 0 16 0 13 0 39183663 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 103148850 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39183663 1570414592 14274 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 1533608 [startup+3.10142 s] /proc/loadavg: 0.95 1.03 1.14 4/119 5840 /proc/meminfo: memFree=1583972/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533608 CPUtime=5.28 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 21444 0 1 0 518 10 0 0 15 0 13 0 39183654 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383402 19837 1433 10 0 380704 0 [pid=5827/tid=5829] ppid=5825 vsize=1533608 CPUtime=2.89 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17049 0 1 0 282 7 0 0 25 0 13 0 39183655 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4109431549 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 39183657 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39183657 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39183658 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 39183659 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 39183659 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533608 CPUtime=0.8 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 909 0 0 0 80 0 0 0 15 0 13 0 39183663 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533608 CPUtime=1.56 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2417 0 0 0 155 1 0 0 15 0 13 0 39183663 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39183663 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1570414592 19837 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.28 Current children cumulated vsize (KiB) 1533608 [startup+6.30141 s] /proc/loadavg: 0.96 1.03 1.14 2/119 5840 /proc/meminfo: memFree=1568100/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533608 CPUtime=8.53 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 23398 0 1 0 842 11 0 0 15 0 13 0 39183654 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383402 21784 1447 10 0 380704 0 [pid=5827/tid=5829] ppid=5825 vsize=1533608 CPUtime=6.03 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17325 0 1 0 595 8 0 0 25 0 13 0 39183655 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4109577547 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533608 CPUtime=0.01 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 424 0 0 0 1 0 0 0 15 0 13 0 39183657 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 372 0 0 0 0 0 0 0 18 0 13 0 39183657 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533608 CPUtime=0.03 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 874 0 0 0 3 0 0 0 16 0 13 0 39183658 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533608 CPUtime=0.82 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 914 0 0 0 82 0 0 0 15 0 13 0 39183663 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533608 CPUtime=1.59 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2420 0 0 0 158 1 0 0 15 0 13 0 39183663 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39183663 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533608 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1570414592 21784 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.53 Current children cumulated vsize (KiB) 1533608 [startup+12.7014 s] /proc/loadavg: 0.96 1.03 1.14 2/119 5840 /proc/meminfo: memFree=1559544/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533132 CPUtime=14.96 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 23812 0 1 0 1485 11 0 0 15 0 13 0 39183654 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 22094 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=12.35 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17327 0 1 0 1227 8 0 0 25 0 13 0 39183655 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4109577164 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=0.01 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 530 0 0 0 1 0 0 0 15 0 13 0 39183657 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=0.01 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 525 0 0 0 1 0 0 0 18 0 13 0 39183657 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=0.06 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 1022 0 0 0 6 0 0 0 15 0 13 0 39183658 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533132 CPUtime=0.85 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 918 0 0 0 85 0 0 0 16 0 13 0 39183663 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533132 CPUtime=1.63 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2421 0 0 0 162 1 0 0 15 0 13 0 39183663 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39183663 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1569927168 22094 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.96 Current children cumulated vsize (KiB) 1533132 [startup+25.5023 s] /proc/loadavg: 0.97 1.03 1.14 3/119 5840 /proc/meminfo: memFree=1558800/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533132 CPUtime=27.8 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 24281 0 1 0 2768 12 0 0 15 0 13 0 39183654 1569927168 22543 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 22543 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=24.99 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17328 0 1 0 2491 8 0 0 25 0 13 0 39183655 1569927168 22543 1992294400 134512640 134550932 4293298720 18446744073709551615 4109576718 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=0.03 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 664 0 0 0 3 0 0 0 15 0 13 0 39183657 1569927168 22543 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=0.01 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 564 0 0 0 1 0 0 0 18 0 13 0 39183657 1569927168 22543 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=0.18 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 1294 0 0 0 18 0 0 0 16 0 13 0 39183658 1569927168 22543 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 ################ # More data... # ################ [pid=5827] ppid=5825 vsize=1533132 CPUtime=1664.93 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 28617 0 1 0 166456 37 0 0 15 0 13 0 39183654 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 26527 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=1652.17 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17476 0 1 0 165192 25 0 0 25 0 13 0 39183655 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4109577487 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=1.08 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 1130 0 0 0 104 4 0 0 16 0 13 0 39183657 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=1 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 978 0 0 0 98 2 0 0 16 0 13 0 39183657 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=8.06 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 4505 0 0 0 804 2 0 0 15 0 13 0 39183658 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533132 CPUtime=0.88 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 933 0 0 0 88 0 0 0 15 0 13 0 39183663 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533132 CPUtime=1.69 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2430 0 0 0 168 1 0 0 15 0 13 0 39183663 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 39183663 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1569927168 26527 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1664.93 Current children cumulated vsize (KiB) 1533132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 5889 /proc/meminfo: memFree=1539952/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533132 CPUtime=1724.93 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 28667 0 1 0 172455 38 0 0 15 0 13 0 39183654 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 26566 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=1711.85 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17481 0 1 0 171160 25 0 0 25 0 13 0 39183655 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4109577487 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=1.1 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 1130 0 0 0 106 4 0 0 16 0 13 0 39183657 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=1.02 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 978 0 0 0 100 2 0 0 15 0 13 0 39183657 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=8.33 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 4546 0 0 0 831 2 0 0 15 0 13 0 39183658 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533132 CPUtime=0.88 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 933 0 0 0 88 0 0 0 15 0 13 0 39183663 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533132 CPUtime=1.69 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2430 0 0 0 168 1 0 0 15 0 13 0 39183663 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 39183663 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1569927168 26566 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1724.93 Current children cumulated vsize (KiB) 1533132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/119 5891 /proc/meminfo: memFree=1539332/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533132 CPUtime=1784.95 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 28762 0 1 0 178456 39 0 0 15 0 13 0 39183654 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 26647 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=1771.45 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17487 0 1 0 177120 25 0 0 25 0 13 0 39183655 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4109667038 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=1.13 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 1130 0 0 0 109 4 0 0 16 0 13 0 39183657 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=1.06 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 978 0 0 0 104 2 0 0 16 0 13 0 39183657 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=8.68 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 4631 0 0 0 865 3 0 0 15 0 13 0 39183658 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533132 CPUtime=0.88 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 933 0 0 0 88 0 0 0 15 0 13 0 39183663 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533132 CPUtime=1.69 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2430 0 0 0 168 1 0 0 15 0 13 0 39183663 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39183663 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1569927168 26647 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1784.95 Current children cumulated vsize (KiB) 1533132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.41 s] /proc/loadavg: 1.00 1.00 1.00 2/119 5891 /proc/meminfo: memFree=1539332/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533132 CPUtime=1800.07 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 28788 0 1 0 179968 39 0 0 15 0 13 0 39183654 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383283 26669 1447 10 0 380585 0 [pid=5827/tid=5829] ppid=5825 vsize=1533132 CPUtime=1786.45 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17489 0 1 0 178619 26 0 0 25 0 13 0 39183655 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4109597756 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533132 CPUtime=1.15 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 1130 0 0 0 111 4 0 0 15 0 13 0 39183657 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533132 CPUtime=1.07 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 978 0 0 0 105 2 0 0 16 0 13 0 39183657 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533132 CPUtime=8.78 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 4655 0 0 0 875 3 0 0 16 0 13 0 39183658 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39183659 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 39183663 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533132 CPUtime=0.88 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 933 0 0 0 88 0 0 0 15 0 13 0 39183663 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533132 CPUtime=1.69 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2430 0 0 0 168 1 0 0 15 0 13 0 39183663 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39183663 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) R 5825 5827 5397 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39183663 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533132 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39183785 1569927168 26669 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1533132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.52 s] /proc/loadavg: 1.00 1.00 1.00 2/119 5891 /proc/meminfo: memFree=1539332/2059040 swapFree=4140048/4192956 [pid=5827] ppid=5825 vsize=1533780 CPUtime=1800.24 /proc/5827/stat : 5827 (java) S 5825 5827 5397 0 -1 4202496 28809 0 1 0 179985 39 0 0 15 0 14 0 39183654 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5827/statm: 383445 26690 1448 10 0 380747 0 [pid=5827/tid=5829] ppid=5825 vsize=1533780 CPUtime=1786.51 /proc/5827/task/5829/stat : 5829 (java) R 5825 5827 5397 0 -1 4202560 17489 0 1 0 178625 26 0 0 25 0 14 0 39183655 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4109591885 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5827/tid=5830] ppid=5825 vsize=1533780 CPUtime=1.15 /proc/5827/task/5830/stat : 5830 (java) S 5825 5827 5397 0 -1 4202560 1130 0 0 0 111 4 0 0 15 0 14 0 39183657 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5831] ppid=5825 vsize=1533780 CPUtime=1.07 /proc/5827/task/5831/stat : 5831 (java) S 5825 5827 5397 0 -1 4202560 978 0 0 0 105 2 0 0 16 0 14 0 39183657 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5832] ppid=5825 vsize=1533780 CPUtime=8.78 /proc/5827/task/5832/stat : 5832 (java) S 5825 5827 5397 0 -1 4202560 4655 0 0 0 875 3 0 0 16 0 14 0 39183658 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 0 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5833] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5833/stat : 5833 (java) S 5825 5827 5397 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 39183659 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5834] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5834/stat : 5834 (java) S 5825 5827 5397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 39183659 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5835] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5835/stat : 5835 (java) S 5825 5827 5397 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 14 0 39183663 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5836] ppid=5825 vsize=1533780 CPUtime=0.9 /proc/5827/task/5836/stat : 5836 (java) S 5825 5827 5397 0 -1 4202560 933 0 0 0 90 0 0 0 15 0 14 0 39183663 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5837] ppid=5825 vsize=1533780 CPUtime=1.72 /proc/5827/task/5837/stat : 5837 (java) S 5825 5827 5397 0 -1 4202560 2430 0 0 0 171 1 0 0 15 0 14 0 39183663 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5838] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5838/stat : 5838 (java) S 5825 5827 5397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 39183663 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 0 0 0 0 [pid=5827/tid=5839] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5839/stat : 5839 (java) S 5825 5827 5397 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 14 0 39183663 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 [pid=5827/tid=5840] ppid=5825 vsize=1533780 CPUtime=0 /proc/5827/task/5840/stat : 5840 (java) S 5825 5827 5397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 39183785 1570590720 26690 1992294400 134512640 134550932 4293298720 18446744073709551615 4294960144 0 4 0 16800975 18446604437829880576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 1533780 Child status: 143 Real time (s): 1797.54 CPU time (s): 1800.28 CPU user time (s): 1799.87 CPU system time (s): 0.409937 CPU usage (%): 100.152 Max. virtual memory (cumulated for all children) (KiB): 1533780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.409937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28810 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= 38524 involuntary context switches= 14034 runsolver used 3.70744 second user time and 9.52155 second system time The end
Begin job on node006 at 2010-06-15 23:03:20 IDJOB=2658700 IDBENCH=24996 IDSOLVER=1164 FILE ID=node006/2658700-1276635800 PBS_JOBID= 11172369 Free space on /tmp= 62504 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658700-1276635800/watcher-2658700-1276635800 -o /tmp/evaluation-result-2658700-1276635800/solver-2658700-1276635800 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658700-1276635800.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1790089782 node006.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1644116 kB Buffers: 131280 kB Cached: 199520 kB SwapCached: 6988 kB Active: 121340 kB Inactive: 223952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1644116 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 816 kB Writeback: 12 kB AnonPages: 12612 kB Mapped: 13076 kB Slab: 47792 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181312 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62504 MiB End job on node006 at 2010-06-15 23:33:19