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) | 22269261264 | 1800.14 | 901.381 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f46-DC_Side1.seq-A-2-1-irEDCBA.opb |
| MD5SUM | 9146aff97a70de9a5679b12e3421228d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19643154288 |
| Best CPU time to get the best result obtained on this benchmark | 28.4847 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6015 |
| Total number of constraints | 17521 |
| Number of constraints which are clauses | 17385 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 136 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 35 |
| Number of terms in the objective function | 496 |
| Biggest coefficient in the objective function | 262609375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 84822828124 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 262609375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 84822828124 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4110925-1466392857.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.34/0.63 c ... done. Wall clock time 0.515s. 1.34/0.63 c declared #vars 6015 1.34/0.63 c #constraints 17521 1.34/0.64 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.34/0.64 c constraints type 1.34/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4460 1.34/0.64 c org.sat4j.specs.Constr$1 => 1339 1.34/0.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 34 1.34/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10962 1.34/0.64 c org.sat4j.minisat.constraints.cnf.UnitClause => 726 1.34/0.64 c 17521 constraints processed. 1.34/0.64 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.34/0.64 c constraints type 1.34/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10962 1.34/0.64 c org.sat4j.specs.Constr$1 => 1339 1.34/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4460 1.34/0.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 34 1.34/0.64 c org.sat4j.pb.constraints.pb.UnitClausePB => 726 1.34/0.64 c 17521 constraints processed. 1.34/0.64 c objective function length is 496 literals 2.49/0.94 c And the winner is solver0 2.88/1.14 c SATISFIABLE 2.88/1.14 c OPTIMIZING... 2.88/1.14 c Got one! Elapsed wall clock time (in seconds):1.024 2.88/1.14 o 27784049809 2.88/1.19 c And the winner is solver0 3.10/1.65 c Got one! Elapsed wall clock time (in seconds):1.531 3.10/1.65 o 27784049775 3.28/1.70 c And the winner is solver0 3.58/2.15 c Got one! Elapsed wall clock time (in seconds):2.036 3.58/2.15 o 27784048585 3.76/2.21 c And the winner is solver1 3.85/2.66 c Got one! Elapsed wall clock time (in seconds):2.54 3.85/2.66 o 25157954835 4.76/2.95 c cleaning 2606 clauses out of 5212 with flag 10614/5212 5.82/3.27 c cleaning 4303 clauses out of 8606 with flag 23097/11212 6.73/3.64 c cleaning 5651 clauses out of 11303 with flag 37876/18212 8.17/4.10 c cleaning 6826 clauses out of 13651 with flag 55234/26211 8.61/4.32 c And the winner is solver1 8.67/4.66 c Got one! Elapsed wall clock time (in seconds):4.544 8.67/4.66 o 24895354028 8.75/4.79 c cleaning 6112 clauses out of 12229 with flag 2374/31615 9.92/5.12 c cleaning 6055 clauses out of 12116 with flag 16488/37614 11.07/5.53 c cleaning 6526 clauses out of 13062 with flag 32621/44615 11.88/5.94 c cleaning 7266 clauses out of 14536 with flag 51025/52615 12.95/6.44 c cleaning 8131 clauses out of 16270 with flag 71901/61615 14.20/7.07 c cleaning 9067 clauses out of 18138 with flag 95754/71614 15.64/7.72 c cleaning 10031 clauses out of 20071 with flag 121871/82614 17.06/8.41 c cleaning 11020 clauses out of 22041 with flag 149940/94615 18.47/9.18 c cleaning 12003 clauses out of 24020 with flag 181105/107614 20.39/10.08 c cleaning 13009 clauses out of 26017 with flag 213938/121614 22.17/10.99 c cleaning 14005 clauses out of 28009 with flag 249541/136615 24.17/11.93 c cleaning 14998 clauses out of 30003 with flag 285303/152614 26.17/12.94 c cleaning 16003 clauses out of 32007 with flag 321797/169616 28.37/14.03 c cleaning 16998 clauses out of 34002 with flag 359937/187614 30.77/15.29 c cleaning 18003 clauses out of 36005 with flag 400408/206615 33.58/16.62 c cleaning 18996 clauses out of 38002 with flag 442784/226615 36.57/18.18 c cleaning 19996 clauses out of 40005 with flag 488371/247614 39.37/19.50 c cleaning 21000 clauses out of 42009 with flag 534867/269614 42.18/20.99 c cleaning 22004 clauses out of 44010 with flag 583816/292615 45.68/22.65 c cleaning 22998 clauses out of 46005 with flag 634354/316614 48.88/24.30 c cleaning 24003 clauses out of 48008 with flag 687192/341615 52.47/26.09 c cleaning 24998 clauses out of 50004 with flag 742245/367614 56.26/27.97 c cleaning 26004 clauses out of 52007 with flag 799337/394615 60.46/30.02 c cleaning 26996 clauses out of 54003 with flag 858613/422615 64.67/32.14 c cleaning 28001 clauses out of 56007 with flag 920143/451615 68.88/34.26 c cleaning 29001 clauses out of 58005 with flag 983643/481614 73.28/36.46 c cleaning 29999 clauses out of 60004 with flag 1049252/512614 77.86/38.71 c cleaning 31002 clauses out of 62005 with flag 1116823/544614 82.48/41.04 c cleaning 32001 clauses out of 64003 with flag 1186934/577614 87.68/43.60 c cleaning 32995 clauses out of 66002 with flag 1258979/611614 92.68/46.16 c cleaning 34001 clauses out of 68008 with flag 1333108/646615 98.48/49.02 c cleaning 35001 clauses out of 70008 with flag 1409308/682616 104.48/52.02 c cleaning 36001 clauses out of 72006 with flag 1487254/719615 111.08/55.36 c cleaning 36996 clauses out of 74004 with flag 1568103/757614 118.07/58.84 c cleaning 38004 clauses out of 76009 with flag 1650664/796615 124.47/62.02 c cleaning 38997 clauses out of 78004 with flag 1735164/836614 131.08/65.38 c cleaning 40003 clauses out of 80007 with flag 1821892/877614 138.28/68.92 c cleaning 40998 clauses out of 82005 with flag 1910938/919615 145.89/72.75 c cleaning 41995 clauses out of 84007 with flag 2001270/962615 153.07/76.32 c cleaning 43002 clauses out of 86012 with flag 2094350/1006615 162.07/80.88 c cleaning 44000 clauses out of 88009 with flag 2189878/1051614 171.27/85.44 c cleaning 44998 clauses out of 90010 with flag 2288184/1097615 180.47/90.09 c cleaning 46003 clauses out of 92011 with flag 2387853/1144614 189.47/94.60 c cleaning 47000 clauses out of 94008 with flag 2489823/1192614 198.49/99.05 c cleaning 47999 clauses out of 96008 with flag 2592998/1241614 209.02/104.27 c cleaning 48996 clauses out of 98010 with flag 2699253/1291615 218.65/109.09 c cleaning 50003 clauses out of 100013 with flag 2806842/1342614 228.03/113.76 c cleaning 50995 clauses out of 102010 with flag 2916708/1394614 239.03/119.28 c cleaning 51999 clauses out of 104015 with flag 3027967/1447614 249.82/124.70 c cleaning 53009 clauses out of 106017 with flag 3142215/1501615 261.02/130.25 c cleaning 54004 clauses out of 108007 with flag 3259123/1556614 272.62/136.07 c cleaning 54996 clauses out of 110003 with flag 3378294/1612614 284.82/142.17 c cleaning 55997 clauses out of 112007 with flag 3498917/1669614 296.41/147.96 c cleaning 57001 clauses out of 114010 with flag 3622639/1727614 307.81/153.61 c cleaning 58004 clauses out of 116009 with flag 3747837/1786614 319.62/159.54 c cleaning 59000 clauses out of 118006 with flag 3875177/1846615 332.41/165.92 c cleaning 59997 clauses out of 120005 with flag 4003504/1907614 343.82/171.70 c cleaning 61004 clauses out of 122010 with flag 4136239/1969616 355.80/177.66 c cleaning 61998 clauses out of 124004 with flag 4269908/2032614 368.60/184.09 c cleaning 62997 clauses out of 126006 with flag 4405348/2096614 383.20/191.36 c cleaning 64002 clauses out of 128010 with flag 4543652/2161615 397.99/198.77 c cleaning 65004 clauses out of 130008 with flag 4684609/2227615 411.59/205.57 c cleaning 65994 clauses out of 132003 with flag 4827161/2294614 426.99/213.23 c cleaning 67000 clauses out of 134010 with flag 4970480/2362615 444.39/221.94 c cleaning 68001 clauses out of 136009 with flag 5116525/2431614 461.39/230.36 c cleaning 68999 clauses out of 138008 with flag 5265447/2501614 478.40/238.87 c cleaning 70000 clauses out of 140009 with flag 5417269/2572614 493.80/246.51 c cleaning 71005 clauses out of 142011 with flag 5569994/2644616 510.38/254.84 c cleaning 71998 clauses out of 144005 with flag 5725670/2717615 524.39/261.89 c cleaning 72997 clauses out of 146006 with flag 5883251/2791614 538.58/268.92 c cleaning 73997 clauses out of 148010 with flag 6042985/2866615 553.59/276.49 c cleaning 74999 clauses out of 150013 with flag 6203915/2942615 568.78/284.01 c cleaning 76002 clauses out of 152013 with flag 6367279/3019614 584.18/291.74 c cleaning 77004 clauses out of 154012 with flag 6533735/3097615 599.58/299.41 c cleaning 77999 clauses out of 156010 with flag 6701788/3176617 617.18/308.29 c cleaning 78999 clauses out of 158008 with flag 6872015/3256614 634.39/316.87 c cleaning 80001 clauses out of 160009 with flag 7042673/3337614 656.39/327.86 c cleaning 81004 clauses out of 162009 with flag 7214733/3419615 674.37/336.88 c cleaning 81997 clauses out of 164005 with flag 7392205/3502615 683.19/341.17 c And the winner is solver1 683.19/341.24 c Got one! Elapsed wall clock time (in seconds):341.12 683.19/341.24 o 24632747067 685.80/342.50 c cleaning 67358 clauses out of 134729 with flag 11479/3555336 687.47/343.41 c cleaning 36680 clauses out of 73373 with flag 25309/3561338 688.28/343.89 c cleaning 21842 clauses out of 43692 with flag 41245/3568337 689.28/344.32 c cleaning 14920 clauses out of 29850 with flag 59756/3576337 690.08/344.79 c cleaning 11960 clauses out of 23929 with flag 80715/3585336 691.27/345.33 c cleaning 10976 clauses out of 21970 with flag 104233/3595337 692.47/345.90 c cleaning 10990 clauses out of 21994 with flag 130131/3606337 693.72/346.57 c cleaning 11491 clauses out of 23003 with flag 157860/3618336 695.11/347.25 c cleaning 12251 clauses out of 24512 with flag 187914/3631336 696.71/348.01 c cleaning 13130 clauses out of 26261 with flag 220189/3645336 698.32/348.85 c cleaning 14060 clauses out of 28131 with flag 254788/3660336 700.11/349.79 c cleaning 15030 clauses out of 30073 with flag 292066/3676338 701.01/350.18 c And the winner is solver1 701.10/350.24 c Got one! Elapsed wall clock time (in seconds):350.124 701.10/350.24 o 24370143506 701.61/350.55 c cleaning 13458 clauses out of 26920 with flag 11498/3688215 702.20/350.85 c cleaning 9725 clauses out of 19462 with flag 25570/3694215 702.80/351.19 c cleaning 8369 clauses out of 16738 with flag 42313/3701216 703.60/351.58 c cleaning 8178 clauses out of 16368 with flag 61088/3709215 704.60/352.05 c cleaning 8589 clauses out of 17190 with flag 82426/3718215 705.59/352.57 c cleaning 9300 clauses out of 18602 with flag 105883/3728216 707.00/353.22 c cleaning 10145 clauses out of 20302 with flag 132241/3739216 708.43/353.93 c cleaning 11075 clauses out of 22156 with flag 160388/3751215 709.83/354.69 c cleaning 12040 clauses out of 24082 with flag 190772/3764216 711.63/355.53 c cleaning 13019 clauses out of 26041 with flag 223644/3778215 713.44/356.41 c cleaning 14012 clauses out of 28024 with flag 259464/3793217 715.25/357.38 c cleaning 15002 clauses out of 30011 with flag 297074/3809216 715.87/357.68 c And the winner is solver1 715.99/357.75 c Got one! Elapsed wall clock time (in seconds):357.628 715.99/357.75 o 24370132660 716.49/358.06 c cleaning 12855 clauses out of 25712 with flag 11479/3819919 717.10/358.39 c cleaning 9424 clauses out of 18856 with flag 25463/3825918 718.09/358.80 c cleaning 8206 clauses out of 16432 with flag 42066/3832918 718.89/359.22 c cleaning 8108 clauses out of 16227 with flag 60827/3840919 719.90/359.72 c cleaning 8553 clauses out of 17118 with flag 82112/3849918 720.11/359.88 c And the winner is solver1 720.26/360.25 c Got one! Elapsed wall clock time (in seconds):360.131 720.26/360.25 o 24107535321 720.36/360.39 c cleaning 6830 clauses out of 13665 with flag 4490/3855018 720.98/360.67 c cleaning 6412 clauses out of 12835 with flag 18114/3861018 721.78/361.00 c cleaning 6708 clauses out of 13423 with flag 34320/3868018 722.58/361.41 c cleaning 7350 clauses out of 14715 with flag 52870/3876018 723.38/361.88 c cleaning 8178 clauses out of 16365 with flag 73560/3885018 724.58/362.41 c cleaning 9090 clauses out of 18187 with flag 96769/3895018 725.79/363.02 c cleaning 10047 clauses out of 20098 with flag 122369/3906019 727.17/363.73 c cleaning 11026 clauses out of 22051 with flag 150534/3918019 728.82/364.54 c cleaning 12005 clauses out of 24024 with flag 180412/3931018 730.62/365.44 c cleaning 13007 clauses out of 26019 with flag 213568/3945018 732.22/366.30 c cleaning 14002 clauses out of 28012 with flag 248681/3960018 734.21/367.21 c cleaning 15004 clauses out of 30010 with flag 285313/3976018 736.02/368.19 c cleaning 15994 clauses out of 32006 with flag 324148/3993018 738.49/369.36 c cleaning 17005 clauses out of 34013 with flag 365440/4011019 740.69/370.45 c cleaning 18003 clauses out of 36007 with flag 409130/4030018 743.29/371.70 c cleaning 18999 clauses out of 38004 with flag 454950/4050018 745.91/373.05 c cleaning 20001 clauses out of 40008 with flag 503129/4071021 747.37/373.79 c And the winner is solver1 747.50/374.25 c Got one! Elapsed wall clock time (in seconds):374.135 747.50/374.25 o 24107526923 748.19/374.60 c cleaning 18904 clauses out of 37814 with flag 11579/4088828 748.79/374.97 c cleaning 12453 clauses out of 24910 with flag 25458/4094828 749.59/375.38 c cleaning 9724 clauses out of 19458 with flag 42296/4101829 750.59/375.80 c cleaning 8861 clauses out of 17733 with flag 60775/4109828 751.40/376.26 c cleaning 8930 clauses out of 17874 with flag 81480/4118830 752.39/376.79 c cleaning 9469 clauses out of 18942 with flag 104268/4128828 753.81/377.41 c cleaning 10234 clauses out of 20475 with flag 129860/4139830 753.81/377.42 c And the winner is solver1 753.84/377.76 c Got one! Elapsed wall clock time (in seconds):377.638 753.84/377.76 o 23319695262 754.39/378.04 c cleaning 7663 clauses out of 15328 with flag 11458/4144917 754.99/378.32 c cleaning 6830 clauses out of 13664 with flag 25172/4150916 755.40/378.59 c And the winner is solver1 755.57/378.76 c Got one! Elapsed wall clock time (in seconds):378.64 755.57/378.76 o 23057092857 756.06/379.02 c cleaning 8703 clauses out of 17411 with flag 11529/4161493 756.65/379.32 c cleaning 7351 clauses out of 14707 with flag 25450/4167492 757.27/379.69 c cleaning 7177 clauses out of 14356 with flag 41433/4174492 758.26/380.12 c cleaning 7590 clauses out of 15179 with flag 59945/4182492 759.06/380.58 c cleaning 8290 clauses out of 16589 with flag 80708/4191492 760.05/381.09 c cleaning 9150 clauses out of 18299 with flag 103547/4201492 761.25/381.69 c cleaning 10074 clauses out of 20150 with flag 128979/4212493 762.89/382.42 c cleaning 11035 clauses out of 22075 with flag 156922/4224492 764.29/383.18 c cleaning 12019 clauses out of 24043 with flag 186722/4237495 766.21/383.98 c cleaning 13010 clauses out of 26022 with flag 219918/4251493 768.60/384.94 c cleaning 14003 clauses out of 28011 with flag 254614/4266492 770.80/386.05 c cleaning 15003 clauses out of 30008 with flag 291746/4282492 772.86/387.08 c cleaning 16001 clauses out of 32005 with flag 330088/4299492 775.06/388.17 c cleaning 17000 clauses out of 34004 with flag 371268/4317492 777.46/389.33 c cleaning 18002 clauses out of 36004 with flag 414688/4336492 780.33/390.73 c cleaning 18995 clauses out of 38002 with flag 460954/4356492 783.53/392.34 c cleaning 20000 clauses out of 40008 with flag 511336/4377493 787.13/394.15 c cleaning 20998 clauses out of 42007 with flag 563527/4399492 790.99/396.03 c cleaning 22000 clauses out of 44011 with flag 617753/4422494 794.57/397.84 c cleaning 23005 clauses out of 46009 with flag 674808/4446492 798.42/399.70 c cleaning 24000 clauses out of 48006 with flag 733635/4471494 802.03/401.53 c cleaning 25001 clauses out of 50007 with flag 793293/4497495 805.88/403.42 c cleaning 26001 clauses out of 52004 with flag 856712/4524493 810.28/405.70 c cleaning 27000 clauses out of 54002 with flag 925874/4552492 811.68/406.40 c And the winner is solver1 811.75/406.77 c Got one! Elapsed wall clock time (in seconds):406.649 811.75/406.77 o 23057090579 812.42/407.16 c cleaning 21264 clauses out of 42527 with flag 11725/4568017 813.25/407.53 c cleaning 13627 clauses out of 27263 with flag 25656/4574017 813.84/407.89 c cleaning 10316 clauses out of 20636 with flag 41684/4581017 814.85/408.31 c cleaning 9158 clauses out of 18321 with flag 59794/4589018 815.64/408.77 c cleaning 9077 clauses out of 18162 with flag 80896/4598017 816.65/409.30 c cleaning 9539 clauses out of 19085 with flag 103474/4608017 817.84/409.89 c cleaning 10271 clauses out of 20548 with flag 129024/4619019 819.48/410.62 c cleaning 11134 clauses out of 22275 with flag 156846/4631017 820.88/411.38 c cleaning 12065 clauses out of 24141 with flag 186570/4644017 822.48/412.19 c cleaning 13035 clauses out of 26077 with flag 219811/4658018 824.28/413.07 c cleaning 14020 clauses out of 28041 with flag 254841/4673017 826.32/414.06 c cleaning 15010 clauses out of 30022 with flag 292360/4689018 828.32/415.08 c cleaning 15999 clauses out of 32011 with flag 331557/4706017 830.52/416.17 c cleaning 17000 clauses out of 34012 with flag 373824/4724017 833.55/417.99 c cleaning 18004 clauses out of 36013 with flag 417948/4743018 836.17/419.24 c cleaning 18999 clauses out of 38008 with flag 464876/4763017 839.36/420.83 c cleaning 20005 clauses out of 40011 with flag 515847/4784019 842.36/422.31 c cleaning 20998 clauses out of 42005 with flag 569570/4806018 845.56/423.93 c cleaning 22001 clauses out of 44006 with flag 626759/4829017 848.60/425.46 c cleaning 23001 clauses out of 46006 with flag 681795/4853018 851.81/427.00 c cleaning 24000 clauses out of 48004 with flag 738954/4878018 855.07/428.70 c cleaning 25000 clauses out of 50003 with flag 797665/4904017 858.67/430.42 c cleaning 26000 clauses out of 52003 with flag 859221/4931017 862.07/432.16 c cleaning 26997 clauses out of 54004 with flag 922668/4959018 866.30/434.28 c cleaning 27996 clauses out of 56006 with flag 989253/4988017 870.50/436.36 c cleaning 29005 clauses out of 58010 with flag 1059018/5018017 874.70/438.41 c cleaning 30003 clauses out of 60006 with flag 1131615/5049018 879.54/440.88 c cleaning 30998 clauses out of 62002 with flag 1206837/5081017 883.75/442.99 c cleaning 32002 clauses out of 64005 with flag 1282548/5114018 888.35/445.22 c cleaning 32991 clauses out of 66002 with flag 1361365/5148017 892.15/447.16 c And the winner is solver1 892.15/447.34 c Got one! Elapsed wall clock time (in seconds):447.223 892.15/447.34 o 22794483924 893.06/447.82 c cleaning 34688 clauses out of 69375 with flag 11559/5184381 893.65/448.18 c cleaning 20337 clauses out of 40686 with flag 25386/5190380 894.45/448.54 c cleaning 13669 clauses out of 27350 with flag 41019/5197381 895.26/448.99 c cleaning 10841 clauses out of 21681 with flag 59044/5205381 896.25/449.45 c cleaning 9917 clauses out of 19839 with flag 79501/5214380 897.32/449.99 c cleaning 9958 clauses out of 19923 with flag 101913/5224381 898.51/450.59 c cleaning 10482 clauses out of 20965 with flag 127465/5235381 899.91/451.30 c cleaning 11240 clauses out of 22482 with flag 155035/5247380 901.31/451.99 c cleaning 12118 clauses out of 24245 with flag 184328/5260383 903.10/452.83 c cleaning 13056 clauses out of 26124 with flag 216530/5274380 904.70/453.66 c cleaning 14035 clauses out of 28069 with flag 250384/5289381 906.52/454.54 c cleaning 15013 clauses out of 30033 with flag 286862/5305380 908.53/455.56 c cleaning 16010 clauses out of 32020 with flag 325530/5322380 910.77/456.61 c cleaning 17000 clauses out of 34011 with flag 366612/5340381 912.76/457.67 c cleaning 18001 clauses out of 36011 with flag 409823/5359381 915.17/458.86 c cleaning 19001 clauses out of 38010 with flag 455423/5379381 917.55/460.05 c cleaning 20003 clauses out of 40008 with flag 503431/5400380 920.15/461.36 c cleaning 21002 clauses out of 42006 with flag 553334/5422381 923.15/462.81 c cleaning 22001 clauses out of 44003 with flag 606084/5445380 925.96/464.26 c cleaning 22995 clauses out of 46002 with flag 661118/5469380 928.95/465.73 c cleaning 24003 clauses out of 48007 with flag 716997/5494380 932.15/467.37 c cleaning 24999 clauses out of 50004 with flag 776326/5520380 935.55/469.00 c cleaning 25999 clauses out of 52005 with flag 837578/5547380 938.75/470.65 c cleaning 27003 clauses out of 54007 with flag 900548/5575381 942.56/472.52 c cleaning 28001 clauses out of 56004 with flag 965804/5604381 946.56/474.57 c cleaning 28998 clauses out of 58003 with flag 1034024/5634381 950.76/476.64 c cleaning 30001 clauses out of 60005 with flag 1103515/5665381 954.96/478.79 c cleaning 30995 clauses out of 62005 with flag 1176437/5697382 960.05/481.22 c cleaning 31997 clauses out of 64008 with flag 1252740/5730380 964.25/483.36 c cleaning 33006 clauses out of 66011 with flag 1329585/5764380 968.85/485.62 c cleaning 34002 clauses out of 68005 with flag 1408272/5799380 973.84/488.12 c cleaning 35001 clauses out of 70004 with flag 1489290/5835381 978.44/490.45 c cleaning 35997 clauses out of 72002 with flag 1572972/5872380 984.24/493.30 c cleaning 36998 clauses out of 74008 with flag 1661978/5910383 989.44/495.99 c cleaning 37997 clauses out of 76007 with flag 1751065/5949380 995.44/498.91 c cleaning 39001 clauses out of 78011 with flag 1842094/5989381 1001.06/501.73 c cleaning 40003 clauses out of 80010 with flag 1934860/6030381 1007.04/504.73 c cleaning 41001 clauses out of 82007 with flag 2030685/6072381 1013.64/508.08 c cleaning 42001 clauses out of 84007 with flag 2129590/6115382 1020.44/511.43 c cleaning 42998 clauses out of 86004 with flag 2229227/6159380 1027.45/514.91 c cleaning 43996 clauses out of 88007 with flag 2332309/6204381 1034.35/518.32 c cleaning 44996 clauses out of 90010 with flag 2436357/6250380 1040.56/521.47 c cleaning 46004 clauses out of 92015 with flag 2542524/6297381 1047.36/524.86 c cleaning 47001 clauses out of 94010 with flag 2651774/6345380 1055.35/528.80 c cleaning 48003 clauses out of 96009 with flag 2764990/6394380 1062.55/532.40 c cleaning 48998 clauses out of 98006 with flag 2879415/6444380 1069.94/536.19 c cleaning 50000 clauses out of 100008 with flag 2995030/6495380 1079.75/541.04 c cleaning 50999 clauses out of 102009 with flag 3114488/6547381 1088.15/545.26 c cleaning 52005 clauses out of 104009 with flag 3236657/6600380 1095.76/549.06 c cleaning 52996 clauses out of 106004 with flag 3359399/6654380 1104.15/553.30 c cleaning 54002 clauses out of 108008 with flag 3483518/6709380 1112.14/557.28 c cleaning 54997 clauses out of 110007 with flag 3609783/6765381 1121.14/561.77 c cleaning 56002 clauses out of 112009 with flag 3739642/6822380 1129.54/565.94 c cleaning 57002 clauses out of 114008 with flag 3870174/6880381 1138.94/570.65 c cleaning 58004 clauses out of 116007 with flag 4003524/6939382 1149.14/575.73 c cleaning 58995 clauses out of 118001 with flag 4140273/6999380 1158.14/580.28 c cleaning 59997 clauses out of 120006 with flag 4277589/7060380 1167.25/585.02 c And the winner is solver1 1167.25/585.36 c Got one! Elapsed wall clock time (in seconds):585.239 1167.25/585.36 o 22269261264 1168.72/586.12 c cleaning 60246 clauses out of 120492 with flag 11299/7120863 1169.52/586.56 c cleaning 33116 clauses out of 66244 with flag 24807/7126861 1170.32/586.95 c cleaning 20063 clauses out of 40129 with flag 40467/7133862 1171.13/587.38 c cleaning 14029 clauses out of 28065 with flag 58584/7141861 1172.13/587.84 c cleaning 11514 clauses out of 23036 with flag 78913/7150861 1173.13/588.37 c cleaning 10756 clauses out of 21522 with flag 102392/7160861 1174.33/588.92 c cleaning 10878 clauses out of 21767 with flag 127183/7171862 1175.53/589.57 c cleaning 11439 clauses out of 22888 with flag 154437/7183861 1176.93/590.26 c cleaning 12225 clauses out of 24449 with flag 183352/7196861 1178.56/591.06 c cleaning 13109 clauses out of 26224 with flag 215165/7210861 1180.17/591.87 c cleaning 14057 clauses out of 28115 with flag 249152/7225861 1181.96/592.78 c cleaning 15027 clauses out of 30058 with flag 285625/7241861 1184.00/593.78 c cleaning 16013 clauses out of 32032 with flag 325258/7258862 1186.21/594.80 c cleaning 17007 clauses out of 34018 with flag 365933/7276861 1188.41/595.98 c cleaning 18001 clauses out of 36012 with flag 409476/7295862 1191.26/597.33 c cleaning 18998 clauses out of 38010 with flag 455590/7315861 1194.05/598.77 c cleaning 20001 clauses out of 40014 with flag 503988/7336863 1197.29/600.31 c cleaning 21007 clauses out of 42013 with flag 554748/7358863 1200.50/601.97 c cleaning 22001 clauses out of 44005 with flag 609714/7381862 1203.52/603.46 c cleaning 22994 clauses out of 46003 with flag 665037/7405861 1206.32/604.81 c cleaning 23997 clauses out of 48009 with flag 720888/7430861 1209.52/606.47 c cleaning 25004 clauses out of 50013 with flag 779939/7456862 1212.92/608.12 c cleaning 26000 clauses out of 52009 with flag 840838/7483862 1216.39/609.89 c cleaning 27000 clauses out of 54009 with flag 903697/7511862 1220.00/611.64 c cleaning 28001 clauses out of 56008 with flag 968745/7540861 1223.78/613.55 c cleaning 28996 clauses out of 58007 with flag 1036096/7570861 1228.23/615.70 c cleaning 30005 clauses out of 60013 with flag 1106051/7601863 1232.83/618.05 c cleaning 31003 clauses out of 62009 with flag 1179515/7633864 1237.30/620.27 c cleaning 32002 clauses out of 64003 with flag 1253946/7666861 1242.16/622.67 c cleaning 33001 clauses out of 66002 with flag 1331778/7700862 1246.77/624.91 c cleaning 33995 clauses out of 68000 with flag 1410800/7735861 1252.00/627.53 c cleaning 35001 clauses out of 70006 with flag 1492036/7771862 1257.40/630.25 c cleaning 35996 clauses out of 72005 with flag 1576971/7808862 1263.04/633.06 c cleaning 37001 clauses out of 74008 with flag 1663371/7846861 1268.44/635.79 c cleaning 38000 clauses out of 76008 with flag 1751629/7885862 1274.89/638.99 c cleaning 39004 clauses out of 78008 with flag 1843861/7925862 1281.56/642.24 c cleaning 39996 clauses out of 80004 with flag 1936700/7966862 1288.96/645.98 c cleaning 41003 clauses out of 82008 with flag 2032179/8008862 1295.82/649.34 c cleaning 41999 clauses out of 84005 with flag 2131009/8051862 1303.82/653.36 c cleaning 42997 clauses out of 86006 with flag 2231706/8095862 1310.68/656.71 c cleaning 44003 clauses out of 88009 with flag 2335076/8140862 1318.07/660.49 c cleaning 44998 clauses out of 90005 with flag 2441558/8186861 1325.67/664.24 c cleaning 46003 clauses out of 92008 with flag 2551139/8233862 1334.66/668.77 c cleaning 47003 clauses out of 94005 with flag 2665916/8281862 1344.35/673.58 c cleaning 48001 clauses out of 96002 with flag 2781596/8330862 1354.64/678.67 c cleaning 48999 clauses out of 98000 with flag 2900346/8380861 1364.31/683.40 c cleaning 50001 clauses out of 100002 with flag 3017429/8431862 1374.11/688.33 c cleaning 50998 clauses out of 102000 with flag 3142450/8483861 1384.55/693.56 c cleaning 51998 clauses out of 104002 with flag 3265324/8536861 1393.34/698.00 c cleaning 52996 clauses out of 106004 with flag 3388956/8590861 1402.63/702.50 c cleaning 54002 clauses out of 108009 with flag 3515870/8645862 1412.44/707.46 c cleaning 55003 clauses out of 110007 with flag 3644285/8701862 1421.83/712.12 c cleaning 55996 clauses out of 112004 with flag 3774613/8758862 1431.91/717.15 c cleaning 56999 clauses out of 114008 with flag 3908811/8816862 1442.57/722.44 c cleaning 58005 clauses out of 116009 with flag 4045402/8875862 1453.92/728.67 c cleaning 58999 clauses out of 118003 with flag 4181246/8935861 1465.60/734.42 c cleaning 59998 clauses out of 120005 with flag 4324334/8996862 1476.45/739.81 c cleaning 60998 clauses out of 122006 with flag 4465152/9058861 1487.31/745.27 c cleaning 62004 clauses out of 124009 with flag 4609092/9121862 1499.96/751.52 c cleaning 62998 clauses out of 126005 with flag 4754942/9185862 1514.59/758.89 c cleaning 64002 clauses out of 128007 with flag 4904201/9250862 1528.35/765.70 c cleaning 64999 clauses out of 130004 with flag 5054377/9316861 1544.21/773.57 c cleaning 66001 clauses out of 132005 with flag 5209537/9383861 1559.92/781.37 c cleaning 66997 clauses out of 134004 with flag 5365203/9451861 1574.11/788.50 c cleaning 67999 clauses out of 136008 with flag 5521072/9520862 1590.91/796.88 c cleaning 68995 clauses out of 138008 with flag 5682193/9590861 1604.91/803.89 c cleaning 70006 clauses out of 140013 with flag 5842857/9661861 1619.78/811.26 c cleaning 71001 clauses out of 142008 with flag 6004478/9733862 1636.46/819.60 c cleaning 72002 clauses out of 144007 with flag 6170399/9806862 1653.25/827.98 c cleaning 72999 clauses out of 146004 with flag 6343728/9880861 1668.45/835.57 c cleaning 74003 clauses out of 148005 with flag 6515662/9955861 1683.84/843.24 c cleaning 74998 clauses out of 150002 with flag 6691811/10031861 1701.25/852.00 c cleaning 75997 clauses out of 152004 with flag 6866701/10108861 1715.44/859.00 c cleaning 77003 clauses out of 154010 with flag 7044134/10186864 1728.24/865.44 c cleaning 77997 clauses out of 156004 with flag 7224935/10265861 1742.15/872.38 c cleaning 79001 clauses out of 158007 with flag 7409959/10345861 1755.74/879.15 c cleaning 80001 clauses out of 160007 with flag 7594880/10426862 1770.14/886.38 c cleaning 81002 clauses out of 162005 with flag 7783550/10508861 1786.54/894.53 c cleaning 82000 clauses out of 164004 with flag 7973407/10591862 1800.14/901.30 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.14/901.30 c starts : 143309 1800.14/901.30 c conflicts : 10674198 1800.14/901.30 c decisions : 23084149 1800.14/901.30 c propagations : 357454412 1800.14/901.30 c inspects : 11231262528 1800.14/901.30 c shortcuts : 0 1800.14/901.30 c learnt literals : 1 1800.14/901.30 c learnt binary clauses : 4 1800.14/901.30 c learnt ternary clauses : 4 1800.14/901.30 c learnt constraints : 10674197 1800.14/901.30 c ignored constraints : 0 1800.14/901.30 c root simplifications : 0 1800.14/901.30 c removed literals (reason simplification) : 46107013 1800.14/901.30 c reason swapping (by a shorter reason) : 0 1800.14/901.30 c Calls to reduceDB : 328 1800.14/901.30 c Number of update (reduction) of LBD : 588884 1800.14/901.30 c Imported unit clauses : 0 1800.14/901.30 c number of reductions to clauses (during analyze) : 0 1800.14/901.30 c number of learned constraints concerned by reduction : 0 1800.14/901.30 c number of learning phase by resolution : 0 1800.14/901.30 c number of learning phase by cutting planes : 0 1800.14/901.30 c speed (assignments/second) : 1131388.9277496259 1800.14/901.30 c non guided choices 1054 1800.14/901.33 c learnt constraints type 1800.14/901.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4 1800.14/901.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 164336 1800.14/901.33 c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<< 1800.14/901.33 c starts : 43 1800.14/901.33 c conflicts : 7974 1800.14/901.33 c decisions : 73382 1800.14/901.33 c propagations : 2106260 1800.14/901.33 c inspects : 193706342 1800.14/901.33 c shortcuts : 0 1800.14/901.33 c learnt literals : 1 1800.14/901.33 c learnt binary clauses : 6 1800.14/901.33 c learnt ternary clauses : 8 1800.14/901.33 c learnt constraints : 7972 1800.14/901.33 c ignored constraints : 0 1800.14/901.33 c root simplifications : 0 1800.14/901.33 c removed literals (reason simplification) : 0 1800.14/901.33 c reason swapping (by a shorter reason) : 0 1800.14/901.33 c Calls to reduceDB : 0 1800.14/901.33 c Number of update (reduction) of LBD : 0 1800.14/901.33 c Imported unit clauses : 0 1800.14/901.33 c number of reductions to clauses (during analyze) : 0 1800.14/901.33 c number of learned constraints concerned by reduction : 0 1800.14/901.33 c number of learning phase by resolution : 0 1800.14/901.33 c number of learning phase by cutting planes : 0 1800.14/901.33 c speed (assignments/second) : 2342.446542426301 1800.14/901.33 c non guided choices 4127 1800.14/901.33 c learnt constraints type 1800.14/901.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 658 1800.14/901.33 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3 1800.14/901.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7311 1800.14/901.33 s SATISFIABLE 1800.14/901.33 c Found 15 solution(s) 1800.14/901.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 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 x5853 -x5854 -x5855 -x5856 -x5857 x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 x5905 x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 x5914 x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959 x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 x6011 x6012 -x6013 -x6014 -x6015 1800.14/901.35 c objective function=22269261264 1800.14/901.35 c Total wall clock time (in seconds): 901.233
OK 22269261264
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-4110925-1466392857/watcher-4110925-1466392857 -o /tmp/evaluation-result-4110925-1466392857/solver-4110925-1466392857 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28733 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110925-1466392857.opb pid=573 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.04 4.05 4.01 4/198 576 /proc/meminfo: memFree=27821268/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/576/stat : 576 (java) D 573 576 28716 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 41336212 9515008 175 33554432000 1073741824 1073778376 140734353832720 140734353815448 249650037648 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/576/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.04 4.05 4.01 4/198 576 /proc/meminfo: memFree=27821268/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 41336212 9787879424 6044 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2389619 6044 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200209 s] /proc/loadavg: 4.04 4.05 4.01 4/198 576 /proc/meminfo: memFree=27821268/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 4713 0 1 0 23 1 0 0 20 0 18 0 41336212 9787879424 7291 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2389619 7291 2201 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300209 s] /proc/loadavg: 4.04 4.05 4.01 4/198 576 /proc/meminfo: memFree=27821268/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9558476 CPUtime=0.48 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 5933 0 1 0 46 2 0 0 20 0 18 0 41336212 9787879424 9082 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2389619 9082 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700202 s] /proc/loadavg: 4.04 4.05 4.01 4/198 576 /proc/meminfo: memFree=27821268/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9825340 CPUtime=1.69 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 24522 0 1 0 163 6 0 0 20 0 22 0 41336212 10061148160 32705 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456335 32705 2252 9 0 2447012 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 9825340 [startup+1.50076 s] /proc/loadavg: 4.11 4.07 4.01 3/217 598 /proc/meminfo: memFree=27705068/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9824732 CPUtime=3.1 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 27596 0 1 0 299 11 0 0 20 0 19 0 41336212 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456183 31978 2268 9 0 2446860 0 [pid=576/tid=578] ppid=573 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/576/task/578/stat : 578 (java) S 573 576 28716 0 -1 4202560 2443 0 1 0 59 2 0 0 20 0 19 0 41336213 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974116447096 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=579] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/579/stat : 579 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974077938728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=580] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/580/stat : 580 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974076885928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=581] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/581/stat : 581 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974075833128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=582] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/582/stat : 582 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974074780328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=583] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/583/stat : 583 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974073727528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=584] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/584/stat : 584 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974072674728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=585] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/585/stat : 585 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974071621928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41336214 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 41336215 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41336216 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41336216 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336218 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=0.85 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) S 573 576 28716 0 -1 4202560 12179 0 0 0 83 2 0 0 20 0 19 0 41336218 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973936261560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=0.87 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) S 573 576 28716 0 -1 4202560 11636 0 0 0 84 3 0 0 20 0 19 0 41336218 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973935208760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336218 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41336218 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=598] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/598/stat : 598 (java) S 573 576 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41336278 10060525568 31978 33554432000 1073741824 1073778376 140736388257424 139973927433512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9824732 [startup+3.10079 s] /proc/loadavg: 4.11 4.07 4.01 7/220 607 /proc/meminfo: memFree=27689608/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9824732 CPUtime=5.44 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 37090 0 1 0 526 18 0 0 20 0 22 0 41336212 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456183 52212 2278 9 0 2446860 0 [pid=576/tid=578] ppid=573 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/576/task/578/stat : 578 (java) S 573 576 28716 0 -1 4202560 2444 0 1 0 61 2 0 0 20 0 22 0 41336213 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974116447096 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=579] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/579/stat : 579 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974077938728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=580] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/580/stat : 580 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974076885928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=581] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/581/stat : 581 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974075833128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=582] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/582/stat : 582 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974074780328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=583] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/583/stat : 583 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974073727528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=584] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/584/stat : 584 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974072674728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=585] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/585/stat : 585 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974071621928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41336214 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41336215 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) R 573 576 28716 0 -1 4202560 19221 0 0 0 137 3 0 0 20 0 22 0 41336218 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973936255400 139974119056875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) R 573 576 28716 0 -1 4202560 14030 0 0 0 152 3 0 0 20 0 22 0 41336218 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973935208760 139974120290116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=607] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/607/stat : 607 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41336429 10060525568 52212 33554432000 1073741824 1073778376 140736388257424 139973928486056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 9824732 [startup+6.30098 s] /proc/loadavg: 4.11 4.07 4.01 3/216 688 /proc/meminfo: memFree=31250648/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9824732 CPUtime=12.75 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 43035 0 1 0 1241 34 0 0 20 0 22 0 41336212 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456183 94327 2294 9 0 2446860 0 [pid=576/tid=578] ppid=573 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/576/task/578/stat : 578 (java) S 573 576 28716 0 -1 4202560 2444 0 1 0 61 2 0 0 20 0 22 0 41336213 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974116447096 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=579] ppid=573 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/576/task/579/stat : 579 (java) S 573 576 28716 0 -1 4202560 44 0 0 0 6 2 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974077938728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=580] ppid=573 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/576/task/580/stat : 580 (java) S 573 576 28716 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974076885928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=581] ppid=573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/576/task/581/stat : 581 (java) S 573 576 28716 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974075833128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=582] ppid=573 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/576/task/582/stat : 582 (java) S 573 576 28716 0 -1 4202560 190 0 0 0 6 3 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974074780328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=583] ppid=573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/576/task/583/stat : 583 (java) S 573 576 28716 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974073727528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=584] ppid=573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/576/task/584/stat : 584 (java) S 573 576 28716 0 -1 4202560 152 0 0 0 3 2 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974072674728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=585] ppid=573 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/576/task/585/stat : 585 (java) S 573 576 28716 0 -1 4202560 113 0 0 0 5 2 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974071621928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 22 0 0 0 4 1 0 0 20 0 22 0 41336214 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 213 0 0 0 0 0 0 0 20 0 22 0 41336215 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) S 573 576 28716 0 -1 4202560 20687 0 0 0 183 4 0 0 20 0 22 0 41336218 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973936261560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) S 573 576 28716 0 -1 4202560 17655 0 0 0 244 4 0 0 20 0 22 0 41336218 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973935208760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=607] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/607/stat : 607 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41336429 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973928486056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=680] ppid=573 vsize=9824732 CPUtime=1.5 cores=1,3,5,7 /proc/576/task/680/stat : 680 (java) R 573 576 28716 0 -1 4202560 14 0 0 0 150 0 0 0 20 0 22 0 41336679 10060525568 94327 33554432000 1073741824 1073778376 140736388257424 139973930591560 139973941511050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=576/tid=681] ppid=573 vsize=9824732 CPUtime=1.5 cores=1,3,5,7 ################ # More data... # ################ [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 668 0 0 0 125 22 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 2489 0 0 0 259 8 0 0 20 0 22 0 41336215 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) S 573 576 28716 0 -1 4202560 20707 0 0 0 208 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973936261560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=3.3 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) S 573 576 28716 0 -1 4202560 18959 0 0 0 326 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973935208760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 51 0 0 0 9 13 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=607] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/607/stat : 607 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41336429 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973928486056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=767] ppid=573 vsize=9824732 CPUtime=293.7 cores=1,3,5,7 /proc/576/task/767/stat : 767 (java) R 573 576 28716 0 -1 4202560 37 0 0 0 29366 4 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973927423760 139973941523968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=576/tid=768] ppid=573 vsize=9824732 CPUtime=293.7 cores=1,3,5,7 /proc/576/task/768/stat : 768 (java) R 573 576 28716 0 -1 4202560 478 0 0 0 29357 13 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973930588144 139973942293873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=576/tid=769] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/769/stat : 769 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973929539240 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1760.01 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+901.301 s] /proc/loadavg: 4.10 4.06 4.01 5/219 775 /proc/meminfo: memFree=23843908/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9824732 CPUtime=1798 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 53575 0 1 0 179534 266 0 0 20 0 22 0 41336212 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456183 891723 2302 9 0 2446860 0 [pid=576/tid=578] ppid=573 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/576/task/578/stat : 578 (java) S 573 576 28716 0 -1 4202560 2448 0 1 0 65 4 0 0 20 0 22 0 41336213 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974116447096 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=579] ppid=573 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/576/task/579/stat : 579 (java) S 573 576 28716 0 -1 4202560 623 0 0 0 109 22 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974077938728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=580] ppid=573 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/576/task/580/stat : 580 (java) S 573 576 28716 0 -1 4202560 758 0 0 0 108 18 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974076885928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=581] ppid=573 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/576/task/581/stat : 581 (java) S 573 576 28716 0 -1 4202560 410 0 0 0 108 15 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974075833128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=582] ppid=573 vsize=9824732 CPUtime=1.53 cores=1,3,5,7 /proc/576/task/582/stat : 582 (java) S 573 576 28716 0 -1 4202560 736 0 0 0 130 23 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974074780328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=583] ppid=573 vsize=9824732 CPUtime=1.29 cores=1,3,5,7 /proc/576/task/583/stat : 583 (java) S 573 576 28716 0 -1 4202560 545 0 0 0 114 15 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974073727528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=584] ppid=573 vsize=9824732 CPUtime=1.29 cores=1,3,5,7 /proc/576/task/584/stat : 584 (java) S 573 576 28716 0 -1 4202560 589 0 0 0 111 18 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974072674728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=585] ppid=573 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/576/task/585/stat : 585 (java) S 573 576 28716 0 -1 4202560 638 0 0 0 104 19 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974071621928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 668 0 0 0 125 22 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 2489 0 0 0 259 8 0 0 20 0 22 0 41336215 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) S 573 576 28716 0 -1 4202560 20707 0 0 0 208 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973936261560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=3.3 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) S 573 576 28716 0 -1 4202560 18959 0 0 0 326 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973935208760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 53 0 0 0 9 14 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=607] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/607/stat : 607 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41336429 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973928486056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=767] ppid=573 vsize=9824732 CPUtime=312.64 cores=1,3,5,7 /proc/576/task/767/stat : 767 (java) R 573 576 28716 0 -1 4202560 37 0 0 0 31260 4 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973927423760 139973941596877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=576/tid=768] ppid=573 vsize=9824732 CPUtime=312.65 cores=1,3,5,7 /proc/576/task/768/stat : 768 (java) R 573 576 28716 0 -1 4202560 478 0 0 0 31252 13 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973930588144 139973942293902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=576/tid=769] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/769/stat : 769 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973929539240 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798 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 576 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+901.301 s] /proc/loadavg: 4.10 4.06 4.01 5/219 775 /proc/meminfo: memFree=23843908/32872528 swapFree=190484/190484 [pid=576] ppid=573 vsize=9824732 CPUtime=1798 cores=1,3,5,7 /proc/576/stat : 576 (java) S 573 576 28716 0 -1 4202496 53575 0 1 0 179534 266 0 0 20 0 22 0 41336212 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 140736388248560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/576/statm: 2456183 891723 2302 9 0 2446860 0 [pid=576/tid=578] ppid=573 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/576/task/578/stat : 578 (java) S 573 576 28716 0 -1 4202560 2448 0 1 0 65 4 0 0 20 0 22 0 41336213 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974116447096 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=579] ppid=573 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/576/task/579/stat : 579 (java) S 573 576 28716 0 -1 4202560 623 0 0 0 109 22 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974077938728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=580] ppid=573 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/576/task/580/stat : 580 (java) S 573 576 28716 0 -1 4202560 758 0 0 0 108 18 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974076885928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=581] ppid=573 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/576/task/581/stat : 581 (java) S 573 576 28716 0 -1 4202560 410 0 0 0 108 15 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974075833128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=582] ppid=573 vsize=9824732 CPUtime=1.53 cores=1,3,5,7 /proc/576/task/582/stat : 582 (java) S 573 576 28716 0 -1 4202560 736 0 0 0 130 23 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974074780328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=583] ppid=573 vsize=9824732 CPUtime=1.29 cores=1,3,5,7 /proc/576/task/583/stat : 583 (java) S 573 576 28716 0 -1 4202560 545 0 0 0 114 15 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974073727528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=584] ppid=573 vsize=9824732 CPUtime=1.29 cores=1,3,5,7 /proc/576/task/584/stat : 584 (java) S 573 576 28716 0 -1 4202560 589 0 0 0 111 18 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974072674728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=585] ppid=573 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/576/task/585/stat : 585 (java) S 573 576 28716 0 -1 4202560 638 0 0 0 104 19 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974071621928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=586] ppid=573 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/576/task/586/stat : 586 (java) S 573 576 28716 0 -1 4202560 668 0 0 0 125 22 0 0 20 0 22 0 41336214 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139974070569128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=587] ppid=573 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/576/task/587/stat : 587 (java) S 573 576 28716 0 -1 4202560 2489 0 0 0 259 8 0 0 20 0 22 0 41336215 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973940472808 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=588] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/588/stat : 588 (java) S 573 576 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973939418872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=589] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/589/stat : 589 (java) S 573 576 28716 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 41336216 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973938365960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=590] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/590/stat : 590 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973937314448 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=591] ppid=573 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/576/task/591/stat : 591 (java) S 573 576 28716 0 -1 4202560 20707 0 0 0 208 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973936261560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=576/tid=592] ppid=573 vsize=9824732 CPUtime=3.3 cores=1,3,5,7 /proc/576/task/592/stat : 592 (java) S 573 576 28716 0 -1 4202560 18959 0 0 0 326 4 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973935208760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=576/tid=593] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/593/stat : 593 (java) S 573 576 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973934156152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=576/tid=594] ppid=573 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/576/task/594/stat : 594 (java) S 573 576 28716 0 -1 4202560 53 0 0 0 9 14 0 0 20 0 22 0 41336218 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973933103560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=607] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/607/stat : 607 (java) S 573 576 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41336429 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973928486056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=576/tid=767] ppid=573 vsize=9824732 CPUtime=312.64 cores=1,3,5,7 /proc/576/task/767/stat : 767 (java) R 573 576 28716 0 -1 4202560 37 0 0 0 31260 4 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973927423760 139973941596877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=576/tid=768] ppid=573 vsize=9824732 CPUtime=312.65 cores=1,3,5,7 /proc/576/task/768/stat : 768 (java) R 573 576 28716 0 -1 4202560 478 0 0 0 31252 13 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973930588144 139973942293902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=576/tid=769] ppid=573 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/576/task/769/stat : 769 (java) S 573 576 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41394749 10060525568 891723 33554432000 1073741824 1073778376 140736388257424 139973929539240 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 576 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=878289 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=953550 # CPU time returned by wait4() is 1796.83 # while last known CPU time is 1798 # # 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.14001 # lost CPU user time (s): 2.33008 # lost CPU system time (s): -0.19 Real time (s): 901.381 CPU time (s): 1800.14 CPU user time (s): 1797.67 CPU system time (s): 2.47 CPU usage (%): 199.709 Max. virtual memory (cumulated for all children) (KiB): 9825340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.88 system time used= 2.95355 maximum resident set size= 3567004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53614 page faults= 1 swaps= 0 block input operations= 0 block output operations= 856 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24211 involuntary context switches= 26970 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.42417 second user time and 7.46186 second system time The end
Begin job on node102 at 2016-06-20 05:20:57 IDJOB=4110925 IDBENCH=108575 IDSOLVER=2543 FILE ID=node102/4110925-1466392857 RUNJOBID= node102-1466383830-28733 PBS_JOBID= 19923256 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irEDCBA.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110925-1466392857/watcher-4110925-1466392857 -o /tmp/evaluation-result-4110925-1466392857/solver-4110925-1466392857 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28733 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110925-1466392857.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9146aff97a70de9a5679b12e3421228d RANDOM SEED=570893007 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27821796 kB Buffers: 67936 kB Cached: 165940 kB SwapCached: 1792 kB Active: 3921384 kB Inactive: 184284 kB Active(anon): 3872380 kB Inactive(anon): 1900 kB Active(file): 49004 kB Inactive(file): 182384 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67098780 kB Dirty: 960 kB Writeback: 0 kB AnonPages: 4026968 kB Mapped: 15456 kB Shmem: 0 kB Slab: 609072 kB SReclaimable: 52920 kB SUnreclaim: 556152 kB KernelStack: 1656 kB PageTables: 12060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4368368 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3756032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71724 MiB End job on node102 at 2016-06-20 05:35:58