Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.33 | 938.525 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 28.1547 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2531 |
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 | 2531 |
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 | 2531 |
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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3454113-1307648717.opb 0.09/0.12 c reading problem ... 1.05/0.50 c ... done. Wall clock time 0.379s. 1.05/0.50 c #vars 5256 1.05/0.50 c #constraints 15614 1.05/0.50 c constraints type 1.05/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734 1.05/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658 1.05/0.50 c constraints type 1.05/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658 1.05/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734 1.42/0.61 c And the winner is Resolution 1.62/1.03 c SATISFIABLE 1.62/1.03 c OPTIMIZING... 1.62/1.03 c Got one! Elapsed wall clock time (in seconds):0.914 1.62/1.03 o 43 1.62/1.08 c And the winner is Resolution 2.03/1.56 c Got one! Elapsed wall clock time (in seconds):1.443 2.03/1.56 o 42 2.17/1.64 c And the winner is Resolution 2.33/2.08 c Got one! Elapsed wall clock time (in seconds):1.962 2.33/2.08 o 36 2.51/2.13 c And the winner is Resolution 2.53/2.59 c Got one! Elapsed wall clock time (in seconds):2.475 2.53/2.59 o 34 2.54/2.66 c And the winner is Resolution 2.87/3.11 c Got one! Elapsed wall clock time (in seconds):2.986 2.87/3.11 o 32 6.74/4.92 c cleaning 2765 clauses out of 5535 with flag 5000/5535 10.65/6.84 c cleaning 4382 clauses out of 8770 with flag 11000/11535 12.62/7.87 c And the winner is Resolution 12.79/8.13 c Got one! Elapsed wall clock time (in seconds):8.013 12.79/8.13 o 31 13.72/8.61 c cleaning 4883 clauses out of 9776 with flag 2000/16923 17.09/10.35 c cleaning 5442 clauses out of 10895 with flag 8002/22925 20.90/12.25 c cleaning 6223 clauses out of 12451 with flag 15000/29923 25.51/14.57 c cleaning 7106 clauses out of 14228 with flag 23000/37923 31.48/17.57 c cleaning 8053 clauses out of 16122 with flag 32000/46923 37.83/20.78 c cleaning 9031 clauses out of 18073 with flag 42004/56927 45.00/24.35 c cleaning 10014 clauses out of 20038 with flag 53000/67923 52.33/28.03 c cleaning 11009 clauses out of 22025 with flag 65001/79924 60.89/32.33 c cleaning 12002 clauses out of 24018 with flag 78003/92926 68.64/36.25 c cleaning 12991 clauses out of 26013 with flag 92000/106923 77.35/40.62 c cleaning 14004 clauses out of 28022 with flag 107000/121923 86.68/45.34 c cleaning 14996 clauses out of 30018 with flag 123000/137923 97.24/50.66 c cleaning 15502 clauses out of 31023 with flag 139001/153924 107.57/55.88 c cleaning 15755 clauses out of 31520 with flag 155000/169923 109.47/56.82 c And the winner is Resolution 109.67/57.00 c Got one! Elapsed wall clock time (in seconds):56.882 109.67/57.00 o 30 111.27/57.85 c cleaning 10522 clauses out of 21058 with flag 3000/175216 114.80/59.63 c cleaning 8260 clauses out of 16537 with flag 9001/181217 119.33/61.90 c cleaning 7631 clauses out of 15276 with flag 16000/188216 124.07/64.33 c cleaning 7812 clauses out of 15646 with flag 24001/196217 129.96/67.34 c cleaning 8408 clauses out of 16834 with flag 33001/205217 136.29/70.54 c cleaning 9204 clauses out of 18425 with flag 43000/215216 143.02/73.99 c cleaning 10100 clauses out of 20221 with flag 54000/226216 151.14/78.04 c cleaning 11046 clauses out of 22121 with flag 66000/238216 159.60/82.30 c cleaning 12023 clauses out of 24075 with flag 79000/251216 167.91/86.53 c cleaning 13020 clauses out of 26053 with flag 93001/265217 176.85/91.03 c cleaning 14006 clauses out of 28032 with flag 108000/280216 186.35/95.81 c cleaning 15007 clauses out of 30027 with flag 124001/296217 196.42/100.99 c cleaning 15501 clauses out of 31019 with flag 140000/312216 206.91/106.26 c cleaning 15753 clauses out of 31518 with flag 156000/328216 216.00/110.83 c cleaning 15874 clauses out of 31766 with flag 172001/344217 225.10/115.49 c cleaning 15934 clauses out of 31891 with flag 188000/360216 234.73/120.33 c cleaning 15965 clauses out of 31957 with flag 204000/376216 244.02/125.01 c cleaning 15989 clauses out of 31992 with flag 220000/392216 253.10/129.65 c cleaning 15996 clauses out of 32003 with flag 236000/408216 262.97/134.64 c cleaning 15993 clauses out of 32007 with flag 252000/424216 272.78/139.65 c cleaning 15998 clauses out of 32014 with flag 268000/440216 281.66/144.18 c cleaning 15999 clauses out of 32016 with flag 284000/456216 290.91/148.89 c cleaning 15998 clauses out of 32018 with flag 300001/472217 299.78/153.33 c cleaning 16003 clauses out of 32019 with flag 316000/488216 308.55/157.84 c cleaning 16002 clauses out of 32016 with flag 332000/504216 317.42/162.33 c cleaning 16002 clauses out of 32018 with flag 348004/520220 325.88/166.62 c cleaning 15995 clauses out of 32012 with flag 364000/536216 335.14/171.30 c cleaning 16001 clauses out of 32017 with flag 380000/552216 345.90/176.83 c cleaning 15996 clauses out of 32016 with flag 396000/568216 356.36/182.14 c cleaning 16001 clauses out of 32020 with flag 412000/584216 366.23/187.13 c cleaning 16006 clauses out of 32021 with flag 428002/600218 375.27/191.72 c cleaning 15999 clauses out of 32013 with flag 444000/616216 384.22/196.32 c cleaning 15993 clauses out of 32014 with flag 460000/632216 394.26/201.45 c cleaning 16006 clauses out of 32022 with flag 476001/648217 403.47/206.10 c cleaning 15997 clauses out of 32015 with flag 492000/664216 411.50/210.26 c cleaning 16001 clauses out of 32018 with flag 508000/680216 420.63/214.92 c cleaning 15999 clauses out of 32018 with flag 524001/696217 430.07/219.75 c cleaning 15999 clauses out of 32018 with flag 540000/712216 439.50/224.57 c cleaning 16002 clauses out of 32020 with flag 556001/728217 448.71/229.29 c cleaning 15998 clauses out of 32017 with flag 572000/744216 458.81/234.49 c cleaning 15998 clauses out of 32019 with flag 588000/760216 469.22/239.70 c cleaning 15998 clauses out of 32021 with flag 604000/776216 474.99/242.77 c And the winner is Resolution 475.27/242.95 c Got one! Elapsed wall clock time (in seconds):242.827 475.27/242.95 o 29 478.22/244.42 c cleaning 15031 clauses out of 30075 with flag 5001/790268 482.02/246.45 c cleaning 10512 clauses out of 21043 with flag 11000/796267 486.67/248.95 c cleaning 8756 clauses out of 17531 with flag 18000/803267 491.65/251.57 c cleaning 8381 clauses out of 16776 with flag 26001/811268 497.22/254.41 c cleaning 8684 clauses out of 17394 with flag 35000/820267 503.38/257.63 c cleaning 9343 clauses out of 18710 with flag 45000/830267 510.03/261.17 c cleaning 10175 clauses out of 20368 with flag 56001/841268 517.20/264.86 c cleaning 11087 clauses out of 22192 with flag 68000/853267 525.77/269.23 c cleaning 12043 clauses out of 24105 with flag 81000/866267 534.53/273.70 c cleaning 13024 clauses out of 26062 with flag 95000/880267 543.77/278.52 c cleaning 14015 clauses out of 28039 with flag 110001/895268 553.73/283.60 c cleaning 15004 clauses out of 30023 with flag 126000/911267 563.67/288.71 c cleaning 15502 clauses out of 31020 with flag 142001/927268 574.23/294.11 c cleaning 15747 clauses out of 31517 with flag 158000/943267 583.87/299.18 c cleaning 15871 clauses out of 31770 with flag 174000/959267 593.41/304.01 c cleaning 15945 clauses out of 31899 with flag 190000/975267 602.56/308.75 c cleaning 15970 clauses out of 31954 with flag 206000/991267 612.68/313.94 c cleaning 15980 clauses out of 31984 with flag 222000/1007267 623.28/319.44 c cleaning 15996 clauses out of 32005 with flag 238001/1023268 634.20/325.04 c cleaning 15992 clauses out of 32008 with flag 254000/1039267 645.72/330.91 c cleaning 15999 clauses out of 32017 with flag 270001/1055268 657.44/336.99 c cleaning 16001 clauses out of 32017 with flag 286000/1071267 667.82/342.33 c cleaning 15995 clauses out of 32016 with flag 302000/1087267 676.93/347.07 c cleaning 16004 clauses out of 32023 with flag 318002/1103269 685.83/351.69 c cleaning 16002 clauses out of 32018 with flag 334001/1119268 695.14/356.48 c cleaning 15999 clauses out of 32016 with flag 350001/1135268 705.27/361.79 c cleaning 15999 clauses out of 32017 with flag 366001/1151268 715.97/367.29 c cleaning 15996 clauses out of 32017 with flag 382000/1167267 726.67/372.76 c cleaning 16007 clauses out of 32022 with flag 398001/1183268 736.55/377.89 c cleaning 15996 clauses out of 32014 with flag 414000/1199267 747.04/383.40 c cleaning 16000 clauses out of 32019 with flag 430001/1215268 757.90/388.99 c cleaning 15992 clauses out of 32018 with flag 446000/1231267 768.95/394.66 c cleaning 16001 clauses out of 32026 with flag 462000/1247267 779.61/400.19 c cleaning 16004 clauses out of 32026 with flag 478001/1263268 790.50/405.88 c cleaning 15999 clauses out of 32021 with flag 494000/1279267 800.95/411.20 c cleaning 15997 clauses out of 32022 with flag 510000/1295267 810.79/416.36 c cleaning 16007 clauses out of 32026 with flag 526001/1311268 821.63/421.92 c cleaning 16004 clauses out of 32018 with flag 542000/1327267 831.08/426.93 c cleaning 15999 clauses out of 32015 with flag 558001/1343268 841.11/432.10 c cleaning 16001 clauses out of 32015 with flag 574000/1359267 850.33/436.97 c cleaning 16001 clauses out of 32015 with flag 590001/1375268 859.99/441.91 c cleaning 16001 clauses out of 32013 with flag 606000/1391267 870.03/447.30 c cleaning 15996 clauses out of 32012 with flag 622000/1407267 879.24/452.08 c cleaning 15992 clauses out of 32018 with flag 638002/1423269 889.44/457.30 c cleaning 16003 clauses out of 32024 with flag 654000/1439267 899.64/462.65 c cleaning 16004 clauses out of 32022 with flag 670001/1455268 909.84/468.04 c cleaning 16000 clauses out of 32017 with flag 686000/1471267 921.27/473.91 c cleaning 16004 clauses out of 32017 with flag 702000/1487267 932.11/479.59 c cleaning 16002 clauses out of 32014 with flag 718001/1503268 942.73/485.05 c cleaning 16001 clauses out of 32011 with flag 734000/1519267 952.96/490.47 c cleaning 15995 clauses out of 32010 with flag 750000/1535267 962.99/495.63 c cleaning 16000 clauses out of 32015 with flag 766000/1551267 972.62/500.62 c cleaning 15998 clauses out of 32015 with flag 782000/1567267 982.23/505.69 c cleaning 16002 clauses out of 32017 with flag 798000/1583267 992.67/511.17 c cleaning 16001 clauses out of 32019 with flag 814004/1599271 1002.48/516.29 c cleaning 15999 clauses out of 32014 with flag 830000/1615267 1011.89/521.19 c cleaning 16001 clauses out of 32015 with flag 846000/1631267 1021.90/526.30 c cleaning 15994 clauses out of 32014 with flag 862000/1647267 1032.52/531.94 c cleaning 16003 clauses out of 32020 with flag 878000/1663267 1043.74/537.74 c cleaning 16004 clauses out of 32017 with flag 894000/1679267 1054.77/543.48 c cleaning 15999 clauses out of 32014 with flag 910001/1695268 1065.56/549.07 c cleaning 16000 clauses out of 32015 with flag 926001/1711268 1076.76/554.97 c cleaning 15999 clauses out of 32014 with flag 942000/1727267 1087.36/560.43 c cleaning 16002 clauses out of 32015 with flag 958000/1743267 1096.96/565.41 c cleaning 15993 clauses out of 32015 with flag 974002/1759269 1105.94/570.15 c cleaning 16007 clauses out of 32021 with flag 990001/1775268 1115.32/575.10 c cleaning 15998 clauses out of 32013 with flag 1006000/1791267 1124.70/580.02 c cleaning 15998 clauses out of 32017 with flag 1022002/1807269 1134.28/585.07 c cleaning 15997 clauses out of 32017 with flag 1038000/1823267 1143.86/590.03 c cleaning 15999 clauses out of 32020 with flag 1054000/1839267 1153.82/595.32 c cleaning 15997 clauses out of 32022 with flag 1070001/1855268 1162.99/600.11 c cleaning 16004 clauses out of 32024 with flag 1086000/1871267 1172.13/604.92 c cleaning 16003 clauses out of 32020 with flag 1102000/1887267 1181.49/609.88 c cleaning 15992 clauses out of 32017 with flag 1118000/1903267 1191.03/614.97 c cleaning 16006 clauses out of 32025 with flag 1134000/1919267 1201.59/620.41 c cleaning 15993 clauses out of 32020 with flag 1150001/1935268 1212.73/626.24 c cleaning 15998 clauses out of 32026 with flag 1166000/1951267 1223.28/631.70 c cleaning 16006 clauses out of 32029 with flag 1182001/1967268 1234.20/637.55 c cleaning 16003 clauses out of 32023 with flag 1198001/1983268 1244.15/642.74 c cleaning 16006 clauses out of 32019 with flag 1214000/1999267 1254.28/648.07 c cleaning 15999 clauses out of 32013 with flag 1230000/2015267 1265.01/653.69 c cleaning 16000 clauses out of 32014 with flag 1246000/2031267 1276.32/659.60 c cleaning 15997 clauses out of 32014 with flag 1262000/2047267 1287.23/665.36 c cleaning 16001 clauses out of 32017 with flag 1278000/2063267 1298.55/671.26 c cleaning 16007 clauses out of 32017 with flag 1294001/2079268 1309.07/676.76 c cleaning 15997 clauses out of 32009 with flag 1310000/2095267 1319.55/682.36 c cleaning 15998 clauses out of 32012 with flag 1326000/2111267 1330.86/688.24 c cleaning 15996 clauses out of 32014 with flag 1342000/2127267 1341.36/693.74 c cleaning 15989 clauses out of 32018 with flag 1358000/2143267 1352.47/699.56 c cleaning 16005 clauses out of 32029 with flag 1374000/2159267 1364.10/705.78 c cleaning 16004 clauses out of 32024 with flag 1390000/2175267 1375.21/711.56 c cleaning 16006 clauses out of 32022 with flag 1406002/2191269 1385.32/716.88 c cleaning 16003 clauses out of 32015 with flag 1422001/2207268 1395.41/722.16 c cleaning 15993 clauses out of 32011 with flag 1438000/2223267 1405.85/727.71 c cleaning 15998 clauses out of 32018 with flag 1454000/2239267 1415.73/732.98 c cleaning 15992 clauses out of 32020 with flag 1470000/2255267 1425.80/738.28 c cleaning 16005 clauses out of 32029 with flag 1486001/2271268 1436.27/743.74 c cleaning 16007 clauses out of 32023 with flag 1502000/2287267 1446.70/749.34 c cleaning 15996 clauses out of 32016 with flag 1518000/2303267 1457.77/755.15 c cleaning 16001 clauses out of 32020 with flag 1534000/2319267 1467.84/760.43 c cleaning 16004 clauses out of 32019 with flag 1550000/2335267 1479.70/766.66 c cleaning 15996 clauses out of 32015 with flag 1566000/2351267 1490.10/772.28 c cleaning 16002 clauses out of 32020 with flag 1582001/2367268 1499.54/777.29 c cleaning 15995 clauses out of 32019 with flag 1598002/2383269 1509.38/782.44 c cleaning 16002 clauses out of 32022 with flag 1614000/2399267 1519.63/787.83 c cleaning 15997 clauses out of 32020 with flag 1630000/2415267 1529.92/793.41 c cleaning 15999 clauses out of 32024 with flag 1646001/2431268 1538.30/797.97 c cleaning 16004 clauses out of 32025 with flag 1662001/2447268 1547.87/803.09 c cleaning 16000 clauses out of 32020 with flag 1678000/2463267 1557.63/808.27 c cleaning 15998 clauses out of 32020 with flag 1694000/2479267 1567.90/813.83 c cleaning 15999 clauses out of 32022 with flag 1710000/2495267 1578.68/819.52 c cleaning 16002 clauses out of 32023 with flag 1726000/2511267 1588.45/824.71 c cleaning 16001 clauses out of 32021 with flag 1742000/2527267 1598.42/830.05 c cleaning 15997 clauses out of 32020 with flag 1758000/2543267 1608.86/835.77 c cleaning 15999 clauses out of 32023 with flag 1774000/2559267 1618.81/841.02 c cleaning 16000 clauses out of 32024 with flag 1790000/2575267 1628.75/846.39 c cleaning 16000 clauses out of 32024 with flag 1806000/2591267 1639.09/851.80 c cleaning 15993 clauses out of 32024 with flag 1822000/2607267 1649.35/857.47 c cleaning 16010 clauses out of 32031 with flag 1838000/2623267 1659.28/862.79 c cleaning 16000 clauses out of 32021 with flag 1854000/2639267 1669.82/868.30 c cleaning 15997 clauses out of 32021 with flag 1870000/2655267 1679.55/873.54 c cleaning 16009 clauses out of 32024 with flag 1886000/2671267 1689.39/878.91 c cleaning 16002 clauses out of 32016 with flag 1902001/2687268 1699.31/884.25 c cleaning 15995 clauses out of 32013 with flag 1918000/2703267 1709.43/889.68 c cleaning 15996 clauses out of 32018 with flag 1934000/2719267 1719.55/895.05 c cleaning 16003 clauses out of 32022 with flag 1950000/2735267 1729.74/900.61 c cleaning 15998 clauses out of 32019 with flag 1966000/2751267 1739.87/906.01 c cleaning 15999 clauses out of 32023 with flag 1982002/2767269 1749.58/911.26 c cleaning 15998 clauses out of 32022 with flag 1998000/2783267 1760.29/916.93 c cleaning 15994 clauses out of 32024 with flag 2014000/2799267 1770.50/922.57 c cleaning 16006 clauses out of 32030 with flag 2030000/2815267 1780.40/927.86 c cleaning 15998 clauses out of 32024 with flag 2046000/2831267 1790.90/933.41 c cleaning 16000 clauses out of 32026 with flag 2062000/2847267 1800.03/938.32 c starts : 239 1800.03/938.32 c conflicts : 2862090 1800.03/938.32 c decisions : 9947208 1800.03/938.32 c propagations : 3430076951 1800.03/938.32 c inspects : 3895946317 1800.03/938.32 c shortcuts : 0 1800.03/938.32 c learnt literals : 0 1800.03/938.32 c learnt binary clauses : 0 1800.03/938.32 c learnt ternary clauses : 2 1800.03/938.32 c learnt constraints : 2862090 1800.03/938.32 c ignored constraints : 0 1800.03/938.32 c root simplifications : 0 1800.03/938.32 c removed literals (reason simplification) : 5769042 1800.03/938.32 c reason swapping (by a shorter reason) : 0 1800.03/938.32 c Calls to reduceDB : 191 1800.03/938.32 c number of reductions to clauses (during analyze) : 0 1800.03/938.32 c number of learned constraints concerned by reduction : 0 1800.03/938.32 c number of learning phase by resolution : 0 1800.03/938.32 c number of learning phase by cutting planes : 0 1800.03/938.32 c speed (assignments/second) : 4932759.406184073 1800.03/938.32 c non guided choices 16911 1800.03/938.33 c learnt constraints type 1800.03/938.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30884 1800.03/938.33 c constraints type 1800.03/938.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734 1800.03/938.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.03/938.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658 1800.03/938.33 c constraints type 1800.03/938.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658 1800.03/938.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734 1800.03/938.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.03/938.33 s SATISFIABLE 1800.03/938.34 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 1800.03/938.35 c objective function=29 1800.03/938.35 c Total wall clock time (in seconds): 938.228
OK 29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454113-1307648717/watcher-3454113-1307648717 -o /tmp/evaluation-result-3454113-1307648717/solver-3454113-1307648717 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454113-1307648717.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.57 3.61 3.66 2/196 12990 /proc/meminfo: memFree=30559940/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/12990/stat : 12990 (java) R 12988 12990 11485 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 876471386 23580672 695 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274659845608 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12990/statm: 5757 696 512 9 0 124 0 [startup+0.0126279 s] /proc/loadavg: 3.57 3.61 3.66 2/196 12990 /proc/meminfo: memFree=30559940/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 2634 0 1 0 0 0 0 0 25 0 2 0 876471386 10681323520 2335 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2607745 2354 906 9 0 2598901 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10430980 [startup+0.100616 s] /proc/loadavg: 3.57 3.61 3.66 2/196 12990 /proc/meminfo: memFree=30559940/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10540048 CPUtime=0.09 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 12928 0 1 0 8 1 0 0 25 0 18 0 876471386 10793009152 12624 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2635012 12624 2091 9 0 2625746 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10540048 [startup+0.300549 s] /proc/loadavg: 3.57 3.61 3.66 2/196 12990 /proc/meminfo: memFree=30559940/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10541508 CPUtime=0.46 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 15881 0 1 0 45 1 0 0 25 0 18 0 876471386 10794504192 15206 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2635377 15207 2200 9 0 2626111 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10541508 [startup+0.700488 s] /proc/loadavg: 3.57 3.61 3.66 2/196 12990 /proc/meminfo: memFree=30559940/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10552724 CPUtime=1.6 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 33158 0 1 0 154 6 0 0 25 0 19 0 876471386 10805989376 28233 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638181 28233 2236 9 0 2628915 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 10552724 [startup+1.5014 s] /proc/loadavg: 3.45 3.58 3.65 4/215 13012 /proc/meminfo: memFree=30454660/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10553680 CPUtime=2.03 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 34004 0 1 0 196 7 0 0 25 0 19 0 876471386 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638420 29077 2241 9 0 2629154 0 [pid=12990/tid=12992] ppid=12988 vsize=10553680 CPUtime=0.49 cores=0,2,4,6 /proc/12990/task/12992/stat : 12992 (java) S 12988 12990 11485 0 -1 4202560 21367 0 1 0 47 2 0 0 17 0 19 0 876471387 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=12993] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 876471390 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 876471390 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876471390 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 876471392 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=0.55 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6810 0 0 0 54 1 0 0 15 0 19 0 876471392 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=0.55 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4116 0 0 0 55 0 0 0 16 0 19 0 876471392 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 876471392 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.02 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 1 1 0 0 15 0 19 0 876471392 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 876471442 10806968320 29077 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 10553680 [startup+3.10114 s] /proc/loadavg: 3.45 3.58 3.65 6/218 13021 /proc/meminfo: memFree=30446572/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10553680 CPUtime=2.87 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 35797 0 1 0 279 8 0 0 25 0 19 0 876471386 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638420 30869 2243 9 0 2629154 0 [pid=12990/tid=12992] ppid=12988 vsize=10553680 CPUtime=0.54 cores=0,2,4,6 /proc/12990/task/12992/stat : 12992 (java) S 12988 12990 11485 0 -1 4202560 22074 0 1 0 51 3 0 0 16 0 19 0 876471387 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12993] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876471389 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 876471390 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 876471390 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876471390 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 876471392 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=0.72 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6827 0 0 0 71 1 0 0 15 0 19 0 876471392 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=0.75 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4138 0 0 0 75 0 0 0 15 0 19 0 876471392 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 876471392 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.02 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 1 1 0 0 15 0 19 0 876471392 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 876471442 10806968320 30869 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 10553680 [startup+6.30148 s] /proc/loadavg: 3.45 3.58 3.65 4/218 13027 /proc/meminfo: memFree=29981564/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10553680 CPUtime=9.56 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 232360 0 1 0 927 29 0 0 25 0 22 0 876471386 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638420 227228 2268 9 0 2629154 0 [pid=12990/tid=12992] ppid=12988 vsize=10553680 CPUtime=0.55 cores=0,2,4,6 /proc/12990/task/12992/stat : 12992 (java) S 12988 12990 11485 0 -1 4202560 22310 0 1 0 52 3 0 0 15 0 22 0 876471387 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12993] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 301 0 0 0 0 0 0 0 18 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 578 0 0 0 0 0 0 0 18 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 385 0 0 0 0 0 0 0 18 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 497 0 0 0 0 0 0 0 18 0 22 0 876471389 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=0.03 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 2013 0 0 0 3 0 0 0 15 0 22 0 876471390 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876471390 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876471390 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876471392 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=0.94 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6850 0 0 0 93 1 0 0 15 0 22 0 876471392 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=0.89 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4153 0 0 0 89 0 0 0 15 0 22 0 876471392 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876471392 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.02 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) R 12988 12990 11485 0 -1 4202560 1 0 0 0 1 1 0 0 15 0 22 0 876471392 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876471442 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13025] ppid=12988 vsize=10553680 CPUtime=3.13 cores=0,2,4,6 /proc/12990/task/13025/stat : 13025 (java) R 12988 12990 11485 0 -1 4202560 643 0 0 0 313 0 0 0 24 0 22 0 876471697 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912505777682 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12990/tid=13026] ppid=12988 vsize=10553680 CPUtime=3.13 cores=0,2,4,6 /proc/12990/task/13026/stat : 13026 (java) R 12988 12990 11485 0 -1 4202560 191877 0 0 0 293 20 0 0 18 0 22 0 876471697 10806968320 227228 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912506009767 0 4 0 16800975 0 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 2771 0 0 0 62 0 0 0 16 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0.73 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2850 0 0 0 73 0 0 0 16 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0.62 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 4140 0 0 0 62 0 0 0 16 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0.57 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1164 0 0 0 57 0 0 0 15 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0.58 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 2381 0 0 0 58 0 0 0 16 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0.62 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 3962 0 0 0 62 0 0 0 15 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0.69 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 2470 0 0 0 68 1 0 0 15 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0.6 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 2359 0 0 0 60 0 0 0 15 0 22 0 876471389 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=59.34 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 74373 0 0 0 5924 10 0 0 15 0 22 0 876471390 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876471390 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 876471390 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876471392 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=1.29 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6886 0 0 0 128 1 0 0 15 0 22 0 876471392 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=1.01 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4154 0 0 0 101 0 0 0 15 0 22 0 876471392 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876471392 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.05 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) S 12988 12990 11485 0 -1 4202560 47 0 0 0 1 4 0 0 15 0 22 0 876471392 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876471442 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13108] ppid=12988 vsize=10553680 CPUtime=526.18 cores=0,2,4,6 /proc/12990/task/13108/stat : 13108 (java) R 12988 12990 11485 0 -1 4202560 44 0 0 0 52616 2 0 0 25 0 22 0 876495682 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912506036560 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=12990/tid=13109] ppid=12988 vsize=10553680 CPUtime=526.12 cores=0,2,4,6 /proc/12990/task/13109/stat : 13109 (java) R 12988 12990 11485 0 -1 4202560 11 0 0 0 52608 4 0 0 25 0 22 0 876495682 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912505904672 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12990/tid=13110] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13110/stat : 13110 (java) S 12988 12990 11485 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 876495688 10806968320 955670 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1583.66 Current children cumulated vsize (KiB) 10553680 [startup+882.302 s] /proc/loadavg: 4.08 3.91 3.79 5/218 13131 /proc/meminfo: memFree=24284172/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10553680 CPUtime=1695.51 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 965614 0 1 0 169422 129 0 0 25 0 22 0 876471386 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638420 959073 2270 9 0 2629154 0 [pid=12990/tid=12992] ppid=12988 vsize=10553680 CPUtime=0.57 cores=0,2,4,6 /proc/12990/task/12992/stat : 12992 (java) S 12988 12990 11485 0 -1 4202560 22397 0 1 0 54 3 0 0 15 0 22 0 876471387 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12993] ppid=12988 vsize=10553680 CPUtime=0.69 cores=0,2,4,6 /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 2771 0 0 0 69 0 0 0 16 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0.8 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2852 0 0 0 80 0 0 0 16 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0.67 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 4140 0 0 0 67 0 0 0 15 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0.61 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1164 0 0 0 61 0 0 0 15 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0.61 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 2381 0 0 0 61 0 0 0 15 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0.68 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 3962 0 0 0 68 0 0 0 16 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0.74 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 2471 0 0 0 73 1 0 0 15 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0.67 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 2359 0 0 0 67 0 0 0 16 0 22 0 876471389 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=67.67 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 77777 0 0 0 6756 11 0 0 15 0 22 0 876471390 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876471390 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 876471390 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876471392 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=1.29 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6886 0 0 0 128 1 0 0 15 0 22 0 876471392 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=1.01 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4154 0 0 0 101 0 0 0 15 0 22 0 876471392 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876471392 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.05 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) S 12988 12990 11485 0 -1 4202560 51 0 0 0 1 4 0 0 15 0 22 0 876471392 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876471442 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13108] ppid=12988 vsize=10553680 CPUtime=577.73 cores=0,2,4,6 /proc/12990/task/13108/stat : 13108 (java) R 12988 12990 11485 0 -1 4202560 44 0 0 0 57771 2 0 0 25 0 22 0 876495682 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912505937171 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12990/tid=13109] ppid=12988 vsize=10553680 CPUtime=577.65 cores=0,2,4,6 /proc/12990/task/13109/stat : 13109 (java) R 12988 12990 11485 0 -1 4202560 11 0 0 0 57759 6 0 0 25 0 22 0 876495682 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912505873566 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12990/tid=13110] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13110/stat : 13110 (java) S 12988 12990 11485 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 876495688 10806968320 959073 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1695.51 Current children cumulated vsize (KiB) 10553680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+938.307 s] /proc/loadavg: 3.88 3.88 3.78 5/218 13132 /proc/meminfo: memFree=24270480/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=10553680 CPUtime=1800.03 cores=0,2,4,6 /proc/12990/stat : 12990 (java) S 12988 12990 11485 0 -1 4202496 968985 0 1 0 179872 131 0 0 25 0 22 0 876471386 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 2638420 962430 2270 9 0 2629154 0 [pid=12990/tid=12992] ppid=12988 vsize=10553680 CPUtime=0.57 cores=0,2,4,6 /proc/12990/task/12992/stat : 12992 (java) S 12988 12990 11485 0 -1 4202560 22407 0 1 0 54 3 0 0 15 0 22 0 876471387 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12993] ppid=12988 vsize=10553680 CPUtime=0.73 cores=0,2,4,6 /proc/12990/task/12993/stat : 12993 (java) S 12988 12990 11485 0 -1 4202560 2771 0 0 0 73 0 0 0 16 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=12994] ppid=12988 vsize=10553680 CPUtime=0.83 cores=0,2,4,6 /proc/12990/task/12994/stat : 12994 (java) S 12988 12990 11485 0 -1 4202560 2853 0 0 0 83 0 0 0 15 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12995] ppid=12988 vsize=10553680 CPUtime=0.72 cores=0,2,4,6 /proc/12990/task/12995/stat : 12995 (java) S 12988 12990 11485 0 -1 4202560 4140 0 0 0 72 0 0 0 15 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12996] ppid=12988 vsize=10553680 CPUtime=0.66 cores=0,2,4,6 /proc/12990/task/12996/stat : 12996 (java) S 12988 12990 11485 0 -1 4202560 1167 0 0 0 66 0 0 0 16 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12997] ppid=12988 vsize=10553680 CPUtime=0.68 cores=0,2,4,6 /proc/12990/task/12997/stat : 12997 (java) S 12988 12990 11485 0 -1 4202560 2390 0 0 0 68 0 0 0 15 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=12998] ppid=12988 vsize=10553680 CPUtime=0.76 cores=0,2,4,6 /proc/12990/task/12998/stat : 12998 (java) S 12988 12990 11485 0 -1 4202560 3962 0 0 0 76 0 0 0 16 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=12999] ppid=12988 vsize=10553680 CPUtime=0.77 cores=0,2,4,6 /proc/12990/task/12999/stat : 12999 (java) S 12988 12990 11485 0 -1 4202560 2471 0 0 0 76 1 0 0 15 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13000] ppid=12988 vsize=10553680 CPUtime=0.75 cores=0,2,4,6 /proc/12990/task/13000/stat : 13000 (java) S 12988 12990 11485 0 -1 4202560 2359 0 0 0 75 0 0 0 16 0 22 0 876471389 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 [pid=12990/tid=13001] ppid=12988 vsize=10553680 CPUtime=75.37 cores=0,2,4,6 /proc/12990/task/13001/stat : 13001 (java) S 12988 12990 11485 0 -1 4202560 81123 0 0 0 7526 11 0 0 15 0 22 0 876471390 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 0 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13002] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13002/stat : 13002 (java) S 12988 12990 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876471390 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13003] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13003/stat : 13003 (java) S 12988 12990 11485 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 876471390 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 2 0 0 0 [pid=12990/tid=13004] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13004/stat : 13004 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876471392 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676631985 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13005] ppid=12988 vsize=10553680 CPUtime=1.29 cores=0,2,4,6 /proc/12990/task/13005/stat : 13005 (java) S 12988 12990 11485 0 -1 4202560 6886 0 0 0 128 1 0 0 15 0 22 0 876471392 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13006] ppid=12988 vsize=10553680 CPUtime=1.01 cores=0,2,4,6 /proc/12990/task/13006/stat : 13006 (java) S 12988 12990 11485 0 -1 4202560 4154 0 0 0 101 0 0 0 15 0 22 0 876471392 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13007] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13007/stat : 13007 (java) S 12988 12990 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876471392 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624281 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13008] ppid=12988 vsize=10553680 CPUtime=0.05 cores=0,2,4,6 /proc/12990/task/13008/stat : 13008 (java) S 12988 12990 11485 0 -1 4202560 53 0 0 0 1 4 0 0 15 0 22 0 876471392 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 4 0 0 0 [pid=12990/tid=13011] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13011/stat : 13011 (java) S 12988 12990 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876471442 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 0 0 0 0 [pid=12990/tid=13108] ppid=12988 vsize=10553680 CPUtime=625.92 cores=0,2,4,6 /proc/12990/task/13108/stat : 13108 (java) R 12988 12990 11485 0 -1 4202560 44 0 0 0 62590 2 0 0 25 0 22 0 876495682 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912506052481 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12990/tid=13109] ppid=12988 vsize=10553680 CPUtime=625.84 cores=0,2,4,6 /proc/12990/task/13109/stat : 13109 (java) R 12988 12990 11485 0 -1 4202560 11 0 0 0 62577 7 0 0 25 0 22 0 876495682 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 46912506009645 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12990/tid=13110] ppid=12988 vsize=10553680 CPUtime=0 cores=0,2,4,6 /proc/12990/task/13110/stat : 13110 (java) S 12988 12990 11485 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 876495688 10806968320 962430 33554432000 1073741824 1073778376 140733321547760 18446744073709551615 274676624896 0 4 0 16800975 18446604453848674688 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10553680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+938.413 s] /proc/loadavg: 3.88 3.88 3.78 5/218 13132 /proc/meminfo: memFree=24270480/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=0 CPUtime=1800.22 cores=0,2,4,6 /proc/12990/stat : 12990 (java) Z 12988 12990 11485 0 -1 4203548 969014 0 1 0 179885 137 0 0 17 0 2 0 876471386 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 [startup+938.501 s] /proc/loadavg: 3.88 3.88 3.78 5/218 13132 /proc/meminfo: memFree=24270480/32951132 swapFree=67054608/67111528 [pid=12990] ppid=12988 vsize=0 CPUtime=1800.3 cores=0,2,4,6 /proc/12990/stat : 12990 (java) Z 12988 12990 11485 0 -1 4203548 969014 0 1 0 179885 145 0 0 17 0 2 0 876471386 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12990/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 938.525 CPU time (s): 1800.33 CPU user time (s): 1798.85 CPU system time (s): 1.47378 CPU usage (%): 191.825 Max. virtual memory (cumulated for all children) (KiB): 10553680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 1.47378 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 969014 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= 27384 involuntary context switches= 20573 runsolver used 1.73374 second user time and 3.42748 second system time The end
Begin job on node131 at 2011-06-09 21:45:17 IDJOB=3454113 IDBENCH=24999 IDSOLVER=1950 FILE ID=node131/3454113-1307648717 RUNJOBID= node131-1307642772-11503 PBS_JOBID= 13549400 Free space on /tmp= 74120 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454113-1307648717/watcher-3454113-1307648717 -o /tmp/evaluation-result-3454113-1307648717/solver-3454113-1307648717 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454113-1307648717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=387315234 node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30560360 kB Buffers: 220536 kB Cached: 619760 kB SwapCached: 9832 kB Active: 1614576 kB Inactive: 527332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30560360 kB SwapTotal: 67111528 kB SwapFree: 67054608 kB Dirty: 888 kB Writeback: 4 kB AnonPages: 1299428 kB Mapped: 21576 kB Slab: 183104 kB PageTables: 7020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 10569948 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74116 MiB End job on node131 at 2011-06-09 22:00:58