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) | 29 | 1800.1 | 899.364 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
| MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27 |
| Best CPU time to get the best result obtained on this benchmark | 0.247961 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 27 |
| Optimality of the best value was proved | YES |
| Number of variables | 5828 |
| Total number of constraints | 17411 |
| Number of constraints which are clauses | 17411 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2817 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2817 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2817 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081457-1465235816.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.08/0.56 c ... done. Wall clock time 0.445s. 1.08/0.56 c declared #vars 5828 1.08/0.56 c #constraints 17411 1.08/0.57 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.08/0.57 c constraints type 1.08/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020 1.08/0.57 c org.sat4j.minisat.constraints.cnf.UnitClause => 283 1.08/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108 1.08/0.57 c 17411 constraints processed. 1.08/0.57 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.08/0.57 c constraints type 1.08/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1.08/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1.08/0.57 c org.sat4j.pb.constraints.pb.UnitClausePB => 283 1.08/0.57 c 17411 constraints processed. 1.08/0.57 c objective function length is 2817 literals 1.40/0.69 c And the winner is solver1 2.31/1.07 c SATISFIABLE 2.31/1.07 c OPTIMIZING... 2.31/1.07 c Got one! Elapsed wall clock time (in seconds):0.954 2.31/1.07 o 39 3.03/1.39 c And the winner is solver0 3.30/1.59 c Got one! Elapsed wall clock time (in seconds):1.467 3.30/1.59 o 38 4.92/2.18 c And the winner is solver0 5.15/2.60 c Got one! Elapsed wall clock time (in seconds):2.476 5.15/2.60 o 37 6.10/3.08 c cleaning 2790 clauses out of 5602 with flag 5259/5602 11.54/5.68 c cleaning 4398 clauses out of 8812 with flag 28025/11602 18.94/9.18 c cleaning 5689 clauses out of 11414 with flag 54599/18602 27.08/13.07 c cleaning 6846 clauses out of 13725 with flag 98168/26602 33.69/16.33 c And the winner is solver1 33.72/16.60 c Got one! Elapsed wall clock time (in seconds):16.483 33.72/16.60 o 36 39.00/19.28 c cleaning 9351 clauses out of 18705 with flag 22651/38428 44.81/22.15 c And the winner is solver1 44.88/22.61 c Got one! Elapsed wall clock time (in seconds):22.487 44.88/22.61 o 35 49.96/25.16 c cleaning 10076 clauses out of 20153 with flag 23738/49227 55.76/28.07 c cleaning 8028 clauses out of 16078 with flag 48639/55228 62.87/31.51 c cleaning 7505 clauses out of 15049 with flag 81637/62227 70.95/35.51 c cleaning 7772 clauses out of 15544 with flag 118945/70227 80.42/40.27 c cleaning 8384 clauses out of 16772 with flag 158722/79227 91.17/45.55 c cleaning 9189 clauses out of 18388 with flag 209998/89227 102.69/51.28 c cleaning 10097 clauses out of 20200 with flag 261829/100228 115.49/57.55 c cleaning 11034 clauses out of 22102 with flag 311833/112227 129.42/64.41 c cleaning 12028 clauses out of 24068 with flag 363985/125227 143.22/71.30 c cleaning 13015 clauses out of 26041 with flag 427592/139228 158.34/78.88 c cleaning 13995 clauses out of 28025 with flag 498875/154227 174.89/87.07 c cleaning 15009 clauses out of 30030 with flag 580223/170227 192.09/95.63 c cleaning 16005 clauses out of 32021 with flag 667657/187227 199.28/99.13 c And the winner is solver1 199.28/99.62 c Got one! Elapsed wall clock time (in seconds):99.5 199.28/99.62 o 34 204.24/102.10 c cleaning 13979 clauses out of 27966 with flag 20319/199177 210.05/105.07 c cleaning 9994 clauses out of 19988 with flag 49531/205178 216.84/108.49 c cleaning 8493 clauses out of 16993 with flag 79677/212177 225.03/112.38 c cleaning 8247 clauses out of 16500 with flag 115533/220177 234.16/116.86 c cleaning 8609 clauses out of 17253 with flag 155233/229177 243.57/121.51 c cleaning 9284 clauses out of 18644 with flag 199801/239177 255.33/127.79 c cleaning 10176 clauses out of 20361 with flag 252220/250178 267.31/133.78 c cleaning 11084 clauses out of 22184 with flag 302897/262177 280.11/140.14 c cleaning 12020 clauses out of 24100 with flag 366298/275177 294.59/147.38 c cleaning 13019 clauses out of 26080 with flag 436617/289177 310.12/155.10 c cleaning 14032 clauses out of 28064 with flag 520771/304180 326.33/163.14 c cleaning 14998 clauses out of 30029 with flag 604435/320177 343.54/171.74 c cleaning 15996 clauses out of 32031 with flag 694678/337177 354.86/177.36 c And the winner is solver1 354.86/177.74 c Got one! Elapsed wall clock time (in seconds):177.621 354.86/177.74 o 33 360.03/180.32 c cleaning 16025 clauses out of 32059 with flag 22041/353201 366.03/183.32 c cleaning 11020 clauses out of 22041 with flag 51020/359208 373.05/186.81 c cleaning 8998 clauses out of 18014 with flag 81438/366201 380.44/190.59 c cleaning 8508 clauses out of 17016 with flag 119973/374201 389.64/195.11 c cleaning 8750 clauses out of 17511 with flag 162136/383204 399.78/200.14 c cleaning 9376 clauses out of 18758 with flag 203702/393201 410.78/205.63 c cleaning 10185 clauses out of 20382 with flag 249346/404201 422.77/211.65 c cleaning 11081 clauses out of 22197 with flag 314769/416201 435.97/218.23 c cleaning 12048 clauses out of 24116 with flag 379680/429201 450.78/225.64 c cleaning 13028 clauses out of 26068 with flag 455550/443201 466.71/233.52 c cleaning 14001 clauses out of 28040 with flag 532225/458201 483.10/241.76 c cleaning 15000 clauses out of 30039 with flag 613475/474201 501.52/250.99 c cleaning 16005 clauses out of 32039 with flag 693524/491201 517.97/259.62 c And the winner is solver1 517.97/259.80 c Got one! Elapsed wall clock time (in seconds):259.686 517.97/259.80 o 31 522.73/262.26 c cleaning 17727 clauses out of 35453 with flag 25242/510620 528.74/265.27 c cleaning 11863 clauses out of 23725 with flag 50081/516619 535.52/268.64 c cleaning 9416 clauses out of 18862 with flag 80277/523619 543.12/272.42 c cleaning 8723 clauses out of 17446 with flag 116167/531619 552.00/276.89 c cleaning 8862 clauses out of 17723 with flag 161591/540619 562.39/282.02 c cleaning 9415 clauses out of 18861 with flag 214242/550619 573.18/287.43 c cleaning 10193 clauses out of 20446 with flag 267665/561619 585.19/293.38 c cleaning 11126 clauses out of 22253 with flag 325319/573619 597.98/299.71 c cleaning 12025 clauses out of 24127 with flag 389581/586619 611.99/306.78 c cleaning 13031 clauses out of 26102 with flag 462328/600619 627.19/314.32 c cleaning 14034 clauses out of 28071 with flag 530909/615619 643.39/322.49 c cleaning 15012 clauses out of 30037 with flag 613356/631619 661.11/331.16 c cleaning 16005 clauses out of 32025 with flag 707403/648619 679.45/340.27 c cleaning 17010 clauses out of 34022 with flag 803418/666621 698.89/349.93 c cleaning 18004 clauses out of 36010 with flag 891836/685619 720.53/360.61 c cleaning 19001 clauses out of 38007 with flag 988310/705620 743.18/371.83 c cleaning 19993 clauses out of 40005 with flag 1101335/726619 762.57/381.58 c And the winner is solver1 762.57/381.90 c Got one! Elapsed wall clock time (in seconds):381.783 762.57/381.90 o 30 767.15/384.25 c cleaning 22144 clauses out of 44302 with flag 22015/750909 772.95/387.19 c cleaning 14075 clauses out of 28162 with flag 50962/756913 779.76/390.60 c cleaning 10542 clauses out of 21083 with flag 86166/763909 787.95/394.60 c cleaning 9272 clauses out of 18544 with flag 123158/771912 797.15/399.16 c cleaning 9126 clauses out of 18269 with flag 168930/780909 806.95/404.03 c cleaning 9572 clauses out of 19144 with flag 224020/790910 817.36/409.28 c cleaning 10276 clauses out of 20571 with flag 277083/801909 828.95/415.08 c cleaning 11147 clauses out of 22296 with flag 334930/813910 841.95/421.55 c cleaning 12074 clauses out of 24150 with flag 391745/826911 855.54/428.33 c cleaning 13037 clauses out of 26074 with flag 452394/840909 869.94/435.57 c cleaning 14017 clauses out of 28036 with flag 523397/855909 886.15/443.50 c cleaning 15006 clauses out of 30019 with flag 599086/871909 900.95/450.95 c cleaning 15982 clauses out of 32013 with flag 682703/888909 918.14/459.52 c cleaning 16996 clauses out of 34031 with flag 770020/906909 937.14/469.10 c cleaning 18004 clauses out of 36035 with flag 868485/925909 956.74/478.84 c cleaning 19008 clauses out of 38031 with flag 971276/945909 976.68/488.60 c cleaning 20008 clauses out of 40023 with flag 1078045/966909 997.08/498.85 c cleaning 21006 clauses out of 42015 with flag 1195807/988909 1019.29/509.94 c cleaning 21997 clauses out of 44009 with flag 1313988/1011909 1042.59/521.42 c cleaning 22982 clauses out of 46012 with flag 1439253/1035909 1067.78/534.02 c cleaning 24015 clauses out of 48031 with flag 1580840/1060910 1093.19/546.71 c cleaning 24995 clauses out of 50015 with flag 1717774/1086909 1121.70/560.84 c cleaning 25995 clauses out of 52020 with flag 1859092/1113909 1149.11/574.57 c cleaning 27005 clauses out of 54025 with flag 1999845/1141909 1177.42/588.53 c cleaning 28010 clauses out of 56020 with flag 2142691/1170909 1206.03/602.89 c cleaning 29004 clauses out of 58010 with flag 2299813/1200909 1229.21/614.45 c And the winner is solver1 1229.21/614.64 c Got one! Elapsed wall clock time (in seconds):614.517 1229.21/614.64 o 29 1233.93/617.05 c cleaning 29939 clauses out of 59877 with flag 23962/1231780 1239.32/619.75 c cleaning 17969 clauses out of 35938 with flag 50187/1237780 1249.32/625.65 c cleaning 12475 clauses out of 24970 with flag 87209/1244781 1256.32/629.13 c cleaning 10243 clauses out of 20494 with flag 132100/1252780 1264.12/633.07 c cleaning 9614 clauses out of 19251 with flag 180189/1261780 1273.92/637.93 c cleaning 9810 clauses out of 19637 with flag 233431/1271780 1284.72/643.31 c cleaning 10403 clauses out of 20827 with flag 289840/1282780 1296.33/649.14 c cleaning 11210 clauses out of 22424 with flag 354964/1294780 1309.12/655.55 c cleaning 12081 clauses out of 24214 with flag 428468/1307780 1324.37/662.83 c cleaning 13061 clauses out of 26133 with flag 499898/1321780 1339.97/670.60 c cleaning 14027 clauses out of 28072 with flag 576050/1336780 1356.17/678.74 c cleaning 15013 clauses out of 30045 with flag 652367/1352780 1372.76/687.07 c cleaning 16005 clauses out of 32032 with flag 739516/1369780 1391.37/696.31 c cleaning 17003 clauses out of 34027 with flag 829231/1387780 1411.83/706.32 c cleaning 17999 clauses out of 36024 with flag 917587/1406780 1432.81/716.82 c cleaning 18991 clauses out of 38025 with flag 1010221/1426780 1454.80/727.87 c cleaning 20004 clauses out of 40035 with flag 1104670/1447781 1477.00/738.98 c cleaning 21006 clauses out of 42030 with flag 1211811/1469780 1499.20/750.08 c cleaning 22002 clauses out of 44024 with flag 1333115/1492780 1522.59/761.71 c cleaning 23008 clauses out of 46024 with flag 1470079/1516782 1550.47/775.47 c cleaning 23991 clauses out of 48015 with flag 1605540/1541781 1576.07/788.25 c cleaning 24990 clauses out of 50023 with flag 1729594/1567780 1603.76/801.73 c cleaning 26012 clauses out of 52034 with flag 1864750/1594781 1633.56/816.63 c cleaning 27007 clauses out of 54021 with flag 1996589/1622780 1664.60/831.82 c cleaning 27992 clauses out of 56016 with flag 2140034/1651782 1696.39/847.70 c cleaning 28985 clauses out of 58022 with flag 2308630/1681780 1724.80/861.98 c cleaning 30002 clauses out of 60037 with flag 2469304/1712780 1758.70/878.66 c cleaning 31015 clauses out of 62036 with flag 2628652/1744781 1788.51/893.57 c cleaning 32007 clauses out of 64020 with flag 2799437/1777780 1800.10/899.30 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.10/899.30 c starts : 34831 1800.10/899.30 c conflicts : 1789959 1800.10/899.30 c decisions : 16467187 1800.10/899.30 c propagations : 4644107229 1800.10/899.30 c inspects : 5344278836 1800.10/899.30 c shortcuts : 0 1800.10/899.30 c learnt literals : 1 1800.10/899.30 c learnt binary clauses : 1 1800.10/899.30 c learnt ternary clauses : 41 1800.10/899.30 c learnt constraints : 1789958 1800.10/899.30 c ignored constraints : 0 1800.10/899.30 c root simplifications : 0 1800.10/899.30 c removed literals (reason simplification) : 9015524 1800.10/899.30 c reason swapping (by a shorter reason) : 0 1800.10/899.30 c Calls to reduceDB : 116 1800.10/899.30 c Number of update (reduction) of LBD : 717381 1800.10/899.30 c Imported unit clauses : 0 1800.10/899.30 c number of reductions to clauses (during analyze) : 0 1800.10/899.30 c number of learned constraints concerned by reduction : 0 1800.10/899.30 c number of learning phase by resolution : 0 1800.10/899.30 c number of learning phase by cutting planes : 0 1800.10/899.30 c speed (assignments/second) : 1.6314633399962762E7 1800.10/899.30 c non guided choices 0 1800.10/899.32 c learnt constraints type 1800.10/899.32 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.10/899.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44191 1800.10/899.32 c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<< 1800.10/899.32 c starts : 31 1800.10/899.32 c conflicts : 4356 1800.10/899.32 c decisions : 453549 1800.10/899.32 c propagations : 2691017 1800.10/899.32 c inspects : 67575440 1800.10/899.32 c shortcuts : 0 1800.10/899.32 c learnt literals : 0 1800.10/899.32 c learnt binary clauses : 0 1800.10/899.32 c learnt ternary clauses : 0 1800.10/899.32 c learnt constraints : 4356 1800.10/899.32 c ignored constraints : 0 1800.10/899.32 c root simplifications : 0 1800.10/899.32 c removed literals (reason simplification) : 0 1800.10/899.32 c reason swapping (by a shorter reason) : 0 1800.10/899.32 c Calls to reduceDB : 0 1800.10/899.32 c Number of update (reduction) of LBD : 0 1800.10/899.32 c Imported unit clauses : 0 1800.10/899.32 c number of reductions to clauses (during analyze) : 0 1800.10/899.32 c number of learned constraints concerned by reduction : 0 1800.10/899.32 c number of learning phase by resolution : 0 1800.10/899.32 c number of learning phase by cutting planes : 0 1800.10/899.32 c speed (assignments/second) : 3000.9490120684004 1800.10/899.32 c non guided choices 0 1800.10/899.32 c learnt constraints type 1800.10/899.32 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 84 1800.10/899.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 119 1800.10/899.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4153 1800.10/899.32 s SATISFIABLE 1800.10/899.32 c Found 10 solution(s) 1800.10/899.34 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 1800.10/899.34 c objective function=29 1800.10/899.34 c Total wall clock time (in seconds): 899.225
OK 29
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-4081457-1465235816/watcher-4081457-1465235816 -o /tmp/evaluation-result-4081457-1465235816/solver-4081457-1465235816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081457-1465235816.opb pid=4280 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.21 4.21 4.15 4/197 4283 /proc/meminfo: memFree=28653724/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/4283/stat : 4283 (java) D 4280 4283 31415 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105515207 9515008 182 33554432000 1073741824 1073778376 140734854918224 140734854909256 266435641013 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/4283/statm: 2323 182 140 9 0 71 0 [startup+0.100065 s] /proc/loadavg: 4.21 4.21 4.15 4/197 4283 /proc/meminfo: memFree=28653724/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 105515207 9787879424 6036 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2389619 6036 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200218 s] /proc/loadavg: 4.21 4.21 4.15 4/197 4283 /proc/meminfo: memFree=28653724/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 5004 0 1 0 26 1 0 0 20 0 18 0 105515207 9787879424 6857 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2389619 6857 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.30024 s] /proc/loadavg: 4.21 4.21 4.15 4/197 4283 /proc/meminfo: memFree=28653724/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 5949 0 1 0 47 2 0 0 20 0 18 0 105515207 9787879424 9098 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2389619 9098 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700266 s] /proc/loadavg: 4.21 4.21 4.15 4/197 4283 /proc/meminfo: memFree=28653724/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9825336 CPUtime=1.79 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 25164 0 1 0 172 7 0 0 20 0 20 0 105515207 10061144064 32772 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456334 32772 2255 9 0 2447011 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 9825336 [startup+1.50083 s] /proc/loadavg: 4.21 4.21 4.15 8/219 4308 /proc/meminfo: memFree=28531456/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9824732 CPUtime=3.3 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 27306 0 1 0 319 11 0 0 20 0 19 0 105515207 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456183 32628 2267 9 0 2446860 0 [pid=4283/tid=4285] ppid=4280 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/4283/task/4285/stat : 4285 (java) S 4280 4283 31415 0 -1 4202560 2449 0 1 0 52 3 0 0 20 0 19 0 105515209 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808601752440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4286] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4286/stat : 4286 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808574204584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4287] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4287/stat : 4287 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808573152040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4288] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4288/stat : 4288 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808572099496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4289] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4289/stat : 4289 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808571046952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4290] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4290/stat : 4290 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808569993384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4291] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4291/stat : 4291 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808568940840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4292] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4292/stat : 4292 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808439052712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105515210 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105515211 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105515211 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105515211 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515214 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11860 0 0 0 90 2 0 0 20 0 19 0 105515214 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 11652 0 0 0 91 3 0 0 20 0 19 0 105515214 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515214 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105515214 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4308] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4308/stat : 4308 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105515317 10060525568 32628 33554432000 1073741824 1073778376 140735081830112 139807942411304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.3 Current children cumulated vsize (KiB) 9824732 [startup+3.1007 s] /proc/loadavg: 4.21 4.21 4.15 4/217 4311 /proc/meminfo: memFree=28518184/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9824732 CPUtime=6.33 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 31413 0 1 0 619 14 0 0 20 0 22 0 105515207 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456183 39335 2280 9 0 2446860 0 [pid=4283/tid=4285] ppid=4280 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/4283/task/4285/stat : 4285 (java) S 4280 4283 31415 0 -1 4202560 2449 0 1 0 54 3 0 0 20 0 22 0 105515209 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808601752440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4286] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4286/stat : 4286 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808574204584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4287] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4287/stat : 4287 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808573152040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4288] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4288/stat : 4288 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808572099496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4289] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4289/stat : 4289 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808571046952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4290] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4290/stat : 4290 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808569993384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4291] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4291/stat : 4291 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808568940840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4292] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4292/stat : 4292 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808439052712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11886 0 0 0 120 2 0 0 20 0 22 0 105515214 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 15693 0 0 0 143 3 0 0 20 0 22 0 105515214 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4308] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4308/stat : 4308 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515317 10060525568 39335 33554432000 1073741824 1073778376 140735081830112 139807942411304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.33 Current children cumulated vsize (KiB) 9824732 [startup+6.30086 s] /proc/loadavg: 4.27 4.22 4.16 5/219 4314 /proc/meminfo: memFree=28446080/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9824732 CPUtime=13.25 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 33304 0 1 0 1308 17 0 0 20 0 22 0 105515207 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456183 53645 2292 9 0 2446860 0 [pid=4283/tid=4285] ppid=4280 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/4283/task/4285/stat : 4285 (java) S 4280 4283 31415 0 -1 4202560 2451 0 1 0 54 3 0 0 20 0 22 0 105515209 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808601752440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4286] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4286/stat : 4286 (java) S 4280 4283 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808574204584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4287] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4287/stat : 4287 (java) S 4280 4283 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808573152040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4288] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4288/stat : 4288 (java) S 4280 4283 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808572099496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4289] ppid=4280 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/4283/task/4289/stat : 4289 (java) S 4280 4283 31415 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808571046952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4290] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4290/stat : 4290 (java) S 4280 4283 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808569993384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4291] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4291/stat : 4291 (java) S 4280 4283 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808568940840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4292] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4292/stat : 4292 (java) S 4280 4283 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808439052712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515210 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11892 0 0 0 135 2 0 0 20 0 22 0 105515214 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 17496 0 0 0 183 3 0 0 20 0 22 0 105515214 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4308] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4308/stat : 4308 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515317 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807942411304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4312] ppid=4280 vsize=9824732 CPUtime=3.61 cores=1,3,5,7 /proc/4283/task/4312/stat : 4312 (java) R 4280 4283 31415 0 -1 4202560 14 0 0 0 361 0 0 0 20 0 22 0 105515468 10060525568 53645 33554432000 1073741824 1073778376 140735081830112 139807944514664 139808451103799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4313] ppid=4280 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 ################ # More data... # ################ [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 937 0 0 0 205 43 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=4.39 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 2514 0 0 0 435 4 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11894 0 0 0 149 2 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 21315 0 0 0 289 5 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 51 0 0 0 9 13 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4314] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4314/stat : 4314 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515468 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807946629928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4403] ppid=4280 vsize=9824732 CPUtime=262.43 cores=1,3,5,7 /proc/4283/task/4403/stat : 4403 (java) R 4280 4283 31415 0 -1 4202560 2 0 0 0 26240 3 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807944507424 139808450565351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4404] ppid=4280 vsize=9824732 CPUtime=262.36 cores=1,3,5,7 /proc/4283/task/4404/stat : 4404 (java) R 4280 4283 31415 0 -1 4202560 10 0 0 0 26232 4 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807943461552 139808451215131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4405] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4405/stat : 4405 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807942411688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1763.85 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.301 s] /proc/loadavg: 2.08 2.43 3.14 3/191 4414 /proc/meminfo: memFree=26646416/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9824732 CPUtime=1797.83 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 49114 0 1 0 179384 399 0 0 20 0 22 0 105515207 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456183 957378 2302 9 0 2446860 0 [pid=4283/tid=4285] ppid=4280 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/4283/task/4285/stat : 4285 (java) S 4280 4283 31415 0 -1 4202560 2455 0 1 0 59 3 0 0 20 0 22 0 105515209 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808601752440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4286] ppid=4280 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/4283/task/4286/stat : 4286 (java) S 4280 4283 31415 0 -1 4202560 1070 0 0 0 201 39 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808574204584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4287] ppid=4280 vsize=9824732 CPUtime=2.66 cores=1,3,5,7 /proc/4283/task/4287/stat : 4287 (java) S 4280 4283 31415 0 -1 4202560 1167 0 0 0 224 42 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808573152040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4288] ppid=4280 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/4283/task/4288/stat : 4288 (java) S 4280 4283 31415 0 -1 4202560 981 0 0 0 175 38 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808572099496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4289] ppid=4280 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/4283/task/4289/stat : 4289 (java) S 4280 4283 31415 0 -1 4202560 1007 0 0 0 216 41 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808571046952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4290] ppid=4280 vsize=9824732 CPUtime=2.56 cores=1,3,5,7 /proc/4283/task/4290/stat : 4290 (java) S 4280 4283 31415 0 -1 4202560 1116 0 0 0 216 40 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808569993384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4291] ppid=4280 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/4283/task/4291/stat : 4291 (java) S 4280 4283 31415 0 -1 4202560 1174 0 0 0 204 42 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808568940840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4292] ppid=4280 vsize=9824732 CPUtime=2.52 cores=1,3,5,7 /proc/4283/task/4292/stat : 4292 (java) S 4280 4283 31415 0 -1 4202560 1025 0 0 0 207 45 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808439052712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 937 0 0 0 205 43 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=4.39 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 2514 0 0 0 435 4 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11894 0 0 0 149 2 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 21315 0 0 0 289 5 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 51 0 0 0 10 13 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4314] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4314/stat : 4314 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515468 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807946629928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4403] ppid=4280 vsize=9824732 CPUtime=279.37 cores=1,3,5,7 /proc/4283/task/4403/stat : 4403 (java) R 4280 4283 31415 0 -1 4202560 2 0 0 0 27933 4 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807944507424 139808451170630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4404] ppid=4280 vsize=9824732 CPUtime=279.3 cores=1,3,5,7 /proc/4283/task/4404/stat : 4404 (java) R 4280 4283 31415 0 -1 4202560 10 0 0 0 27925 5 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807943461552 139808451215111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4405] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4405/stat : 4405 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807942411688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.83 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 4283 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.301 s] /proc/loadavg: 2.08 2.43 3.14 3/191 4414 /proc/meminfo: memFree=26646416/32872528 swapFree=14448/1543360 [pid=4283] ppid=4280 vsize=9824732 CPUtime=1797.83 cores=1,3,5,7 /proc/4283/stat : 4283 (java) S 4280 4283 31415 0 -1 4202496 49114 0 1 0 179384 399 0 0 20 0 22 0 105515207 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 140735081821248 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4283/statm: 2456183 957378 2302 9 0 2446860 0 [pid=4283/tid=4285] ppid=4280 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/4283/task/4285/stat : 4285 (java) S 4280 4283 31415 0 -1 4202560 2455 0 1 0 59 3 0 0 20 0 22 0 105515209 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808601752440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4286] ppid=4280 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/4283/task/4286/stat : 4286 (java) S 4280 4283 31415 0 -1 4202560 1070 0 0 0 201 39 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808574204584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4287] ppid=4280 vsize=9824732 CPUtime=2.66 cores=1,3,5,7 /proc/4283/task/4287/stat : 4287 (java) S 4280 4283 31415 0 -1 4202560 1167 0 0 0 224 42 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808573152040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4288] ppid=4280 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/4283/task/4288/stat : 4288 (java) S 4280 4283 31415 0 -1 4202560 981 0 0 0 175 38 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808572099496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4289] ppid=4280 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/4283/task/4289/stat : 4289 (java) S 4280 4283 31415 0 -1 4202560 1007 0 0 0 216 41 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808571046952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4290] ppid=4280 vsize=9824732 CPUtime=2.56 cores=1,3,5,7 /proc/4283/task/4290/stat : 4290 (java) S 4280 4283 31415 0 -1 4202560 1116 0 0 0 216 40 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808569993384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4291] ppid=4280 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/4283/task/4291/stat : 4291 (java) S 4280 4283 31415 0 -1 4202560 1174 0 0 0 204 42 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808568940840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4292] ppid=4280 vsize=9824732 CPUtime=2.52 cores=1,3,5,7 /proc/4283/task/4292/stat : 4292 (java) S 4280 4283 31415 0 -1 4202560 1025 0 0 0 207 45 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808439052712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4293] ppid=4280 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/4283/task/4293/stat : 4293 (java) S 4280 4283 31415 0 -1 4202560 937 0 0 0 205 43 0 0 20 0 22 0 105515210 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139808438000168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4294] ppid=4280 vsize=9824732 CPUtime=4.39 cores=1,3,5,7 /proc/4283/task/4294/stat : 4294 (java) S 4280 4283 31415 0 -1 4202560 2514 0 0 0 435 4 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807955053160 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4295] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4295/stat : 4295 (java) S 4280 4283 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807953999480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4296] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4296/stat : 4296 (java) S 4280 4283 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105515211 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807952946824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4297] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4297/stat : 4297 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807951895568 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4298] ppid=4280 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/4283/task/4298/stat : 4298 (java) S 4280 4283 31415 0 -1 4202560 11894 0 0 0 149 2 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807950841912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4283/tid=4299] ppid=4280 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/4283/task/4299/stat : 4299 (java) S 4280 4283 31415 0 -1 4202560 21315 0 0 0 289 5 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807949789368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4300] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4300/stat : 4300 (java) S 4280 4283 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807948737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4301] ppid=4280 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/4283/task/4301/stat : 4301 (java) S 4280 4283 31415 0 -1 4202560 51 0 0 0 10 13 0 0 20 0 22 0 105515214 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807947684680 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4283/tid=4314] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4314/stat : 4314 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515468 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807946629928 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4403] ppid=4280 vsize=9824732 CPUtime=279.37 cores=1,3,5,7 /proc/4283/task/4403/stat : 4403 (java) R 4280 4283 31415 0 -1 4202560 2 0 0 0 27933 4 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807944507424 139808451170630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4283/tid=4404] ppid=4280 vsize=9824732 CPUtime=279.3 cores=1,3,5,7 /proc/4283/task/4404/stat : 4404 (java) R 4280 4283 31415 0 -1 4202560 10 0 0 0 27925 5 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807943461552 139808451215111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4283/tid=4405] ppid=4280 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4283/task/4405/stat : 4405 (java) S 4280 4283 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105576672 10060525568 957378 33554432000 1073741824 1073778376 140735081830112 139807942411688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4283 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=431508 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=220358 # CPU time returned by wait4() is 1796.65 # while last known CPU time is 1797.83 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.27013 # lost CPU user time (s): 2.45012 # lost CPU system time (s): -0.18 Real time (s): 899.364 CPU time (s): 1800.1 CPU user time (s): 1796.29 CPU system time (s): 3.81 CPU usage (%): 200.153 Max. virtual memory (cumulated for all children) (KiB): 9825920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.43 system time used= 4.22036 maximum resident set size= 3829624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49149 page faults= 1 swaps= 0 block input operations= 0 block output operations= 896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22859 involuntary context switches= 19094 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.2542 second user time and 7.56485 second system time The end
Begin job on node116 at 2016-06-06 19:56:56 IDJOB=4081457 IDBENCH=24974 IDSOLVER=2543 FILE ID=node116/4081457-1465235816 RUNJOBID= node116-1465218446-31432 PBS_JOBID= 19843214 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081457-1465235816/watcher-4081457-1465235816 -o /tmp/evaluation-result-4081457-1465235816/solver-4081457-1465235816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081457-1465235816.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=37305376 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.26 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28654252 kB Buffers: 30472 kB Cached: 117652 kB SwapCached: 1432 kB Active: 1883068 kB Inactive: 88032 kB Active(anon): 1823588 kB Inactive(anon): 1380 kB Active(file): 59480 kB Inactive(file): 86652 kB Unevictable: 1543360 kB Mlocked: 14448 kB SwapTotal: 67108856 kB SwapFree: 67098884 kB Dirty: 1288 kB Writeback: 4 kB AnonPages: 3365440 kB Mapped: 15340 kB Shmem: 0 kB Slab: 566632 kB SReclaimable: 10628 kB SUnreclaim: 556004 kB KernelStack: 1608 kB PageTables: 11504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3661400 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3309568 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= 71732 MiB End job on node116 at 2016-06-06 20:11:55