Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 4846877 | 1800.45 | 898.771 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_1.opb |
| MD5SUM | 8a23e88f34ee33e636d3b24522832f27 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4846877 |
| Best CPU time to get the best result obtained on this benchmark | 1800.45 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 143877824 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 43040121046 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 143877824 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 43040121046 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c 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.pb.tools.ManyCorePB@4413ee 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose 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.pb.tools.ManyCorePB@4413ee 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4080921-1465369171.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 1.13/0.59 c ... done. Wall clock time 0.484s. 1.13/0.59 c declared #vars 5100 1.13/0.59 c #constraints 12512 1.44/0.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.44/0.60 c constraints type 1.44/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.44/0.60 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.44/0.60 c org.sat4j.specs.Constr$1 => 2 1.44/0.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.44/0.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.44/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.44/0.60 c 12512 constraints processed. 1.44/0.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.44/0.60 c constraints type 1.44/0.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.44/0.60 c org.sat4j.specs.Constr$1 => 2 1.44/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.44/0.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.44/0.60 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.44/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 1.44/0.60 c 12512 constraints processed. 1.44/0.60 c objective function length is 4950 literals 2.51/0.96 c And the winner is solver0 2.76/1.11 c SATISFIABLE 2.76/1.11 c OPTIMIZING... 2.76/1.11 c Got one! Elapsed wall clock time (in seconds):0.996 2.76/1.11 o 5431685 6.86/2.78 c cleaning 2571 clauses out of 5178 with flag 10786/5178 10.83/4.64 c cleaning 4304 clauses out of 8607 with flag 22940/11178 15.04/6.73 c cleaning 5651 clauses out of 11302 with flag 37126/18177 19.91/9.11 c cleaning 6827 clauses out of 13653 with flag 53276/26179 25.32/11.86 c cleaning 7912 clauses out of 15825 with flag 71466/35178 30.92/14.70 c cleaning 8957 clauses out of 17913 with flag 91549/45178 37.54/17.94 c cleaning 9975 clauses out of 19956 with flag 113632/56178 44.87/21.53 c cleaning 10987 clauses out of 21980 with flag 137733/68177 53.09/25.65 c cleaning 11991 clauses out of 23994 with flag 163949/81178 61.50/29.82 c cleaning 13002 clauses out of 26003 with flag 192047/95178 70.69/34.43 c cleaning 13998 clauses out of 28001 with flag 222136/110178 80.49/39.31 c cleaning 15001 clauses out of 30002 with flag 254307/126177 91.28/44.73 c cleaning 15995 clauses out of 32002 with flag 288407/143178 104.36/51.22 c cleaning 16999 clauses out of 34006 with flag 324796/161177 116.76/57.41 c cleaning 18001 clauses out of 36007 with flag 362922/180177 129.95/64.08 c cleaning 18998 clauses out of 38006 with flag 403058/200177 144.25/71.14 c cleaning 20000 clauses out of 40009 with flag 445147/221178 158.85/78.47 c cleaning 20998 clauses out of 42009 with flag 489299/243178 175.25/86.68 c cleaning 22004 clauses out of 44010 with flag 535464/266177 193.95/95.93 c cleaning 23002 clauses out of 46007 with flag 583731/290178 214.68/106.23 c cleaning 23997 clauses out of 48004 with flag 633859/315177 233.68/115.79 c cleaning 25000 clauses out of 50007 with flag 686004/341177 253.58/125.60 c cleaning 25998 clauses out of 52007 with flag 740082/368177 275.68/136.69 c cleaning 27003 clauses out of 54010 with flag 796152/396178 298.55/148.04 c cleaning 27996 clauses out of 56008 with flag 854391/425179 317.91/157.69 c And the winner is solver1 318.17/158.18 c Got one! Elapsed wall clock time (in seconds):158.069 318.17/158.18 o 5090987 321.89/160.00 c cleaning 29443 clauses out of 58885 with flag 15655/456069 325.09/161.60 c cleaning 17721 clauses out of 35441 with flag 29079/462068 328.69/163.48 c cleaning 12361 clauses out of 24721 with flag 44948/469069 333.29/165.76 c cleaning 10180 clauses out of 20359 with flag 62860/477068 338.29/168.25 c cleaning 9589 clauses out of 19180 with flag 83262/486069 343.89/171.06 c cleaning 9794 clauses out of 19591 with flag 106245/496069 350.54/174.33 c cleaning 10394 clauses out of 20796 with flag 131700/507068 357.96/178.03 c cleaning 11197 clauses out of 22403 with flag 159308/519069 366.08/182.08 c cleaning 12100 clauses out of 24208 with flag 189373/532071 374.68/186.34 c cleaning 13051 clauses out of 26106 with flag 221700/546069 383.30/190.69 c cleaning 14026 clauses out of 28054 with flag 256406/561068 393.42/195.64 c cleaning 15009 clauses out of 30029 with flag 293539/577069 404.66/201.24 c cleaning 16005 clauses out of 32019 with flag 332589/594068 415.71/206.74 c cleaning 17005 clauses out of 34015 with flag 373940/612069 427.13/212.46 c cleaning 18004 clauses out of 36009 with flag 421865/631068 439.84/219.08 c cleaning 19002 clauses out of 38005 with flag 479025/651068 452.46/225.37 c cleaning 20001 clauses out of 40003 with flag 538850/672068 456.08/227.19 c And the winner is solver0 456.35/227.42 c Got one! Elapsed wall clock time (in seconds):227.315 456.35/227.42 o 5083797 460.18/229.23 c cleaning 15529 clauses out of 31058 with flag 18083/683162 463.68/230.74 c cleaning 10763 clauses out of 21530 with flag 31329/689163 467.47/232.60 c cleaning 8883 clauses out of 17767 with flag 46741/696163 471.67/234.70 c cleaning 8441 clauses out of 16884 with flag 64524/704163 476.12/236.98 c cleaning 8721 clauses out of 17442 with flag 84505/713162 481.12/239.42 c cleaning 9360 clauses out of 18722 with flag 106749/723163 486.72/242.20 c cleaning 10182 clauses out of 20363 with flag 131438/734164 492.71/245.30 c cleaning 11087 clauses out of 22180 with flag 159116/746163 500.17/248.90 c cleaning 12044 clauses out of 24092 with flag 191696/759162 507.97/252.85 c cleaning 13022 clauses out of 26048 with flag 227268/773162 516.42/257.04 c cleaning 14010 clauses out of 28026 with flag 264922/788162 525.62/261.61 c cleaning 15008 clauses out of 30016 with flag 305226/804162 536.61/267.14 c cleaning 16002 clauses out of 32008 with flag 353767/821162 548.09/272.81 c cleaning 17003 clauses out of 34006 with flag 412586/839162 560.29/278.95 c cleaning 18001 clauses out of 36004 with flag 474907/858163 571.93/284.70 c cleaning 18994 clauses out of 37988 with flag 537562/878162 586.52/292.04 c cleaning 19978 clauses out of 39955 with flag 592459/899162 605.14/301.35 c cleaning 20989 clauses out of 41977 with flag 649957/921162 619.79/308.68 c cleaning 21989 clauses out of 43989 with flag 706128/944164 633.61/315.59 c cleaning 22998 clauses out of 45998 with flag 765716/968162 648.84/323.18 c cleaning 23992 clauses out of 48000 with flag 827360/993162 664.67/331.00 c cleaning 25001 clauses out of 50009 with flag 889917/1019163 681.27/339.31 c cleaning 26003 clauses out of 52008 with flag 956003/1046163 699.10/348.26 c cleaning 26999 clauses out of 54004 with flag 1024649/1074162 717.93/357.63 c cleaning 27993 clauses out of 56005 with flag 1096208/1103162 737.77/367.52 c cleaning 29002 clauses out of 58012 with flag 1169563/1133162 756.57/376.95 c cleaning 29996 clauses out of 60010 with flag 1246486/1164162 775.74/386.48 c And the winner is solver0 775.97/386.59 c Got one! Elapsed wall clock time (in seconds):386.484 775.97/386.59 o 5083649 778.91/388.02 c cleaning 30899 clauses out of 61798 with flag 11128/1195947 782.32/389.77 c cleaning 18442 clauses out of 36894 with flag 27063/1201947 786.13/391.70 c cleaning 12722 clauses out of 25451 with flag 47644/1208946 791.73/394.72 c cleaning 10356 clauses out of 20730 with flag 71616/1216947 797.33/397.51 c cleaning 9685 clauses out of 19374 with flag 98998/1225947 802.72/400.21 c cleaning 9838 clauses out of 19688 with flag 127703/1235946 808.32/403.05 c cleaning 10425 clauses out of 20851 with flag 158543/1246947 813.72/405.78 c cleaning 11212 clauses out of 22426 with flag 188585/1258947 819.34/408.60 c cleaning 12105 clauses out of 24214 with flag 221125/1271947 824.74/411.27 c cleaning 13053 clauses out of 26109 with flag 252860/1285947 831.38/414.59 c cleaning 14024 clauses out of 28056 with flag 286540/1300947 838.98/418.39 c cleaning 15013 clauses out of 30032 with flag 321800/1316947 847.99/422.82 c cleaning 16007 clauses out of 32020 with flag 360889/1333948 858.22/427.92 c cleaning 16999 clauses out of 34012 with flag 403159/1351947 869.65/433.64 c cleaning 18000 clauses out of 36012 with flag 447495/1370946 881.29/439.49 c cleaning 19001 clauses out of 38012 with flag 495941/1390946 893.75/445.63 c cleaning 20001 clauses out of 40012 with flag 547196/1411947 906.98/452.27 c cleaning 21002 clauses out of 42010 with flag 600055/1433946 920.82/459.14 c cleaning 22000 clauses out of 44009 with flag 655596/1456947 934.86/466.18 c cleaning 23000 clauses out of 46009 with flag 712918/1480947 950.54/473.93 c cleaning 23998 clauses out of 48009 with flag 774115/1505947 967.22/482.27 c cleaning 25001 clauses out of 50010 with flag 835231/1531946 985.49/491.37 c cleaning 26005 clauses out of 52009 with flag 901079/1558946 1004.33/500.79 c cleaning 26996 clauses out of 54004 with flag 970897/1586946 1024.07/510.59 c cleaning 27999 clauses out of 56009 with flag 1040943/1615947 1044.51/520.77 c cleaning 29000 clauses out of 58009 with flag 1113578/1645946 1066.22/531.58 c cleaning 30000 clauses out of 60009 with flag 1187241/1676946 1089.37/543.01 c cleaning 30999 clauses out of 62009 with flag 1263172/1708946 1112.00/554.34 c cleaning 31999 clauses out of 64010 with flag 1341649/1741946 1135.67/566.18 c cleaning 33004 clauses out of 66011 with flag 1423049/1775946 1162.66/580.01 c cleaning 34004 clauses out of 68007 with flag 1507424/1810946 1188.13/592.72 c cleaning 35003 clauses out of 70006 with flag 1595774/1846949 1215.21/606.27 c cleaning 35995 clauses out of 72000 with flag 1688480/1883946 1242.68/619.94 c cleaning 37001 clauses out of 74006 with flag 1780013/1921947 1272.17/634.67 c cleaning 37995 clauses out of 76004 with flag 1875202/1960946 1302.69/649.72 c cleaning 39002 clauses out of 78009 with flag 1972846/2000946 1332.26/664.43 c cleaning 40004 clauses out of 80008 with flag 2071013/2041947 1364.49/680.58 c cleaning 40999 clauses out of 82003 with flag 2173614/2083946 1399.56/698.04 c cleaning 42000 clauses out of 84004 with flag 2276583/2126946 1435.02/715.78 c cleaning 42997 clauses out of 86005 with flag 2383049/2170947 1470.88/733.70 c cleaning 44001 clauses out of 88007 with flag 2493179/2215946 1494.43/746.06 c And the winner is solver1 1494.68/746.37 c Got one! Elapsed wall clock time (in seconds):746.264 1494.68/746.37 o 4846877 1497.79/748.08 c cleaning 39198 clauses out of 78400 with flag 15660/2250340 1501.00/749.60 c cleaning 22592 clauses out of 45201 with flag 34280/2256339 1504.20/751.28 c cleaning 14799 clauses out of 29609 with flag 60431/2263339 1508.20/753.22 c cleaning 11399 clauses out of 22810 with flag 83098/2271339 1513.00/755.60 c cleaning 10206 clauses out of 20412 with flag 107874/2280340 1518.23/758.29 c cleaning 10088 clauses out of 20205 with flag 136876/2290339 1524.03/761.17 c cleaning 10556 clauses out of 21118 with flag 169510/2301340 1530.63/764.47 c cleaning 11277 clauses out of 22562 with flag 205123/2313340 1538.29/768.20 c cleaning 12141 clauses out of 24284 with flag 243747/2326339 1545.89/772.07 c cleaning 13070 clauses out of 26143 with flag 282547/2340339 1554.29/776.23 c cleaning 14037 clauses out of 28075 with flag 323873/2355341 1563.57/780.85 c cleaning 15015 clauses out of 30037 with flag 368178/2371340 1574.04/786.03 c cleaning 16011 clauses out of 32023 with flag 414716/2388341 1584.87/791.44 c cleaning 17004 clauses out of 34011 with flag 466835/2406340 1596.47/797.23 c cleaning 18002 clauses out of 36007 with flag 526196/2425340 1608.91/803.49 c cleaning 19000 clauses out of 38005 with flag 586871/2445340 1620.96/809.48 c cleaning 20002 clauses out of 40005 with flag 655632/2466340 1634.41/816.15 c cleaning 21001 clauses out of 42002 with flag 725923/2488339 1647.82/822.86 c cleaning 22001 clauses out of 44001 with flag 805074/2511339 1664.41/831.10 c cleaning 22997 clauses out of 46000 with flag 895732/2535339 1683.50/840.61 c cleaning 23995 clauses out of 47996 with flag 972077/2560339 1705.21/851.42 c cleaning 24990 clauses out of 49997 with flag 1036915/2586339 1729.88/863.77 c cleaning 26003 clauses out of 52007 with flag 1102744/2613339 1756.99/877.28 c cleaning 27001 clauses out of 54004 with flag 1173596/2641339 1779.22/888.31 c cleaning 28002 clauses out of 56003 with flag 1251221/2670339 1800.09/898.71 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.09/898.71 c starts : 42668 1800.09/898.71 c conflicts : 2698218 1800.09/898.71 c decisions : 4007181 1800.09/898.71 c propagations : 179705543 1800.09/898.71 c inspects : 5594270774 1800.09/898.71 c shortcuts : 0 1800.09/898.71 c learnt literals : 126 1800.09/898.71 c learnt binary clauses : 39 1800.09/898.71 c learnt ternary clauses : 347 1800.09/898.71 c learnt constraints : 2698092 1800.09/898.71 c ignored constraints : 0 1800.09/898.71 c root simplifications : 0 1800.09/898.71 c removed literals (reason simplification) : 222970143 1800.09/898.71 c reason swapping (by a shorter reason) : 0 1800.09/898.71 c Calls to reduceDB : 135 1800.09/898.71 c Number of update (reduction) of LBD : 137728 1800.09/898.71 c Imported unit clauses : 0 1800.09/898.71 c number of reductions to clauses (during analyze) : 0 1800.09/898.71 c number of learned constraints concerned by reduction : 0 1800.09/898.71 c number of learning phase by resolution : 0 1800.09/898.71 c number of learning phase by cutting planes : 0 1800.09/898.71 c speed (assignments/second) : 1180836.1073693202 1800.09/898.71 c non guided choices 375 1800.09/898.73 c learnt constraints type 1800.09/898.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39 1800.09/898.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55841 1800.09/898.73 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.09/898.73 c starts : 7 1800.09/898.73 c conflicts : 1624 1800.09/898.73 c decisions : 16563 1800.09/898.73 c propagations : 961337 1800.09/898.73 c inspects : 77955218 1800.09/898.73 c shortcuts : 0 1800.09/898.73 c learnt literals : 0 1800.09/898.73 c learnt binary clauses : 0 1800.09/898.73 c learnt ternary clauses : 0 1800.09/898.73 c learnt constraints : 1620 1800.09/898.73 c ignored constraints : 0 1800.09/898.73 c root simplifications : 0 1800.09/898.73 c removed literals (reason simplification) : 0 1800.09/898.73 c reason swapping (by a shorter reason) : 0 1800.09/898.73 c Calls to reduceDB : 0 1800.09/898.73 c Number of update (reduction) of LBD : 0 1800.09/898.73 c Imported unit clauses : 0 1800.09/898.73 c number of reductions to clauses (during analyze) : 0 1800.09/898.73 c number of learned constraints concerned by reduction : 0 1800.09/898.73 c number of learning phase by resolution : 0 1800.09/898.73 c number of learning phase by cutting planes : 0 1800.09/898.73 c speed (assignments/second) : 1878.0184766619325 1800.09/898.73 c non guided choices 0 1800.09/898.73 c learnt constraints type 1800.09/898.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.09/898.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1619 1800.09/898.73 s SATISFIABLE 1800.09/898.73 c Found 5 solution(s) 1800.09/898.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 x1303 -x1304 x1305 x1306 x1307 -x1308 -x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 x1344 -x1345 -x1346 x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 -x1613 x1614 -x1615 x1616 x1617 -x1618 x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 -x1632 -x1633 -x1634 x1635 x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 x2262 -x2263 -x2264 x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 x2276 x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 x2284 -x2285 -x2286 x2287 -x2288 -x2289 x2290 -x2291 x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1800.09/898.75 c objective function=4846877 1800.09/898.75 c Total wall clock time (in seconds): 898.64
OK 4846877
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-4080921-1465369171/watcher-4080921-1465369171 -o /tmp/evaluation-result-4080921-1465369171/solver-4080921-1465369171 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465366470-16125 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080921-1465369171.opb pid=16696 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: 4.14 4.20 4.00 3/193 16699 /proc/meminfo: memFree=29700916/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/16699/stat : 16699 (java) R 16696 16699 16108 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 118850656 23793664 706 33554432000 1073741824 1073778376 140735804512784 140735804501848 226075129192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 5809 706 521 9 0 128 0 [startup+0.100061 s] /proc/loadavg: 4.14 4.20 4.00 3/193 16699 /proc/meminfo: memFree=29700916/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 4503 0 1 0 9 0 0 0 20 0 18 0 118850656 9787879424 5626 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2389619 5626 2141 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200229 s] /proc/loadavg: 4.14 4.20 4.00 3/193 16699 /proc/meminfo: memFree=29700916/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9558476 CPUtime=0.3 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 5115 0 1 0 29 1 0 0 20 0 18 0 118850656 9787879424 6483 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2389619 6483 2222 9 0 2380296 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300241 s] /proc/loadavg: 4.14 4.20 4.00 3/193 16699 /proc/meminfo: memFree=29700916/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 7401 0 1 0 53 1 0 0 20 0 18 0 118850656 9787879424 10958 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2389619 10958 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700191 s] /proc/loadavg: 4.14 4.20 4.00 3/193 16699 /proc/meminfo: memFree=29700916/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=1.83 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 19845 0 1 0 179 4 0 0 20 0 22 0 118850656 10060525568 23133 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 23133 2260 9 0 2446860 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 9824732 [startup+1.50077 s] /proc/loadavg: 3.80 4.13 3.98 1/213 16728 /proc/meminfo: memFree=29526988/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=4.13 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 24328 0 1 0 405 8 0 0 20 0 22 0 118850656 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 34074 2275 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2498 0 1 0 58 1 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 118850658 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 9208 0 0 0 95 3 0 0 20 0 22 0 118850661 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) R 16696 16699 16108 0 -1 4202560 11266 0 0 0 108 2 0 0 20 0 22 0 118850661 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682357512376 139682542580818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16717/stat : 16717 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682355407688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16724] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16724/stat : 16724 (java) S 16696 16699 16108 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118850719 10060525568 34074 33554432000 1073741824 1073778376 140735804512784 139682352150056 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 9824732 [startup+3.10095 s] /proc/loadavg: 3.80 4.13 3.98 6/219 16737 /proc/meminfo: memFree=29393660/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=7.69 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 26737 0 1 0 758 11 0 0 20 0 22 0 118850656 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 47514 2293 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2498 0 1 0 58 1 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 118850658 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 9674 0 0 0 104 3 0 0 20 0 22 0 118850661 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.36 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) S 16696 16699 16108 0 -1 4202560 13072 0 0 0 134 2 0 0 20 0 22 0 118850661 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682357512376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16717/stat : 16717 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682355407688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16724] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16724/stat : 16724 (java) S 16696 16699 16108 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118850719 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682352150056 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16729] ppid=16696 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/16699/task/16729/stat : 16729 (java) R 16696 16699 16108 0 -1 4202560 6 0 0 0 191 0 0 0 20 0 22 0 118850768 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682353199520 139682411877156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16730] ppid=16696 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/16699/task/16730/stat : 16730 (java) R 16696 16699 16108 0 -1 4202560 41 0 0 0 189 2 0 0 20 0 22 0 118850768 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682354252024 139682411685209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16731] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16731/stat : 16731 (java) S 16696 16699 16108 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118850769 10060525568 47514 33554432000 1073741824 1073778376 140735804512784 139682351096872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 3.80 4.13 3.98 5/219 16737 /proc/meminfo: memFree=29256608/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=14.23 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 27180 0 1 0 1406 17 0 0 20 0 22 0 118850656 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 80798 2293 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2498 0 1 0 58 1 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 129 0 0 0 2 1 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 83 0 0 0 2 1 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 93 0 0 0 2 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 118850657 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 118850658 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 9674 0 0 0 107 3 0 0 20 0 22 0 118850661 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) S 16696 16699 16108 0 -1 4202560 13075 0 0 0 138 2 0 0 20 0 22 0 118850661 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682357512376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 80798 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.26 4.21 4.11 5/219 16799 /proc/meminfo: memFree=27680400/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=1767.2 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 43844 0 1 0 176518 202 0 0 20 0 22 0 118850656 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 305202 2302 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2507 0 1 0 100 3 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 843 0 0 0 149 14 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 1017 0 0 0 156 17 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=1.57 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 830 0 0 0 141 16 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 1463 0 0 0 137 15 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=1.57 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 561 0 0 0 143 14 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 980 0 0 0 162 19 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 869 0 0 0 156 15 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 700 0 0 0 138 13 0 0 20 0 22 0 118850657 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 1519 0 0 0 351 11 0 0 20 0 22 0 118850658 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 15437 0 0 0 204 4 0 0 20 0 22 0 118850661 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) S 16696 16699 16108 0 -1 4202560 14512 0 0 0 172 2 0 0 20 0 22 0 118850661 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682357512376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/16699/task/16717/stat : 16717 (java) S 16696 16699 16108 0 -1 4202560 50 0 0 0 11 15 0 0 20 0 22 0 118850661 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682355407688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16780] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16780/stat : 16780 (java) S 16696 16699 16108 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118889341 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682353202344 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16794] ppid=16696 vsize=9824732 CPUtime=135.23 cores=1,3,5,7 /proc/16699/task/16794/stat : 16794 (java) R 16696 16699 16108 0 -1 4202560 10 0 0 0 13521 2 0 0 20 0 22 0 118925309 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682351087760 139682411615994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16795] ppid=16696 vsize=9824732 CPUtime=135.25 cores=1,3,5,7 /proc/16699/task/16795/stat : 16795 (java) R 16696 16699 16108 0 -1 4202560 56 0 0 0 13523 2 0 0 20 0 22 0 118925309 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682354253584 139682411700589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16796] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16796/stat : 16796 (java) S 16696 16699 16108 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118925309 10060525568 305202 33554432000 1073741824 1073778376 140735804512784 139682352150056 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1767.2 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+898.701 s] /proc/loadavg: 4.20 4.20 4.11 3/193 16809 /proc/meminfo: memFree=28523880/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 43884 0 1 0 179806 203 0 0 20 0 22 0 118850656 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 300237 2302 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2507 0 1 0 100 3 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=1.68 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 849 0 0 0 153 15 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=1.75 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 1019 0 0 0 158 17 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 832 0 0 0 143 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 1465 0 0 0 138 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 562 0 0 0 145 14 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 982 0 0 0 166 19 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 871 0 0 0 157 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=1.56 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 721 0 0 0 143 13 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=3.63 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 1519 0 0 0 351 12 0 0 20 0 22 0 118850658 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 15437 0 0 0 204 4 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) S 16696 16699 16108 0 -1 4202560 14512 0 0 0 172 2 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682357512376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/16699/task/16717/stat : 16717 (java) S 16696 16699 16108 0 -1 4202560 50 0 0 0 11 15 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682355407688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16780] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16780/stat : 16780 (java) S 16696 16699 16108 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118889341 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682353202344 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16794] ppid=16696 vsize=9824732 CPUtime=151.56 cores=1,3,5,7 /proc/16699/task/16794/stat : 16794 (java) R 16696 16699 16108 0 -1 4202560 11 0 0 0 15154 2 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682351094384 139682411890521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16795] ppid=16696 vsize=9824732 CPUtime=151.59 cores=1,3,5,7 /proc/16699/task/16795/stat : 16795 (java) R 16696 16699 16108 0 -1 4202560 57 0 0 0 15157 2 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682354252880 139682411802206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16796] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16796/stat : 16796 (java) S 16696 16699 16108 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682352150056 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824732 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 16699 sig 9 ??? kill -16699 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+898.701 s] /proc/loadavg: 4.20 4.20 4.11 3/193 16809 /proc/meminfo: memFree=28523880/32872528 swapFree=15644/1722384 [pid=16699] ppid=16696 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7 /proc/16699/stat : 16699 (java) S 16696 16699 16108 0 -1 4202496 43884 0 1 0 179806 203 0 0 20 0 22 0 118850656 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 140735804503920 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16699/statm: 2456183 300237 2302 9 0 2446860 0 [pid=16699/tid=16701] ppid=16696 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/16699/task/16701/stat : 16701 (java) S 16696 16699 16108 0 -1 4202560 2507 0 1 0 100 3 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682538464120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16702] ppid=16696 vsize=9824732 CPUtime=1.68 cores=1,3,5,7 /proc/16699/task/16702/stat : 16702 (java) S 16696 16699 16108 0 -1 4202560 849 0 0 0 153 15 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682382342824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16703] ppid=16696 vsize=9824732 CPUtime=1.75 cores=1,3,5,7 /proc/16699/task/16703/stat : 16703 (java) S 16696 16699 16108 0 -1 4202560 1019 0 0 0 158 17 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682381290280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16704] ppid=16696 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/16699/task/16704/stat : 16704 (java) S 16696 16699 16108 0 -1 4202560 832 0 0 0 143 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682380237736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16705] ppid=16696 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/16699/task/16705/stat : 16705 (java) S 16696 16699 16108 0 -1 4202560 1465 0 0 0 138 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682379185192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16706] ppid=16696 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/16699/task/16706/stat : 16706 (java) S 16696 16699 16108 0 -1 4202560 562 0 0 0 145 14 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682378131624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16707] ppid=16696 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/16699/task/16707/stat : 16707 (java) S 16696 16699 16108 0 -1 4202560 982 0 0 0 166 19 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682377079080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16708] ppid=16696 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/16699/task/16708/stat : 16708 (java) S 16696 16699 16108 0 -1 4202560 871 0 0 0 157 16 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682376026536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16709] ppid=16696 vsize=9824732 CPUtime=1.56 cores=1,3,5,7 /proc/16699/task/16709/stat : 16709 (java) S 16696 16699 16108 0 -1 4202560 721 0 0 0 143 13 0 0 20 0 22 0 118850657 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682374973992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16710] ppid=16696 vsize=9824732 CPUtime=3.63 cores=1,3,5,7 /proc/16699/task/16710/stat : 16710 (java) S 16696 16699 16108 0 -1 4202560 1519 0 0 0 351 12 0 0 20 0 22 0 118850658 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682362776168 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16711] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16711/stat : 16711 (java) S 16696 16699 16108 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682361722488 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16712] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16712/stat : 16712 (java) S 16696 16699 16108 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 118850659 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682360669832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16713] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16713/stat : 16713 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682359618576 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16714] ppid=16696 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/16699/task/16714/stat : 16714 (java) S 16696 16699 16108 0 -1 4202560 15437 0 0 0 204 4 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682358564920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16715] ppid=16696 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/16699/task/16715/stat : 16715 (java) S 16696 16699 16108 0 -1 4202560 14512 0 0 0 172 2 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682357512376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16716] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16716/stat : 16716 (java) S 16696 16699 16108 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682356460024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16699/tid=16717] ppid=16696 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/16699/task/16717/stat : 16717 (java) S 16696 16699 16108 0 -1 4202560 50 0 0 0 11 15 0 0 20 0 22 0 118850661 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682355407688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16780] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16780/stat : 16780 (java) S 16696 16699 16108 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118889341 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682353202344 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16699/tid=16794] ppid=16696 vsize=9824732 CPUtime=151.56 cores=1,3,5,7 /proc/16699/task/16794/stat : 16794 (java) R 16696 16699 16108 0 -1 4202560 11 0 0 0 15154 2 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682351094384 139682411890521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16699/tid=16795] ppid=16696 vsize=9824732 CPUtime=151.59 cores=1,3,5,7 /proc/16699/task/16795/stat : 16795 (java) R 16696 16699 16108 0 -1 4202560 57 0 0 0 15157 2 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682354252880 139682411802206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16699/tid=16796] ppid=16696 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16699/task/16796/stat : 16796 (java) S 16696 16699 16108 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118925309 10060525568 300237 33554432000 1073741824 1073778376 140735804512784 139682352150056 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 898.771 CPU time (s): 1800.45 CPU user time (s): 1798.18 CPU system time (s): 2.27165 CPU usage (%): 200.324 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.18 system time used= 2.27165 maximum resident set size= 1302720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43922 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25485 involuntary context switches= 31922 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.32319 second user time and 7.64384 second system time The end
Begin job on node120 at 2016-06-08 08:59:31 IDJOB=4080921 IDBENCH=92748 IDSOLVER=2543 FILE ID=node120/4080921-1465369171 RUNJOBID= node120-1465366470-16125 PBS_JOBID= 19853425 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080921-1465369171/watcher-4080921-1465369171 -o /tmp/evaluation-result-4080921-1465369171/solver-4080921-1465369171 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465366470-16125 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080921-1465369171.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8a23e88f34ee33e636d3b24522832f27 RANDOM SEED=873970387 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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 : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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 : 2666.425 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 : 2666.425 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 : 2666.425 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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 : 2666.425 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: 29702016 kB Buffers: 116856 kB Cached: 557672 kB SwapCached: 1084 kB Active: 163432 kB Inactive: 534340 kB Active(anon): 22448 kB Inactive(anon): 3416 kB Active(file): 140984 kB Inactive(file): 530924 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099696 kB Dirty: 2168 kB Writeback: 0 kB AnonPages: 1779576 kB Mapped: 15660 kB Shmem: 0 kB Slab: 614892 kB SReclaimable: 58884 kB SUnreclaim: 556008 kB KernelStack: 1600 kB PageTables: 7568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2410484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1755136 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= 71736 MiB End job on node120 at 2016-06-08 09:14:30