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) | 32826205 | 1800.35 | 899.773 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
| MD5SUM | c716bc6c519760d619aa6878c926054c |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 32826205 |
| Best CPU time to get the best result obtained on this benchmark | 1800.35 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31249460 |
| Optimality of the best value was proved | NO |
| Number of variables | 6402 |
| Total number of constraints | 4465 |
| Number of constraints which are clauses | 2785 |
| Number of constraints which are cardinality constraints (but not clauses) | 1428 |
| Number of constraints which are nor clauses,nor cardinality constraints | 252 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 511 |
| Number of terms in the objective function | 4170 |
| Biggest coefficient in the objective function | 23582998528 |
| Number of bits for the biggest coefficient in the objective function | 35 |
| Sum of the numbers in the objective function | 2904924551250 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2904924551250 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.39 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.04/0.39 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.39 c See www.sat4j.org for details. 0.04/0.39 c version PB16.v20160501 0.04/0.39 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.39 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.40 c java.vm.version 19.1-b02 0.04/0.40 c java.vm.vendor Sun Microsystems Inc. 0.04/0.40 c sun.arch.data.model 64 0.04/0.40 c java.version 1.6.0_24 0.04/0.40 c os.name Linux 0.04/0.40 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.40 c os.arch amd64 0.04/0.40 c Free memory 501472288 0.04/0.40 c Max memory 7480803328 0.04/0.40 c Total memory 504102912 0.10/0.40 c Number of processors 8 0.10/0.44 c Pseudo Boolean Optimization by upper bound 0.10/0.44 c ManyCore solver with 2 solvers running in parallel 0.10/0.44 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.44 c --- Begin Solver configuration --- 0.10/0.44 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.10/0.44 c Learn all clauses as in MiniSAT 0.10/0.44 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.44 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.44 c Expensive reason simplification 0.10/0.44 c Glucose 2.1 dynamic restart strategy 0.10/0.44 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.10/0.44 c timeout=2147483s 0.10/0.44 c DB Simplification allowed=false 0.10/0.44 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.44 c --- End Solver configuration --- 0.10/0.44 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.44 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.44 c --- Begin Solver configuration --- 0.10/0.44 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.10/0.44 c Learn all clauses as in MiniSAT 0.10/0.44 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.44 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.44 c No reason simplification 0.10/0.44 c Armin Biere (Picosat) restarts strategy 0.10/0.44 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.10/0.44 c timeout=2147483s 0.10/0.44 c DB Simplification allowed=false 0.10/0.44 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.44 c --- End Solver configuration --- 0.10/0.44 c solving HOME/instance-4103422-1466240252.opb 0.10/0.44 c reading problem ... 0.10/0.44 c objective function found 1.29/0.91 c ... done. Wall clock time 0.476s. 1.29/0.91 c declared #vars 6402 1.29/0.91 c #constraints 5929 1.29/0.93 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.29/0.93 c constraints type 1.29/0.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1571 1.29/0.93 c org.sat4j.specs.Constr$1 => 2581 1.29/0.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 167 1.29/0.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 91 1.29/0.93 c org.sat4j.minisat.constraints.cnf.UnitClause => 1279 1.29/0.93 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 240 1.29/0.93 c 5929 constraints processed. 1.29/0.93 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.29/0.93 c constraints type 1.29/0.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 91 1.29/0.93 c org.sat4j.specs.Constr$1 => 2581 1.29/0.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1571 1.29/0.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 167 1.29/0.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 240 1.29/0.93 c org.sat4j.pb.constraints.pb.UnitClausePB => 1279 1.29/0.93 c 5929 constraints processed. 1.29/0.93 c objective function length is 4170 literals 3.98/1.71 c And the winner is solver0 4.10/1.94 c SATISFIABLE 4.10/1.94 c OPTIMIZING... 4.10/1.94 c Got one! Elapsed wall clock time (in seconds):1.502 4.10/1.94 o 39793689 4.26/2.05 c cleaning 2740 clauses out of 5488 with flag 2707/5488 5.63/2.68 c cleaning 4359 clauses out of 8747 with flag 18656/11487 7.44/3.50 c cleaning 5689 clauses out of 11390 with flag 39174/18489 9.28/4.46 c cleaning 6839 clauses out of 13699 with flag 60456/26487 12.00/5.71 c cleaning 7924 clauses out of 15861 with flag 84510/35488 14.87/7.16 c cleaning 8962 clauses out of 17936 with flag 111970/45487 18.58/8.97 c cleaning 9987 clauses out of 19977 with flag 143032/56490 22.06/10.64 c cleaning 10985 clauses out of 21988 with flag 173306/68488 25.28/12.23 c And the winner is solver1 25.34/12.52 c Got one! Elapsed wall clock time (in seconds):12.085 25.34/12.52 o 36515284 27.43/13.54 c cleaning 13101 clauses out of 26203 with flag 12506/83688 29.95/14.71 c cleaning 9542 clauses out of 19100 with flag 28555/89686 32.15/15.88 c cleaning 8272 clauses out of 16558 with flag 46713/96686 34.03/16.70 c And the winner is solver1 34.06/17.03 c Got one! Elapsed wall clock time (in seconds):16.595 34.06/17.03 o 34515530 35.92/17.98 c cleaning 9242 clauses out of 18503 with flag 11797/106903 37.92/18.97 c cleaning 7620 clauses out of 15258 with flag 27166/112900 40.71/20.33 c cleaning 7312 clauses out of 14642 with flag 46041/119904 44.32/22.13 c cleaning 7657 clauses out of 15326 with flag 67831/127900 48.32/24.13 c cleaning 8326 clauses out of 16673 with flag 94615/136904 48.32/24.16 c And the winner is solver1 48.50/24.54 c Got one! Elapsed wall clock time (in seconds):24.103 48.50/24.54 o 34473174 50.55/25.50 c cleaning 6724 clauses out of 13473 with flag 13513/142030 52.56/26.52 c cleaning 6368 clauses out of 12749 with flag 29466/148030 55.14/27.82 c cleaning 6688 clauses out of 13382 with flag 48405/155031 57.94/29.27 c cleaning 7347 clauses out of 14695 with flag 70529/163032 61.54/31.06 c cleaning 8170 clauses out of 16348 with flag 96698/172032 65.96/33.18 c cleaning 9078 clauses out of 18176 with flag 126292/182030 69.56/34.99 c cleaning 10036 clauses out of 20099 with flag 155811/193031 73.15/36.77 c cleaning 11027 clauses out of 22062 with flag 186316/205030 77.95/39.16 c cleaning 12018 clauses out of 24035 with flag 220904/218030 82.75/41.59 c cleaning 13008 clauses out of 26017 with flag 257287/232030 86.55/43.43 c And the winner is solver0 86.70/43.55 c Got one! Elapsed wall clock time (in seconds):43.111 86.70/43.55 o 34264807 87.61/44.02 c cleaning 14646 clauses out of 29293 with flag 10030/248314 89.20/44.85 c cleaning 10323 clauses out of 20649 with flag 22034/254316 90.80/45.66 c cleaning 8658 clauses out of 17323 with flag 36028/261313 92.40/46.49 c cleaning 8328 clauses out of 16668 with flag 52034/269316 94.41/47.42 c cleaning 8669 clauses out of 17340 with flag 70034/278316 96.64/48.59 c cleaning 9332 clauses out of 18671 with flag 90034/288316 99.42/49.96 c cleaning 10168 clauses out of 20338 with flag 112032/299315 102.62/51.53 c cleaning 11080 clauses out of 22168 with flag 136028/311313 106.22/53.38 c cleaning 12040 clauses out of 24089 with flag 162030/324314 110.82/55.61 c cleaning 13021 clauses out of 26049 with flag 190030/338314 116.34/58.20 c cleaning 14008 clauses out of 28029 with flag 220032/353315 121.33/60.79 c cleaning 15006 clauses out of 30019 with flag 252028/369313 127.33/63.72 c cleaning 16006 clauses out of 32014 with flag 286030/386314 133.92/67.04 c cleaning 16995 clauses out of 34009 with flag 322032/404315 141.32/70.71 c cleaning 18005 clauses out of 36012 with flag 360028/423313 149.32/74.74 c cleaning 19002 clauses out of 38009 with flag 400032/443315 158.33/79.29 c cleaning 20000 clauses out of 40009 with flag 442036/464317 169.99/84.99 c cleaning 21001 clauses out of 42009 with flag 486036/486317 182.58/91.21 c cleaning 22000 clauses out of 44005 with flag 532030/509314 196.38/98.16 c cleaning 23001 clauses out of 46006 with flag 580032/533315 211.40/105.93 c cleaning 23999 clauses out of 48003 with flag 630028/558313 225.41/112.91 c cleaning 24998 clauses out of 50004 with flag 682028/584313 240.08/120.27 c cleaning 26004 clauses out of 52009 with flag 736034/611316 246.88/123.64 c And the winner is solver1 247.00/123.74 c Got one! Elapsed wall clock time (in seconds):123.306 247.00/123.74 o 34136517 249.10/124.88 c cleaning 26725 clauses out of 53468 with flag 15858/638779 251.50/126.05 c cleaning 16363 clauses out of 32743 with flag 35871/644779 253.90/127.27 c cleaning 11685 clauses out of 23382 with flag 59432/651781 256.50/128.59 c cleaning 9843 clauses out of 19695 with flag 82014/659779 259.49/130.09 c cleaning 9420 clauses out of 18852 with flag 105968/668779 262.69/131.64 c cleaning 9710 clauses out of 19433 with flag 130787/678780 266.49/133.58 c cleaning 10350 clauses out of 20722 with flag 160729/689779 271.62/136.05 c cleaning 11180 clauses out of 22372 with flag 193076/701779 276.42/138.47 c cleaning 12095 clauses out of 24192 with flag 228447/714779 282.22/141.30 c cleaning 13046 clauses out of 26098 with flag 266311/728780 288.22/144.35 c cleaning 14022 clauses out of 28052 with flag 307991/743780 294.44/147.49 c cleaning 15013 clauses out of 30029 with flag 354192/759779 301.59/150.99 c cleaning 16004 clauses out of 32017 with flag 404024/776780 309.39/154.81 c cleaning 17002 clauses out of 34013 with flag 454569/794780 317.99/159.19 c cleaning 17999 clauses out of 36011 with flag 507963/813780 326.94/163.56 c cleaning 18987 clauses out of 38011 with flag 562450/833779 335.74/168.00 c cleaning 19995 clauses out of 40024 with flag 618512/854779 344.93/172.51 c cleaning 20998 clauses out of 42029 with flag 677080/876779 356.35/178.13 c cleaning 22013 clauses out of 44031 with flag 744903/899779 366.55/183.21 c cleaning 23006 clauses out of 46018 with flag 811611/923779 376.76/188.37 c cleaning 24006 clauses out of 48012 with flag 882328/948779 387.37/193.65 c cleaning 24995 clauses out of 50006 with flag 952000/974779 400.14/200.46 c cleaning 26005 clauses out of 52011 with flag 1024961/1001779 411.94/206.36 c cleaning 27002 clauses out of 54006 with flag 1100922/1029779 425.41/213.08 c cleaning 28001 clauses out of 56006 with flag 1179382/1058781 429.61/215.10 c And the winner is solver1 429.66/215.28 c Got one! Elapsed wall clock time (in seconds):214.84 429.66/215.28 o 34100909 431.71/216.38 c cleaning 21373 clauses out of 42749 with flag 14029/1073525 434.31/217.63 c cleaning 13687 clauses out of 27381 with flag 31282/1079530 436.92/218.94 c cleaning 10336 clauses out of 20685 with flag 49706/1086521 439.91/220.50 c cleaning 9169 clauses out of 18349 with flag 71770/1094521 443.84/222.36 c cleaning 9077 clauses out of 18181 with flag 96135/1103522 447.83/224.34 c cleaning 9552 clauses out of 19103 with flag 122534/1113521 452.02/226.49 c cleaning 10271 clauses out of 20552 with flag 150985/1124522 456.85/228.85 c cleaning 11137 clauses out of 22280 with flag 183915/1136521 459.83/230.38 c And the winner is solver0 460.27/230.78 c Got one! Elapsed wall clock time (in seconds):230.349 460.27/230.78 o 34095706 462.09/231.73 c cleaning 11919 clauses out of 23847 with flag 13498/1149225 464.09/232.78 c cleaning 8955 clauses out of 17927 with flag 29640/1155224 466.69/234.04 c cleaning 7973 clauses out of 15973 with flag 48456/1162225 469.50/235.45 c cleaning 7980 clauses out of 16000 with flag 70083/1170225 472.89/237.14 c cleaning 8499 clauses out of 17020 with flag 95088/1179225 476.83/239.09 c cleaning 9255 clauses out of 18520 with flag 122916/1189224 481.03/241.10 c cleaning 10120 clauses out of 20265 with flag 153024/1200224 486.03/243.60 c cleaning 11069 clauses out of 22146 with flag 186708/1212225 491.43/246.38 c cleaning 12029 clauses out of 24077 with flag 220320/1225225 497.83/249.56 c cleaning 13013 clauses out of 26047 with flag 257941/1239224 498.83/250.08 c And the winner is solver0 499.12/250.29 c Got one! Elapsed wall clock time (in seconds):249.858 499.12/250.29 o 34012805 500.19/250.89 c cleaning 9317 clauses out of 18640 with flag 8929/1244830 502.94/252.20 c cleaning 7652 clauses out of 15323 with flag 26601/1250830 505.94/253.62 c cleaning 7326 clauses out of 14674 with flag 46047/1257833 508.74/255.08 c cleaning 7669 clauses out of 15344 with flag 67580/1265829 512.34/256.82 c cleaning 8332 clauses out of 16675 with flag 91969/1274829 516.14/258.79 c cleaning 9172 clauses out of 18343 with flag 118998/1284829 520.35/260.83 c cleaning 10084 clauses out of 20171 with flag 147538/1295829 525.31/263.32 c cleaning 11039 clauses out of 22090 with flag 178117/1307832 530.52/265.95 c cleaning 12024 clauses out of 24048 with flag 211966/1320829 536.96/269.09 c cleaning 12996 clauses out of 26024 with flag 248292/1334829 543.57/272.36 c cleaning 14010 clauses out of 28029 with flag 287744/1349830 550.77/275.99 c cleaning 15000 clauses out of 30018 with flag 330584/1365829 559.17/280.12 c cleaning 16003 clauses out of 32018 with flag 376865/1382829 567.99/284.45 c cleaning 17007 clauses out of 34016 with flag 428366/1400830 576.38/288.69 c cleaning 17995 clauses out of 36013 with flag 485466/1419834 580.00/290.43 c And the winner is solver0 580.42/290.86 c Got one! Elapsed wall clock time (in seconds):290.42 580.42/290.86 o 34011999 581.33/291.34 c cleaning 15968 clauses out of 31935 with flag 10077/1433751 583.53/292.40 c cleaning 10982 clauses out of 21967 with flag 22078/1439751 585.99/293.52 c cleaning 8983 clauses out of 17985 with flag 36079/1446751 587.59/294.39 c cleaning 8494 clauses out of 17000 with flag 52076/1454749 589.59/295.32 c cleaning 8752 clauses out of 17507 with flag 70078/1463750 592.19/296.62 c cleaning 9377 clauses out of 18758 with flag 90086/1473753 595.20/298.15 c cleaning 10184 clauses out of 20380 with flag 112085/1484752 598.79/299.90 c cleaning 11092 clauses out of 22195 with flag 136083/1496751 603.19/302.14 c cleaning 12050 clauses out of 24104 with flag 162085/1509752 608.60/304.81 c cleaning 13025 clauses out of 26053 with flag 190084/1523751 614.38/307.73 c cleaning 14015 clauses out of 28033 with flag 220094/1538756 621.29/311.05 c cleaning 15001 clauses out of 30012 with flag 252082/1554750 628.09/314.45 c cleaning 16004 clauses out of 32015 with flag 286090/1571754 637.30/319.03 c cleaning 17002 clauses out of 34011 with flag 322091/1589754 647.89/324.35 c cleaning 18001 clauses out of 36006 with flag 360086/1608751 659.00/329.73 c cleaning 18994 clauses out of 38003 with flag 400083/1628749 670.00/335.22 c cleaning 20003 clauses out of 40009 with flag 442083/1649749 682.20/341.16 c cleaning 21002 clauses out of 42007 with flag 486085/1671750 696.55/348.18 c cleaning 21997 clauses out of 44004 with flag 532084/1694749 712.79/356.11 c cleaning 22995 clauses out of 46008 with flag 580087/1718750 731.43/365.38 c cleaning 24005 clauses out of 48013 with flag 630087/1743750 751.63/376.12 c cleaning 24997 clauses out of 50009 with flag 682089/1769751 774.69/387.66 c cleaning 25999 clauses out of 52011 with flag 736087/1796750 797.78/399.11 c cleaning 26998 clauses out of 54011 with flag 792085/1824749 828.34/414.36 c cleaning 28002 clauses out of 56016 with flag 850105/1853752 861.91/431.00 c cleaning 29001 clauses out of 58013 with flag 910103/1883751 870.71/435.40 c And the winner is solver1 870.71/435.45 c Got one! Elapsed wall clock time (in seconds):435.018 870.71/435.45 o 33980593 873.01/436.52 c cleaning 23883 clauses out of 47780 with flag 12727/1902519 875.21/437.66 c cleaning 14939 clauses out of 29896 with flag 28625/1908518 877.82/438.97 c cleaning 10972 clauses out of 21957 with flag 46687/1915518 880.81/440.44 c cleaning 9475 clauses out of 18988 with flag 67909/1923521 884.21/442.16 c cleaning 9245 clauses out of 18510 with flag 91736/1932518 886.62/443.31 c And the winner is solver0 887.13/443.81 c Got one! Elapsed wall clock time (in seconds):443.376 887.13/443.81 o 33907697 889.10/444.88 c cleaning 10422 clauses out of 20848 with flag 14438/1944101 891.30/445.97 c cleaning 8204 clauses out of 16427 with flag 30720/1950102 894.11/447.30 c cleaning 7597 clauses out of 15222 with flag 50087/1957101 897.12/448.84 c cleaning 7809 clauses out of 15626 with flag 72456/1965102 900.51/450.58 c cleaning 8402 clauses out of 16816 with flag 97823/1974101 904.84/452.66 c cleaning 9193 clauses out of 18414 with flag 124738/1984101 906.05/453.26 c And the winner is solver0 906.51/453.67 c Got one! Elapsed wall clock time (in seconds):453.234 906.51/453.67 o 33471831 907.23/454.02 c cleaning 7194 clauses out of 14395 with flag 4860/1989275 909.63/455.20 c cleaning 6586 clauses out of 13199 with flag 20828/1995273 912.24/456.60 c cleaning 6796 clauses out of 13613 with flag 39639/2002273 915.43/458.16 c cleaning 7410 clauses out of 14819 with flag 62162/2010275 919.05/459.95 c cleaning 8199 clauses out of 16407 with flag 85932/2019273 923.03/461.95 c cleaning 9102 clauses out of 18209 with flag 112487/2029274 927.84/464.37 c cleaning 10048 clauses out of 20106 with flag 142287/2040273 933.61/467.15 c cleaning 11029 clauses out of 22058 with flag 175891/2052273 939.60/470.12 c cleaning 12014 clauses out of 24030 with flag 211435/2065274 945.62/473.19 c cleaning 13006 clauses out of 26015 with flag 248284/2079273 952.75/476.62 c cleaning 13994 clauses out of 28010 with flag 289033/2094274 959.55/480.04 c cleaning 15006 clauses out of 30015 with flag 332298/2110273 966.95/483.77 c cleaning 16002 clauses out of 32010 with flag 380074/2127274 975.34/487.80 c cleaning 16992 clauses out of 34007 with flag 435030/2145273 983.74/492.08 c cleaning 17991 clauses out of 36015 with flag 493984/2164273 993.18/496.61 c cleaning 19010 clauses out of 38024 with flag 548097/2184273 1003.19/501.65 c cleaning 20005 clauses out of 40014 with flag 605615/2205273 1013.62/506.74 c cleaning 21005 clauses out of 42009 with flag 665865/2227273 1024.02/511.94 c cleaning 21995 clauses out of 44005 with flag 728295/2250274 1036.68/518.17 c cleaning 23003 clauses out of 46009 with flag 792236/2274273 1049.76/524.59 c cleaning 24000 clauses out of 48007 with flag 860204/2299274 1062.36/530.80 c cleaning 24999 clauses out of 50007 with flag 927205/2325274 1076.27/537.63 c cleaning 25990 clauses out of 52010 with flag 999189/2352276 1089.80/544.28 c cleaning 27000 clauses out of 54018 with flag 1074246/2380274 1104.45/551.42 c cleaning 28008 clauses out of 56017 with flag 1153013/2409273 1119.26/558.90 c cleaning 28995 clauses out of 58012 with flag 1235878/2439276 1134.46/566.35 c And the winner is solver0 1135.04/566.81 c Got one! Elapsed wall clock time (in seconds):566.377 1135.04/566.81 o 33112159 1137.17/567.88 c cleaning 31591 clauses out of 63181 with flag 12947/2473440 1139.57/569.09 c cleaning 18795 clauses out of 37590 with flag 28760/2479440 1142.57/570.59 c cleaning 12897 clauses out of 25796 with flag 47812/2486441 1145.59/572.08 c cleaning 10450 clauses out of 20900 with flag 69652/2494442 1149.17/573.84 c cleaning 9726 clauses out of 19452 with flag 94460/2503444 1153.17/575.86 c cleaning 9851 clauses out of 19722 with flag 121794/2513440 1157.57/578.05 c cleaning 10427 clauses out of 20871 with flag 151404/2524440 1162.17/580.38 c cleaning 11218 clauses out of 22444 with flag 183156/2536440 1167.32/582.89 c cleaning 12107 clauses out of 24228 with flag 217183/2549442 1172.51/585.48 c cleaning 13055 clauses out of 26120 with flag 253787/2563441 1178.32/588.36 c cleaning 14031 clauses out of 28065 with flag 293383/2578441 1184.52/591.44 c cleaning 15014 clauses out of 30034 with flag 337123/2594441 1191.03/594.69 c cleaning 16002 clauses out of 32020 with flag 382629/2611441 1198.03/598.10 c cleaning 17011 clauses out of 34022 with flag 430160/2629445 1205.83/602.00 c cleaning 18003 clauses out of 36009 with flag 483441/2648443 1215.16/606.62 c cleaning 18997 clauses out of 38004 with flag 539718/2668441 1224.16/611.18 c cleaning 19997 clauses out of 40007 with flag 595878/2689441 1233.97/616.02 c cleaning 21005 clauses out of 42009 with flag 655179/2711440 1247.30/624.08 c cleaning 21995 clauses out of 44005 with flag 718267/2734441 1257.71/629.25 c cleaning 22998 clauses out of 46009 with flag 783723/2758440 1257.91/629.32 c And the winner is solver1 1257.98/629.62 c Got one! Elapsed wall clock time (in seconds):629.187 1257.98/629.62 o 33072829 1259.92/630.69 c cleaning 14205 clauses out of 28420 with flag 13424/2763849 1262.80/632.02 c cleaning 10095 clauses out of 20215 with flag 29123/2769849 1265.60/633.45 c cleaning 8534 clauses out of 17120 with flag 47589/2776849 1268.60/634.94 c cleaning 8284 clauses out of 16587 with flag 68802/2784850 1271.99/636.66 c cleaning 8649 clauses out of 17302 with flag 92079/2793849 1275.79/638.57 c cleaning 9327 clauses out of 18656 with flag 118311/2803852 1280.40/640.83 c cleaning 10162 clauses out of 20326 with flag 147543/2814849 1285.20/643.26 c cleaning 11069 clauses out of 22164 with flag 180557/2826849 1290.59/645.98 c cleaning 12045 clauses out of 24095 with flag 218592/2839849 1296.48/648.86 c cleaning 13027 clauses out of 26056 with flag 255009/2853855 1302.88/652.08 c cleaning 14008 clauses out of 28023 with flag 294221/2868849 1310.29/655.72 c cleaning 15006 clauses out of 30022 with flag 337475/2884856 1317.40/659.29 c cleaning 15997 clauses out of 32009 with flag 389462/2901849 1324.40/662.79 c cleaning 16993 clauses out of 34012 with flag 435831/2919849 1332.00/666.54 c cleaning 18001 clauses out of 36020 with flag 485663/2938850 1340.20/670.66 c cleaning 19007 clauses out of 38020 with flag 538823/2958851 1344.59/672.84 c And the winner is solver1 1344.71/673.14 c Got one! Elapsed wall clock time (in seconds):672.7 1344.71/673.14 o 33034776 1345.92/673.75 c cleaning 17131 clauses out of 34262 with flag 11307/2974100 1347.70/674.60 c cleaning 11566 clauses out of 23132 with flag 24979/2980101 1349.70/675.64 c cleaning 9279 clauses out of 18567 with flag 40923/2987102 1351.90/676.76 c cleaning 8646 clauses out of 17296 with flag 59491/2995110 1354.30/677.98 c cleaning 8825 clauses out of 17649 with flag 80289/3004109 1357.30/679.44 c cleaning 9412 clauses out of 18828 with flag 103041/3014113 1360.90/681.27 c cleaning 10203 clauses out of 20408 with flag 128104/3025105 1364.91/683.23 c cleaning 11100 clauses out of 22199 with flag 155452/3037099 1369.32/685.42 c cleaning 12051 clauses out of 24101 with flag 185248/3050101 1374.71/688.13 c cleaning 13021 clauses out of 26047 with flag 217210/3064098 1380.65/691.01 c cleaning 14010 clauses out of 28028 with flag 251464/3079100 1386.64/694.05 c cleaning 15007 clauses out of 30016 with flag 287867/3095098 1394.04/697.78 c cleaning 16009 clauses out of 32019 with flag 327580/3112108 1403.01/702.20 c cleaning 17002 clauses out of 34009 with flag 369933/3130107 1409.61/705.45 c cleaning 17994 clauses out of 36005 with flag 417568/3149105 1411.61/706.48 c And the winner is solver0 1412.08/706.80 c Got one! Elapsed wall clock time (in seconds):706.364 1412.08/706.80 o 32862966 1412.67/707.17 c cleaning 14130 clauses out of 28260 with flag 10955/3159354 1413.87/707.77 c cleaning 10065 clauses out of 20129 with flag 24579/3165353 1415.29/708.42 c cleaning 8531 clauses out of 17064 with flag 41100/3172353 1416.67/709.10 c cleaning 8262 clauses out of 16526 with flag 59575/3180346 1418.07/709.88 c cleaning 8631 clauses out of 17263 with flag 79758/3189345 1420.07/710.81 c cleaning 9319 clauses out of 18644 with flag 102020/3199357 1423.06/712.25 c cleaning 10156 clauses out of 20314 with flag 126690/3210346 1425.85/713.65 c cleaning 11079 clauses out of 22158 with flag 153865/3222346 1429.05/715.23 c cleaning 12042 clauses out of 24087 with flag 184048/3235354 1432.65/717.00 c cleaning 13021 clauses out of 26042 with flag 217246/3249351 1436.45/718.90 c cleaning 14006 clauses out of 28015 with flag 252851/3264345 1441.05/721.28 c cleaning 15003 clauses out of 30009 with flag 288995/3280345 1446.85/724.12 c cleaning 16003 clauses out of 32006 with flag 327867/3297345 1452.25/726.83 c cleaning 17001 clauses out of 34006 with flag 368645/3315348 1458.48/729.82 c cleaning 17999 clauses out of 36002 with flag 412571/3334345 1465.08/733.12 c cleaning 19000 clauses out of 38005 with flag 458046/3354347 1472.13/736.56 c cleaning 20003 clauses out of 40009 with flag 508560/3375351 1478.72/739.86 c cleaning 20995 clauses out of 42000 with flag 563334/3397345 1491.52/746.17 c cleaning 22002 clauses out of 44005 with flag 627158/3420345 1505.58/753.07 c cleaning 22998 clauses out of 46003 with flag 694266/3444345 1519.78/760.17 c cleaning 23994 clauses out of 48007 with flag 762499/3469347 1532.83/766.51 c cleaning 24990 clauses out of 50014 with flag 831824/3495348 1546.25/773.11 c cleaning 26011 clauses out of 52022 with flag 904387/3522346 1560.58/780.20 c cleaning 27007 clauses out of 54014 with flag 980820/3550349 1576.50/788.13 c cleaning 27998 clauses out of 56003 with flag 1060360/3579345 1589.85/794.73 c cleaning 28992 clauses out of 58006 with flag 1142136/3609346 1603.04/801.31 c cleaning 30004 clauses out of 60013 with flag 1222993/3640345 1616.97/808.23 c cleaning 30995 clauses out of 62009 with flag 1313130/3672345 1632.77/816.18 c cleaning 31992 clauses out of 64016 with flag 1401485/3705347 1651.52/825.50 c cleaning 33011 clauses out of 66022 with flag 1496510/3739345 1664.32/831.86 c And the winner is solver0 1665.59/832.72 c Got one! Elapsed wall clock time (in seconds):832.281 1665.59/832.72 o 32847443 1667.55/833.75 c cleaning 32989 clauses out of 65984 with flag 12400/3772318 1669.96/834.97 c cleaning 19492 clauses out of 38993 with flag 28786/3778316 1672.95/836.43 c cleaning 13230 clauses out of 26500 with flag 47673/3785315 1676.15/838.08 c cleaning 10621 clauses out of 21270 with flag 69477/3793315 1679.95/839.93 c cleaning 9817 clauses out of 19649 with flag 93944/3802315 1684.15/842.09 c cleaning 9904 clauses out of 19833 with flag 121770/3812316 1689.35/844.69 c cleaning 10454 clauses out of 20928 with flag 154809/3823315 1693.75/846.85 c And the winner is solver0 1694.69/847.46 c Got one! Elapsed wall clock time (in seconds):847.023 1694.69/847.46 o 32826205 1696.99/848.62 c cleaning 12497 clauses out of 25019 with flag 11849/3837860 1699.59/849.91 c cleaning 9258 clauses out of 18531 with flag 28587/3843869 1702.60/851.41 c cleaning 8118 clauses out of 16267 with flag 48706/3850863 1705.79/853.09 c cleaning 8067 clauses out of 16148 with flag 71486/3858862 1708.99/854.63 c cleaning 8529 clauses out of 17080 with flag 94183/3867861 1712.39/856.34 c cleaning 9270 clauses out of 18552 with flag 119711/3877862 1716.38/858.30 c cleaning 10140 clauses out of 20283 with flag 148759/3888863 1721.18/860.68 c cleaning 11070 clauses out of 22141 with flag 182807/3900861 1726.18/863.13 c cleaning 12029 clauses out of 24070 with flag 218168/3913860 1731.18/865.67 c cleaning 13021 clauses out of 26042 with flag 258132/3927861 1736.78/868.46 c cleaning 14001 clauses out of 28020 with flag 298760/3942860 1743.36/871.61 c cleaning 15006 clauses out of 30020 with flag 341197/3958861 1749.96/874.95 c cleaning 16003 clauses out of 32014 with flag 386166/3975861 1758.19/878.94 c cleaning 16999 clauses out of 34012 with flag 434079/3993862 1766.58/883.20 c cleaning 18006 clauses out of 36011 with flag 483703/4012860 1775.18/887.41 c cleaning 19002 clauses out of 38006 with flag 537599/4032861 1784.05/891.74 c cleaning 19991 clauses out of 40005 with flag 592398/4053862 1793.65/896.56 c cleaning 21005 clauses out of 42012 with flag 649714/4075860 1800.04/899.71 c >>>>>>>>>> Solver number 0 (11 answers) <<<<<<<<<<<<<<<<<< 1800.04/899.71 c starts : 62039 1800.04/899.71 c conflicts : 4091380 1800.04/899.71 c decisions : 16141621 1800.04/899.71 c propagations : 337011738 1800.04/899.71 c inspects : 7498556281 1800.04/899.71 c shortcuts : 0 1800.04/899.71 c learnt literals : 0 1800.04/899.71 c learnt binary clauses : 97 1800.04/899.71 c learnt ternary clauses : 0 1800.04/899.71 c learnt constraints : 4091380 1800.04/899.71 c ignored constraints : 0 1800.04/899.71 c root simplifications : 0 1800.04/899.71 c removed literals (reason simplification) : 5772349 1800.04/899.71 c reason swapping (by a shorter reason) : 0 1800.04/899.71 c Calls to reduceDB : 276 1800.04/899.71 c Number of update (reduction) of LBD : 859935 1800.04/899.71 c Imported unit clauses : 0 1800.04/899.71 c number of reductions to clauses (during analyze) : 0 1800.04/899.71 c number of learned constraints concerned by reduction : 0 1800.04/899.71 c number of learning phase by resolution : 0 1800.04/899.71 c number of learning phase by cutting planes : 0 1800.04/899.71 c speed (assignments/second) : 1487509.9333071446 1800.04/899.71 c non guided choices 11236 1800.04/899.72 c learnt constraints type 1800.04/899.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 97 1800.04/899.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36430 1800.04/899.72 c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<< 1800.04/899.72 c starts : 52 1800.04/899.72 c conflicts : 7185 1800.04/899.72 c decisions : 371985 1800.04/899.72 c propagations : 1719899 1800.04/899.72 c inspects : 616690019 1800.04/899.72 c shortcuts : 0 1800.04/899.72 c learnt literals : 0 1800.04/899.72 c learnt binary clauses : 0 1800.04/899.72 c learnt ternary clauses : 0 1800.04/899.72 c learnt constraints : 7180 1800.04/899.72 c ignored constraints : 0 1800.04/899.72 c root simplifications : 0 1800.04/899.72 c removed literals (reason simplification) : 0 1800.04/899.72 c reason swapping (by a shorter reason) : 0 1800.04/899.72 c Calls to reduceDB : 0 1800.04/899.72 c Number of update (reduction) of LBD : 0 1800.04/899.72 c Imported unit clauses : 0 1800.04/899.72 c number of reductions to clauses (during analyze) : 0 1800.04/899.72 c number of learned constraints concerned by reduction : 0 1800.04/899.72 c number of learning phase by resolution : 0 1800.04/899.72 c number of learning phase by cutting planes : 0 1800.04/899.72 c speed (assignments/second) : 33440.90140187825 1800.04/899.72 c non guided choices 0 1800.04/899.72 c learnt constraints type 1800.04/899.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12 1800.04/899.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7168 1800.04/899.72 s SATISFIABLE 1800.04/899.72 c Found 19 solution(s) 1800.04/899.73 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 x3018 x3019 -x3020 -x3021 x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 x3298 -x3299 -x3300 x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 x3635 -x3636 x3637 x3638 x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 x3781 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 x3912 -x3913 -x3914 x3915 -x3916 x3917 -x3918 -x3919 x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 x4866 x4867 x4868 x4869 x4870 x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 x5145 -x5146 -x5147 -x5148 x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 x5454 -x5455 -x5456 x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 x5625 x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 x6058 -x6059 -x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 x6179 -x6180 x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 x6376 -x6377 -x6378 -x6379 -x6380 x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1800.04/899.74 c objective function=32826205 1800.04/899.74 c Total wall clock time (in seconds): 899.305
OK 32826205
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-4103422-1466240252/watcher-4103422-1466240252 -o /tmp/evaluation-result-4103422-1466240252/solver-4103422-1466240252 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103422-1466240252.opb pid=18390 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.57 1.92 3/172 18393 /proc/meminfo: memFree=30651440/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/18393/stat : 18393 (java) D 18390 18393 18358 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 26072028 278528 33 33554432000 1073741824 1073778376 140735262856176 140735262853352 214360485159 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/18393/statm: 68 33 25 9 0 25 0 [startup+0.100243 s] /proc/loadavg: 1.05 1.57 1.92 3/172 18393 /proc/meminfo: memFree=30651440/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/18393/stat : 18393 (java) R 18390 18393 18358 0 -1 4202496 1142 0 20 0 0 0 0 0 20 0 1 0 26072028 23793664 811 33554432000 1073741824 1073778376 140735882580288 140735882570280 140574366460384 0 0 4096 0 0 0 0 17 4 0 0 6 0 0 /proc/18393/statm: 5809 811 605 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200199 s] /proc/loadavg: 1.05 1.57 1.92 3/172 18393 /proc/meminfo: memFree=30651440/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=102664 CPUtime=0 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 1479 0 28 0 0 0 0 0 20 0 2 0 26072028 105127936 1109 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 25666 1109 856 9 0 16775 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 102664 [startup+0.300169 s] /proc/loadavg: 1.05 1.57 1.92 3/172 18393 /proc/meminfo: memFree=30651440/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9225560 CPUtime=0.04 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 3108 0 30 0 3 1 0 0 20 0 13 0 26072028 9446973440 3756 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2306390 3756 1707 9 0 2297091 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9225560 [startup+0.700179 s] /proc/loadavg: 1.05 1.57 1.92 3/172 18393 /proc/meminfo: memFree=30651440/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9558476 CPUtime=0.7 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 6860 0 32 0 67 3 0 0 20 0 18 0 26072028 9787879424 15047 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2389619 15047 2242 9 0 2380296 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 9558476 [startup+1.50094 s] /proc/loadavg: 1.05 1.57 1.92 6/215 18443 /proc/meminfo: memFree=30332292/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=3.35 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 19299 0 32 0 328 7 0 0 20 0 22 0 26072028 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 42935 2273 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2443 0 7 0 55 2 0 0 20 0 22 0 26072039 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 42935 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 26072052 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=0.83 cores=0,2,4,6 /proc/18393/task/18432/stat : 18432 (java) S 18390 18393 18358 0 -1 4202560 9630 0 1 0 81 2 0 0 20 0 22 0 26072061 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574181071160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18434] ppid=18390 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/18393/task/18434/stat : 18434 (java) S 18390 18393 18358 0 -1 4202560 5890 0 1 0 79 0 0 0 20 0 22 0 26072061 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574180018616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18436] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18436/stat : 18436 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574178965752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18438] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18438/stat : 18438 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574177913416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18440] ppid=18390 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/18393/task/18440/stat : 18440 (java) R 18390 18393 18358 0 -1 4202560 21 0 0 0 55 0 0 0 20 0 22 0 26072121 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574176859208 140574230064249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18441] ppid=18390 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/18393/task/18441/stat : 18441 (java) R 18390 18393 18358 0 -1 4202560 59 0 0 0 53 2 0 0 20 0 22 0 26072121 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574175806520 140574229805418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18442] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18442/stat : 18442 (java) S 18390 18393 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072124 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574174754088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18443] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18443/stat : 18443 (java) S 18390 18393 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072124 10060525568 43447 33554432000 1073741824 1073778376 140735882580288 140574173701544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.35 Current children cumulated vsize (KiB) 9824732 [startup+3.10094 s] /proc/loadavg: 1.29 1.61 1.93 7/219 18450 /proc/meminfo: memFree=30158052/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=6.63 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 21190 0 32 0 649 14 0 0 20 0 22 0 26072028 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 55663 2292 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2443 0 7 0 56 3 0 0 20 0 22 0 26072039 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 51 0 0 0 1 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 64 0 0 0 1 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26072048 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 26072052 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/18393/task/18432/stat : 18432 (java) S 18390 18393 18358 0 -1 4202560 9632 0 1 0 96 2 0 0 20 0 22 0 26072061 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574181071160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18434] ppid=18390 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/18393/task/18434/stat : 18434 (java) S 18390 18393 18358 0 -1 4202560 7264 0 1 0 104 1 0 0 20 0 22 0 26072061 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574180018616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18436] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18436/stat : 18436 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574178965752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18438] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18438/stat : 18438 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574177913416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18442] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18442/stat : 18442 (java) S 18390 18393 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072124 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574174754088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18448] ppid=18390 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/18393/task/18448/stat : 18448 (java) R 18390 18393 18358 0 -1 4202560 3 0 0 0 110 0 0 0 20 0 22 0 26072223 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574175797152 140574230043171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18449] ppid=18390 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/18393/task/18449/stat : 18449 (java) R 18390 18393 18358 0 -1 4202560 4 0 0 0 109 0 0 0 20 0 22 0 26072223 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574176857752 140574230150528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18450] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18450/stat : 18450 (java) S 18390 18393 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 26072224 10060525568 55663 33554432000 1073741824 1073778376 140735882580288 140574173700904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.63 Current children cumulated vsize (KiB) 9824732 [startup+6.30093 s] /proc/loadavg: 1.29 1.61 1.93 6/219 18450 /proc/meminfo: memFree=29587176/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=13.2 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 21491 0 32 0 1298 22 0 0 20 0 22 0 26072028 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 94062 2293 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2443 0 7 0 56 3 0 0 20 0 22 0 26072039 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 70 0 0 0 2 0 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 56 0 0 0 0 1 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 56 0 0 0 2 0 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 83 0 0 0 4 2 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 97 0 0 0 3 1 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 138 0 0 0 4 2 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 26072048 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 26072052 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 94062 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=0.99 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.24 4.08 3.32 5/219 18550 /proc/meminfo: memFree=23176100/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=1764.99 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 31069 0 32 0 176214 285 0 0 20 0 22 0 26072028 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 962113 2302 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2458 0 7 0 71 4 0 0 20 0 22 0 26072039 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 677 0 0 0 340 24 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 707 0 0 0 347 20 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=3.66 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 652 0 0 0 345 21 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=3.68 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 788 0 0 0 346 22 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=3.78 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 830 0 0 0 352 26 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=3.38 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 667 0 0 0 318 20 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=3.73 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 773 0 0 0 352 21 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=3.97 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 585 0 0 0 377 20 0 0 20 0 22 0 26072048 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=6.37 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 2591 0 0 0 626 11 0 0 20 0 22 0 26072052 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/18393/task/18432/stat : 18432 (java) S 18390 18393 18358 0 -1 4202560 9652 0 1 0 122 2 0 0 20 0 22 0 26072061 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574181071160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18434] ppid=18390 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18393/task/18434/stat : 18434 (java) S 18390 18393 18358 0 -1 4202560 7269 0 1 0 148 2 0 0 20 0 22 0 26072061 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574180018616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18436] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18436/stat : 18436 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574178965752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18438] ppid=18390 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/18393/task/18438/stat : 18438 (java) S 18390 18393 18358 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 26072061 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574177913416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18534] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18534/stat : 18534 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26139343 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574174754216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18548] ppid=18390 vsize=9824732 CPUtime=34.52 cores=0,2,4,6 /proc/18393/task/18548/stat : 18548 (java) R 18390 18393 18358 0 -1 4202560 4 0 0 0 3452 0 0 0 20 0 22 0 26156775 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574176850048 140574230064226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18549] ppid=18390 vsize=9824732 CPUtime=34.52 cores=0,2,4,6 /proc/18393/task/18549/stat : 18549 (java) R 18390 18393 18358 0 -1 4202560 5 0 0 0 3452 0 0 0 20 0 22 0 26156775 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574175804400 140574230132259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18550] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18550/stat : 18550 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26156857 10060525568 962113 33554432000 1073741824 1073778376 140735882580288 140574173701160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1764.99 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.701 s] /proc/loadavg: 4.35 4.11 3.34 5/219 18622 /proc/meminfo: memFree=26585264/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 31084 0 32 0 179718 286 0 0 20 0 22 0 26072028 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 965185 2302 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2458 0 7 0 71 4 0 0 20 0 22 0 26072039 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=3.72 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 678 0 0 0 348 24 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 710 0 0 0 356 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=3.7 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 654 0 0 0 349 21 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 792 0 0 0 354 22 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=3.81 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 830 0 0 0 355 26 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=3.45 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 667 0 0 0 325 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=3.86 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 776 0 0 0 365 21 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=4 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 586 0 0 0 380 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=6.37 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 2591 0 0 0 626 11 0 0 20 0 22 0 26072052 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/18393/task/18432/stat : 18432 (java) S 18390 18393 18358 0 -1 4202560 9652 0 1 0 122 2 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574181071160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18434] ppid=18390 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18393/task/18434/stat : 18434 (java) S 18390 18393 18358 0 -1 4202560 7269 0 1 0 148 2 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574180018616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18436] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18436/stat : 18436 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574178965752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18438] ppid=18390 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/18393/task/18438/stat : 18438 (java) S 18390 18393 18358 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574177913416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18534] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18534/stat : 18534 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26139343 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574174754216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18548] ppid=18390 vsize=9824732 CPUtime=51.77 cores=0,2,4,6 /proc/18393/task/18548/stat : 18548 (java) R 18390 18393 18358 0 -1 4202560 4 0 0 0 5177 0 0 0 20 0 22 0 26156775 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574176850048 140574230064249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18549] ppid=18390 vsize=9824732 CPUtime=51.78 cores=0,2,4,6 /proc/18393/task/18549/stat : 18549 (java) R 18390 18393 18358 0 -1 4202560 6 0 0 0 5178 0 0 0 20 0 22 0 26156775 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574175805216 140574230257468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18550] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18550/stat : 18550 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26156857 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574173701160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 18393 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.701 s] /proc/loadavg: 4.35 4.11 3.34 5/219 18622 /proc/meminfo: memFree=26585264/32872528 swapFree=1286400/1433568 [pid=18393] ppid=18390 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/18393/stat : 18393 (java) S 18390 18393 18358 0 -1 4202496 31084 0 32 0 179718 286 0 0 20 0 22 0 26072028 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140735882571424 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/18393/statm: 2456183 965185 2302 9 0 2446860 0 [pid=18393/tid=18406] ppid=18390 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/18393/task/18406/stat : 18406 (java) S 18390 18393 18358 0 -1 4202560 2458 0 7 0 71 4 0 0 20 0 22 0 26072039 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574361707384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 14 0 0 [pid=18393/tid=18408] ppid=18390 vsize=9824732 CPUtime=3.72 cores=0,2,4,6 /proc/18393/task/18408/stat : 18408 (java) S 18390 18393 18358 0 -1 4202560 678 0 0 0 348 24 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574350769064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18409] ppid=18390 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18393/task/18409/stat : 18409 (java) S 18390 18393 18358 0 -1 4202560 710 0 0 0 356 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574349716520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18411] ppid=18390 vsize=9824732 CPUtime=3.7 cores=0,2,4,6 /proc/18393/task/18411/stat : 18411 (java) S 18390 18393 18358 0 -1 4202560 654 0 0 0 349 21 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574348663464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18412] ppid=18390 vsize=9824732 CPUtime=3.76 cores=0,2,4,6 /proc/18393/task/18412/stat : 18412 (java) S 18390 18393 18358 0 -1 4202560 792 0 0 0 354 22 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574201690920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18413] ppid=18390 vsize=9824732 CPUtime=3.81 cores=0,2,4,6 /proc/18393/task/18413/stat : 18413 (java) S 18390 18393 18358 0 -1 4202560 830 0 0 0 355 26 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574200637864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18415] ppid=18390 vsize=9824732 CPUtime=3.45 cores=0,2,4,6 /proc/18393/task/18415/stat : 18415 (java) S 18390 18393 18358 0 -1 4202560 667 0 0 0 325 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574199585320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18417] ppid=18390 vsize=9824732 CPUtime=3.86 cores=0,2,4,6 /proc/18393/task/18417/stat : 18417 (java) S 18390 18393 18358 0 -1 4202560 776 0 0 0 365 21 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574198532264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18419] ppid=18390 vsize=9824732 CPUtime=4 cores=0,2,4,6 /proc/18393/task/18419/stat : 18419 (java) S 18390 18393 18358 0 -1 4202560 586 0 0 0 380 20 0 0 20 0 22 0 26072048 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574197479720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18424] ppid=18390 vsize=9824732 CPUtime=6.37 cores=0,2,4,6 /proc/18393/task/18424/stat : 18424 (java) S 18390 18393 18358 0 -1 4202560 2591 0 0 0 626 11 0 0 20 0 22 0 26072052 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574185282408 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18427] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18427/stat : 18427 (java) S 18390 18393 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574184228728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18428] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18428/stat : 18428 (java) S 18390 18393 18358 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574183175560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18430] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18430/stat : 18430 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574182124304 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18432] ppid=18390 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/18393/task/18432/stat : 18432 (java) S 18390 18393 18358 0 -1 4202560 9652 0 1 0 122 2 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574181071160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18434] ppid=18390 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/18393/task/18434/stat : 18434 (java) S 18390 18393 18358 0 -1 4202560 7269 0 1 0 148 2 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574180018616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18436] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18436/stat : 18436 (java) S 18390 18393 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574178965752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18393/tid=18438] ppid=18390 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/18393/task/18438/stat : 18438 (java) S 18390 18393 18358 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 26072061 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574177913416 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18534] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18534/stat : 18534 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26139343 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574174754216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18393/tid=18548] ppid=18390 vsize=9824732 CPUtime=51.77 cores=0,2,4,6 /proc/18393/task/18548/stat : 18548 (java) R 18390 18393 18358 0 -1 4202560 4 0 0 0 5177 0 0 0 20 0 22 0 26156775 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574176850048 140574230064249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18393/tid=18549] ppid=18390 vsize=9824732 CPUtime=51.78 cores=0,2,4,6 /proc/18393/task/18549/stat : 18549 (java) R 18390 18393 18358 0 -1 4202560 6 0 0 0 5178 0 0 0 20 0 22 0 26156775 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574175805216 140574230257468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18393/tid=18550] ppid=18390 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18393/task/18550/stat : 18550 (java) S 18390 18393 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26156857 10060525568 965185 33554432000 1073741824 1073778376 140735882580288 140574173701160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 899.773 CPU time (s): 1800.35 CPU user time (s): 1797.27 CPU system time (s): 3.07653 CPU usage (%): 200.089 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.27 system time used= 3.07653 maximum resident set size= 3860852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31123 page faults= 32 swaps= 0 block input operations= 23864 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24297 involuntary context switches= 26159 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.17606 second user time and 8.5347 second system time The end
Begin job on node130 at 2016-06-18 10:57:33 IDJOB=4103422 IDBENCH=2354 IDSOLVER=2543 FILE ID=node130/4103422-1466240252 RUNJOBID= node130-1466240252-18374 PBS_JOBID= 19918180 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103422-1466240252/watcher-4103422-1466240252 -o /tmp/evaluation-result-4103422-1466240252/solver-4103422-1466240252 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103422-1466240252.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED=161635149 node130.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.365 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.73 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.365 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.365 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.365 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.365 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.365 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.53 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.365 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.56 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.365 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: 30652728 kB Buffers: 2968 kB Cached: 49952 kB SwapCached: 1628 kB Active: 30392 kB Inactive: 27460 kB Active(anon): 6240 kB Inactive(anon): 1584 kB Active(file): 24152 kB Inactive(file): 25876 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67097740 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 1438472 kB Mapped: 5384 kB Shmem: 0 kB Slab: 596640 kB SReclaimable: 40448 kB SUnreclaim: 556192 kB KernelStack: 1352 kB PageTables: 6968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1534584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 71744 MiB End job on node130 at 2016-06-18 11:12:32