| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 20 | 1800.03 | 1786.46 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
| MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 0.260959 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | YES |
| Number of variables | 3100 |
| Total number of constraints | 120 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 120 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 3100 |
| Biggest coefficient in the objective function | 4599 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 526310 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 526310 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 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 No 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.minisat.core.VoidTracing@7c64dc11 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4099941-1466208847.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.54/0.30 c ... done. Wall clock time 0.177s. 0.54/0.30 c declared #vars 3100 0.54/0.30 c #constraints 140 0.54/0.30 c constraints type 0.54/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20 0.54/0.30 c org.sat4j.minisat.constraints.card.MinWatchCard => 10 0.54/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110 0.54/0.30 c 140 constraints processed. 0.54/0.30 c objective function length is 3100 literals 0.54/0.35 c SATISFIABLE 0.54/0.35 c OPTIMIZING... 0.54/0.35 c Got one! Elapsed wall clock time (in seconds):0.229 0.54/0.35 o 20 1.52/0.88 c cleaning 2503 clauses out of 5010 with flag 24469/5010 1.96/1.29 c cleaning 4253 clauses out of 8506 with flag 58038/11009 2.49/1.72 c cleaning 5626 clauses out of 11255 with flag 96753/18011 3.00/2.23 c cleaning 6805 clauses out of 13627 with flag 137352/26009 3.62/2.85 c cleaning 7914 clauses out of 15827 with flag 191274/35014 4.42/3.63 c cleaning 8910 clauses out of 17908 with flag 261860/45009 5.22/4.48 c cleaning 9963 clauses out of 19998 with flag 328024/56009 6.11/5.40 c cleaning 11010 clauses out of 22035 with flag 415167/68009 7.11/6.33 c cleaning 11964 clauses out of 24025 with flag 504052/81009 8.11/7.38 c cleaning 12999 clauses out of 26061 with flag 607975/95009 9.31/8.50 c cleaning 14013 clauses out of 28062 with flag 714380/110009 10.61/9.83 c cleaning 14996 clauses out of 30049 with flag 841601/126009 12.11/11.39 c cleaning 15993 clauses out of 32053 with flag 969254/143009 13.82/13.03 c cleaning 16916 clauses out of 34060 with flag 1126256/161009 15.62/14.86 c cleaning 18024 clauses out of 36144 with flag 1294784/180009 17.62/16.86 c cleaning 19045 clauses out of 38121 with flag 1461253/200010 19.73/18.94 c cleaning 19984 clauses out of 40075 with flag 1604147/221009 21.93/21.13 c cleaning 20997 clauses out of 42091 with flag 1768323/243009 24.12/23.33 c cleaning 22030 clauses out of 44094 with flag 1965398/266009 26.23/25.41 c cleaning 23032 clauses out of 46064 with flag 2140820/290009 28.33/27.57 c cleaning 24001 clauses out of 48032 with flag 2330464/315009 30.53/29.74 c cleaning 25009 clauses out of 50031 with flag 2501988/341009 33.22/32.46 c cleaning 25985 clauses out of 52022 with flag 2725983/368009 35.82/35.09 c cleaning 27001 clauses out of 54037 with flag 2948555/396009 38.62/37.86 c cleaning 27948 clauses out of 56036 with flag 3215287/425009 41.82/41.00 c cleaning 29044 clauses out of 58089 with flag 3500747/455010 44.95/44.13 c cleaning 29946 clauses out of 60044 with flag 3777480/486009 48.34/47.51 c cleaning 31022 clauses out of 62098 with flag 4099519/518009 51.45/50.62 c cleaning 32037 clauses out of 64076 with flag 4386954/551009 54.54/53.73 c cleaning 33004 clauses out of 66039 with flag 4660379/585009 58.05/57.29 c cleaning 33965 clauses out of 68035 with flag 4980679/620009 61.74/60.96 c cleaning 34988 clauses out of 70070 with flag 5289639/656009 65.04/64.28 c cleaning 36029 clauses out of 72082 with flag 5582036/693009 68.37/67.57 c cleaning 36958 clauses out of 74053 with flag 5858552/731009 72.07/71.25 c cleaning 38048 clauses out of 76095 with flag 6159658/770009 75.87/75.00 c cleaning 39018 clauses out of 78047 with flag 6493337/810009 79.67/78.84 c cleaning 40013 clauses out of 80029 with flag 6847999/851009 83.38/82.52 c cleaning 40992 clauses out of 82016 with flag 7148645/893009 87.65/86.72 c cleaning 42011 clauses out of 84024 with flag 7513189/936009 91.45/90.58 c cleaning 42956 clauses out of 86013 with flag 7854656/980009 95.94/95.01 c cleaning 44009 clauses out of 88057 with flag 8240579/1025009 100.44/99.51 c cleaning 45013 clauses out of 90050 with flag 8689664/1071011 105.24/104.30 c cleaning 45875 clauses out of 92036 with flag 9125212/1118010 110.24/109.39 c cleaning 46940 clauses out of 94162 with flag 9577962/1166011 116.14/115.16 c cleaning 48055 clauses out of 96220 with flag 10125958/1215009 121.94/120.90 c cleaning 49077 clauses out of 98167 with flag 10616548/1265011 127.74/126.79 c cleaning 50006 clauses out of 100088 with flag 11135704/1316009 133.54/132.58 c cleaning 50978 clauses out of 102082 with flag 11629384/1368009 139.04/138.01 c cleaning 52031 clauses out of 104106 with flag 12103389/1421011 144.84/143.80 c cleaning 52943 clauses out of 106073 with flag 12620888/1475009 150.91/149.75 c cleaning 53980 clauses out of 108130 with flag 13134414/1530009 157.10/155.93 c cleaning 55013 clauses out of 110150 with flag 13647832/1586009 163.40/162.28 c cleaning 56016 clauses out of 112138 with flag 14181016/1643010 170.10/168.96 c cleaning 57027 clauses out of 114121 with flag 14804314/1701009 177.05/175.71 c cleaning 57948 clauses out of 116094 with flag 15394045/1760009 183.85/182.51 c cleaning 59016 clauses out of 118146 with flag 15972900/1820009 190.95/189.63 c cleaning 60021 clauses out of 120130 with flag 16605841/1881009 197.95/196.62 c cleaning 60984 clauses out of 122109 with flag 17201488/1943009 205.31/203.85 c cleaning 61864 clauses out of 124125 with flag 17810767/2006009 212.60/211.11 c cleaning 63054 clauses out of 126261 with flag 18392784/2070009 219.70/218.28 c cleaning 64078 clauses out of 128207 with flag 18951455/2135009 227.12/225.67 c cleaning 64996 clauses out of 130131 with flag 19540324/2201011 235.05/233.41 c cleaning 65997 clauses out of 132133 with flag 20131109/2268009 241.56/239.98 c cleaning 67048 clauses out of 134136 with flag 20658651/2336009 249.78/248.08 c cleaning 67997 clauses out of 136088 with flag 21338771/2405009 257.78/256.06 c cleaning 68953 clauses out of 138091 with flag 22050112/2475009 265.68/263.94 c cleaning 69940 clauses out of 140138 with flag 22675087/2546009 274.28/272.57 c cleaning 71047 clauses out of 142198 with flag 23333443/2618009 282.88/281.01 c cleaning 72073 clauses out of 144151 with flag 23980629/2691009 290.88/289.06 c cleaning 73017 clauses out of 146079 with flag 24606354/2765010 299.19/297.26 c cleaning 74006 clauses out of 148061 with flag 25255703/2840009 307.29/305.31 c cleaning 74876 clauses out of 150055 with flag 25958293/2916009 315.79/313.71 c cleaning 76027 clauses out of 152180 with flag 26705329/2993010 324.41/322.32 c cleaning 77017 clauses out of 154152 with flag 27456065/3071009 332.90/330.82 c cleaning 78001 clauses out of 156135 with flag 28191995/3150009 341.68/339.59 c cleaning 79022 clauses out of 158135 with flag 28895844/3230010 350.89/348.71 c cleaning 80045 clauses out of 160115 with flag 29628287/3311012 360.67/358.48 c cleaning 80847 clauses out of 162068 with flag 30363758/3393010 370.18/367.99 c cleaning 82007 clauses out of 164220 with flag 31140839/3476009 380.16/377.85 c cleaning 83076 clauses out of 166213 with flag 31989551/3560009 390.26/387.97 c cleaning 84016 clauses out of 168138 with flag 32902064/3645010 400.67/398.34 c cleaning 85016 clauses out of 170121 with flag 33808457/3731009 410.83/408.46 c cleaning 85932 clauses out of 172106 with flag 34609834/3818010 421.33/418.99 c cleaning 87029 clauses out of 174173 with flag 35471183/3906009 432.18/429.77 c cleaning 88032 clauses out of 176144 with flag 36308474/3995009 442.89/440.42 c cleaning 89049 clauses out of 178112 with flag 37158520/4085009 454.28/451.73 c cleaning 89996 clauses out of 180063 with flag 38071559/4176009 465.58/463.02 c cleaning 90993 clauses out of 182067 with flag 38896468/4268009 476.57/473.99 c cleaning 92002 clauses out of 184074 with flag 39706432/4361009 487.47/484.82 c cleaning 93009 clauses out of 186072 with flag 40488510/4455009 499.03/496.31 c cleaning 93996 clauses out of 188065 with flag 41345546/4550011 510.21/507.44 c cleaning 95022 clauses out of 190069 with flag 42144319/4646011 521.61/518.72 c cleaning 96017 clauses out of 192045 with flag 42955391/4743009 532.91/530.07 c cleaning 97003 clauses out of 194029 with flag 43823675/4841010 543.19/540.24 c cleaning 98013 clauses out of 196025 with flag 44610616/4940009 553.96/550.94 c cleaning 98997 clauses out of 198013 with flag 45414513/5040010 565.88/562.78 c cleaning 100006 clauses out of 200015 with flag 46337602/5141009 577.85/574.60 c cleaning 100924 clauses out of 202009 with flag 47241921/5243009 590.13/586.83 c cleaning 101883 clauses out of 204085 with flag 48161071/5346009 602.83/599.57 c cleaning 103016 clauses out of 206203 with flag 49131292/5450010 615.48/612.15 c cleaning 104045 clauses out of 208186 with flag 50038038/5555009 628.36/624.93 c cleaning 105052 clauses out of 210141 with flag 50891344/5661009 641.93/638.40 c cleaning 106037 clauses out of 212089 with flag 51969635/5768009 653.81/650.29 c cleaning 106950 clauses out of 214052 with flag 52901351/5876009 667.71/664.00 c cleaning 107985 clauses out of 216102 with flag 53868244/5985009 681.17/677.43 c cleaning 109043 clauses out of 218117 with flag 54872748/6095009 694.50/690.62 c cleaning 110033 clauses out of 220076 with flag 55937130/6206011 707.84/703.93 c cleaning 110883 clauses out of 222042 with flag 56997682/6318010 721.54/717.55 c cleaning 112038 clauses out of 224158 with flag 58013362/6431009 735.30/731.28 c cleaning 113011 clauses out of 226120 with flag 59038245/6545009 749.49/745.35 c cleaning 114043 clauses out of 228112 with flag 60053143/6660012 763.56/759.38 c cleaning 114958 clauses out of 230066 with flag 61068162/6776009 778.70/774.46 c cleaning 116031 clauses out of 232108 with flag 62127987/6893009 794.24/789.99 c cleaning 116995 clauses out of 234078 with flag 63252875/7011010 809.90/805.58 c cleaning 118007 clauses out of 236083 with flag 64488146/7130010 825.63/821.24 c cleaning 118960 clauses out of 238075 with flag 65702963/7250009 842.35/837.81 c cleaning 120014 clauses out of 240115 with flag 66958037/7371009 858.51/853.92 c cleaning 120966 clauses out of 242103 with flag 68249684/7493011 874.07/869.41 c cleaning 122064 clauses out of 244136 with flag 69425771/7616010 890.55/885.87 c cleaning 123017 clauses out of 246072 with flag 70653844/7740010 906.89/902.11 c cleaning 123988 clauses out of 248054 with flag 71872910/7865009 922.50/917.62 c cleaning 125033 clauses out of 250066 with flag 73032404/7991009 939.07/934.12 c cleaning 125932 clauses out of 252033 with flag 74204034/8118009 955.34/950.32 c cleaning 127035 clauses out of 254101 with flag 75402368/8246009 970.48/965.39 c cleaning 127976 clauses out of 256066 with flag 76494813/8375009 986.14/980.88 c cleaning 129024 clauses out of 258090 with flag 77587939/8505009 1002.10/996.78 c cleaning 130027 clauses out of 260066 with flag 78701252/8636009 1019.01/1013.50 c cleaning 130937 clauses out of 262039 with flag 79899805/8768009 1035.90/1030.39 c cleaning 131903 clauses out of 264102 with flag 81042991/8901009 1053.75/1048.01 c cleaning 133058 clauses out of 266200 with flag 82217378/9035010 1071.43/1065.63 c cleaning 134005 clauses out of 268141 with flag 83413329/9170009 1087.99/1081.95 c cleaning 134992 clauses out of 270136 with flag 84481797/9306009 1105.20/1099.01 c cleaning 136053 clauses out of 272144 with flag 85637496/9443009 1121.91/1115.69 c cleaning 137012 clauses out of 274091 with flag 86784489/9581009 1139.61/1133.15 c cleaning 137965 clauses out of 276079 with flag 88048418/9720009 1156.96/1150.37 c cleaning 138973 clauses out of 278114 with flag 89279210/9860009 1175.52/1168.80 c cleaning 140043 clauses out of 280141 with flag 90585760/10001009 1193.16/1186.32 c cleaning 141043 clauses out of 282098 with flag 91795070/10143009 1211.76/1204.78 c cleaning 141966 clauses out of 284055 with flag 93238790/10286009 1230.17/1222.92 c cleaning 143012 clauses out of 286089 with flag 94517013/10430009 1247.73/1240.37 c cleaning 143964 clauses out of 288077 with flag 95717597/10575009 1266.62/1259.01 c cleaning 144999 clauses out of 290113 with flag 97015317/10721009 1286.79/1279.06 c cleaning 145974 clauses out of 292114 with flag 98412103/10868009 1306.32/1298.49 c cleaning 147055 clauses out of 294140 with flag 99751770/11016009 1326.04/1318.08 c cleaning 147955 clauses out of 296085 with flag 101106010/11165009 1345.87/1337.71 c cleaning 149013 clauses out of 298130 with flag 102539003/11315009 1366.58/1358.29 c cleaning 149980 clauses out of 300117 with flag 103929459/11466009 1386.46/1377.93 c cleaning 151016 clauses out of 302138 with flag 105278876/11618010 1405.61/1396.85 c cleaning 152051 clauses out of 304121 with flag 106645860/11771009 1424.87/1415.80 c cleaning 152961 clauses out of 306070 with flag 107993145/11925009 1445.69/1436.46 c cleaning 154045 clauses out of 308111 with flag 109460069/12080011 1467.99/1458.53 c cleaning 155017 clauses out of 310064 with flag 110880335/12236009 1489.44/1479.73 c cleaning 156008 clauses out of 312047 with flag 112241060/12393009 1512.33/1502.26 c cleaning 157005 clauses out of 314039 with flag 113709044/12551009 1533.72/1523.31 c cleaning 157973 clauses out of 316034 with flag 115158436/12710009 1556.43/1545.82 c cleaning 158909 clauses out of 318061 with flag 116616074/12870009 1578.20/1567.36 c cleaning 160030 clauses out of 320152 with flag 118056234/13031009 1601.86/1590.88 c cleaning 160986 clauses out of 322122 with flag 119518450/13193009 1624.70/1613.44 c cleaning 162064 clauses out of 324137 with flag 120996450/13356010 1647.45/1635.91 c cleaning 162983 clauses out of 326072 with flag 122441258/13520009 1670.02/1658.26 c cleaning 164025 clauses out of 328089 with flag 123904475/13685009 1692.20/1680.07 c cleaning 165012 clauses out of 330064 with flag 125363710/13851009 1714.81/1702.32 c cleaning 165994 clauses out of 332052 with flag 126794436/14018009 1738.26/1725.56 c cleaning 167006 clauses out of 334058 with flag 128226038/14186009 1761.26/1748.15 c cleaning 167987 clauses out of 336052 with flag 129623888/14355009 1785.05/1771.61 c cleaning 169025 clauses out of 338065 with flag 131164104/14525009 1800.03/1786.41 c starts : 61363 1800.03/1786.41 c conflicts : 14636697 1800.03/1786.41 c decisions : 486422107 1800.03/1786.41 c propagations : 887858790 1800.03/1786.41 c inspects : 7993004865 1800.03/1786.41 c shortcuts : 0 1800.03/1786.41 c learnt literals : 0 1800.03/1786.41 c learnt binary clauses : 0 1800.03/1786.41 c learnt ternary clauses : 0 1800.03/1786.41 c learnt constraints : 14636697 1800.03/1786.41 c ignored constraints : 0 1800.03/1786.41 c root simplifications : 0 1800.03/1786.41 c removed literals (reason simplification) : 0 1800.03/1786.41 c reason swapping (by a shorter reason) : 0 1800.03/1786.41 c Calls to reduceDB : 166 1800.03/1786.41 c Number of update (reduction) of LBD : 11938442 1800.03/1786.41 c Imported unit clauses : 0 1800.03/1786.41 c number of reductions to clauses (during analyze) : 0 1800.03/1786.41 c number of learned constraints concerned by reduction : 0 1800.03/1786.41 c number of learning phase by resolution : 0 1800.03/1786.41 c number of learning phase by cutting planes : 0 1800.03/1786.41 c speed (assignments/second) : 497094.9417584171 1800.03/1786.41 c non guided choices 0 1800.03/1786.44 c learnt constraints type 1800.03/1786.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 280728 1800.03/1786.44 s SATISFIABLE 1800.03/1786.44 c Found 1 solution(s) 1800.03/1786.45 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 1800.03/1786.45 c objective function=20 1800.03/1786.45 c Total wall clock time (in seconds): 1786.332
OK 20
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-4099941-1466208847/watcher-4099941-1466208847 -o /tmp/evaluation-result-4099941-1466208847/solver-4099941-1466208847 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11789 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099941-1466208847.opb pid=14916 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 1.89 3/196 14919 /proc/meminfo: memFree=31807308/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/14919/stat : 14919 (java) D 14916 14919 11773 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 22930587 2560000 46 33554432000 1073741824 1073778376 140734287960560 140734287957688 206399696167 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 625 46 37 9 0 29 0 [startup+0.100058 s] /proc/loadavg: 1.92 2.00 1.89 3/196 14919 /proc/meminfo: memFree=31807308/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 4460 0 1 0 8 1 0 0 20 0 18 0 22930587 9787879424 5582 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2389619 5582 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200263 s] /proc/loadavg: 1.92 2.00 1.89 3/196 14919 /proc/meminfo: memFree=31807308/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 5063 0 1 0 26 1 0 0 20 0 18 0 22930587 9787879424 6496 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2389619 6496 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300284 s] /proc/loadavg: 1.92 2.00 1.89 3/196 14919 /proc/meminfo: memFree=31807308/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9558476 CPUtime=0.54 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 7720 0 1 0 52 2 0 0 20 0 18 0 22930587 9787879424 9483 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2389619 9483 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700225 s] /proc/loadavg: 1.92 2.00 1.89 3/196 14919 /proc/meminfo: memFree=31807308/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=1.42 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 9480 0 1 0 140 2 0 0 20 0 19 0 22930587 9856040960 11563 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 11563 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 9625040 [startup+1.50071 s] /proc/loadavg: 1.92 2.00 1.89 4/215 14938 /proc/meminfo: memFree=31763404/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=2.29 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 9507 0 1 0 227 2 0 0 20 0 19 0 22930587 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 14143 2263 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2474 0 1 0 145 1 0 0 20 0 19 0 22930588 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139927157668360 139927030907633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2724 0 0 0 35 0 0 0 20 0 19 0 22930593 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 43 0 0 0 20 0 19 0 22930594 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 14143 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 1.92 2.00 1.89 3/215 14938 /proc/meminfo: memFree=31750744/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 9521 0 1 0 389 3 0 0 20 0 19 0 22930587 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 18244 2263 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2483 0 1 0 304 1 0 0 20 0 19 0 22930588 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139927157670248 139927030832080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2729 0 0 0 37 0 0 0 20 0 19 0 22930593 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 44 0 0 0 20 0 19 0 22930594 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 18244 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 1.93 2.00 1.89 3/215 14938 /proc/meminfo: memFree=31721452/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=7.11 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 9536 0 1 0 708 3 0 0 20 0 19 0 22930587 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 24893 2264 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2497 0 1 0 622 2 0 0 20 0 19 0 22930588 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139927157661376 139927030994790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22930589 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2729 0 0 0 37 0 0 0 20 0 19 0 22930593 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 44 0 0 0 20 0 19 0 22930594 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 24893 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.11 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 66466 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1674.18 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.72 2.21 2.05 3/215 15048 /proc/meminfo: memFree=29754820/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=1735.02 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 16581 0 1 0 173406 96 0 0 20 0 19 0 22930587 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 63196 2286 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=1710.06 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2735 0 1 0 170976 30 0 0 20 0 19 0 22930588 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139927157669184 139927030907068 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=2.08 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 755 0 0 0 200 8 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=1.93 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1273 0 0 0 187 6 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=2.01 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1144 0 0 0 194 7 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=2.14 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 777 0 0 0 206 8 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=2.16 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 722 0 0 0 206 10 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=1.87 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 666 0 0 0 179 8 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=2 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 469 0 0 0 193 7 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=2.26 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 497 0 0 0 217 9 0 0 20 0 19 0 22930589 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=2.84 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 411 0 0 0 279 5 0 0 20 0 19 0 22930591 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2737 0 0 0 40 0 0 0 20 0 19 0 22930593 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 44 0 0 0 20 0 19 0 22930594 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 100 0 0 0 23 28 0 0 20 0 19 0 22930594 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 63196 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1735.02 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.26 2.17 2.05 3/215 15049 /proc/meminfo: memFree=29709216/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=1795.86 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 18177 0 1 0 179483 103 0 0 20 0 19 0 22930587 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 74272 2286 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=1769.42 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2751 0 1 0 176911 31 0 0 20 0 19 0 22930588 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139927157669168 139927030954188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=2.23 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 797 0 0 0 214 9 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=2.06 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1540 0 0 0 199 7 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=2.18 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1568 0 0 0 211 7 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=2.3 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 1207 0 0 0 221 9 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=2.28 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 734 0 0 0 217 11 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=2.01 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 672 0 0 0 192 9 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=2.12 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 471 0 0 0 205 7 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=2.41 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 855 0 0 0 232 9 0 0 20 0 19 0 22930589 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=2.98 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 446 0 0 0 293 5 0 0 20 0 19 0 22930591 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2737 0 0 0 40 0 0 0 20 0 19 0 22930593 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 44 0 0 0 20 0 19 0 22930594 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 22930594 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 74272 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1795.86 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.4 s] /proc/loadavg: 2.24 2.17 2.04 3/215 15049 /proc/meminfo: memFree=29701892/32872528 swapFree=7780/7780 [pid=14919] ppid=14916 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/14919/stat : 14919 (java) S 14916 14919 11773 0 -1 4202496 18202 0 1 0 179898 105 0 0 20 0 19 0 22930587 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 140734287951696 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14919/statm: 2406260 71872 2286 9 0 2396937 0 [pid=14919/tid=14921] ppid=14916 vsize=9625040 CPUtime=1773.37 cores=0,2,4,6 /proc/14919/task/14921/stat : 14921 (java) R 14916 14919 11773 0 -1 4202560 2752 0 1 0 177306 31 0 0 20 0 19 0 22930588 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139927157669184 139927030903362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14922] ppid=14916 vsize=9625040 CPUtime=2.24 cores=0,2,4,6 /proc/14919/task/14922/stat : 14922 (java) S 14916 14919 11773 0 -1 4202560 797 0 0 0 215 9 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139927001721000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14923] ppid=14916 vsize=9625040 CPUtime=2.08 cores=0,2,4,6 /proc/14919/task/14923/stat : 14923 (java) S 14916 14919 11773 0 -1 4202560 1541 0 0 0 201 7 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139927000668456 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14919/tid=14924] ppid=14916 vsize=9625040 CPUtime=2.19 cores=0,2,4,6 /proc/14919/task/14924/stat : 14924 (java) S 14916 14919 11773 0 -1 4202560 1568 0 0 0 212 7 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926999615912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14925] ppid=14916 vsize=9625040 CPUtime=2.32 cores=0,2,4,6 /proc/14919/task/14925/stat : 14925 (java) S 14916 14919 11773 0 -1 4202560 1212 0 0 0 223 9 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926998563368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14926] ppid=14916 vsize=9625040 CPUtime=2.3 cores=0,2,4,6 /proc/14919/task/14926/stat : 14926 (java) S 14916 14919 11773 0 -1 4202560 740 0 0 0 218 12 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926997510824 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14927] ppid=14916 vsize=9625040 CPUtime=2.01 cores=0,2,4,6 /proc/14919/task/14927/stat : 14927 (java) S 14916 14919 11773 0 -1 4202560 672 0 0 0 192 9 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926996458280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14928] ppid=14916 vsize=9625040 CPUtime=2.14 cores=0,2,4,6 /proc/14919/task/14928/stat : 14928 (java) S 14916 14919 11773 0 -1 4202560 476 0 0 0 206 8 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926995405736 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14929] ppid=14916 vsize=9625040 CPUtime=2.42 cores=0,2,4,6 /proc/14919/task/14929/stat : 14929 (java) S 14916 14919 11773 0 -1 4202560 860 0 0 0 232 10 0 0 20 0 19 0 22930589 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926994353192 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14930] ppid=14916 vsize=9625040 CPUtime=3.11 cores=0,2,4,6 /proc/14919/task/14930/stat : 14930 (java) S 14916 14919 11773 0 -1 4202560 448 0 0 0 306 5 0 0 20 0 19 0 22930591 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926981941352 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14931] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14931/stat : 14931 (java) S 14916 14919 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926980887672 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14932] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14932/stat : 14932 (java) S 14916 14919 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22930591 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926979835016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14933] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14933/stat : 14933 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930593 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926978783760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14934] ppid=14916 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/14919/task/14934/stat : 14934 (java) S 14916 14919 11773 0 -1 4202560 2737 0 0 0 40 0 0 0 20 0 19 0 22930593 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926977731128 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14919/tid=14935] ppid=14916 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/14919/task/14935/stat : 14935 (java) S 14916 14919 11773 0 -1 4202560 3033 0 0 0 44 0 0 0 20 0 19 0 22930594 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926976678584 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14936] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14936/stat : 14936 (java) S 14916 14919 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22930594 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926975626232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14919/tid=14937] ppid=14916 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/14919/task/14937/stat : 14937 (java) S 14916 14919 11773 0 -1 4202560 104 0 0 0 24 29 0 0 20 0 19 0 22930594 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926974573896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14919/tid=14938] ppid=14916 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14919/task/14938/stat : 14938 (java) S 14916 14919 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22930619 9856040960 71872 33554432000 1073741824 1073778376 140734287960560 139926973469480 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 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 14919 sig 9 ??? kill -14919 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14919 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=427205 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=503771 # CPU time returned by wait4() is 1795.93 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1786.46 CPU time (s): 1800.03 CPU user time (s): 1798.98 CPU system time (s): 1.05 CPU usage (%): 100.76 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.43 system time used= 1.50377 maximum resident set size= 602584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18250 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44483 involuntary context switches= 39790 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.942 second user time and 10.7144 second system time The end
Begin job on node133 at 2016-06-18 02:14:07 IDJOB=4099941 IDBENCH=1553 IDSOLVER=2546 FILE ID=node133/4099941-1466208847 RUNJOBID= node133-1466206057-11789 PBS_JOBID= 19918144 Free space on /tmp= 71716 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099941-1466208847/watcher-4099941-1466208847 -o /tmp/evaluation-result-4099941-1466208847/solver-4099941-1466208847 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11789 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099941-1466208847.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED=179679715 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 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 : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31808116 kB Buffers: 39964 kB Cached: 71900 kB SwapCached: 876 kB Active: 285776 kB Inactive: 67796 kB Active(anon): 242744 kB Inactive(anon): 1316 kB Active(file): 43032 kB Inactive(file): 66480 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099828 kB Dirty: 788 kB Writeback: 0 kB AnonPages: 249056 kB Mapped: 15452 kB Shmem: 0 kB Slab: 571484 kB SReclaimable: 14932 kB SUnreclaim: 556552 kB KernelStack: 1600 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 380540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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= 71708 MiB End job on node133 at 2016-06-18 02:43:53