| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 0 | 1800.08 | 1795.96 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc205.opb |
| MD5SUM | 085f6c29f952ff5e0e711950d59893d5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | NO |
| Number of variables | 6090 |
| Total number of constraints | 204 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 204 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524317 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524370 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-2013 Artois University and CNRS 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 PB16.v20160501 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.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4101109-1466220440.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.57/0.33 c ... done. Wall clock time 0.211s. 0.57/0.33 c declared #vars 6090 0.57/0.33 c #constraints 295 0.57/0.33 c constraints type 0.57/0.33 c org.sat4j.specs.Constr$1 => 1 0.57/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 294 0.57/0.33 c 295 constraints processed. 0.57/0.33 c objective function length is 30 literals 1.41/0.77 c cleaning 2499 clauses out of 4997 with flag 10307/5003 1.99/1.11 c cleaning 4232 clauses out of 8496 with flag 23936/11001 2.30/1.50 c cleaning 5616 clauses out of 11264 with flag 40710/18001 2.82/1.90 c cleaning 6817 clauses out of 13647 with flag 57741/26000 3.45/2.51 c cleaning 7901 clauses out of 15830 with flag 76751/35000 4.35/3.46 c cleaning 8947 clauses out of 17930 with flag 97019/45001 5.06/4.20 c cleaning 9986 clauses out of 19974 with flag 121648/56000 5.82/4.89 c cleaning 10987 clauses out of 21989 with flag 148781/68001 7.02/6.02 c cleaning 11989 clauses out of 24002 with flag 180994/81001 8.52/7.54 c cleaning 12998 clauses out of 26016 with flag 214626/95004 9.82/8.89 c cleaning 13995 clauses out of 28015 with flag 255360/110001 11.72/10.75 c cleaning 15000 clauses out of 30020 with flag 297617/126001 13.32/12.37 c cleaning 16006 clauses out of 32021 with flag 337572/143002 15.32/14.38 c cleaning 17002 clauses out of 34014 with flag 374399/161001 18.12/17.16 c cleaning 18001 clauses out of 36011 with flag 414039/180000 21.11/20.20 c cleaning 18997 clauses out of 38010 with flag 456217/200000 25.12/24.10 c cleaning 20002 clauses out of 40015 with flag 500942/221002 29.12/28.10 c cleaning 20997 clauses out of 42011 with flag 546803/243000 31.62/30.66 c cleaning 21990 clauses out of 44014 with flag 606045/266000 35.42/34.40 c cleaning 22996 clauses out of 46024 with flag 669514/290000 39.91/38.94 c cleaning 24000 clauses out of 48028 with flag 732010/315000 42.97/41.98 c cleaning 25005 clauses out of 50029 with flag 791731/341001 45.04/43.86 c cleaning 26005 clauses out of 52010 with flag 853954/368001 47.93/46.77 c cleaning 27000 clauses out of 54005 with flag 920788/396002 50.03/48.88 c cleaning 27998 clauses out of 56003 with flag 993651/425000 53.23/52.00 c cleaning 28996 clauses out of 58005 with flag 1071186/455000 56.34/55.17 c cleaning 30000 clauses out of 60006 with flag 1157220/486000 59.43/58.23 c cleaning 30998 clauses out of 62006 with flag 1229226/518001 61.84/60.61 c cleaning 31997 clauses out of 64004 with flag 1316163/551000 66.14/65.00 c cleaning 32996 clauses out of 66007 with flag 1410800/585000 72.14/70.93 c cleaning 34003 clauses out of 68013 with flag 1510242/620002 79.14/77.90 c cleaning 35002 clauses out of 70011 with flag 1621404/656003 86.94/85.76 c cleaning 35999 clauses out of 72008 with flag 1742637/693002 95.54/94.36 c cleaning 36999 clauses out of 74008 with flag 1847085/731001 104.94/103.79 c cleaning 38001 clauses out of 76009 with flag 1963330/770001 112.80/111.52 c cleaning 39001 clauses out of 78009 with flag 2074214/810002 120.51/119.22 c cleaning 39997 clauses out of 80008 with flag 2164912/851002 128.01/126.77 c cleaning 41001 clauses out of 82009 with flag 2265657/893000 131.12/129.87 c cleaning 41989 clauses out of 84008 with flag 2363217/936001 136.01/134.77 c cleaning 43001 clauses out of 86020 with flag 2456130/980002 143.22/141.93 c cleaning 43998 clauses out of 88018 with flag 2573915/1025001 148.82/147.58 c cleaning 45004 clauses out of 90019 with flag 2704329/1071000 156.71/155.40 c cleaning 46005 clauses out of 92015 with flag 2837666/1118000 163.41/162.18 c cleaning 47008 clauses out of 94016 with flag 2985280/1166006 169.91/168.61 c cleaning 48000 clauses out of 96001 with flag 3102023/1215000 178.11/176.86 c cleaning 49000 clauses out of 98002 with flag 3237770/1265002 182.87/181.53 c cleaning 49993 clauses out of 100001 with flag 3355543/1316001 192.47/191.19 c cleaning 50990 clauses out of 102007 with flag 3531779/1368000 202.47/201.11 c cleaning 52000 clauses out of 104017 with flag 3693043/1421000 211.27/209.94 c cleaning 53001 clauses out of 106016 with flag 3851881/1475000 222.49/221.14 c cleaning 53998 clauses out of 108016 with flag 4025432/1530001 233.28/231.98 c cleaning 55000 clauses out of 110020 with flag 4185966/1586003 238.28/236.98 c cleaning 56007 clauses out of 112019 with flag 4331842/1643002 251.97/250.69 c cleaning 56999 clauses out of 114010 with flag 4464400/1701000 271.69/270.33 c cleaning 57999 clauses out of 116011 with flag 4591905/1760000 290.79/289.42 c cleaning 58995 clauses out of 118013 with flag 4721278/1820001 310.89/309.49 c cleaning 60007 clauses out of 120019 with flag 4861019/1881002 328.29/326.85 c cleaning 61003 clauses out of 122011 with flag 5007358/1943001 347.20/345.77 c cleaning 62001 clauses out of 124008 with flag 5153472/2006001 366.20/364.71 c cleaning 62999 clauses out of 126006 with flag 5301699/2070000 388.81/387.33 c cleaning 64002 clauses out of 128009 with flag 5451334/2135002 412.60/411.12 c cleaning 65004 clauses out of 130008 with flag 5605876/2201003 434.51/433.04 c cleaning 66001 clauses out of 132004 with flag 5755106/2268003 441.21/439.71 c cleaning 66991 clauses out of 133997 with flag 5923630/2336002 448.63/447.15 c cleaning 67993 clauses out of 136004 with flag 6081135/2405000 460.24/458.71 c cleaning 69001 clauses out of 138013 with flag 6257980/2475002 470.14/468.62 c cleaning 69999 clauses out of 140002 with flag 6428763/2546001 485.28/483.69 c cleaning 70992 clauses out of 142004 with flag 6617405/2618002 510.78/509.11 c cleaning 72000 clauses out of 144010 with flag 6783608/2691000 522.68/521.08 c cleaning 72995 clauses out of 145999 with flag 6972183/2765000 534.18/532.53 c cleaning 73997 clauses out of 148004 with flag 7175337/2840000 545.28/543.66 c cleaning 74995 clauses out of 150007 with flag 7370017/2916000 556.18/554.58 c cleaning 76001 clauses out of 152014 with flag 7581563/2993002 565.07/563.42 c cleaning 76999 clauses out of 154011 with flag 7797049/3071000 578.33/576.55 c cleaning 78000 clauses out of 156014 with flag 7994889/3150002 608.63/606.80 c cleaning 79004 clauses out of 158012 with flag 8170495/3230000 642.24/640.40 c cleaning 80001 clauses out of 160011 with flag 8346130/3311003 673.15/671.36 c cleaning 80998 clauses out of 162009 with flag 8534158/3393002 683.15/681.38 c cleaning 82000 clauses out of 164002 with flag 8757208/3476001 707.55/705.78 c cleaning 82996 clauses out of 166001 with flag 9014476/3560000 738.97/737.17 c cleaning 84000 clauses out of 168005 with flag 9267951/3645000 759.46/757.66 c cleaning 84993 clauses out of 170006 with flag 9505875/3731001 768.37/766.33 c cleaning 85978 clauses out of 172012 with flag 9728312/3818000 784.97/782.98 c cleaning 87011 clauses out of 174035 with flag 10003090/3906001 807.29/805.24 c cleaning 88007 clauses out of 176024 with flag 10207249/3995001 822.58/820.58 c cleaning 89001 clauses out of 178016 with flag 10467851/4085000 855.29/853.20 c cleaning 90001 clauses out of 180016 with flag 10771478/4176001 870.28/868.21 c cleaning 91001 clauses out of 182011 with flag 11028839/4268001 881.93/879.75 c cleaning 92002 clauses out of 184011 with flag 11273638/4361002 900.84/898.65 c cleaning 93001 clauses out of 186008 with flag 11550468/4455001 925.64/923.48 c cleaning 94000 clauses out of 188006 with flag 11860629/4550002 942.44/940.26 c cleaning 94990 clauses out of 190005 with flag 12141639/4646001 961.34/959.18 c cleaning 96004 clauses out of 192015 with flag 12405100/4743001 1007.95/1005.75 c cleaning 97004 clauses out of 194010 with flag 12664014/4841000 1026.73/1024.30 c cleaning 98000 clauses out of 196007 with flag 12942353/4940001 1055.34/1052.91 c cleaning 98993 clauses out of 198006 with flag 13271960/5040000 1079.74/1077.36 c cleaning 100002 clauses out of 200013 with flag 13562567/5141000 1105.55/1103.10 c cleaning 100994 clauses out of 202009 with flag 13873836/5243000 1147.25/1144.81 c cleaning 101999 clauses out of 204015 with flag 14220439/5346000 1178.06/1175.43 c cleaning 103001 clauses out of 206017 with flag 14498337/5450001 1228.86/1226.20 c cleaning 104002 clauses out of 208016 with flag 14745321/5555001 1253.96/1251.39 c cleaning 104994 clauses out of 210013 with flag 15061964/5661000 1274.46/1271.85 c cleaning 106003 clauses out of 212008 with flag 15374468/5768000 1276.06/1273.47 c SATISFIABLE 1276.06/1273.47 c OPTIMIZING... 1276.06/1273.47 c Got one! Elapsed wall clock time (in seconds):1273.352 1276.06/1273.47 o 0 1277.25/1274.05 c cleaning 65823 clauses out of 131657 with flag 10391/5793652 1277.73/1274.40 c cleaning 35911 clauses out of 71834 with flag 26250/5799652 1277.93/1274.67 c cleaning 21459 clauses out of 42925 with flag 42542/5806654 1278.24/1274.98 c cleaning 14725 clauses out of 29463 with flag 61242/5814651 1278.63/1275.32 c cleaning 11862 clauses out of 23740 with flag 84407/5823653 1279.03/1275.77 c cleaning 10932 clauses out of 21880 with flag 108600/5833655 1279.44/1276.16 c cleaning 10960 clauses out of 21944 with flag 136501/5844651 1280.13/1276.81 c cleaning 11484 clauses out of 22984 with flag 173542/5856651 1280.83/1277.54 c cleaning 12252 clauses out of 24503 with flag 210788/5869654 1281.93/1278.42 c cleaning 13121 clauses out of 26249 with flag 253468/5883652 1282.63/1279.17 c cleaning 14055 clauses out of 28133 with flag 290342/5898658 1283.33/1279.88 c cleaning 15034 clauses out of 30073 with flag 325445/5914653 1284.43/1280.99 c cleaning 16018 clauses out of 32040 with flag 362385/5931654 1286.43/1282.99 c cleaning 17010 clauses out of 34019 with flag 400384/5949651 1287.73/1284.22 c cleaning 18004 clauses out of 36012 with flag 441966/5968656 1288.63/1285.18 c cleaning 18997 clauses out of 38004 with flag 491613/5988652 1290.64/1287.12 c cleaning 19993 clauses out of 40006 with flag 556354/6009651 1291.74/1288.27 c cleaning 21002 clauses out of 42013 with flag 615134/6031651 1293.33/1289.86 c cleaning 21995 clauses out of 44011 with flag 673724/6054651 1295.73/1292.28 c cleaning 23000 clauses out of 46016 with flag 741861/6078651 1297.83/1294.30 c cleaning 24005 clauses out of 48018 with flag 807008/6103653 1298.83/1295.32 c cleaning 24998 clauses out of 50008 with flag 877050/6129651 1301.13/1297.68 c cleaning 26000 clauses out of 52011 with flag 950475/6156652 1303.23/1299.77 c cleaning 27002 clauses out of 54011 with flag 1022926/6184652 1305.03/1301.59 c cleaning 28005 clauses out of 56011 with flag 1105909/6213654 1307.43/1303.94 c cleaning 28994 clauses out of 58004 with flag 1177736/6243652 1308.93/1305.48 c cleaning 29999 clauses out of 60003 with flag 1246878/6274652 1311.44/1307.95 c cleaning 30997 clauses out of 62003 with flag 1338644/6306651 1314.84/1311.37 c cleaning 31993 clauses out of 64008 with flag 1439944/6339653 1319.03/1315.52 c cleaning 32999 clauses out of 66014 with flag 1548698/6373652 1323.64/1320.02 c cleaning 34004 clauses out of 68016 with flag 1658664/6408653 1326.34/1322.78 c cleaning 35001 clauses out of 70010 with flag 1756972/6444652 1329.14/1325.54 c cleaning 36000 clauses out of 72005 with flag 1847033/6481651 1331.44/1327.82 c cleaning 36998 clauses out of 74010 with flag 1945929/6519656 1334.54/1330.95 c cleaning 37999 clauses out of 76006 with flag 2061590/6558652 1338.64/1335.00 c cleaning 38998 clauses out of 78007 with flag 2169912/6598652 1341.54/1337.94 c cleaning 39997 clauses out of 80008 with flag 2281392/6639651 1348.34/1344.77 c cleaning 40997 clauses out of 82013 with flag 2407633/6681653 1351.04/1347.41 c cleaning 41996 clauses out of 84009 with flag 2527095/6724652 1358.64/1355.01 c cleaning 43001 clauses out of 86014 with flag 2661934/6768653 1364.14/1360.55 c cleaning 43998 clauses out of 88012 with flag 2800703/6813652 1373.10/1369.42 c cleaning 45002 clauses out of 90013 with flag 2957220/6859651 1376.90/1373.29 c cleaning 46001 clauses out of 92010 with flag 3094258/6906653 1382.50/1378.85 c cleaning 46996 clauses out of 94008 with flag 3246701/6954652 1390.81/1387.19 c cleaning 48000 clauses out of 96015 with flag 3403816/7003655 1398.80/1395.14 c cleaning 48999 clauses out of 98012 with flag 3547470/7053652 1408.10/1404.43 c cleaning 50000 clauses out of 100014 with flag 3690743/7104653 1414.20/1410.51 c cleaning 51005 clauses out of 102013 with flag 3839959/7156652 1420.00/1416.37 c cleaning 51994 clauses out of 104007 with flag 4013556/7209651 1424.91/1421.22 c cleaning 53004 clauses out of 106015 with flag 4176108/7263653 1435.40/1431.74 c cleaning 53999 clauses out of 108010 with flag 4349150/7318652 1445.09/1441.32 c cleaning 55003 clauses out of 110012 with flag 4528139/7374653 1456.59/1452.85 c cleaning 55995 clauses out of 112007 with flag 4716484/7431651 1463.40/1459.66 c cleaning 57002 clauses out of 114013 with flag 4896778/7489652 1472.50/1468.73 c cleaning 57998 clauses out of 116012 with flag 5084906/7548653 1483.80/1480.07 c cleaning 59001 clauses out of 118014 with flag 5278527/7608653 1495.59/1491.84 c cleaning 59990 clauses out of 120012 with flag 5473646/7669652 1500.19/1496.47 c cleaning 61006 clauses out of 122022 with flag 5629586/7731652 1507.50/1503.75 c cleaning 61998 clauses out of 124015 with flag 5815506/7794652 1513.15/1509.33 c cleaning 62998 clauses out of 126016 with flag 5996272/7858651 1521.54/1517.73 c cleaning 64001 clauses out of 128018 with flag 6189177/7923651 1531.44/1527.65 c cleaning 65003 clauses out of 130017 with flag 6393301/7989651 1537.84/1534.02 c cleaning 65999 clauses out of 132011 with flag 6583361/8056652 1543.24/1539.41 c cleaning 66999 clauses out of 134008 with flag 6786642/8124651 1551.53/1547.63 c cleaning 67999 clauses out of 136010 with flag 6996064/8193652 1560.03/1556.14 c cleaning 68998 clauses out of 138010 with flag 7223382/8263651 1569.53/1565.60 c cleaning 69998 clauses out of 140012 with flag 7431208/8334651 1585.32/1581.47 c cleaning 70995 clauses out of 142014 with flag 7666174/8406651 1605.41/1601.59 c cleaning 72001 clauses out of 144022 with flag 7895040/8479654 1617.51/1613.69 c cleaning 73001 clauses out of 146019 with flag 8128899/8553652 1629.31/1625.44 c cleaning 74003 clauses out of 148017 with flag 8326659/8628651 1645.81/1641.81 c cleaning 74999 clauses out of 150014 with flag 8587199/8704651 1653.30/1649.37 c cleaning 75995 clauses out of 152016 with flag 8820354/8781652 1669.31/1665.30 c cleaning 76999 clauses out of 154022 with flag 9044448/8859653 1678.21/1674.22 c cleaning 78005 clauses out of 156021 with flag 9276041/8938651 1685.49/1681.46 c cleaning 79006 clauses out of 158017 with flag 9496966/9018652 1696.40/1692.33 c cleaning 79997 clauses out of 160010 with flag 9747034/9099651 1704.20/1700.11 c cleaning 81006 clauses out of 162017 with flag 9971590/9181655 1712.50/1708.42 c cleaning 81996 clauses out of 164010 with flag 10211321/9264654 1730.10/1726.06 c cleaning 82995 clauses out of 166012 with flag 10454163/9348652 1741.29/1737.14 c cleaning 84003 clauses out of 168018 with flag 10697552/9433653 1756.68/1752.56 c cleaning 85004 clauses out of 170013 with flag 10961330/9519651 1781.09/1776.94 c cleaning 85995 clauses out of 172010 with flag 11220796/9606652 1794.18/1790.04 c cleaning 86998 clauses out of 174014 with flag 11479893/9694651 1800.08/1795.90 c starts : 7171 1800.08/1795.90 c conflicts : 9748078 1800.08/1795.90 c decisions : 12688660 1800.08/1795.90 c propagations : 222416667 1800.08/1795.90 c inspects : 40220103915 1800.08/1795.90 c shortcuts : 0 1800.08/1795.90 c learnt literals : 128 1800.08/1795.90 c learnt binary clauses : 214 1800.08/1795.90 c learnt ternary clauses : 432 1800.08/1795.90 c learnt constraints : 9747950 1800.08/1795.90 c ignored constraints : 0 1800.08/1795.90 c root simplifications : 0 1800.08/1795.90 c removed literals (reason simplification) : 0 1800.08/1795.90 c reason swapping (by a shorter reason) : 0 1800.08/1795.90 c Calls to reduceDB : 187 1800.08/1795.90 c Number of update (reduction) of LBD : 1046610 1800.08/1795.90 c Imported unit clauses : 0 1800.08/1795.90 c number of reductions to clauses (during analyze) : 0 1800.08/1795.90 c number of learned constraints concerned by reduction : 0 1800.08/1795.90 c number of learning phase by resolution : 0 1800.08/1795.90 c number of learning phase by cutting planes : 0 1800.08/1795.90 c speed (assignments/second) : 123869.94797183729 1800.08/1795.90 c non guided choices 444719 1800.08/1795.93 c learnt constraints type 1800.08/1795.93 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 214 1800.08/1795.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140229 1800.08/1795.93 s SATISFIABLE 1800.08/1795.93 c Found 1 solution(s) 1800.08/1795.94 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 -x695 -x696 x697 x698 x699 x700 x701 x702 x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 -x817 -x818 x819 x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 x851 -x852 x853 x854 x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 x907 -x908 x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 x934 x935 -x936 -x937 x938 -x939 x940 x941 x942 -x943 -x944 x945 x946 x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 x993 -x994 x995 -x996 -x997 x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 x1145 x1146 x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 x1234 -x1235 x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 -x1274 x1275 x1276 x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 x1473 x1474 x1475 x1476 -x1477 x1478 x1479 x1480 x1481 x1482 x1483 -x1484 -x1485 x1486 x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 x1515 x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 -x1574 -x1575 x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 -x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 -x1606 x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 x1928 -x1929 -x1930 x1931 x1932 x1933 x1934 -x1935 x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 x2026 x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 x2134 x2135 x2136 x2137 x2138 x2139 x2140 -x2141 -x2142 x2143 x2144 -x2145 -x2146 x2147 x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 x2172 x2173 x2174 -x2175 x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 x2344 -x2345 -x2346 x2347 -x2348 -x2349 x2350 x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 x2464 x2465 x2466 -x2467 x2468 -x2469 x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 x2494 x2495 x2496 -x2497 x2498 x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 x2586 x2587 x2588 x2589 -x2590 x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 x2674 x2675 x2676 -x2677 -x2678 x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 -x2794 x2795 x2796 -x2797 x2798 x2799 -x2800 x2801 x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 -x2852 -x2853 x2854 -x2855 x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 x2890 -x2891 x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 x2974 x2975 x2976 -x2977 x2978 x2979 x2980 x2981 x2982 x2983 -x2984 -x2985 -x2986 x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 x3012 x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 x3152 x3153 x3154 x3155 x3156 -x3157 x3158 x3159 x3160 x3161 -x3162 x3163 -x3164 x3165 -x3166 -x3167 -x3168 x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 x3214 x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 x3272 x3273 x3274 x3275 x3276 x3277 x3278 x3279 x3280 x3281 x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 x3333 x3334 x3335 x3336 x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 x3616 x3617 x3618 x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 -x3708 x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 x3813 x3814 -x3815 x3816 x3817 x3818 -x3819 -x3820 x3821 -x3822 -x3823 x3824 x3825 x3826 x3827 x3828 x3829 -x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 x3842 x3843 x3844 x3845 x3846 -x3847 -x3848 -x3849 x3850 -x3851 -x3852 x3853 -x3854 -x3855 x3856 -x3857 x3858 x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 x3878 -x3879 x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 x3909 x3910 x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 x3935 x3936 x3937 x3938 x3939 x3940 -x3941 x3942 x3943 x3944 -x3945 -x3946 x3947 -x3948 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 x3995 x3996 x3997 -x3998 -x3999 x4000 x4001 -x4002 -x4003 x4004 -x4005 x4006 -x4007 x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 x4023 x4024 x4025 x4026 -x4027 -x4028 -x4029 x4030 x4031 x4032 -x4033 x4034 -x4035 x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 x4142 x4143 x4144 x4145 x4146 x4147 x4148 x4149 x4150 -x4151 x4152 -x4153 x4154 -x4155 -x4156 x4157 x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 x4175 x4176 -x4177 -x4178 x4179 x4180 x4181 x4182 x4183 x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 x4232 x4233 x4234 x4235 x4236 x4237 x4238 x4239 x4240 x4241 x4242 x4243 x4244 x4245 x4246 x4247 x4248 -x4249 -x4250 x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 x4263 x4264 x4265 x4266 x4267 x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x4278 x4279 x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 x4511 x4512 x4513 -x4514 x4515 x4516 -x4517 -x4518 x4519 x4520 x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 x4536 -x4537 x4538 -x4539 x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 x4562 -x4563 x4564 x4565 x4566 x4567 x4568 x4569 x4570 x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 -x4595 x4596 x4597 x4598 x4599 x4600 x4601 x4602 -x4603 x4604 x4605 x4606 x4607 x4608 x4609 -x4610 x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 x4652 x4653 x4654 -x4655 -x4656 x4657 x4658 x4659 -x4660 x4661 -x4662 x4663 x4664 -x4665 x4666 -x4667 -x4668 x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 x4689 x4690 -x4691 x4692 x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 x4803 x4804 x4805 x4806 x4807 x4808 x4809 x4810 x4811 x4812 x4813 x4814 -x4815 x4816 -x4817 -x4818 -x4819 x4820 -x4821 x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 x4832 x4833 -x4834 x4835 x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 x4849 -x4850 x4851 -x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 x4893 x4894 -x4895 x4896 x4897 x4898 x4899 x4900 x4901 x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 x5132 x5133 x5134 x5135 x5136 -x5137 x5138 -x5139 -x5140 -x5141 x5142 x5143 x5144 x5145 x5146 -x5147 -x5148 -x5149 x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 x5180 x5181 x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 x5223 x5224 x5225 x5226 x5227 x5228 x5229 x5230 x5231 x5232 -x5233 -x5234 x5235 x5236 -x5237 -x5238 -x5239 x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 x5253 x5254 -x5255 -x5256 x5257 -x5258 -x5259 x5260 x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284 x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 x5322 x5323 -x5324 x5325 x5326 -x5327 x5328 x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 x5466 x5467 -x5468 -x5469 x5470 -x5471 x5472 -x5473 -x5474 x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 x5506 x5507 x5508 x5509 -x5510 x5511 x5512 x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 x5553 x5554 x5555 x5556 x5557 -x5558 x5559 x5560 x5561 x5562 x5563 x5564 x5565 x5566 x5567 -x5568 -x5569 x5570 x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 x5583 x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 x5592 x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 x5651 x5652 -x5653 -x5654 x5655 -x5656 x5657 x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 x5686 x5687 -x5688 x5689 -x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 x5792 -x5793 x5794 x5795 x5796 -x5797 x5798 x5799 -x5800 x5801 x5802 -x5803 x5804 x5805 x5806 x5807 x5808 x5809 -x5810 -x5811 -x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 x5835 x5836 x5837 -x5838 x5839 x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 x5865 -x5866 -x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 1800.08/1795.94 c objective function=0 1800.08/1795.94 c Total wall clock time (in seconds): 1795.831
OK 0
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4101109-1466220440/watcher-4101109-1466220440 -o /tmp/evaluation-result-4101109-1466220440/solver-4101109-1466220440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101109-1466220440.opb pid=8233 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.19 2.18 4/196 8236 /proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/8236/stat : 8236 (java) R 8233 8236 4518 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 24090451 9515008 182 33554432000 1073741824 1073778376 140735418387200 140735418378232 273905696437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2323 182 140 9 0 71 0 [startup+0.100165 s] /proc/loadavg: 2.21 2.19 2.18 4/196 8236 /proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 4403 0 1 0 9 0 0 0 20 0 18 0 24090451 9787879424 6026 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2389619 6026 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200371 s] /proc/loadavg: 2.21 2.19 2.18 4/196 8236 /proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 4993 0 1 0 27 1 0 0 20 0 18 0 24090451 9787879424 7000 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2389619 7000 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300395 s] /proc/loadavg: 2.21 2.19 2.18 4/196 8236 /proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9558476 CPUtime=0.57 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 9072 0 1 0 56 1 0 0 20 0 18 0 24090451 9787879424 11397 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2389619 11397 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9558476 [startup+0.700245 s] /proc/loadavg: 2.21 2.19 2.18 4/196 8236 /proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=1.41 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 10621 0 1 0 139 2 0 0 20 0 19 0 24090451 9856040960 13919 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 13919 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.21 2.19 2.18 4/215 8255 /proc/meminfo: memFree=29793316/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=2.41 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12118 0 1 0 238 3 0 0 20 0 19 0 24090451 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 14953 2260 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2420 0 1 0 146 0 0 0 20 0 19 0 24090452 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803315515880 273909081261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) R 8233 8236 4518 0 -1 4202560 3871 0 0 0 36 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803134729144 139803321659304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4555 0 0 0 52 1 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.21 2.19 2.18 3/215 8255 /proc/meminfo: memFree=29784876/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=4.05 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12126 0 1 0 402 3 0 0 20 0 19 0 24090451 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 17004 2263 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2425 0 1 0 304 1 0 0 20 0 19 0 24090452 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803315513712 139803149099058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 3874 0 0 0 40 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4555 0 0 0 52 1 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 2.19 2.19 2.18 4/215 8255 /proc/meminfo: memFree=29767308/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=7.32 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12300 0 1 0 729 3 0 0 20 0 19 0 24090451 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 20977 2264 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2435 0 1 0 623 1 0 0 20 0 19 0 24090452 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803315506864 139803148484535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 3874 0 0 0 41 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4718 0 0 0 59 1 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.32 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 139344 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1726.39 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.26 2.21 2.18 3/215 8364 /proc/meminfo: memFree=29493676/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=1786.48 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 178576 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 138839 2279 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1776.83 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 177653 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149321873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.28 2.22 2.19 3/215 8365 /proc/meminfo: memFree=29493800/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 179936 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 138839 2279 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 179009 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149462315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 27 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8236 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1795.9 s] /proc/loadavg: 2.28 2.22 2.19 3/215 8365 /proc/meminfo: memFree=29493800/32872528 swapFree=1482636/1662508 [pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 179936 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8236/statm: 2406260 138839 2279 9 0 2396937 0 [pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7 /proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 179009 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149462315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7 /proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 27 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8236 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=898134 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=162823 # CPU time returned by wait4() is 1796.06 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.96 CPU time (s): 1800.08 CPU user time (s): 1799.36 CPU system time (s): 0.72 CPU usage (%): 100.229 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 1.16282 maximum resident set size= 565908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22533 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38522 involuntary context switches= 9181 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6224 second user time and 12.882 second system time The end
Begin job on node134 at 2016-06-18 05:27:20 IDJOB=4101109 IDBENCH=1701 IDSOLVER=2546 FILE ID=node134/4101109-1466220440 RUNJOBID= node134-1466206058-4535 PBS_JOBID= 19918143 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101109-1466220440/watcher-4101109-1466220440 -o /tmp/evaluation-result-4101109-1466220440/solver-4101109-1466220440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101109-1466220440.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 085f6c29f952ff5e0e711950d59893d5 RANDOM SEED=1634988850 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 7358.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29843096 kB Buffers: 105048 kB Cached: 91156 kB SwapCached: 1008 kB Active: 495432 kB Inactive: 138676 kB Active(anon): 438656 kB Inactive(anon): 1616 kB Active(file): 56776 kB Inactive(file): 137060 kB Unevictable: 1662508 kB Mlocked: 1482636 kB SwapTotal: 67108856 kB SwapFree: 67100112 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 2076716 kB Mapped: 15408 kB Shmem: 0 kB Slab: 599200 kB SReclaimable: 42952 kB SUnreclaim: 556248 kB KernelStack: 1776 kB PageTables: 8172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2230428 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 552960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node134 at 2016-06-18 05:57:16