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) | 23614350725 | 1800.03 | 908.685 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f46-DC_Side1.seq-A-2-2-irabcde.opb |
| MD5SUM | 6d8c63127ebc38291ab659921ac81e4a |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19647179650 |
| Best CPU time to get the best result obtained on this benchmark | 12.6331 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5371 |
| Total number of constraints | 15589 |
| Number of constraints which are clauses | 15453 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 136 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 35 |
| Number of terms in the objective function | 496 |
| Biggest coefficient in the objective function | 262609375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 84822828124 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 262609375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 84822828124 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Glucose 2.1 dynamic restart strategy 0.10/0.12 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.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 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.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-4111121-1466398260.opb 0.10/0.12 c reading problem ... 0.10/0.12 c objective function found 1.06/0.59 c ... done. Wall clock time 0.471s. 1.06/0.59 c declared #vars 5371 1.06/0.59 c #constraints 15589 1.06/0.59 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.06/0.59 c constraints type 1.06/0.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4460 1.06/0.59 c org.sat4j.specs.Constr$1 => 695 1.06/0.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 34 1.06/0.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9674 1.06/0.59 c org.sat4j.minisat.constraints.cnf.UnitClause => 726 1.06/0.59 c 15589 constraints processed. 1.06/0.59 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.06/0.59 c constraints type 1.06/0.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9674 1.06/0.59 c org.sat4j.specs.Constr$1 => 695 1.06/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4460 1.06/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 34 1.06/0.59 c org.sat4j.pb.constraints.pb.UnitClausePB => 726 1.06/0.59 c 15589 constraints processed. 1.06/0.59 c objective function length is 496 literals 2.95/1.00 c And the winner is solver0 2.95/1.10 c SATISFIABLE 2.95/1.10 c OPTIMIZING... 2.95/1.10 c Got one! Elapsed wall clock time (in seconds):0.979 2.95/1.10 o 34353679500 3.03/1.12 c And the winner is solver0 3.16/1.60 c Got one! Elapsed wall clock time (in seconds):1.486 3.16/1.60 o 33040632625 3.16/1.67 c And the winner is solver0 3.70/2.11 c Got one! Elapsed wall clock time (in seconds):1.995 3.70/2.11 o 32778023250 4.06/2.23 c And the winner is solver0 4.14/2.61 c Got one! Elapsed wall clock time (in seconds):2.498 4.14/2.61 o 32516871625 4.14/2.66 c And the winner is solver0 4.58/3.12 c Got one! Elapsed wall clock time (in seconds):3.001 4.58/3.12 o 32515413875 4.58/3.14 c And the winner is solver0 4.63/3.62 c Got one! Elapsed wall clock time (in seconds):3.502 4.63/3.62 o 32252804500 5.42/3.98 c And the winner is solver1 5.66/4.12 c Got one! Elapsed wall clock time (in seconds):4.005 5.66/4.12 o 31202367000 5.95/4.26 c cleaning 3083 clauses out of 6175 with flag 2253/6179 6.66/4.45 c And the winner is solver1 7.05/4.62 c Got one! Elapsed wall clock time (in seconds):4.507 7.05/4.62 o 30677148250 7.29/4.75 c cleaning 4276 clauses out of 8551 with flag 4595/11638 7.96/5.06 c And the winner is solver1 8.10/5.13 c Got one! Elapsed wall clock time (in seconds):5.009 8.10/5.13 o 30414538875 8.25/5.22 c And the winner is solver1 8.32/5.63 c Got one! Elapsed wall clock time (in seconds):5.511 8.32/5.63 o 30151929500 8.95/5.92 c cleaning 7526 clauses out of 15052 with flag 8951/22415 9.38/6.10 c And the winner is solver1 9.38/6.13 c Got one! Elapsed wall clock time (in seconds):6.013 9.38/6.13 o 29889320125 9.52/6.26 c cleaning 6434 clauses out of 12869 with flag 4474/27758 10.42/6.64 c cleaning 6215 clauses out of 12436 with flag 18112/33759 11.23/7.05 c cleaning 6611 clauses out of 13222 with flag 34000/40760 12.31/7.56 c cleaning 7303 clauses out of 14610 with flag 52222/48759 12.51/7.62 c And the winner is solver1 12.51/7.63 c Got one! Elapsed wall clock time (in seconds):7.515 12.51/7.63 o 29365559125 12.91/7.84 c cleaning 6311 clauses out of 12628 with flag 9236/54080 13.49/8.13 c cleaning 6158 clauses out of 12316 with flag 23120/60079 14.09/8.47 c cleaning 6577 clauses out of 13158 with flag 39148/67079 15.17/8.93 c cleaning 7291 clauses out of 14581 with flag 57189/75079 16.15/9.47 c cleaning 8145 clauses out of 16290 with flag 78512/84079 17.37/10.02 c cleaning 9072 clauses out of 18146 with flag 101043/94080 18.56/10.67 c And the winner is solver1 18.78/11.17 c Got one! Elapsed wall clock time (in seconds):11.055 18.78/11.17 o 28316579375 19.32/11.46 c cleaning 12224 clauses out of 24449 with flag 11324/109455 20.12/11.82 c cleaning 9111 clauses out of 18224 with flag 24933/115454 20.94/12.23 c cleaning 8054 clauses out of 16114 with flag 40742/122455 21.72/12.63 c cleaning 8024 clauses out of 16059 with flag 58851/130454 22.80/13.15 c cleaning 8517 clauses out of 17036 with flag 78918/139455 23.80/13.68 c cleaning 9258 clauses out of 18518 with flag 101761/149454 25.00/14.27 c cleaning 10127 clauses out of 20260 with flag 127001/160454 25.62/14.51 c And the winner is solver1 25.66/14.67 c Got one! Elapsed wall clock time (in seconds):14.558 25.66/14.67 o 28056843850 26.10/14.98 c cleaning 10141 clauses out of 20282 with flag 11293/170603 26.70/15.29 c cleaning 8070 clauses out of 16142 with flag 24893/176604 27.50/15.63 c cleaning 7535 clauses out of 15072 with flag 40716/183604 28.30/16.05 c cleaning 7764 clauses out of 15536 with flag 58730/191603 29.10/16.50 c cleaning 8387 clauses out of 16773 with flag 79199/200604 30.59/17.11 c cleaning 9191 clauses out of 18385 with flag 102244/210603 31.60/17.68 c cleaning 10095 clauses out of 20196 with flag 127590/221605 32.99/18.35 c cleaning 11050 clauses out of 22100 with flag 154771/233604 34.39/19.07 c cleaning 12025 clauses out of 24050 with flag 184158/246604 36.20/19.92 c cleaning 13009 clauses out of 26024 with flag 216512/260603 38.35/20.95 c cleaning 14008 clauses out of 28016 with flag 251132/275604 40.55/22.08 c cleaning 15003 clauses out of 30008 with flag 288710/291604 40.55/22.09 c And the winner is solver1 40.69/22.24 c Got one! Elapsed wall clock time (in seconds):22.127 40.69/22.24 o 27794276125 41.20/22.53 c cleaning 10152 clauses out of 20304 with flag 11303/296903 41.80/22.84 c cleaning 8072 clauses out of 16152 with flag 25068/302903 42.41/23.19 c cleaning 7539 clauses out of 15081 with flag 40725/309904 43.40/23.60 c cleaning 7769 clauses out of 15541 with flag 58924/317903 44.20/24.05 c cleaning 8385 clauses out of 16772 with flag 79425/326903 45.20/24.56 c cleaning 9191 clauses out of 18387 with flag 102646/336903 46.40/25.18 c cleaning 10096 clauses out of 20196 with flag 127952/347903 47.80/25.83 c cleaning 11050 clauses out of 22100 with flag 155407/359903 49.86/26.71 c cleaning 12026 clauses out of 24051 with flag 185664/372904 51.48/27.60 c cleaning 13009 clauses out of 26024 with flag 218506/386903 53.68/28.64 c cleaning 14006 clauses out of 28015 with flag 254094/401903 55.89/29.73 c cleaning 15001 clauses out of 30010 with flag 291431/417904 57.88/30.72 c And the winner is solver1 57.88/30.79 c Got one! Elapsed wall clock time (in seconds):30.677 57.88/30.79 o 27544453300 58.52/31.18 c cleaning 17494 clauses out of 34989 with flag 11370/437884 59.32/31.55 c cleaning 11748 clauses out of 23495 with flag 25196/443884 60.44/32.02 c cleaning 9372 clauses out of 18747 with flag 41846/450884 61.22/32.47 c cleaning 8685 clauses out of 17376 with flag 60827/458885 62.22/32.95 c cleaning 8843 clauses out of 17691 with flag 81673/467885 63.42/33.51 c cleaning 9422 clauses out of 18847 with flag 104423/477884 64.64/34.13 c cleaning 10213 clauses out of 20426 with flag 129741/488885 66.02/34.83 c cleaning 11107 clauses out of 22213 with flag 157417/500885 67.62/35.60 c cleaning 12053 clauses out of 24106 with flag 186810/513885 69.24/36.50 c cleaning 13022 clauses out of 26053 with flag 218964/527885 71.24/37.45 c cleaning 14014 clauses out of 28031 with flag 253141/542885 73.44/38.53 c cleaning 15005 clauses out of 30016 with flag 289491/558884 75.64/39.67 c cleaning 16002 clauses out of 32012 with flag 329053/575885 78.53/41.00 c cleaning 17001 clauses out of 34009 with flag 370061/593884 80.93/42.29 c cleaning 18003 clauses out of 36008 with flag 413902/612884 83.93/43.73 c cleaning 18996 clauses out of 38005 with flag 460052/632884 85.93/44.75 c And the winner is solver1 85.99/44.80 c Got one! Elapsed wall clock time (in seconds):44.681 85.99/44.80 o 27541412850 86.79/45.23 c cleaning 19565 clauses out of 39133 with flag 11432/653008 87.58/45.61 c cleaning 12783 clauses out of 25568 with flag 24944/659008 88.38/46.02 c cleaning 9888 clauses out of 19784 with flag 41564/666007 89.18/46.46 c cleaning 8944 clauses out of 17897 with flag 60359/674008 90.18/46.95 c cleaning 8972 clauses out of 17952 with flag 81692/683007 91.38/47.50 c cleaning 9486 clauses out of 18980 with flag 105668/693007 92.57/48.10 c cleaning 10245 clauses out of 20495 with flag 131440/704008 92.97/48.36 c And the winner is solver1 93.09/48.80 c Got one! Elapsed wall clock time (in seconds):48.684 93.09/48.80 o 27528667950 93.09/48.87 c cleaning 8113 clauses out of 16230 with flag 2411/709988 93.98/49.22 c cleaning 7054 clauses out of 14116 with flag 16099/715987 94.59/49.59 c cleaning 7025 clauses out of 14062 with flag 31887/722987 95.57/50.03 c cleaning 7519 clauses out of 15037 with flag 50109/730987 96.57/50.51 c And the winner is solver1 96.60/50.80 c Got one! Elapsed wall clock time (in seconds):50.687 96.60/50.80 o 27527293500 97.19/51.10 c cleaning 10526 clauses out of 21053 with flag 11479/744522 97.79/51.41 c cleaning 8263 clauses out of 16528 with flag 25176/750523 98.40/51.77 c cleaning 7629 clauses out of 15264 with flag 41082/757522 99.19/52.16 c cleaning 7814 clauses out of 15635 with flag 59501/765522 100.18/52.62 c cleaning 8403 clauses out of 16822 with flag 80612/774523 100.80/52.93 c And the winner is solver1 100.86/53.31 c Got one! Elapsed wall clock time (in seconds):53.19 100.86/53.31 o 27292214775 101.43/53.60 c cleaning 10024 clauses out of 20050 with flag 11306/786154 101.83/53.90 c cleaning 8012 clauses out of 16026 with flag 24865/792154 102.63/54.25 c cleaning 7506 clauses out of 15014 with flag 41105/799154 103.43/54.64 c cleaning 7749 clauses out of 15507 with flag 59339/807153 104.25/55.08 c cleaning 8379 clauses out of 16758 with flag 79893/816153 105.43/55.60 c cleaning 9187 clauses out of 18379 with flag 102544/826153 106.65/56.22 c cleaning 10091 clauses out of 20192 with flag 128423/837153 107.83/56.88 c cleaning 11050 clauses out of 22101 with flag 155904/849153 109.23/57.59 c cleaning 12024 clauses out of 24051 with flag 185339/862153 111.17/58.47 c cleaning 13010 clauses out of 26027 with flag 217083/876153 111.36/58.55 c And the winner is solver1 111.45/58.81 c Got one! Elapsed wall clock time (in seconds):58.694 111.45/58.81 o 27034145250 111.82/59.03 c cleaning 9458 clauses out of 18926 with flag 8985/882062 112.42/59.33 c cleaning 7735 clauses out of 15469 with flag 22375/888063 112.64/59.46 c And the winner is solver1 112.75/59.81 c Got one! Elapsed wall clock time (in seconds):59.696 112.75/59.81 o 27000617000 112.92/59.99 c cleaning 6650 clauses out of 13309 with flag 6819/893638 113.71/60.31 c cleaning 6328 clauses out of 12658 with flag 20451/899637 114.33/60.68 c cleaning 6662 clauses out of 13330 with flag 36284/906637 115.31/61.12 c cleaning 7331 clauses out of 14668 with flag 54535/914637 116.11/61.60 c cleaning 8161 clauses out of 16337 with flag 75669/923637 117.31/62.19 c cleaning 9088 clauses out of 18176 with flag 99278/933637 118.52/62.80 c cleaning 10043 clauses out of 20088 with flag 124390/944637 120.11/63.52 c cleaning 11020 clauses out of 22045 with flag 151798/956637 121.51/64.27 c cleaning 12011 clauses out of 24026 with flag 181479/969638 123.12/65.07 c cleaning 13007 clauses out of 26014 with flag 213156/983637 124.91/65.99 c cleaning 14004 clauses out of 28007 with flag 247569/998637 126.91/66.98 c cleaning 14998 clauses out of 30004 with flag 284189/1014638 129.40/68.13 c cleaning 16001 clauses out of 32006 with flag 323521/1031638 131.81/69.31 c cleaning 17002 clauses out of 34004 with flag 365674/1049637 134.40/70.63 c cleaning 17998 clauses out of 36002 with flag 411358/1068637 137.00/71.96 c cleaning 19002 clauses out of 38004 with flag 457952/1088637 140.40/73.61 c cleaning 19998 clauses out of 40003 with flag 507599/1109638 144.40/75.70 c cleaning 20999 clauses out of 42004 with flag 562167/1131637 148.60/77.72 c cleaning 22000 clauses out of 44006 with flag 618994/1154638 152.80/79.89 c cleaning 23003 clauses out of 46005 with flag 678960/1178637 157.00/81.95 c cleaning 23999 clauses out of 48002 with flag 739352/1203637 160.79/83.85 c cleaning 24998 clauses out of 50003 with flag 800412/1229637 165.19/86.08 c cleaning 26000 clauses out of 52005 with flag 866607/1256637 169.99/88.40 c cleaning 26999 clauses out of 54005 with flag 931162/1284637 174.59/90.70 c cleaning 27999 clauses out of 56007 with flag 997392/1313638 179.59/93.23 c cleaning 29001 clauses out of 58007 with flag 1066345/1343637 184.39/95.69 c cleaning 30002 clauses out of 60008 with flag 1137362/1374639 189.59/98.23 c cleaning 30995 clauses out of 62006 with flag 1210758/1406639 195.39/101.14 c cleaning 32002 clauses out of 64009 with flag 1287064/1439637 200.59/103.73 c cleaning 33003 clauses out of 66008 with flag 1365448/1473638 206.39/106.70 c cleaning 34002 clauses out of 68005 with flag 1447775/1508638 212.18/109.59 c cleaning 34995 clauses out of 70003 with flag 1533772/1544638 217.98/112.45 c cleaning 36001 clauses out of 72009 with flag 1619853/1581639 223.78/115.39 c cleaning 37002 clauses out of 74007 with flag 1709378/1619638 229.98/118.43 c cleaning 37999 clauses out of 76004 with flag 1798481/1658637 237.18/122.08 c cleaning 39002 clauses out of 78006 with flag 1891317/1698638 244.19/125.55 c cleaning 40002 clauses out of 80003 with flag 1985288/1739637 252.18/129.55 c cleaning 41000 clauses out of 82001 with flag 2083821/1781637 259.77/133.38 c cleaning 41993 clauses out of 84001 with flag 2183682/1824637 268.39/137.70 c cleaning 43005 clauses out of 86009 with flag 2285442/1868638 276.57/141.73 c cleaning 43997 clauses out of 88004 with flag 2388324/1913638 283.97/145.46 c cleaning 45002 clauses out of 90006 with flag 2492433/1959637 293.17/150.06 c cleaning 45998 clauses out of 92004 with flag 2601898/2006637 302.17/154.54 c cleaning 46993 clauses out of 94006 with flag 2711993/2054637 310.37/158.61 c cleaning 47997 clauses out of 96014 with flag 2826627/2103638 319.97/163.43 c cleaning 49006 clauses out of 98017 with flag 2941946/2153638 330.17/168.53 c cleaning 50004 clauses out of 100011 with flag 3059293/2204638 337.32/172.31 c And the winner is solver1 337.32/172.78 c Got one! Elapsed wall clock time (in seconds):172.662 337.32/172.78 o 26749586325 338.94/173.67 c cleaning 47284 clauses out of 94568 with flag 11254/2249199 340.14/174.28 c cleaning 26638 clauses out of 53284 with flag 25009/2255199 341.14/174.72 c cleaning 16819 clauses out of 33646 with flag 40939/2262199 341.94/175.17 c cleaning 12410 clauses out of 24827 with flag 59329/2270199 342.94/175.69 c cleaning 10701 clauses out of 21417 with flag 79838/2279199 343.14/175.71 c And the winner is solver1 343.14/175.78 c Got one! Elapsed wall clock time (in seconds):175.666 343.14/175.78 o 26738007625 343.61/176.07 c cleaning 8135 clauses out of 16273 with flag 11270/2284756 344.20/176.39 c cleaning 7063 clauses out of 14137 with flag 24902/2290755 345.00/176.79 c cleaning 7034 clauses out of 14075 with flag 40854/2297756 346.01/177.25 c cleaning 7518 clauses out of 15041 with flag 59053/2305756 347.00/177.78 c cleaning 8259 clauses out of 16522 with flag 79760/2314755 348.21/178.36 c cleaning 9130 clauses out of 18263 with flag 102920/2324755 349.60/179.02 c cleaning 10064 clauses out of 20133 with flag 128256/2335755 350.99/179.77 c cleaning 11028 clauses out of 22069 with flag 156275/2347755 352.61/180.54 c cleaning 12021 clauses out of 24042 with flag 186160/2360756 354.45/181.41 c cleaning 13011 clauses out of 26022 with flag 218276/2374757 356.25/182.31 c cleaning 14006 clauses out of 28012 with flag 253123/2389758 358.25/183.34 c cleaning 15000 clauses out of 30004 with flag 291022/2405756 360.25/184.38 c cleaning 16000 clauses out of 32003 with flag 329866/2422755 362.65/185.52 c cleaning 17000 clauses out of 34003 with flag 371627/2440755 364.85/186.68 c cleaning 18002 clauses out of 36003 with flag 414703/2459755 367.25/187.88 c cleaning 18999 clauses out of 38001 with flag 460689/2479755 370.26/189.34 c cleaning 19995 clauses out of 40002 with flag 509128/2500755 373.65/191.03 c cleaning 20999 clauses out of 42007 with flag 561349/2522755 376.66/192.60 c cleaning 22002 clauses out of 44008 with flag 613787/2545755 380.05/194.24 c cleaning 23000 clauses out of 46007 with flag 668966/2569756 383.65/196.04 c cleaning 23998 clauses out of 48006 with flag 726449/2594755 387.45/197.99 c cleaning 24999 clauses out of 50009 with flag 785586/2620756 391.45/199.91 c cleaning 26003 clauses out of 52010 with flag 847148/2647756 395.86/202.19 c cleaning 27003 clauses out of 54006 with flag 910989/2675755 400.66/204.51 c cleaning 28000 clauses out of 56003 with flag 977797/2704755 405.86/207.18 c cleaning 28997 clauses out of 58004 with flag 1046682/2734756 413.29/210.83 c cleaning 30004 clauses out of 60007 with flag 1119626/2765756 419.28/213.85 c cleaning 31000 clauses out of 62003 with flag 1192000/2797756 423.94/216.12 c And the winner is solver0 423.98/216.31 c Got one! Elapsed wall clock time (in seconds):216.19 423.98/216.31 o 26737924325 424.76/216.78 c cleaning 29865 clauses out of 59740 with flag 11290/2826493 425.55/217.16 c cleaning 17934 clauses out of 35875 with flag 25135/2832493 426.35/217.56 c cleaning 12465 clauses out of 24942 with flag 41125/2839494 427.36/218.01 c cleaning 10230 clauses out of 20476 with flag 59456/2847493 428.36/218.50 c cleaning 9616 clauses out of 19246 with flag 80052/2856493 429.37/219.05 c cleaning 9812 clauses out of 19630 with flag 103089/2866493 430.56/219.65 c cleaning 10406 clauses out of 20818 with flag 128258/2877493 431.96/220.34 c cleaning 11203 clauses out of 22413 with flag 155666/2889494 433.36/221.09 c cleaning 12101 clauses out of 24211 with flag 185214/2902495 435.16/221.92 c cleaning 13055 clauses out of 26109 with flag 217473/2916494 436.75/222.78 c cleaning 14021 clauses out of 28053 with flag 252001/2931493 438.95/223.85 c cleaning 15011 clauses out of 30032 with flag 290202/2947493 441.35/225.04 c cleaning 16005 clauses out of 32022 with flag 332975/2964494 443.75/226.22 c cleaning 17004 clauses out of 34017 with flag 375531/2982494 446.35/227.51 c cleaning 18005 clauses out of 36013 with flag 420753/3001494 448.75/228.80 c cleaning 18999 clauses out of 38007 with flag 467462/3021493 451.55/230.14 c cleaning 19997 clauses out of 40008 with flag 514897/3042493 454.35/231.56 c cleaning 21001 clauses out of 42011 with flag 565218/3064493 457.35/233.07 c cleaning 22003 clauses out of 44011 with flag 618716/3087494 460.75/234.74 c cleaning 23001 clauses out of 46007 with flag 674347/3111493 464.15/236.42 c cleaning 23999 clauses out of 48006 with flag 732093/3136493 467.95/238.30 c cleaning 25003 clauses out of 50007 with flag 792330/3162493 471.95/240.38 c cleaning 26004 clauses out of 52007 with flag 855288/3189496 476.42/242.52 c cleaning 26996 clauses out of 54000 with flag 921057/3217493 480.62/244.61 c cleaning 27997 clauses out of 56005 with flag 987787/3246494 485.02/246.86 c cleaning 29004 clauses out of 58007 with flag 1056589/3276493 487.22/247.90 c And the winner is solver1 487.22/248.31 c Got one! Elapsed wall clock time (in seconds):248.197 487.22/248.31 o 26475398250 488.00/248.76 c cleaning 24970 clauses out of 49941 with flag 11139/3297431 488.78/249.15 c cleaning 15482 clauses out of 30971 with flag 24784/3303431 489.58/249.55 c cleaning 11244 clauses out of 22489 with flag 40521/3310431 490.38/249.99 c cleaning 9621 clauses out of 19245 with flag 58587/3318431 491.58/250.51 c cleaning 9313 clauses out of 18625 with flag 78800/3327432 492.58/251.07 c cleaning 9651 clauses out of 19311 with flag 101610/3337431 493.78/251.67 c cleaning 10330 clauses out of 20660 with flag 126603/3348431 495.18/252.35 c cleaning 11163 clauses out of 22331 with flag 153792/3360432 496.59/253.09 c cleaning 12084 clauses out of 24167 with flag 183661/3373431 498.46/253.98 c cleaning 13041 clauses out of 26083 with flag 215438/3387431 500.46/254.90 c cleaning 14015 clauses out of 28042 with flag 249813/3402431 502.46/255.93 c cleaning 15008 clauses out of 30027 with flag 286393/3418431 504.66/257.04 c cleaning 16006 clauses out of 32019 with flag 325307/3435431 507.06/258.24 c cleaning 17001 clauses out of 34013 with flag 367089/3453431 509.66/259.51 c cleaning 18003 clauses out of 36013 with flag 411690/3472432 512.46/260.91 c cleaning 19003 clauses out of 38010 with flag 457566/3492432 515.46/262.41 c cleaning 19995 clauses out of 40006 with flag 506134/3513431 518.46/263.95 c cleaning 21006 clauses out of 42011 with flag 557566/3535431 521.86/265.60 c cleaning 21999 clauses out of 44005 with flag 611479/3558431 525.28/267.37 c cleaning 23002 clauses out of 46006 with flag 668425/3582431 529.06/269.25 c cleaning 24000 clauses out of 48005 with flag 727162/3607432 533.32/271.36 c cleaning 25000 clauses out of 50005 with flag 787194/3633432 538.12/273.70 c cleaning 26000 clauses out of 52005 with flag 849780/3660432 542.93/276.12 c cleaning 27002 clauses out of 54004 with flag 914458/3688431 548.38/278.86 c cleaning 27999 clauses out of 56003 with flag 981847/3717432 553.79/281.56 c cleaning 28994 clauses out of 58003 with flag 1051188/3747431 559.02/284.14 c cleaning 29997 clauses out of 60009 with flag 1123468/3778431 560.42/284.87 c And the winner is solver1 560.42/285.32 c Got one! Elapsed wall clock time (in seconds):285.206 560.42/285.32 o 26212788875 561.19/285.71 c cleaning 22791 clauses out of 45586 with flag 11233/3794005 561.80/286.06 c cleaning 14398 clauses out of 28795 with flag 24799/3800005 562.58/286.44 c cleaning 10695 clauses out of 21397 with flag 40978/3807005 563.38/286.88 c cleaning 9347 clauses out of 18703 with flag 59103/3815006 564.38/287.39 c cleaning 9175 clauses out of 18356 with flag 79455/3824006 565.58/287.96 c cleaning 9587 clauses out of 19182 with flag 102205/3834007 566.98/288.60 c cleaning 10296 clauses out of 20593 with flag 127964/3845005 568.39/289.36 c cleaning 11146 clauses out of 22297 with flag 156570/3857005 569.98/290.12 c cleaning 12069 clauses out of 24151 with flag 185833/3870005 571.78/291.04 c cleaning 13037 clauses out of 26083 with flag 218905/3884006 573.58/291.95 c cleaning 14021 clauses out of 28045 with flag 253087/3899005 575.58/292.97 c cleaning 15003 clauses out of 30024 with flag 289901/3915005 577.78/294.05 c cleaning 16008 clauses out of 32021 with flag 328379/3932005 580.18/295.27 c cleaning 17003 clauses out of 34015 with flag 369571/3950007 583.04/296.67 c cleaning 18004 clauses out of 36010 with flag 414055/3969005 585.44/297.87 c cleaning 18999 clauses out of 38006 with flag 459837/3989005 588.25/299.29 c cleaning 20004 clauses out of 40007 with flag 507757/4010005 591.24/300.71 c cleaning 21001 clauses out of 42003 with flag 558549/4032005 594.44/302.30 c cleaning 21997 clauses out of 44003 with flag 612406/4055006 597.44/303.86 c cleaning 23000 clauses out of 46005 with flag 667649/4079005 601.23/305.72 c cleaning 24002 clauses out of 48009 with flag 726998/4104009 604.83/307.57 c cleaning 24998 clauses out of 50003 with flag 787556/4130005 608.83/309.56 c cleaning 26000 clauses out of 52006 with flag 851732/4157006 613.89/312.02 c cleaning 26999 clauses out of 54005 with flag 922016/4185005 618.29/314.28 c cleaning 28000 clauses out of 56006 with flag 988741/4214005 623.35/316.80 c cleaning 29003 clauses out of 58006 with flag 1057968/4244005 628.75/319.41 c cleaning 29998 clauses out of 60003 with flag 1131602/4275005 635.00/322.54 c cleaning 31000 clauses out of 62005 with flag 1207980/4307005 641.16/325.91 c cleaning 32001 clauses out of 64005 with flag 1283387/4340005 646.95/328.82 c cleaning 32993 clauses out of 66004 with flag 1361087/4374005 647.95/329.37 c And the winner is solver1 647.95/329.39 c Got one! Elapsed wall clock time (in seconds):329.278 647.95/329.39 o 25950179500 648.56/329.77 c cleaning 22987 clauses out of 45974 with flag 11598/4386968 649.41/330.14 c cleaning 14490 clauses out of 28984 with flag 25356/4392965 650.21/330.51 c cleaning 10744 clauses out of 21494 with flag 41140/4399965 651.01/330.92 c cleaning 9370 clauses out of 18750 with flag 59166/4407965 652.01/331.41 c cleaning 9190 clauses out of 18380 with flag 79847/4416965 653.01/331.94 c cleaning 9590 clauses out of 19190 with flag 102532/4426965 654.20/332.53 c cleaning 10301 clauses out of 20601 with flag 127857/4437966 655.60/333.20 c cleaning 11146 clauses out of 22300 with flag 155581/4449966 657.00/333.92 c cleaning 12071 clauses out of 24153 with flag 185341/4462965 658.60/334.71 c cleaning 13038 clauses out of 26082 with flag 217445/4476965 660.26/335.58 c cleaning 14021 clauses out of 28045 with flag 251484/4491966 662.25/336.50 c cleaning 15011 clauses out of 30023 with flag 288052/4507965 664.25/337.56 c cleaning 16000 clauses out of 32013 with flag 327052/4524966 666.65/338.77 c cleaning 17001 clauses out of 34012 with flag 368337/4542965 669.30/340.03 c cleaning 18006 clauses out of 36011 with flag 411862/4561965 671.89/341.33 c cleaning 19000 clauses out of 38006 with flag 458527/4581966 674.49/342.67 c cleaning 20001 clauses out of 40006 with flag 506248/4602966 677.53/344.19 c cleaning 20999 clauses out of 42005 with flag 555910/4624966 680.53/345.69 c cleaning 21999 clauses out of 44005 with flag 608219/4647965 683.94/347.30 c cleaning 22999 clauses out of 46006 with flag 663066/4671965 687.59/349.20 c cleaning 24002 clauses out of 48007 with flag 720904/4696965 691.40/351.02 c cleaning 25002 clauses out of 50006 with flag 779651/4722966 695.39/353.00 c cleaning 25999 clauses out of 52003 with flag 841174/4749965 699.46/355.06 c cleaning 26999 clauses out of 54004 with flag 904505/4777965 703.86/357.20 c cleaning 27997 clauses out of 56006 with flag 970916/4806966 708.25/359.48 c cleaning 29001 clauses out of 58008 with flag 1040115/4836965 709.49/360.03 c And the winner is solver1 709.49/360.40 c Got one! Elapsed wall clock time (in seconds):360.286 709.49/360.40 o 25687570125 710.09/360.78 c cleaning 21276 clauses out of 42556 with flag 11228/4850514 710.89/361.14 c cleaning 13633 clauses out of 27279 with flag 24780/4856513 711.69/361.52 c cleaning 10316 clauses out of 20647 with flag 40605/4863514 712.51/361.98 c cleaning 9163 clauses out of 18332 with flag 59016/4871515 713.69/362.50 c cleaning 9081 clauses out of 18167 with flag 79704/4880513 714.49/362.97 c And the winner is solver1 714.64/363.41 c Got one! Elapsed wall clock time (in seconds):363.29 714.64/363.41 o 25448201450 715.21/363.70 c cleaning 11622 clauses out of 23244 with flag 11543/4894671 715.81/364.02 c cleaning 8807 clauses out of 17623 with flag 25113/4900672 716.41/364.39 c cleaning 7907 clauses out of 15816 with flag 41328/4907672 717.41/364.81 c cleaning 7954 clauses out of 15908 with flag 59276/4915671 718.22/365.30 c cleaning 8474 clauses out of 16954 with flag 79704/4924671 719.41/365.84 c cleaning 9237 clauses out of 18480 with flag 102548/4934671 720.67/366.47 c cleaning 10123 clauses out of 20245 with flag 127652/4945673 722.06/367.16 c cleaning 11056 clauses out of 22121 with flag 154909/4957672 723.66/367.92 c cleaning 12030 clauses out of 24064 with flag 185001/4970671 725.46/368.81 c cleaning 13014 clauses out of 26035 with flag 218080/4984672 727.07/369.67 c cleaning 14006 clauses out of 28020 with flag 252281/4999671 729.05/370.60 c cleaning 15003 clauses out of 30014 with flag 288772/5015671 730.85/371.58 c cleaning 16005 clauses out of 32014 with flag 328342/5032674 733.10/372.67 c cleaning 17000 clauses out of 34006 with flag 370112/5050671 735.69/373.92 c cleaning 18000 clauses out of 36006 with flag 414901/5069671 738.49/375.32 c cleaning 19003 clauses out of 38007 with flag 460768/5089672 741.49/376.86 c cleaning 20002 clauses out of 40004 with flag 509150/5110672 744.75/378.44 c cleaning 21000 clauses out of 42002 with flag 559827/5132672 747.15/379.66 c And the winner is solver1 747.20/379.91 c Got one! Elapsed wall clock time (in seconds):379.796 747.20/379.91 o 25448159800 747.97/380.30 c cleaning 23258 clauses out of 46517 with flag 11240/5158187 748.58/380.64 c cleaning 14626 clauses out of 29259 with flag 24745/5164187 749.37/381.01 c cleaning 10811 clauses out of 21633 with flag 40389/5171187 750.17/381.42 c cleaning 9404 clauses out of 18823 with flag 58922/5179188 751.17/381.90 c cleaning 9203 clauses out of 18418 with flag 79691/5188187 752.17/382.41 c cleaning 9604 clauses out of 19215 with flag 102306/5198187 753.18/382.98 c cleaning 10303 clauses out of 20612 with flag 127222/5209188 754.63/383.69 c cleaning 11149 clauses out of 22309 with flag 154366/5221188 756.23/384.43 c cleaning 12075 clauses out of 24159 with flag 183781/5234187 757.83/385.29 c cleaning 13037 clauses out of 26084 with flag 215630/5248187 759.64/386.14 c cleaning 14024 clauses out of 28047 with flag 249384/5263187 761.63/387.12 c cleaning 15007 clauses out of 30023 with flag 286079/5279187 763.83/388.21 c cleaning 16006 clauses out of 32016 with flag 324806/5296187 766.07/389.40 c cleaning 17004 clauses out of 34010 with flag 365109/5314187 768.48/390.59 c cleaning 18000 clauses out of 36006 with flag 408341/5333187 770.88/391.78 c cleaning 19001 clauses out of 38006 with flag 453287/5353187 773.67/393.19 c cleaning 20002 clauses out of 40006 with flag 500594/5374188 776.93/394.72 c cleaning 21001 clauses out of 42003 with flag 550642/5396187 779.93/396.27 c cleaning 21997 clauses out of 44002 with flag 603233/5419187 783.33/397.97 c cleaning 23000 clauses out of 46005 with flag 658027/5443187 786.97/399.70 c cleaning 23996 clauses out of 48005 with flag 717778/5468187 790.58/401.60 c cleaning 25005 clauses out of 50010 with flag 777199/5494188 794.82/403.69 c cleaning 26001 clauses out of 52004 with flag 839779/5521187 799.82/406.19 c cleaning 27002 clauses out of 54004 with flag 906467/5549188 805.68/409.03 c cleaning 27996 clauses out of 56001 with flag 975535/5578187 810.88/411.65 c cleaning 29002 clauses out of 58005 with flag 1046446/5608187 815.53/413.95 c cleaning 29998 clauses out of 60003 with flag 1116511/5639187 820.13/416.27 c cleaning 31000 clauses out of 62006 with flag 1189767/5671188 826.00/419.13 c cleaning 31996 clauses out of 64005 with flag 1264720/5704187 830.99/421.68 c cleaning 33002 clauses out of 66010 with flag 1341767/5738188 836.85/424.59 c cleaning 34001 clauses out of 68008 with flag 1420898/5773188 843.67/427.91 c cleaning 35002 clauses out of 70007 with flag 1503250/5809188 845.25/428.70 c And the winner is solver1 845.25/428.94 c Got one! Elapsed wall clock time (in seconds):428.828 845.25/428.94 o 25426418500 845.95/429.38 c cleaning 26093 clauses out of 52196 with flag 11268/5826379 846.75/429.79 c cleaning 16052 clauses out of 32103 with flag 25040/5832379 847.57/430.18 c cleaning 11522 clauses out of 23051 with flag 40713/5839379 848.62/430.68 c cleaning 9764 clauses out of 19528 with flag 58731/5847378 849.42/431.04 c And the winner is solver1 849.50/431.45 c Got one! Elapsed wall clock time (in seconds):431.332 849.50/431.45 o 25424960750 849.99/431.74 c cleaning 11040 clauses out of 22079 with flag 11470/5859693 850.59/432.05 c cleaning 8512 clauses out of 17040 with flag 25142/5865694 851.40/432.42 c cleaning 7759 clauses out of 15528 with flag 40946/5872694 852.19/432.83 c cleaning 7881 clauses out of 15768 with flag 59188/5880693 853.19/433.32 c cleaning 8433 clauses out of 16887 with flag 79772/5889693 853.60/433.50 c And the winner is solver1 853.61/433.95 c Got one! Elapsed wall clock time (in seconds):433.836 853.61/433.95 o 25162351375 853.70/434.07 c cleaning 7128 clauses out of 14260 with flag 4492/5895499 854.30/434.38 c cleaning 6562 clauses out of 13133 with flag 17975/5901500 855.10/434.75 c cleaning 6781 clauses out of 13570 with flag 33731/5908499 855.90/435.17 c cleaning 7392 clauses out of 14790 with flag 52026/5916500 856.91/435.64 c cleaning 8199 clauses out of 16398 with flag 72336/5925500 858.10/436.24 c cleaning 9099 clauses out of 18198 with flag 96098/5935499 859.31/436.83 c cleaning 10049 clauses out of 20100 with flag 121141/5946500 860.78/437.53 c cleaning 11018 clauses out of 22050 with flag 148598/5958499 862.38/438.31 c cleaning 12012 clauses out of 24032 with flag 178644/5971499 863.80/439.09 c cleaning 13009 clauses out of 26020 with flag 210415/5985499 865.80/440.02 c cleaning 14006 clauses out of 28012 with flag 245434/6000500 867.78/441.04 c cleaning 14997 clauses out of 30006 with flag 282176/6016500 870.20/442.27 c cleaning 16001 clauses out of 32009 with flag 321452/6033500 872.78/443.51 c cleaning 16998 clauses out of 34007 with flag 363343/6051499 875.44/444.85 c cleaning 18001 clauses out of 36010 with flag 408111/6070500 878.24/446.24 c cleaning 19001 clauses out of 38008 with flag 453915/6090499 881.25/447.77 c cleaning 20001 clauses out of 40008 with flag 501359/6111500 884.24/449.22 c cleaning 21002 clauses out of 42006 with flag 551238/6133499 887.23/450.75 c cleaning 22002 clauses out of 44004 with flag 603404/6156499 890.73/452.47 c cleaning 22999 clauses out of 46003 with flag 657832/6180500 893.93/454.04 c cleaning 24001 clauses out of 48004 with flag 713864/6205500 897.73/455.92 c cleaning 24998 clauses out of 50002 with flag 772339/6231499 901.93/458.09 c cleaning 25999 clauses out of 52004 with flag 834263/6258499 906.41/460.28 c cleaning 26997 clauses out of 54006 with flag 898270/6286500 911.01/462.57 c cleaning 28001 clauses out of 56008 with flag 964590/6315499 912.81/463.41 c And the winner is solver1 912.81/463.46 c Got one! Elapsed wall clock time (in seconds):463.344 912.81/463.46 o 25162226425 913.41/463.85 c cleaning 22494 clauses out of 44992 with flag 11412/6332484 914.01/464.18 c cleaning 14244 clauses out of 28498 with flag 25068/6338484 914.81/464.54 c cleaning 10626 clauses out of 21255 with flag 41042/6345485 915.61/464.96 c cleaning 9307 clauses out of 18628 with flag 59967/6353484 916.62/465.48 c cleaning 9157 clauses out of 18321 with flag 80590/6362484 917.81/466.02 c cleaning 9578 clauses out of 19165 with flag 103203/6372485 919.01/466.60 c cleaning 10290 clauses out of 20587 with flag 128154/6383485 920.21/467.29 c cleaning 11142 clauses out of 22296 with flag 155912/6395484 922.05/468.11 c cleaning 12073 clauses out of 24154 with flag 186111/6408484 923.85/469.10 c cleaning 13034 clauses out of 26081 with flag 219595/6422484 924.85/469.58 c And the winner is solver1 925.00/469.97 c Got one! Elapsed wall clock time (in seconds):469.849 925.00/469.97 o 24899742000 925.46/470.25 c cleaning 13149 clauses out of 26302 with flag 11483/6435739 926.06/470.56 c cleaning 9573 clauses out of 19153 with flag 24987/6441739 926.87/470.93 c cleaning 8288 clauses out of 16580 with flag 40653/6448739 927.66/471.32 c cleaning 8138 clauses out of 16292 with flag 59383/6456739 928.46/471.78 c cleaning 8572 clauses out of 17155 with flag 79881/6465740 928.66/471.85 c And the winner is solver1 928.77/471.97 c Got one! Elapsed wall clock time (in seconds):471.853 928.77/471.97 o 24637132625 929.01/472.18 c cleaning 7140 clauses out of 14286 with flag 9185/6471443 929.61/472.47 c cleaning 6568 clauses out of 13146 with flag 22747/6477443 930.41/472.83 c cleaning 6786 clauses out of 13577 with flag 38367/6484442 931.21/473.25 c cleaning 7393 clauses out of 14791 with flag 56789/6492442 932.21/473.74 c cleaning 8196 clauses out of 16398 with flag 77356/6501442 933.41/474.32 c cleaning 9102 clauses out of 18203 with flag 100300/6511443 934.61/474.96 c cleaning 10046 clauses out of 20100 with flag 125485/6522442 936.21/475.71 c cleaning 11023 clauses out of 22054 with flag 153411/6534442 937.88/476.60 c cleaning 12013 clauses out of 24032 with flag 183875/6547443 939.90/477.58 c cleaning 13005 clauses out of 26018 with flag 217615/6561442 941.68/478.50 c cleaning 14001 clauses out of 28014 with flag 252128/6576443 943.68/479.49 c cleaning 15004 clauses out of 30013 with flag 288541/6592443 946.08/480.60 c cleaning 16002 clauses out of 32008 with flag 327458/6609442 948.28/481.78 c cleaning 17001 clauses out of 34007 with flag 368407/6627443 950.89/483.01 c cleaning 17999 clauses out of 36005 with flag 411258/6646442 953.28/484.28 c cleaning 19000 clauses out of 38006 with flag 456560/6666442 956.56/485.81 c cleaning 19999 clauses out of 40006 with flag 504777/6687442 959.36/487.27 c cleaning 20997 clauses out of 42007 with flag 555338/6709442 959.78/487.41 c And the winner is solver1 959.78/487.48 c Got one! Elapsed wall clock time (in seconds):487.359 959.78/487.48 o 24378604950 959.99/487.65 c cleaning 13235 clauses out of 26470 with flag 6811/6714902 960.58/487.95 c cleaning 9617 clauses out of 19236 with flag 20446/6720903 961.18/488.29 c cleaning 8309 clauses out of 16619 with flag 36084/6727903 961.98/488.68 c cleaning 8155 clauses out of 16311 with flag 54868/6735904 962.98/489.14 c cleaning 8574 clauses out of 17154 with flag 75289/6744902 964.00/489.64 c cleaning 9286 clauses out of 18580 with flag 98254/6754902 965.18/490.21 c cleaning 10146 clauses out of 20295 with flag 123683/6765903 966.38/490.84 c cleaning 11072 clauses out of 22148 with flag 151534/6777902 967.78/491.55 c cleaning 12038 clauses out of 24077 with flag 181195/6790903 969.38/492.36 c cleaning 13016 clauses out of 26038 with flag 213724/6804902 971.26/493.28 c cleaning 14010 clauses out of 28022 with flag 248157/6819902 973.06/494.17 c cleaning 15002 clauses out of 30013 with flag 284845/6835903 975.46/495.34 c cleaning 16003 clauses out of 32010 with flag 324678/6852902 977.86/496.54 c cleaning 17002 clauses out of 34008 with flag 367222/6870903 980.46/497.80 c cleaning 18001 clauses out of 36006 with flag 412709/6889903 983.07/499.10 c cleaning 19000 clauses out of 38004 with flag 459476/6909902 985.66/500.46 c cleaning 19999 clauses out of 40004 with flag 508077/6930902 988.73/501.98 c cleaning 21003 clauses out of 42006 with flag 559944/6952903 991.53/503.35 c cleaning 21998 clauses out of 44002 with flag 611898/6975902 994.53/504.84 c cleaning 23000 clauses out of 46004 with flag 666031/6999902 997.52/506.33 c cleaning 24002 clauses out of 48005 with flag 722990/7024903 1000.72/507.95 c cleaning 24998 clauses out of 50002 with flag 782521/7050902 1004.38/509.76 c cleaning 25999 clauses out of 52005 with flag 844222/7077903 1008.19/511.69 c cleaning 26998 clauses out of 54005 with flag 908924/7105902 1011.77/513.48 c cleaning 27999 clauses out of 56007 with flag 974531/7134902 1016.17/515.63 c cleaning 29000 clauses out of 58009 with flag 1042347/7164903 1016.78/515.96 c And the winner is solver1 1016.78/515.99 c Got one! Elapsed wall clock time (in seconds):515.867 1016.78/515.99 o 24116287125 1017.41/516.38 c cleaning 20207 clauses out of 40422 with flag 11016/7176316 1018.21/516.70 c cleaning 13103 clauses out of 26214 with flag 24748/7182315 1018.82/517.04 c cleaning 10054 clauses out of 20111 with flag 40512/7189315 1019.61/517.41 c cleaning 9024 clauses out of 18059 with flag 58755/7197317 1020.41/517.87 c cleaning 9010 clauses out of 18033 with flag 79038/7206315 1021.41/518.39 c cleaning 9512 clauses out of 19024 with flag 102134/7216316 1022.61/518.98 c cleaning 10251 clauses out of 20511 with flag 127526/7227315 1024.01/519.61 c cleaning 11125 clauses out of 22261 with flag 154780/7239316 1025.21/520.30 c cleaning 12063 clauses out of 24135 with flag 183973/7252315 1026.81/521.05 c cleaning 13033 clauses out of 26072 with flag 215966/7266315 1028.41/521.87 c cleaning 14016 clauses out of 28040 with flag 249921/7281316 1030.21/522.74 c cleaning 15006 clauses out of 30024 with flag 285681/7297316 1032.02/523.67 c cleaning 16003 clauses out of 32018 with flag 323864/7314316 1034.49/524.89 c cleaning 17004 clauses out of 34015 with flag 365885/7332316 1037.07/526.19 c cleaning 18002 clauses out of 36010 with flag 412254/7351315 1039.67/527.45 c cleaning 19001 clauses out of 38009 with flag 458055/7371316 1042.47/528.81 c cleaning 20003 clauses out of 40007 with flag 505741/7392315 1045.28/530.27 c cleaning 21000 clauses out of 42006 with flag 556179/7414317 1048.75/531.92 c cleaning 21999 clauses out of 44004 with flag 608759/7437315 1051.54/533.35 c And the winner is solver1 1051.56/533.49 c Got one! Elapsed wall clock time (in seconds):533.374 1051.56/533.49 o 23859425450 1052.17/533.89 c cleaning 24611 clauses out of 49224 with flag 11039/7464534 1052.97/534.24 c cleaning 15304 clauses out of 30614 with flag 24322/7470535 1053.56/534.60 c cleaning 11154 clauses out of 22309 with flag 39885/7477534 1054.56/535.01 c cleaning 9573 clauses out of 19155 with flag 57763/7485534 1055.36/535.48 c cleaning 9289 clauses out of 18583 with flag 78450/7494535 1056.56/536.02 c cleaning 9644 clauses out of 19294 with flag 102403/7504535 1057.76/536.64 c cleaning 10322 clauses out of 20649 with flag 128220/7515534 1059.16/537.31 c cleaning 11162 clauses out of 22327 with flag 155535/7527534 1060.58/538.04 c cleaning 12080 clauses out of 24165 with flag 184834/7540534 1062.43/538.97 c cleaning 13037 clauses out of 26085 with flag 217382/7554534 1064.23/539.83 c cleaning 14017 clauses out of 28048 with flag 251650/7569534 1066.03/540.76 c cleaning 15012 clauses out of 30031 with flag 287656/7585534 1068.43/541.94 c cleaning 16011 clauses out of 32021 with flag 327657/7602536 1070.63/543.08 c cleaning 17000 clauses out of 34008 with flag 368234/7620534 1073.03/544.29 c cleaning 18002 clauses out of 36009 with flag 412082/7639535 1075.63/545.55 c cleaning 19001 clauses out of 38006 with flag 457252/7659534 1078.49/546.99 c cleaning 20002 clauses out of 40006 with flag 504753/7680535 1081.89/548.61 c cleaning 21002 clauses out of 42003 with flag 555903/7702534 1084.90/550.15 c cleaning 22001 clauses out of 44003 with flag 608141/7725536 1088.29/551.84 c cleaning 22997 clauses out of 46000 with flag 664266/7749534 1092.14/553.73 c cleaning 24002 clauses out of 48003 with flag 721399/7774534 1095.76/555.57 c cleaning 24997 clauses out of 50002 with flag 780228/7800535 1100.36/557.83 c cleaning 26003 clauses out of 52005 with flag 842879/7827535 1104.56/559.93 c cleaning 27001 clauses out of 54001 with flag 907159/7855534 1110.52/563.59 c cleaning 27999 clauses out of 56001 with flag 974261/7884535 1114.72/565.68 c cleaning 28998 clauses out of 58002 with flag 1042780/7914535 1120.54/568.50 c cleaning 30000 clauses out of 60004 with flag 1112711/7945535 1125.74/571.18 c cleaning 30996 clauses out of 62003 with flag 1185321/7977534 1130.94/573.76 c cleaning 32001 clauses out of 64008 with flag 1259738/8010535 1136.43/576.43 c cleaning 33000 clauses out of 66007 with flag 1339694/8044535 1141.81/579.12 c cleaning 33999 clauses out of 68006 with flag 1419273/8079534 1148.28/582.32 c cleaning 35000 clauses out of 70007 with flag 1501233/8115534 1153.88/585.18 c cleaning 35999 clauses out of 72009 with flag 1584039/8152536 1160.70/588.59 c cleaning 37000 clauses out of 74009 with flag 1669569/8190535 1168.14/592.28 c cleaning 37999 clauses out of 76008 with flag 1758747/8229534 1176.36/596.32 c cleaning 39002 clauses out of 78010 with flag 1850149/8269535 1184.00/600.19 c cleaning 40000 clauses out of 80008 with flag 1944737/8310535 1192.00/604.17 c cleaning 40997 clauses out of 82007 with flag 2041905/8352534 1199.19/607.77 c cleaning 42004 clauses out of 84011 with flag 2139969/8395535 1207.09/611.65 c cleaning 42999 clauses out of 86006 with flag 2242575/8439534 1215.67/615.96 c cleaning 44001 clauses out of 88008 with flag 2345786/8484535 1224.76/620.47 c cleaning 44999 clauses out of 90007 with flag 2449928/8530535 1233.42/624.70 c cleaning 45998 clauses out of 92007 with flag 2556329/8577534 1242.22/629.18 c cleaning 47001 clauses out of 94009 with flag 2666227/8625534 1250.68/633.32 c cleaning 48005 clauses out of 96010 with flag 2777628/8674536 1259.28/637.67 c cleaning 48998 clauses out of 98003 with flag 2891127/8724534 1268.15/642.00 c cleaning 49999 clauses out of 100006 with flag 3007548/8775535 1278.21/647.02 c cleaning 51000 clauses out of 102006 with flag 3126022/8827534 1287.21/651.57 c cleaning 51998 clauses out of 104006 with flag 3246173/8880534 1297.26/656.51 c cleaning 52997 clauses out of 106008 with flag 3369640/8934534 1307.72/661.79 c cleaning 54001 clauses out of 108011 with flag 3494941/8989534 1318.52/667.17 c cleaning 55004 clauses out of 110010 with flag 3622240/9045534 1329.58/672.66 c cleaning 55996 clauses out of 112006 with flag 3751358/9102534 1341.04/678.33 c cleaning 57001 clauses out of 114011 with flag 3883795/9160535 1355.14/685.37 c cleaning 57997 clauses out of 116010 with flag 4021248/9219535 1368.18/691.81 c cleaning 59005 clauses out of 118012 with flag 4158934/9279534 1381.03/698.28 c cleaning 59999 clauses out of 120007 with flag 4298618/9340534 1394.23/704.88 c cleaning 60997 clauses out of 122009 with flag 4440923/9402535 1409.09/712.27 c cleaning 61997 clauses out of 124012 with flag 4587083/9465535 1423.15/719.23 c cleaning 62999 clauses out of 126014 with flag 4733069/9529534 1436.61/725.94 c cleaning 64003 clauses out of 128017 with flag 4881759/9594536 1445.48/730.39 c And the winner is solver1 1445.48/730.68 c Got one! Elapsed wall clock time (in seconds):730.559 1445.48/730.68 o 23614350725 1446.92/731.41 c cleaning 59734 clauses out of 119477 with flag 11115/9649999 1447.72/731.88 c cleaning 32870 clauses out of 65744 with flag 24709/9656000 1448.52/732.28 c cleaning 19936 clauses out of 39874 with flag 40555/9663000 1449.54/732.71 c cleaning 13969 clauses out of 27938 with flag 58853/9671000 1450.32/733.17 c cleaning 11479 clauses out of 22968 with flag 79580/9679999 1451.38/733.69 c cleaning 10738 clauses out of 21490 with flag 102638/9690000 1452.58/734.25 c cleaning 10871 clauses out of 21751 with flag 127409/9700999 1453.79/734.87 c cleaning 11438 clauses out of 22881 with flag 154404/9713000 1455.18/735.58 c cleaning 12214 clauses out of 24442 with flag 184309/9725999 1456.78/736.36 c cleaning 13109 clauses out of 26228 with flag 215681/9739999 1458.58/737.25 c cleaning 14060 clauses out of 28120 with flag 250066/9755000 1460.60/738.22 c cleaning 15027 clauses out of 30059 with flag 285989/9770999 1462.60/739.26 c cleaning 16012 clauses out of 32032 with flag 325604/9787999 1464.85/740.37 c cleaning 17007 clauses out of 34020 with flag 366012/9805999 1467.25/741.55 c cleaning 18007 clauses out of 36014 with flag 408997/9825000 1469.83/742.80 c cleaning 19003 clauses out of 38007 with flag 454094/9845000 1472.43/744.18 c cleaning 20001 clauses out of 40004 with flag 501716/9866000 1475.03/745.48 c cleaning 20997 clauses out of 42002 with flag 551424/9887999 1478.11/746.95 c cleaning 22002 clauses out of 44005 with flag 603781/9910999 1481.29/748.51 c cleaning 22999 clauses out of 46004 with flag 657964/9935000 1484.90/750.31 c cleaning 23997 clauses out of 48005 with flag 714992/9960000 1488.29/752.07 c cleaning 25004 clauses out of 50008 with flag 774542/9986000 1492.34/754.07 c cleaning 26000 clauses out of 52004 with flag 836714/10013000 1496.54/756.19 c cleaning 27000 clauses out of 54003 with flag 902918/10040999 1501.21/758.47 c cleaning 28001 clauses out of 56003 with flag 970701/10069999 1505.60/760.62 c cleaning 28999 clauses out of 58003 with flag 1039074/10100000 1510.00/762.83 c cleaning 29998 clauses out of 60003 with flag 1110128/10130999 1515.27/765.48 c cleaning 30998 clauses out of 62005 with flag 1183422/10162999 1520.09/767.88 c cleaning 32004 clauses out of 64008 with flag 1259413/10196000 1525.07/770.34 c cleaning 32998 clauses out of 66004 with flag 1337139/10230000 1530.51/773.00 c cleaning 34003 clauses out of 68005 with flag 1417292/10264999 1535.73/775.63 c cleaning 35000 clauses out of 70003 with flag 1500313/10301000 1541.80/778.68 c cleaning 35999 clauses out of 72002 with flag 1586742/10337999 1548.40/781.93 c cleaning 37000 clauses out of 74003 with flag 1675886/10375999 1555.00/785.27 c cleaning 38001 clauses out of 76003 with flag 1764320/10414999 1561.20/788.31 c cleaning 39001 clauses out of 78003 with flag 1855335/10455000 1568.20/791.87 c cleaning 39998 clauses out of 80002 with flag 1949385/10496000 1574.99/795.25 c cleaning 40997 clauses out of 82004 with flag 2045016/10538000 1582.79/799.15 c cleaning 42002 clauses out of 84006 with flag 2145623/10580999 1590.61/803.08 c cleaning 42999 clauses out of 86004 with flag 2247788/10624999 1598.19/806.83 c cleaning 44002 clauses out of 88006 with flag 2350130/10670000 1608.35/812.87 c cleaning 44999 clauses out of 90004 with flag 2454121/10716000 1616.15/816.73 c cleaning 45999 clauses out of 92005 with flag 2561834/10763000 1624.75/821.03 c cleaning 47001 clauses out of 94006 with flag 2671300/10811000 1635.55/826.47 c cleaning 48000 clauses out of 96005 with flag 2787878/10860000 1647.35/832.33 c cleaning 49003 clauses out of 98005 with flag 2904776/10910000 1658.35/837.85 c cleaning 49998 clauses out of 100002 with flag 3024051/10961000 1670.17/843.77 c cleaning 50995 clauses out of 102003 with flag 3144373/11012999 1681.96/849.69 c cleaning 52000 clauses out of 104008 with flag 3267221/11065999 1692.55/854.98 c cleaning 52997 clauses out of 106008 with flag 3390152/11119999 1706.55/861.93 c cleaning 54001 clauses out of 108011 with flag 3522223/11174999 1720.35/868.87 c cleaning 55005 clauses out of 110010 with flag 3652824/11230999 1732.55/874.90 c cleaning 56002 clauses out of 112005 with flag 3785643/11287999 1744.34/880.80 c cleaning 56995 clauses out of 114003 with flag 3921607/11345999 1759.02/888.11 c cleaning 58001 clauses out of 116008 with flag 4064623/11404999 1774.82/896.04 c cleaning 59002 clauses out of 118007 with flag 4207435/11464999 1789.23/903.26 c cleaning 60003 clauses out of 120006 with flag 4350358/11526000 1800.03/908.61 c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<< 1800.03/908.61 c starts : 229221 1800.03/908.61 c conflicts : 11577164 1800.03/908.61 c decisions : 29987047 1800.03/908.61 c propagations : 595049832 1800.03/908.61 c inspects : 9635697141 1800.03/908.61 c shortcuts : 0 1800.03/908.61 c learnt literals : 4 1800.03/908.61 c learnt binary clauses : 1 1800.03/908.61 c learnt ternary clauses : 0 1800.03/908.61 c learnt constraints : 11577160 1800.03/908.61 c ignored constraints : 0 1800.03/908.61 c root simplifications : 0 1800.03/908.61 c removed literals (reason simplification) : 32580613 1800.03/908.61 c reason swapping (by a shorter reason) : 0 1800.03/908.61 c Calls to reduceDB : 562 1800.03/908.61 c Number of update (reduction) of LBD : 591272 1800.03/908.61 c Imported unit clauses : 0 1800.03/908.61 c number of reductions to clauses (during analyze) : 0 1800.03/908.61 c number of learned constraints concerned by reduction : 0 1800.03/908.61 c number of learning phase by resolution : 0 1800.03/908.61 c number of learning phase by cutting planes : 0 1800.03/908.61 c speed (assignments/second) : 3344272.9597428213 1800.03/908.61 c non guided choices 2017 1800.03/908.63 c learnt constraints type 1800.03/908.63 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.03/908.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111166 1800.03/908.63 c >>>>>>>>>> Solver number 1 (34 answers) <<<<<<<<<<<<<<<<<< 1800.03/908.63 c starts : 97 1800.03/908.63 c conflicts : 15066 1800.03/908.63 c decisions : 128556 1800.03/908.63 c propagations : 3803449 1800.03/908.63 c inspects : 501728133 1800.03/908.63 c shortcuts : 0 1800.03/908.63 c learnt literals : 1 1800.03/908.63 c learnt binary clauses : 15 1800.03/908.63 c learnt ternary clauses : 47 1800.03/908.63 c learnt constraints : 15061 1800.03/908.63 c ignored constraints : 0 1800.03/908.63 c root simplifications : 0 1800.03/908.63 c removed literals (reason simplification) : 0 1800.03/908.63 c reason swapping (by a shorter reason) : 0 1800.03/908.63 c Calls to reduceDB : 0 1800.03/908.63 c Number of update (reduction) of LBD : 0 1800.03/908.63 c Imported unit clauses : 0 1800.03/908.63 c number of reductions to clauses (during analyze) : 0 1800.03/908.63 c number of learned constraints concerned by reduction : 0 1800.03/908.63 c number of learning phase by resolution : 0 1800.03/908.63 c number of learning phase by cutting planes : 0 1800.03/908.63 c speed (assignments/second) : 5493.931821464684 1800.03/908.64 c non guided choices 9929 1800.03/908.64 c learnt constraints type 1800.03/908.64 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1017 1800.03/908.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.03/908.64 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 14 1800.03/908.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14028 1800.03/908.64 s SATISFIABLE 1800.03/908.64 c Found 41 solution(s) 1800.03/908.65 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 1800.03/908.66 c objective function=23614350725 1800.03/908.66 c Total wall clock time (in seconds): 908.547
OK 23614350725
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-4111121-1466398260/watcher-4111121-1466398260 -o /tmp/evaluation-result-4111121-1466398260/solver-4111121-1466398260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28732 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111121-1466398260.opb pid=2150 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: 4.72 4.26 4.14 4/198 2153 /proc/meminfo: memFree=27418704/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/2153/stat : 2153 (java) R 2150 2153 28716 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 41876532 278528 34 33554432000 1073741824 1073778376 140733499246064 140735521740472 249640873255 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 625 42 34 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 4.72 4.26 4.14 4/198 2153 /proc/meminfo: memFree=27418704/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 4422 0 1 0 8 2 0 0 20 0 18 0 41876532 9787879424 6047 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2389619 6047 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200218 s] /proc/loadavg: 4.72 4.26 4.14 4/198 2153 /proc/meminfo: memFree=27418704/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 4719 0 1 0 23 2 0 0 20 0 18 0 41876532 9787879424 7288 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2389619 7288 2201 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300234 s] /proc/loadavg: 4.72 4.26 4.14 4/198 2153 /proc/meminfo: memFree=27418704/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9558476 CPUtime=0.48 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 6011 0 1 0 46 2 0 0 20 0 18 0 41876532 9787879424 9159 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2389619 9159 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700191 s] /proc/loadavg: 4.72 4.26 4.14 4/198 2153 /proc/meminfo: memFree=27418704/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9825340 CPUtime=1.76 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 24697 0 1 0 169 7 0 0 20 0 22 0 41876532 10061148160 31176 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456335 31176 2252 9 0 2447012 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 9825340 [startup+1.50072 s] /proc/loadavg: 4.72 4.26 4.14 4/216 2175 /proc/meminfo: memFree=27309784/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9824732 CPUtime=3.16 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 26303 0 1 0 305 11 0 0 20 0 19 0 41876532 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456183 29680 2270 9 0 2446860 0 [pid=2153/tid=2155] ppid=2150 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/2153/task/2155/stat : 2155 (java) S 2150 2153 28716 0 -1 4202560 2460 0 1 0 54 3 0 0 20 0 19 0 41876533 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251313554296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2156] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2156/stat : 2156 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251286006696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2157] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2157/stat : 2157 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251156229160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2158] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2158/stat : 2158 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251155176104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2159] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2159/stat : 2159 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251154123560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2160] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2160/stat : 2160 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251153070504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2161] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2161/stat : 2161 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140251152017960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2162] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2162/stat : 2162 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250814867624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2163] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41876535 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41876536 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41876536 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=0.84 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10690 0 0 0 82 2 0 0 20 0 19 0 41876538 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=0.84 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 11809 0 0 0 82 2 0 0 20 0 19 0 41876538 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2175] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2175/stat : 2175 (java) S 2150 2153 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41876593 10060525568 29680 33554432000 1073741824 1073778376 140733499246064 140250788865448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.16 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 4.72 4.26 4.14 7/219 2184 /proc/meminfo: memFree=27293144/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9824732 CPUtime=4.58 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 31790 0 1 0 440 18 0 0 20 0 19 0 41876532 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456183 35825 2271 9 0 2446860 0 [pid=2153/tid=2155] ppid=2150 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/2153/task/2155/stat : 2155 (java) S 2150 2153 28716 0 -1 4202560 2461 0 1 0 56 3 0 0 20 0 19 0 41876533 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251313554296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2156] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2156/stat : 2156 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251286006696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2157] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2157/stat : 2157 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251156229160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2158] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2158/stat : 2158 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251155176104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2159] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2159/stat : 2159 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251154123560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2160] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2160/stat : 2160 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251153070504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2161] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2161/stat : 2161 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140251152017960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2162] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2162/stat : 2162 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250814867624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2163] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41876534 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41876535 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41876536 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41876536 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10691 0 0 0 124 2 0 0 20 0 19 0 41876538 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=1.34 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 17262 0 0 0 131 3 0 0 20 0 19 0 41876538 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41876538 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2175] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2175/stat : 2175 (java) S 2150 2153 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41876593 10060525568 35825 33554432000 1073741824 1073778376 140733499246064 140250788865448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.58 Current children cumulated vsize (KiB) 9824732 [startup+6.30086 s] /proc/loadavg: 4.50 4.22 4.13 3/216 2202 /proc/meminfo: memFree=27194608/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9824732 CPUtime=9.75 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 38766 0 1 0 939 36 0 0 20 0 22 0 41876532 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456183 61135 2294 9 0 2446860 0 [pid=2153/tid=2155] ppid=2150 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/2153/task/2155/stat : 2155 (java) S 2150 2153 28716 0 -1 4202560 2464 0 1 0 57 3 0 0 20 0 22 0 41876533 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251313554296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2156] ppid=2150 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/2153/task/2156/stat : 2156 (java) S 2150 2153 28716 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251286006696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2157] ppid=2150 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/2153/task/2157/stat : 2157 (java) S 2150 2153 28716 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251156229160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2158] ppid=2150 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/2153/task/2158/stat : 2158 (java) S 2150 2153 28716 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251155176104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2159] ppid=2150 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/2153/task/2159/stat : 2159 (java) S 2150 2153 28716 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251154123560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2160] ppid=2150 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/2153/task/2160/stat : 2160 (java) S 2150 2153 28716 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251153070504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2161] ppid=2150 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/2153/task/2161/stat : 2161 (java) S 2150 2153 28716 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140251152017960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2162] ppid=2150 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/2153/task/2162/stat : 2162 (java) S 2150 2153 28716 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250814867624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2163] ppid=2150 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 41876534 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 41876535 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10704 0 0 0 170 2 0 0 20 0 22 0 41876538 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 23948 0 0 0 210 4 0 0 20 0 22 0 41876538 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2193] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2193/stat : 2193 (java) S 2150 2153 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41876895 10060525568 61135 33554432000 1073741824 1073778376 140733499246064 140250789917864 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.75 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 551 0 0 0 147 13 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=4.73 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 3255 0 0 0 460 13 0 0 20 0 22 0 41876535 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10718 0 0 0 190 2 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=2.4 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 23973 0 0 0 236 4 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 47 0 0 0 11 13 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2362] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2362/stat : 2362 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41898166 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250789917480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2447] ppid=2150 vsize=9824732 CPUtime=89.11 cores=0,2,4,6 /proc/2153/task/2447/stat : 2447 (java) R 2150 2153 28716 0 -1 4202560 7 0 0 0 8910 1 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250788855696 140251167667424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2448] ppid=2150 vsize=9824732 CPUtime=89.11 cores=0,2,4,6 /proc/2153/task/2448/stat : 2448 (java) R 2150 2153 28716 0 -1 4202560 7 0 0 0 8910 1 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250790967640 140251167755671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2449] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2449/stat : 2449 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250792022824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1625.4 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 3.99 4.03 4.06 5/219 2452 /proc/meminfo: memFree=24528080/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9824732 CPUtime=1745.41 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 48619 0 1 0 174250 291 0 0 20 0 22 0 41876532 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456183 815750 2303 9 0 2446860 0 [pid=2153/tid=2155] ppid=2150 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/2153/task/2155/stat : 2155 (java) S 2150 2153 28716 0 -1 4202560 2470 0 1 0 68 3 0 0 20 0 22 0 41876533 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251313554296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2156] ppid=2150 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/2153/task/2156/stat : 2156 (java) S 2150 2153 28716 0 -1 4202560 540 0 0 0 172 17 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251286006696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2157] ppid=2150 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/2153/task/2157/stat : 2157 (java) S 2150 2153 28716 0 -1 4202560 477 0 0 0 174 17 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251156229160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2158] ppid=2150 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/2153/task/2158/stat : 2158 (java) S 2150 2153 28716 0 -1 4202560 559 0 0 0 178 18 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251155176104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2159] ppid=2150 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/2153/task/2159/stat : 2159 (java) S 2150 2153 28716 0 -1 4202560 568 0 0 0 163 17 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251154123560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2160] ppid=2150 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/2153/task/2160/stat : 2160 (java) S 2150 2153 28716 0 -1 4202560 523 0 0 0 149 15 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251153070504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2161] ppid=2150 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/2153/task/2161/stat : 2161 (java) S 2150 2153 28716 0 -1 4202560 545 0 0 0 163 17 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140251152017960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2162] ppid=2150 vsize=9824732 CPUtime=1.78 cores=0,2,4,6 /proc/2153/task/2162/stat : 2162 (java) S 2150 2153 28716 0 -1 4202560 668 0 0 0 161 17 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250814867624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2163] ppid=2150 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 551 0 0 0 147 13 0 0 20 0 22 0 41876534 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=4.73 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 3255 0 0 0 460 13 0 0 20 0 22 0 41876535 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10718 0 0 0 190 2 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=2.4 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 23973 0 0 0 236 4 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 41876538 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2362] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2362/stat : 2362 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41898166 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250789917480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2447] ppid=2150 vsize=9824732 CPUtime=148.95 cores=0,2,4,6 /proc/2153/task/2447/stat : 2447 (java) R 2150 2153 28716 0 -1 4202560 7 0 0 0 14893 2 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250788855696 140251168229599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2448] ppid=2150 vsize=9824732 CPUtime=148.96 cores=0,2,4,6 /proc/2153/task/2448/stat : 2448 (java) R 2150 2153 28716 0 -1 4202560 7 0 0 0 14894 2 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250790967640 140251168886232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2449] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2449/stat : 2449 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41949601 10060525568 815750 33554432000 1073741824 1073778376 140733499246064 140250792022824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1745.41 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+908.601 s] /proc/loadavg: 3.99 4.02 4.06 5/219 2452 /proc/meminfo: memFree=24538012/32872528 swapFree=190484/190484 [pid=2153] ppid=2150 vsize=9824732 CPUtime=1798.08 cores=0,2,4,6 /proc/2153/stat : 2153 (java) S 2150 2153 28716 0 -1 4202496 48631 0 1 0 179517 291 0 0 20 0 22 0 41876532 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140733499237200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2153/statm: 2456183 813176 2303 9 0 2446860 0 [pid=2153/tid=2155] ppid=2150 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/2153/task/2155/stat : 2155 (java) S 2150 2153 28716 0 -1 4202560 2470 0 1 0 68 4 0 0 20 0 22 0 41876533 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251313554296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2156] ppid=2150 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/2153/task/2156/stat : 2156 (java) S 2150 2153 28716 0 -1 4202560 540 0 0 0 173 17 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251286006696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2157] ppid=2150 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/2153/task/2157/stat : 2157 (java) S 2150 2153 28716 0 -1 4202560 480 0 0 0 176 17 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251156229160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2153/tid=2158] ppid=2150 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/2153/task/2158/stat : 2158 (java) S 2150 2153 28716 0 -1 4202560 559 0 0 0 180 18 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251155176104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2159] ppid=2150 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/2153/task/2159/stat : 2159 (java) S 2150 2153 28716 0 -1 4202560 568 0 0 0 168 17 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251154123560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2160] ppid=2150 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/2153/task/2160/stat : 2160 (java) S 2150 2153 28716 0 -1 4202560 523 0 0 0 151 15 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251153070504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2161] ppid=2150 vsize=9824732 CPUtime=1.82 cores=0,2,4,6 /proc/2153/task/2161/stat : 2161 (java) S 2150 2153 28716 0 -1 4202560 545 0 0 0 165 17 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140251152017960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2162] ppid=2150 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/2153/task/2162/stat : 2162 (java) S 2150 2153 28716 0 -1 4202560 669 0 0 0 163 17 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250814867624 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2163] ppid=2150 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/2153/task/2163/stat : 2163 (java) S 2150 2153 28716 0 -1 4202560 554 0 0 0 149 13 0 0 20 0 22 0 41876534 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250813815080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2164] ppid=2150 vsize=9824732 CPUtime=4.73 cores=0,2,4,6 /proc/2153/task/2164/stat : 2164 (java) S 2150 2153 28716 0 -1 4202560 3257 0 0 0 460 13 0 0 20 0 22 0 41876535 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250801617768 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2165] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2165/stat : 2165 (java) S 2150 2153 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250800564088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2166] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2166/stat : 2166 (java) S 2150 2153 28716 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 41876536 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250799510920 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2167] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2167/stat : 2167 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250798459664 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2168] ppid=2150 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/2153/task/2168/stat : 2168 (java) S 2150 2153 28716 0 -1 4202560 10718 0 0 0 190 2 0 0 20 0 22 0 41876538 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250797406520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2169] ppid=2150 vsize=9824732 CPUtime=2.4 cores=0,2,4,6 /proc/2153/task/2169/stat : 2169 (java) S 2150 2153 28716 0 -1 4202560 23973 0 0 0 236 4 0 0 20 0 22 0 41876538 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250796353976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2153/tid=2170] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2170/stat : 2170 (java) S 2150 2153 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41876538 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250795301112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2171] ppid=2150 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/2153/task/2171/stat : 2171 (java) S 2150 2153 28716 0 -1 4202560 53 0 0 0 12 14 0 0 20 0 22 0 41876538 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250794248776 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2362] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2362/stat : 2362 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41898166 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250789917480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2447] ppid=2150 vsize=9824732 CPUtime=175.14 cores=0,2,4,6 /proc/2153/task/2447/stat : 2447 (java) R 2150 2153 28716 0 -1 4202560 8 0 0 0 17512 2 0 0 20 0 22 0 41949601 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250788855696 140251168229599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2153/tid=2448] ppid=2150 vsize=9824732 CPUtime=175.14 cores=0,2,4,6 /proc/2153/task/2448/stat : 2448 (java) R 2150 2153 28716 0 -1 4202560 7 0 0 0 17512 2 0 0 20 0 22 0 41949601 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250790967648 140251168374957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2153/tid=2449] ppid=2150 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/2153/task/2449/stat : 2449 (java) S 2150 2153 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41949601 10060525568 813176 33554432000 1073741824 1073778376 140733499246064 140250792022824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 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 2153 sig 9 ??? kill -2153 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2153 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=409208 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=132523 # CPU time returned by wait4() is 1797.54 # while last known CPU time is 1798.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.94998 # lost CPU user time (s): 2.18005 # lost CPU system time (s): -0.23 Real time (s): 908.685 CPU time (s): 1800.03 CPU user time (s): 1797.35 CPU system time (s): 2.68 CPU usage (%): 198.092 Max. virtual memory (cumulated for all children) (KiB): 9825340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.41 system time used= 3.13252 maximum resident set size= 3397680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48670 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25490 involuntary context switches= 28867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.41218 second user time and 7.63384 second system time The end
Begin job on node102 at 2016-06-20 06:51:00 IDJOB=4111121 IDBENCH=108854 IDSOLVER=2543 FILE ID=node102/4111121-1466398260 RUNJOBID= node102-1466383830-28732 PBS_JOBID= 19923256 Free space on /tmp= 71716 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-2-irabcde.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111121-1466398260/watcher-4111121-1466398260 -o /tmp/evaluation-result-4111121-1466398260/solver-4111121-1466398260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28732 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111121-1466398260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d8c63127ebc38291ab659921ac81e4a RANDOM SEED=1436993021 node102.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.746 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 : 5333.49 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.746 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.746 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.56 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.746 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.746 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.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27418612 kB Buffers: 75672 kB Cached: 182684 kB SwapCached: 1784 kB Active: 4319632 kB Inactive: 196256 kB Active(anon): 4257868 kB Inactive(anon): 1900 kB Active(file): 61764 kB Inactive(file): 194356 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67098788 kB Dirty: 1020 kB Writeback: 0 kB AnonPages: 4447316 kB Mapped: 15524 kB Shmem: 0 kB Slab: 609888 kB SReclaimable: 53732 kB SUnreclaim: 556156 kB KernelStack: 1632 kB PageTables: 12676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4962844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4069376 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= 71724 MiB End job on node102 at 2016-06-20 07:06:09