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) | -1245798 | 1800.51 | 903.849 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb |
| MD5SUM | 0c3c379676a8ddac6d8ad36181bfd2e9 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1245798 |
| Best CPU time to get the best result obtained on this benchmark | 1800.51 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -950703 |
| Optimality of the best value was proved | NO |
| Number of variables | 6000 |
| Total number of constraints | 2171 |
| Number of constraints which are clauses | 222 |
| Number of constraints which are cardinality constraints (but not clauses) | 1914 |
| Number of constraints which are nor clauses,nor cardinality constraints | 35 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5998 |
| Number of terms in the objective function | 5995 |
| Biggest coefficient in the objective function | 91110 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 12969603 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 800000 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 28761906 |
| Number of bits of the biggest sum of numbers | 25 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4099774-1466206143.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.71/0.45 c ... done. Wall clock time 0.339s. 0.71/0.45 c declared #vars 6000 0.71/0.45 c #constraints 2294 0.71/0.45 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.71/0.45 c constraints type 0.71/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47 0.71/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1871 0.71/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 374 0.71/0.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 0.71/0.45 c 2294 constraints processed. 0.71/0.46 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.71/0.46 c constraints type 0.71/0.46 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 374 0.71/0.46 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 47 0.71/0.46 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1871 0.71/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 0.71/0.46 c 2294 constraints processed. 0.71/0.46 c objective function length is 5995 literals 4.13/1.72 c cleaning 2501 clauses out of 5002 with flag 10007/5002 6.48/2.82 c cleaning 4249 clauses out of 8500 with flag 22025/11001 9.08/4.18 c cleaning 5625 clauses out of 11250 with flag 36071/18000 12.68/5.83 c cleaning 6810 clauses out of 13625 with flag 52112/26000 16.29/7.66 c cleaning 7903 clauses out of 15815 with flag 70184/35000 20.08/9.53 c And the winner is solver1 20.18/9.97 c SATISFIABLE 20.18/9.97 c OPTIMIZING... 20.18/9.97 c Got one! Elapsed wall clock time (in seconds):9.853 20.18/9.97 o -890874 21.92/10.78 c And the winner is solver1 22.17/10.98 c Got one! Elapsed wall clock time (in seconds):10.869 22.17/10.98 o -890999 23.64/11.74 c cleaning 11338 clauses out of 22676 with flag 6448/49764 26.51/13.18 c cleaning 8670 clauses out of 17339 with flag 18750/55765 30.15/14.97 c cleaning 7835 clauses out of 15669 with flag 32888/62765 34.42/17.09 c cleaning 7915 clauses out of 15833 with flag 49043/70764 39.22/19.46 c cleaning 8458 clauses out of 16919 with flag 67207/79765 44.64/22.16 c cleaning 9225 clauses out of 18461 with flag 87437/89765 50.88/25.24 c cleaning 10113 clauses out of 20235 with flag 109696/100764 53.33/26.46 c And the winner is solver1 53.33/26.50 c Got one! Elapsed wall clock time (in seconds):26.383 53.33/26.50 o -891090 53.99/26.79 c cleaning 7663 clauses out of 15333 with flag 2193/105975 56.99/28.26 c cleaning 6835 clauses out of 13669 with flag 14911/111974 60.82/30.13 c cleaning 6917 clauses out of 13834 with flag 29020/118974 65.02/32.21 c cleaning 7459 clauses out of 14918 with flag 45120/126975 69.70/34.59 c cleaning 8227 clauses out of 16458 with flag 63236/135974 75.10/37.25 c cleaning 9114 clauses out of 18232 with flag 83423/145975 81.31/40.32 c And the winner is solver1 81.40/40.51 c Got one! Elapsed wall clock time (in seconds):40.395 81.40/40.51 o -891251 84.19/41.99 c cleaning 12514 clauses out of 25029 with flag 11047/161886 87.98/43.84 c cleaning 9257 clauses out of 18514 with flag 23134/167885 89.38/44.56 c And the winner is solver1 89.52/45.02 c Got one! Elapsed wall clock time (in seconds):44.905 89.52/45.02 o -891436 91.07/45.89 c cleaning 7421 clauses out of 14843 with flag 6524/173471 94.28/47.47 c cleaning 6711 clauses out of 13422 with flag 19080/179471 98.07/49.38 c cleaning 6851 clauses out of 13711 with flag 33167/186471 102.57/51.57 c cleaning 7428 clauses out of 14859 with flag 49318/194470 107.58/54.05 c cleaning 8216 clauses out of 16431 with flag 67604/203470 113.17/56.82 c cleaning 9103 clauses out of 18215 with flag 87759/213470 119.44/59.95 c cleaning 10057 clauses out of 20114 with flag 109919/224472 126.65/63.52 c cleaning 11024 clauses out of 22057 with flag 134147/236472 135.00/67.60 c cleaning 12010 clauses out of 24031 with flag 160282/249470 143.60/71.92 c cleaning 13008 clauses out of 26021 with flag 188537/263470 153.07/76.62 c cleaning 14001 clauses out of 28013 with flag 218766/278470 163.26/81.74 c cleaning 15003 clauses out of 30013 with flag 250960/294471 174.16/87.10 c cleaning 15999 clauses out of 32009 with flag 285357/311470 185.77/92.97 c cleaning 17000 clauses out of 34011 with flag 321589/329471 197.82/98.98 c cleaning 18002 clauses out of 36010 with flag 360012/348470 210.86/105.48 c cleaning 19001 clauses out of 38008 with flag 400283/368470 225.33/112.60 c cleaning 19999 clauses out of 40007 with flag 442706/389470 233.13/116.52 c And the winner is solver1 233.13/116.57 c Got one! Elapsed wall clock time (in seconds):116.454 233.13/116.57 o -1085140 235.87/117.90 c cleaning 18570 clauses out of 37140 with flag 10614/406602 239.35/119.62 c cleaning 12281 clauses out of 24569 with flag 22837/412601 243.35/121.60 c cleaning 9640 clauses out of 19288 with flag 36960/419601 247.84/123.86 c cleaning 8818 clauses out of 17648 with flag 53129/427601 248.44/124.12 c And the winner is solver1 248.49/124.58 c Got one! Elapsed wall clock time (in seconds):124.463 248.49/124.58 o -1155448 250.92/125.82 c cleaning 7368 clauses out of 14749 with flag 10660/433520 252.57/126.61 c And the winner is solver1 252.60/127.08 c Got one! Elapsed wall clock time (in seconds):126.971 252.60/127.08 o -1158013 253.62/127.66 c cleaning 6291 clauses out of 12587 with flag 4226/438726 256.41/129.06 c cleaning 6145 clauses out of 12296 with flag 16782/444726 259.81/130.76 c cleaning 6574 clauses out of 13152 with flag 30983/451727 264.07/132.84 c cleaning 7284 clauses out of 14577 with flag 47357/459726 268.87/135.29 c cleaning 8146 clauses out of 16294 with flag 65520/468727 274.52/138.09 c cleaning 9074 clauses out of 18147 with flag 85661/478726 280.72/141.16 c cleaning 10033 clauses out of 20073 with flag 107850/489726 287.57/144.54 c cleaning 11018 clauses out of 22040 with flag 132028/501726 295.22/148.31 c cleaning 12008 clauses out of 24022 with flag 158196/514726 304.11/153.09 c cleaning 13001 clauses out of 26015 with flag 186537/528727 313.30/157.61 c cleaning 14003 clauses out of 28014 with flag 216784/543727 316.12/159.09 c And the winner is solver1 316.31/159.31 c Got one! Elapsed wall clock time (in seconds):159.193 316.31/159.31 o -1158028 319.09/160.73 c cleaning 12018 clauses out of 24037 with flag 10762/553753 322.28/162.37 c cleaning 9008 clauses out of 18019 with flag 22865/559753 326.14/164.21 c cleaning 8005 clauses out of 16011 with flag 37008/566753 330.15/166.27 c cleaning 8000 clauses out of 16006 with flag 53170/574753 335.20/168.71 c cleaning 8504 clauses out of 17007 with flag 71258/583754 340.60/171.40 c cleaning 9249 clauses out of 18502 with flag 91441/593753 346.89/174.57 c cleaning 10121 clauses out of 20254 with flag 113629/604754 353.77/177.92 c cleaning 11064 clauses out of 22133 with flag 137860/616754 360.77/181.46 c cleaning 12029 clauses out of 24068 with flag 164080/629753 368.83/185.43 c cleaning 13018 clauses out of 26040 with flag 192327/643754 377.87/189.95 c cleaning 14010 clauses out of 28022 with flag 222560/658754 387.27/194.66 c cleaning 15006 clauses out of 30013 with flag 254764/674755 397.67/199.90 c cleaning 16002 clauses out of 32006 with flag 289046/691754 408.36/205.19 c cleaning 17000 clauses out of 34004 with flag 325512/709754 419.47/210.63 c cleaning 18000 clauses out of 36004 with flag 364014/728754 432.07/216.91 c cleaning 19002 clauses out of 38004 with flag 404314/748754 447.38/224.92 c cleaning 19998 clauses out of 40001 with flag 446762/769753 461.17/231.81 c cleaning 21000 clauses out of 42003 with flag 491642/791753 476.64/239.54 c cleaning 22002 clauses out of 44004 with flag 538205/814754 486.61/244.46 c And the winner is solver1 486.77/244.71 c Got one! Elapsed wall clock time (in seconds):244.598 486.77/244.71 o -1185700 489.73/246.24 c cleaning 20624 clauses out of 41252 with flag 11163/834004 493.33/248.05 c cleaning 13307 clauses out of 26628 with flag 23325/840004 497.40/250.09 c cleaning 10159 clauses out of 20320 with flag 37505/847003 502.00/252.36 c cleaning 9081 clauses out of 18163 with flag 53741/855005 502.99/252.85 c And the winner is solver1 503.11/253.24 c Got one! Elapsed wall clock time (in seconds):253.127 503.11/253.24 o -1203850 505.29/254.36 c cleaning 7407 clauses out of 14821 with flag 9012/860744 508.68/256.08 c cleaning 6706 clauses out of 13415 with flag 21296/866745 512.48/257.96 c cleaning 6851 clauses out of 13708 with flag 35477/873744 517.08/260.26 c cleaning 7425 clauses out of 14857 with flag 51668/881744 522.17/262.76 c cleaning 8210 clauses out of 16432 with flag 69841/890744 527.78/265.58 c cleaning 9112 clauses out of 18223 with flag 90069/900745 534.18/268.78 c cleaning 10056 clauses out of 20113 with flag 112243/911747 541.38/272.30 c cleaning 11025 clauses out of 22055 with flag 136404/923745 548.78/276.09 c cleaning 12015 clauses out of 24029 with flag 162655/936744 557.38/280.31 c cleaning 13006 clauses out of 26015 with flag 190905/950745 567.04/285.18 c cleaning 14001 clauses out of 28010 with flag 221096/965746 577.65/290.46 c cleaning 14999 clauses out of 30008 with flag 253216/981745 579.44/291.33 c And the winner is solver1 579.52/291.75 c Got one! Elapsed wall clock time (in seconds):291.641 579.52/291.75 o -1237208 581.21/292.66 c cleaning 10414 clauses out of 20836 with flag 6779/987572 584.84/294.42 c cleaning 8205 clauses out of 16422 with flag 19563/993572 589.04/296.50 c cleaning 7600 clauses out of 15216 with flag 33769/1000571 593.04/298.57 c cleaning 7806 clauses out of 15617 with flag 49943/1008572 597.84/300.93 c cleaning 8406 clauses out of 16811 with flag 68176/1017572 603.56/303.77 c cleaning 9199 clauses out of 18406 with flag 88307/1027573 610.34/307.15 c cleaning 10098 clauses out of 20205 with flag 110546/1038571 617.34/310.65 c cleaning 11054 clauses out of 22107 with flag 134700/1050571 619.94/311.92 c And the winner is solver1 620.01/312.27 c Got one! Elapsed wall clock time (in seconds):312.153 620.01/312.27 o -1237231 620.47/312.58 c cleaning 8197 clauses out of 16399 with flag 2385/1055917 623.99/314.28 c cleaning 7096 clauses out of 14202 with flag 15766/1061917 627.79/316.20 c cleaning 7044 clauses out of 14105 with flag 30062/1068916 631.79/318.14 c And the winner is solver1 631.89/318.28 c Got one! Elapsed wall clock time (in seconds):318.163 631.89/318.28 o -1237793 634.84/319.72 c cleaning 9513 clauses out of 19025 with flag 10900/1080880 637.85/321.29 c cleaning 7751 clauses out of 15512 with flag 23241/1086880 641.44/323.09 c cleaning 7379 clauses out of 14760 with flag 37389/1093879 645.84/325.26 c cleaning 7687 clauses out of 15381 with flag 53560/1101879 646.44/325.57 c And the winner is solver1 646.59/325.79 c Got one! Elapsed wall clock time (in seconds):325.674 646.59/325.79 o -1237957 648.61/326.86 c cleaning 6438 clauses out of 12879 with flag 9226/1107064 650.99/328.05 c And the winner is solver1 651.11/328.30 c Got one! Elapsed wall clock time (in seconds):328.183 651.11/328.30 o -1237978 651.49/328.59 c cleaning 5942 clauses out of 11893 with flag 2304/1112516 654.71/330.13 c cleaning 5974 clauses out of 11952 with flag 15126/1118517 658.49/332.02 c cleaning 6487 clauses out of 12978 with flag 29366/1125517 662.24/333.88 c And the winner is solver1 662.42/334.32 c Got one! Elapsed wall clock time (in seconds):334.205 662.42/334.32 o -1238122 664.99/335.66 c cleaning 8805 clauses out of 17612 with flag 11315/1136638 668.57/337.46 c cleaning 7402 clauses out of 14808 with flag 23495/1142639 672.37/339.38 c cleaning 7201 clauses out of 14406 with flag 37686/1149639 676.57/341.42 c cleaning 7597 clauses out of 15205 with flag 53928/1157639 681.37/343.89 c cleaning 8304 clauses out of 16607 with flag 72162/1166638 686.98/346.64 c cleaning 9149 clauses out of 18303 with flag 92361/1176638 693.17/349.76 c cleaning 10074 clauses out of 20155 with flag 114622/1187639 700.28/353.25 c cleaning 11041 clauses out of 22081 with flag 138769/1199639 708.26/357.21 c cleaning 12016 clauses out of 24039 with flag 164994/1212638 716.26/361.25 c cleaning 13011 clauses out of 26023 with flag 193334/1226638 725.26/365.70 c cleaning 14005 clauses out of 28013 with flag 223743/1241639 735.29/370.62 c cleaning 14996 clauses out of 30007 with flag 255956/1257638 745.49/375.79 c cleaning 16003 clauses out of 32012 with flag 290274/1274639 757.46/381.62 c cleaning 16993 clauses out of 34008 with flag 326727/1292638 769.66/387.75 c cleaning 18008 clauses out of 36016 with flag 364999/1311639 782.47/394.13 c cleaning 18998 clauses out of 38007 with flag 405289/1331638 796.68/401.12 c cleaning 20001 clauses out of 40009 with flag 447526/1352638 810.89/408.27 c cleaning 20997 clauses out of 42008 with flag 492009/1374638 827.81/417.23 c cleaning 22003 clauses out of 44012 with flag 538867/1397639 844.01/425.32 c cleaning 23003 clauses out of 46009 with flag 587410/1421639 861.50/433.91 c cleaning 23994 clauses out of 48006 with flag 638179/1446639 879.68/442.98 c cleaning 25003 clauses out of 50012 with flag 690832/1472639 898.48/452.30 c cleaning 26002 clauses out of 52009 with flag 745473/1499639 919.55/462.77 c cleaning 26997 clauses out of 54007 with flag 802172/1527639 925.74/465.81 c And the winner is solver1 925.74/465.86 c Got one! Elapsed wall clock time (in seconds):465.745 925.74/465.86 o -1238369 929.09/467.53 c cleaning 20616 clauses out of 41231 with flag 11020/1541860 933.07/469.50 c cleaning 13304 clauses out of 26617 with flag 23199/1547862 937.07/471.60 c cleaning 10154 clauses out of 20312 with flag 37666/1554861 942.16/473.90 c cleaning 9075 clauses out of 18157 with flag 54100/1562860 947.56/476.64 c cleaning 9039 clauses out of 18083 with flag 72285/1571861 953.36/479.54 c cleaning 9518 clauses out of 19044 with flag 92412/1581861 959.56/482.60 c cleaning 10260 clauses out of 20525 with flag 114658/1592860 966.16/485.91 c cleaning 11128 clauses out of 22265 with flag 138832/1604860 973.96/489.70 c cleaning 12066 clauses out of 24137 with flag 165132/1617860 982.16/493.81 c cleaning 13031 clauses out of 26072 with flag 193373/1631861 990.96/498.25 c cleaning 14019 clauses out of 28041 with flag 223603/1646861 1000.56/503.10 c cleaning 15008 clauses out of 30021 with flag 255834/1662860 1010.56/508.07 c cleaning 16006 clauses out of 32014 with flag 290313/1679861 1021.89/513.61 c cleaning 17002 clauses out of 34008 with flag 326630/1697861 1033.69/519.50 c cleaning 18000 clauses out of 36006 with flag 364955/1716861 1045.69/525.51 c cleaning 18999 clauses out of 38005 with flag 405610/1736860 1059.19/532.25 c cleaning 20003 clauses out of 40006 with flag 447809/1757860 1073.39/539.35 c cleaning 20997 clauses out of 42004 with flag 492221/1779861 1088.21/546.77 c cleaning 22000 clauses out of 44007 with flag 538851/1802861 1104.30/554.79 c cleaning 22990 clauses out of 46006 with flag 587655/1826860 1121.10/563.11 c cleaning 24006 clauses out of 48016 with flag 638145/1851860 1139.51/572.32 c cleaning 24997 clauses out of 50011 with flag 690625/1877861 1158.03/581.51 c cleaning 26003 clauses out of 52014 with flag 745231/1904861 1177.24/591.18 c cleaning 27003 clauses out of 54010 with flag 801725/1932860 1199.41/603.22 c cleaning 28001 clauses out of 56007 with flag 860471/1961860 1219.82/613.44 c cleaning 28999 clauses out of 58007 with flag 921116/1991861 1241.67/624.33 c cleaning 30000 clauses out of 60007 with flag 983795/2022860 1264.68/635.84 c cleaning 31001 clauses out of 62007 with flag 1048693/2054860 1288.75/647.87 c cleaning 32000 clauses out of 64008 with flag 1115241/2087862 1312.94/659.95 c cleaning 33000 clauses out of 66006 with flag 1184406/2121860 1337.66/672.29 c cleaning 33997 clauses out of 68006 with flag 1255201/2156860 1370.05/688.44 c cleaning 34998 clauses out of 70010 with flag 1332023/2192861 1543.32/774.81 c And the winner is solver1 1543.47/775.00 c Got one! Elapsed wall clock time (in seconds):774.885 1543.47/775.00 o -1238482 1546.67/776.61 c cleaning 36056 clauses out of 72112 with flag 10797/2229961 1551.09/778.74 c cleaning 21025 clauses out of 42055 with flag 22954/2235960 1551.51/778.93 c And the winner is solver1 1551.56/779.07 c Got one! Elapsed wall clock time (in seconds):778.955 1551.56/779.07 o -1239875 1554.42/780.53 c cleaning 13350 clauses out of 26708 with flag 10723/2241638 1557.83/782.21 c cleaning 9678 clauses out of 19358 with flag 22952/2247638 1562.42/784.47 c cleaning 8336 clauses out of 16681 with flag 37198/2254639 1567.00/786.79 c cleaning 8171 clauses out of 16343 with flag 53408/2262637 1572.20/789.30 c cleaning 8584 clauses out of 17172 with flag 71878/2271637 1578.00/792.24 c cleaning 9288 clauses out of 18589 with flag 92141/2281638 1584.21/795.40 c cleaning 10150 clauses out of 20301 with flag 114300/2292638 1591.20/798.87 c cleaning 11071 clauses out of 22150 with flag 138489/2304637 1599.36/802.80 c cleaning 12037 clauses out of 24079 with flag 164662/2317637 1607.96/807.12 c cleaning 13022 clauses out of 26043 with flag 192894/2331638 1616.76/811.58 c cleaning 14008 clauses out of 28021 with flag 223181/2346638 1626.95/816.60 c cleaning 15004 clauses out of 30013 with flag 255549/2362638 1637.17/821.76 c cleaning 16001 clauses out of 32008 with flag 290018/2379637 1648.69/827.44 c cleaning 17002 clauses out of 34007 with flag 326308/2397637 1661.71/833.93 c cleaning 18002 clauses out of 36005 with flag 364893/2416637 1661.71/833.95 c And the winner is solver1 1661.80/834.09 c Got one! Elapsed wall clock time (in seconds):833.973 1661.80/834.09 o -1240485 1664.60/835.54 c cleaning 11520 clauses out of 23062 with flag 10797/2421696 1668.34/837.31 c cleaning 8767 clauses out of 17541 with flag 23011/2427695 1671.14/838.73 c And the winner is solver1 1671.22/839.10 c Got one! Elapsed wall clock time (in seconds):838.984 1671.22/839.10 o -1243694 1674.21/840.68 c cleaning 9574 clauses out of 19151 with flag 11287/2438072 1677.61/842.39 c cleaning 7785 clauses out of 15576 with flag 23466/2444071 1681.41/844.29 c cleaning 7393 clauses out of 14791 with flag 37710/2451071 1686.01/846.50 c cleaning 7697 clauses out of 15398 with flag 53875/2459071 1691.01/849.08 c cleaning 8350 clauses out of 16701 with flag 72015/2468071 1693.98/850.42 c And the winner is solver1 1694.02/850.61 c Got one! Elapsed wall clock time (in seconds):850.497 1694.02/850.61 o -1245411 1694.59/850.90 c cleaning 6946 clauses out of 13902 with flag 2191/2473622 1697.58/852.41 c cleaning 6474 clauses out of 12956 with flag 15125/2479622 1701.38/854.35 c cleaning 6740 clauses out of 13482 with flag 29413/2486622 1705.78/856.53 c cleaning 7368 clauses out of 14742 with flag 45711/2494622 1710.78/859.03 c cleaning 8184 clauses out of 16373 with flag 63962/2503621 1716.18/861.77 c cleaning 9091 clauses out of 18189 with flag 84210/2513621 1718.58/862.97 c And the winner is solver1 1718.75/863.12 c Got one! Elapsed wall clock time (in seconds):863.009 1718.75/863.12 o -1245668 1720.08/863.75 c cleaning 7519 clauses out of 15043 with flag 4397/2519566 1723.08/865.28 c cleaning 6759 clauses out of 13524 with flag 17230/2525566 1727.28/867.33 c cleaning 6874 clauses out of 13765 with flag 31512/2532566 1732.08/869.71 c cleaning 7443 clauses out of 14892 with flag 47814/2540567 1737.08/872.20 c cleaning 8222 clauses out of 16449 with flag 66008/2549567 1742.28/874.88 c cleaning 9111 clauses out of 18227 with flag 86163/2559567 1748.49/877.99 c cleaning 10049 clauses out of 20116 with flag 108576/2570567 1755.47/881.48 c cleaning 11024 clauses out of 22068 with flag 132728/2582568 1763.91/885.57 c cleaning 12017 clauses out of 24042 with flag 158878/2595566 1771.90/889.57 c cleaning 13004 clauses out of 26026 with flag 187128/2609567 1778.51/892.86 c And the winner is solver1 1778.66/893.14 c Got one! Elapsed wall clock time (in seconds):893.027 1778.66/893.14 o -1245798 1781.75/894.75 c cleaning 14461 clauses out of 28923 with flag 10875/2625468 1785.15/896.48 c cleaning 10227 clauses out of 20462 with flag 23164/2631468 1789.15/898.49 c cleaning 8613 clauses out of 17234 with flag 37276/2638467 1794.58/901.00 c cleaning 8306 clauses out of 16622 with flag 53381/2646468 1800.16/903.80 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 1800.16/903.80 c starts : 4963 1800.16/903.80 c conflicts : 2655221 1800.16/903.80 c decisions : 3017475 1800.16/903.80 c propagations : 1242884184 1800.16/903.80 c inspects : 3893667302 1800.16/903.80 c shortcuts : 0 1800.16/903.80 c learnt literals : 0 1800.16/903.80 c learnt binary clauses : 0 1800.16/903.80 c learnt ternary clauses : 0 1800.16/903.80 c learnt constraints : 2655220 1800.16/903.80 c ignored constraints : 0 1800.16/903.80 c root simplifications : 0 1800.16/903.80 c removed literals (reason simplification) : 18004868 1800.16/903.80 c reason swapping (by a shorter reason) : 0 1800.16/903.80 c Calls to reduceDB : 207 1800.16/903.80 c Number of update (reduction) of LBD : 25032 1800.16/903.80 c Imported unit clauses : 0 1800.16/903.80 c number of reductions to clauses (during analyze) : 0 1800.16/903.80 c number of learned constraints concerned by reduction : 0 1800.16/903.80 c number of learning phase by resolution : 0 1800.16/903.80 c number of learning phase by cutting planes : 0 1800.16/903.80 c speed (assignments/second) : 1.166589247231087E8 1800.16/903.80 c non guided choices 419 1800.16/903.81 c learnt constraints type 1800.16/903.81 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17069 1800.16/903.81 c >>>>>>>>>> Solver number 1 (25 answers) <<<<<<<<<<<<<<<<<< 1800.16/903.81 c starts : 33 1800.16/903.81 c conflicts : 1072 1800.16/903.81 c decisions : 225212 1800.16/903.81 c propagations : 1268316 1800.16/903.81 c inspects : 91235006 1800.16/903.81 c shortcuts : 0 1800.16/903.81 c learnt literals : 0 1800.16/903.81 c learnt binary clauses : 0 1800.16/903.81 c learnt ternary clauses : 0 1800.16/903.81 c learnt constraints : 1071 1800.16/903.81 c ignored constraints : 0 1800.16/903.81 c root simplifications : 0 1800.16/903.81 c removed literals (reason simplification) : 0 1800.16/903.81 c reason swapping (by a shorter reason) : 0 1800.16/903.81 c Calls to reduceDB : 0 1800.16/903.81 c Number of update (reduction) of LBD : 0 1800.16/903.81 c Imported unit clauses : 0 1800.16/903.81 c number of reductions to clauses (during analyze) : 0 1800.16/903.81 c number of learned constraints concerned by reduction : 0 1800.16/903.81 c number of learning phase by resolution : 0 1800.16/903.81 c number of learning phase by cutting planes : 0 1800.16/903.81 c speed (assignments/second) : 1404.0434790790973 1800.16/903.81 c non guided choices 0 1800.16/903.81 c learnt constraints type 1800.16/903.81 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1071 1800.16/903.81 s SATISFIABLE 1800.16/903.81 c Found 25 solution(s) 1800.16/903.82 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 x3083 -x3084 -x3085 x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 x3104 -x3105 x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 x3118 x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 x3137 -x3138 -x3139 x3140 -x3141 -x3142 x3143 -x3144 x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 x3158 x3159 -x3160 -x3161 -x3162 -x3163 x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 x3183 -x3184 x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 x3373 -x3374 -x3375 x3376 x3377 -x3378 x3379 -x3380 -x3381 -x3382 x3383 x3384 -x3385 -x3386 x3387 x3388 -x3389 x3390 -x3391 -x3392 x3393 -x3394 -x3395 x3396 -x3397 x3398 -x3399 x3400 x3401 x3402 -x3403 x3404 -x3405 x3406 -x3407 -x3408 x3409 -x3410 x3411 -x3412 -x3413 x3414 x3415 -x3416 x3417 -x3418 -x3419 x3420 -x3421 x3422 -x3423 -x3424 x3425 -x3426 x3427 -x3428 x3429 -x3430 x3431 -x3432 x3433 -x3434 -x3435 x3436 x3437 -x3438 -x3439 x3440 x3441 -x3442 -x3443 x3444 x3445 x3446 -x3447 -x3448 x3449 -x3450 x3451 -x3452 x3453 -x3454 -x3455 x3456 -x3457 -x3458 x3459 -x3460 x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 x4175 x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 1800.16/903.83 c objective function=-1245798 1800.16/903.83 c Total wall clock time (in seconds): 903.717
OK -1245798
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-4099774-1466206143/watcher-4099774-1466206143 -o /tmp/evaluation-result-4099774-1466206143/solver-4099774-1466206143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099774-1466206143.opb pid=14182 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.22 0.10 0.02 4/197 14185 /proc/meminfo: memFree=31723708/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/14185/stat : 14185 (java) R 14182 14185 13538 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 22664227 23793664 659 33554432000 1073741824 1073778376 140733325347776 140733325336840 224913308225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 5809 672 495 9 0 128 0 [startup+0.100114 s] /proc/loadavg: 0.22 0.10 0.02 4/197 14185 /proc/meminfo: memFree=31723708/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 4478 0 1 0 8 1 0 0 20 0 18 0 22664227 9787879424 5597 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2389619 5597 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200273 s] /proc/loadavg: 0.22 0.10 0.02 4/197 14185 /proc/meminfo: memFree=31723708/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9558476 CPUtime=0.3 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 5121 0 1 0 28 2 0 0 20 0 18 0 22664227 9787879424 6481 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2389619 6481 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300282 s] /proc/loadavg: 0.22 0.10 0.02 4/197 14185 /proc/meminfo: memFree=31723708/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9558476 CPUtime=0.52 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 6248 0 1 0 50 2 0 0 20 0 18 0 22664227 9787879424 9611 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2389619 9611 2241 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.700211 s] /proc/loadavg: 0.22 0.10 0.02 4/197 14185 /proc/meminfo: memFree=31723708/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=1.57 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 8646 0 1 0 152 5 0 0 20 0 22 0 22664227 10060525568 41599 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 41599 2277 9 0 2446860 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 9824732 [startup+1.50085 s] /proc/loadavg: 0.22 0.10 0.02 5/219 14207 /proc/meminfo: memFree=31565464/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=3.66 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 11390 0 1 0 360 6 0 0 20 0 22 0 22664227 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 42100 2284 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2551 0 1 0 39 3 0 0 20 0 22 0 22664228 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 22664230 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/14185/task/14200/stat : 14200 (java) S 14182 14185 13538 0 -1 4202560 4848 0 0 0 69 0 0 0 20 0 22 0 22664233 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995082959160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14201] ppid=14182 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/14185/task/14201/stat : 14201 (java) S 14182 14185 13538 0 -1 4202560 2570 0 0 0 51 0 0 0 20 0 22 0 22664233 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995081906616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14202] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14202/stat : 14202 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995080853752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14203] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14203/stat : 14203 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995079801416 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14204] ppid=14182 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/14185/task/14204/stat : 14204 (java) R 14182 14185 13538 0 -1 4202560 17 0 0 0 101 0 0 0 20 0 22 0 22664274 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995078747152 139995203640330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14205] ppid=14182 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/14185/task/14205/stat : 14205 (java) R 14182 14185 13538 0 -1 4202560 29 0 0 0 93 0 0 0 20 0 22 0 22664274 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995077692680 139995203869876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14206] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14206/stat : 14206 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995076642088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14207] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14207/stat : 14207 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 42100 33554432000 1073741824 1073778376 140733325347776 139995075589544 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 9824732 [startup+3.10083 s] /proc/loadavg: 0.22 0.10 0.02 5/219 14207 /proc/meminfo: memFree=31539900/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=7.08 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 12615 0 1 0 699 9 0 0 20 0 22 0 22664227 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 47450 2290 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2551 0 1 0 39 3 0 0 20 0 22 0 22664228 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 22664230 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/14185/task/14200/stat : 14200 (java) S 14182 14185 13538 0 -1 4202560 4863 0 0 0 74 0 0 0 20 0 22 0 22664233 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995082959160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14201] ppid=14182 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/14185/task/14201/stat : 14201 (java) S 14182 14185 13538 0 -1 4202560 3734 0 0 0 66 0 0 0 20 0 22 0 22664233 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995081906616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14202] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14202/stat : 14202 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995080853752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14203] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14203/stat : 14203 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995079801416 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14204] ppid=14182 vsize=9824732 CPUtime=2.56 cores=1,3,5,7 /proc/14185/task/14204/stat : 14204 (java) R 14182 14185 13538 0 -1 4202560 18 0 0 0 256 0 0 0 20 0 22 0 22664274 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995078738336 139995203760887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14205] ppid=14182 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/14185/task/14205/stat : 14205 (java) R 14182 14185 13538 0 -1 4202560 30 0 0 0 249 0 0 0 20 0 22 0 22664274 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995077692496 139995203869749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14206] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14206/stat : 14206 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995076642088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14207] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14207/stat : 14207 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 47450 33554432000 1073741824 1073778376 140733325347776 139995075589544 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 9824732 [startup+6.30084 s] /proc/loadavg: 0.52 0.16 0.04 5/219 14210 /proc/meminfo: memFree=31509536/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=13.69 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 13561 0 1 0 1359 10 0 0 20 0 22 0 22664227 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 48201 2290 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2551 0 1 0 39 3 0 0 20 0 22 0 22664228 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22664229 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 22664230 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 48201 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=0.87 cores=1,3,5,7 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.00 3.71 2.31 5/219 14321 /proc/meminfo: memFree=27232024/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=1638.35 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 30564 0 1 0 163481 354 0 0 20 0 22 0 22664227 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 1047089 2301 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2563 0 1 0 59 5 0 0 20 0 22 0 22664228 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 757 0 0 0 173 31 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 892 0 0 0 156 31 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 635 0 0 0 156 31 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 775 0 0 0 166 28 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 1005 0 0 0 142 28 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 871 0 0 0 185 34 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 716 0 0 0 169 31 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=1.83 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 630 0 0 0 154 29 0 0 20 0 22 0 22664229 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=5.05 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 3221 0 0 0 497 8 0 0 20 0 22 0 22664230 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/14185/task/14200/stat : 14200 (java) S 14182 14185 13538 0 -1 4202560 8695 0 0 0 135 2 0 0 20 0 22 0 22664233 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995082959160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14201] ppid=14182 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/14185/task/14201/stat : 14201 (java) S 14182 14185 13538 0 -1 4202560 5525 0 0 0 121 2 0 0 20 0 22 0 22664233 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995081906616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14202] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14202/stat : 14202 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995080853752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14203] ppid=14182 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/14185/task/14203/stat : 14203 (java) S 14182 14185 13538 0 -1 4202560 47 0 0 0 10 14 0 0 20 0 22 0 22664233 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995079801416 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14207] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14207/stat : 14207 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995075589544 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14318] ppid=14182 vsize=9824732 CPUtime=43 cores=1,3,5,7 /proc/14185/task/14318/stat : 14318 (java) R 14182 14185 13538 0 -1 4202560 7 0 0 0 4300 0 0 0 20 0 22 0 22742136 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995078737936 139995203708888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14319] ppid=14182 vsize=9824732 CPUtime=43.02 cores=1,3,5,7 /proc/14185/task/14319/stat : 14319 (java) R 14182 14185 13538 0 -1 4202560 5 0 0 0 4302 0 0 0 20 0 22 0 22742136 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995076638640 139995203686401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14320] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14320/stat : 14320 (java) S 14182 14185 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22742136 10060525568 1047089 33554432000 1073741824 1073778376 140733325347776 139995077694376 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1638.35 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.00 3.76 2.41 5/219 14335 /proc/meminfo: memFree=27216004/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=1757.29 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 30677 0 1 0 175366 363 0 0 20 0 22 0 22664227 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 1047141 2301 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2564 0 1 0 63 5 0 0 20 0 22 0 22664228 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 757 0 0 0 191 31 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 892 0 0 0 172 32 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 635 0 0 0 169 31 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 796 0 0 0 180 29 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 1012 0 0 0 163 28 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=2.36 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 871 0 0 0 202 34 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 728 0 0 0 184 31 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=2.03 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 631 0 0 0 174 29 0 0 20 0 22 0 22664229 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=5.06 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 3234 0 0 0 497 9 0 0 20 0 22 0 22664230 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/14185/task/14200/stat : 14200 (java) S 14182 14185 13538 0 -1 4202560 8695 0 0 0 135 2 0 0 20 0 22 0 22664233 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995082959160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14201] ppid=14182 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/14185/task/14201/stat : 14201 (java) S 14182 14185 13538 0 -1 4202560 5525 0 0 0 121 2 0 0 20 0 22 0 22664233 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995081906616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14202] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14202/stat : 14202 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995080853752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14203] ppid=14182 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/14185/task/14203/stat : 14203 (java) S 14182 14185 13538 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 22664233 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995079801416 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14207] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14207/stat : 14207 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995075589544 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14333] ppid=14182 vsize=9824732 CPUtime=19.06 cores=1,3,5,7 /proc/14185/task/14333/stat : 14333 (java) R 14182 14185 13538 0 -1 4202560 5 0 0 0 1906 0 0 0 20 0 22 0 22750541 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995078738448 139995204477292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14334] ppid=14182 vsize=9824732 CPUtime=19.05 cores=1,3,5,7 /proc/14185/task/14334/stat : 14334 (java) R 14182 14185 13538 0 -1 4202560 5 0 0 0 1905 0 0 0 20 0 22 0 22750541 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995077694288 139995204228902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14335] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14335/stat : 14335 (java) S 14182 14185 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22750541 10060525568 1047141 33554432000 1073741824 1073778376 140733325347776 139995076642216 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1757.29 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+903.801 s] /proc/loadavg: 3.84 3.74 2.44 5/219 14617 /proc/meminfo: memFree=27493380/32872528 swapFree=163656/177964 [pid=14185] ppid=14182 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7 /proc/14185/stat : 14185 (java) S 14182 14185 13538 0 -1 4202496 30707 0 1 0 179650 366 0 0 20 0 22 0 22664227 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 140733325338912 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14185/statm: 2456183 1047155 2301 9 0 2446860 0 [pid=14185/tid=14187] ppid=14182 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/14185/task/14187/stat : 14187 (java) S 14182 14185 13538 0 -1 4202560 2564 0 1 0 65 5 0 0 20 0 22 0 22664228 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995263300472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14188] ppid=14182 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/14185/task/14188/stat : 14188 (java) S 14182 14185 13538 0 -1 4202560 757 0 0 0 202 31 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995202030504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14189] ppid=14182 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/14185/task/14189/stat : 14189 (java) S 14182 14185 13538 0 -1 4202560 893 0 0 0 185 32 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995200977960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14190] ppid=14182 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/14185/task/14190/stat : 14190 (java) S 14182 14185 13538 0 -1 4202560 643 0 0 0 181 31 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995199924904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14191] ppid=14182 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/14185/task/14191/stat : 14191 (java) S 14182 14185 13538 0 -1 4202560 796 0 0 0 193 29 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995198872360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14192] ppid=14182 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/14185/task/14192/stat : 14192 (java) S 14182 14185 13538 0 -1 4202560 1012 0 0 0 172 28 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995102525864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14185/tid=14193] ppid=14182 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/14185/task/14193/stat : 14193 (java) S 14182 14185 13538 0 -1 4202560 871 0 0 0 212 34 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995101473320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14194] ppid=14182 vsize=9824732 CPUtime=2.26 cores=1,3,5,7 /proc/14185/task/14194/stat : 14194 (java) S 14182 14185 13538 0 -1 4202560 730 0 0 0 195 31 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995100420264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14195] ppid=14182 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/14185/task/14195/stat : 14195 (java) S 14182 14185 13538 0 -1 4202560 634 0 0 0 186 29 0 0 20 0 22 0 22664229 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995099367720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14196] ppid=14182 vsize=9824732 CPUtime=5.07 cores=1,3,5,7 /proc/14185/task/14196/stat : 14196 (java) S 14182 14185 13538 0 -1 4202560 3236 0 0 0 497 10 0 0 20 0 22 0 22664230 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995087170408 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14197] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14197/stat : 14197 (java) S 14182 14185 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995086116728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14198] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14198/stat : 14198 (java) S 14182 14185 13538 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 22664231 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995085063560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14199] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14199/stat : 14199 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995084012304 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14200] ppid=14182 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/14185/task/14200/stat : 14200 (java) S 14182 14185 13538 0 -1 4202560 8695 0 0 0 135 2 0 0 20 0 22 0 22664233 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995082959160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14201] ppid=14182 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/14185/task/14201/stat : 14201 (java) S 14182 14185 13538 0 -1 4202560 5525 0 0 0 121 2 0 0 20 0 22 0 22664233 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995081906616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14202] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14202/stat : 14202 (java) S 14182 14185 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22664233 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995080853752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14185/tid=14203] ppid=14182 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/14185/task/14203/stat : 14203 (java) S 14182 14185 13538 0 -1 4202560 51 0 0 0 12 15 0 0 20 0 22 0 22664233 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995079801416 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14207] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14207/stat : 14207 (java) S 14182 14185 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22664276 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995075589544 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14336] ppid=14182 vsize=9824732 CPUtime=10.51 cores=1,3,5,7 /proc/14185/task/14336/stat : 14336 (java) R 14182 14185 13538 0 -1 4202560 5 0 0 0 1051 0 0 0 20 0 22 0 22753543 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995078737808 139995203867533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14185/tid=14337] ppid=14182 vsize=9824732 CPUtime=10.52 cores=1,3,5,7 /proc/14185/task/14337/stat : 14337 (java) R 14182 14185 13538 0 -1 4202560 4 0 0 0 1052 0 0 0 20 0 22 0 22753543 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995077691696 139995204252385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14185/tid=14338] ppid=14182 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14185/task/14338/stat : 14338 (java) S 14182 14185 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22753543 10060525568 1047155 33554432000 1073741824 1073778376 140733325347776 139995076641576 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 14185 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 903.849 CPU time (s): 1800.51 CPU user time (s): 1796.59 CPU system time (s): 3.9214 CPU usage (%): 199.205 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.59 system time used= 3.9214 maximum resident set size= 4211824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30746 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24137 involuntary context switches= 22627 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.45117 second user time and 7.67483 second system time The end
Begin job on node105 at 2016-06-18 01:29:03 IDJOB=4099774 IDBENCH=1517 IDSOLVER=2543 FILE ID=node105/4099774-1466206143 RUNJOBID= node105-1466206102-13555 PBS_JOBID= 19918167 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099774-1466206143/watcher-4099774-1466206143 -o /tmp/evaluation-result-4099774-1466206143/solver-4099774-1466206143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099774-1466206143.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9 RANDOM SEED=1836898354 node105.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.561 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.12 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 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.54 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.561 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.561 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.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31723980 kB Buffers: 33716 kB Cached: 66600 kB SwapCached: 1776 kB Active: 210424 kB Inactive: 58240 kB Active(anon): 169700 kB Inactive(anon): 1384 kB Active(file): 40724 kB Inactive(file): 56856 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097092 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 345864 kB Mapped: 15288 kB Shmem: 0 kB Slab: 570816 kB SReclaimable: 14116 kB SUnreclaim: 556700 kB KernelStack: 1592 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 868960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 159744 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= 71748 MiB End job on node105 at 2016-06-18 01:44:07