Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 1817600 | 1800.92 | 1774.96 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
| MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1751040 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1751040 |
| Optimality of the best value was proved | NO |
| 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 | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 550843571711 |
| Number of bits of the sum of numbers in the objective function | 40 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 550843571711 |
| Number of bits of the biggest sum of numbers | 40 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4103184-1466234273.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.29/0.28 c ... done. Wall clock time 0.168s. 0.29/0.28 c declared #vars 3100 0.29/0.28 c #constraints 140 0.29/0.28 c constraints type 0.29/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 140 0.29/0.28 c 140 constraints processed. 0.29/0.28 c objective function length is 3100 literals 0.57/0.38 c SATISFIABLE 0.57/0.38 c OPTIMIZING... 0.57/0.38 c Got one! Elapsed wall clock time (in seconds):0.265 0.57/0.38 o 2278407 0.83/0.41 c Got one! Elapsed wall clock time (in seconds):0.297 0.83/0.41 o 2098185 0.83/0.44 c Got one! Elapsed wall clock time (in seconds):0.324 0.83/0.44 o 1856512 0.83/0.45 c Got one! Elapsed wall clock time (in seconds):0.336 0.83/0.45 o 1851392 0.83/0.46 c Got one! Elapsed wall clock time (in seconds):0.348 0.83/0.46 o 1817600 1.87/1.17 c cleaning 2533 clauses out of 5066 with flag 18248/5066 2.52/1.79 c cleaning 4261 clauses out of 8533 with flag 39282/11066 3.43/2.65 c cleaning 5626 clauses out of 11272 with flag 65038/18066 4.47/3.61 c cleaning 6822 clauses out of 13646 with flag 91384/26066 5.79/4.90 c cleaning 7913 clauses out of 15826 with flag 127229/35068 7.21/6.34 c cleaning 8945 clauses out of 17912 with flag 174416/45067 8.41/7.59 c cleaning 9979 clauses out of 19967 with flag 225186/56067 9.93/9.07 c cleaning 10979 clauses out of 21987 with flag 283044/68066 11.53/10.60 c cleaning 11998 clauses out of 24009 with flag 336763/81067 13.18/12.21 c cleaning 13006 clauses out of 26011 with flag 387754/95067 14.98/14.01 c cleaning 13998 clauses out of 28005 with flag 440969/110067 17.10/16.13 c cleaning 14998 clauses out of 30009 with flag 502836/126069 19.10/18.12 c cleaning 15992 clauses out of 32008 with flag 549930/143066 21.12/20.17 c cleaning 16997 clauses out of 34016 with flag 611787/161066 23.52/22.54 c cleaning 18000 clauses out of 36019 with flag 686009/180066 26.15/25.12 c cleaning 19009 clauses out of 38020 with flag 751268/200067 29.38/28.30 c cleaning 19999 clauses out of 40010 with flag 844960/221066 32.32/31.21 c cleaning 21005 clauses out of 42011 with flag 935246/243066 35.77/34.65 c cleaning 21998 clauses out of 44006 with flag 1031212/266066 38.90/37.78 c cleaning 23000 clauses out of 46009 with flag 1116832/290067 42.44/41.25 c cleaning 24004 clauses out of 48009 with flag 1208888/315067 46.20/44.96 c cleaning 24992 clauses out of 50004 with flag 1298174/341066 49.65/48.36 c cleaning 26003 clauses out of 52013 with flag 1387674/368067 53.29/51.95 c cleaning 26993 clauses out of 54010 with flag 1492088/396067 57.86/56.45 c cleaning 28003 clauses out of 56019 with flag 1605486/425069 62.95/61.43 c cleaning 29003 clauses out of 58013 with flag 1721598/455066 67.69/66.15 c cleaning 29998 clauses out of 60011 with flag 1827437/486067 72.51/70.86 c cleaning 31002 clauses out of 62012 with flag 1924095/518066 76.87/75.14 c cleaning 32003 clauses out of 64010 with flag 2038213/551066 81.95/80.10 c cleaning 32993 clauses out of 66007 with flag 2166158/585066 88.41/86.52 c cleaning 33989 clauses out of 68014 with flag 2294196/620066 94.18/92.26 c cleaning 34997 clauses out of 70027 with flag 2414980/656068 100.54/98.44 c cleaning 36009 clauses out of 72028 with flag 2550358/693066 106.32/104.17 c cleaning 37000 clauses out of 74020 with flag 2676591/731067 112.36/110.10 c cleaning 38010 clauses out of 76024 with flag 2823964/770071 118.66/116.29 c cleaning 38998 clauses out of 78010 with flag 2955402/810067 125.17/122.61 c cleaning 40001 clauses out of 80011 with flag 3090883/851066 133.11/130.41 c cleaning 40997 clauses out of 82010 with flag 3235308/893066 141.66/138.82 c cleaning 42004 clauses out of 84013 with flag 3396665/936066 149.00/146.09 c cleaning 42994 clauses out of 86009 with flag 3549545/980066 155.99/152.92 c cleaning 43994 clauses out of 88016 with flag 3706996/1025067 163.53/160.36 c cleaning 45002 clauses out of 90021 with flag 3871785/1071066 170.16/166.89 c cleaning 45996 clauses out of 92020 with flag 4011877/1118067 178.57/175.06 c cleaning 47005 clauses out of 94025 with flag 4174295/1166068 185.32/181.73 c cleaning 48004 clauses out of 96018 with flag 4326126/1215066 193.56/189.88 c cleaning 49004 clauses out of 98014 with flag 4494475/1265066 203.61/199.79 c cleaning 50001 clauses out of 100010 with flag 4697665/1316066 213.05/209.06 c cleaning 50992 clauses out of 102009 with flag 4891263/1368066 223.30/219.16 c cleaning 52001 clauses out of 104019 with flag 5082009/1421068 233.57/229.22 c cleaning 53004 clauses out of 106016 with flag 5304569/1475066 244.62/240.16 c cleaning 53989 clauses out of 108013 with flag 5520047/1530067 255.79/251.17 c cleaning 55007 clauses out of 110023 with flag 5735550/1586066 267.23/262.45 c cleaning 56003 clauses out of 112016 with flag 5942311/1643066 278.53/273.59 c cleaning 57004 clauses out of 114013 with flag 6163880/1701066 289.73/284.51 c cleaning 57998 clauses out of 116009 with flag 6373456/1760066 301.78/296.48 c cleaning 58994 clauses out of 118011 with flag 6593650/1820066 313.99/308.43 c cleaning 60005 clauses out of 120018 with flag 6796326/1881067 326.42/320.61 c cleaning 61003 clauses out of 122015 with flag 7005147/1943069 338.23/332.28 c cleaning 61994 clauses out of 124009 with flag 7249483/2006066 351.32/345.16 c cleaning 63003 clauses out of 126015 with flag 7500378/2070066 365.74/359.31 c cleaning 63991 clauses out of 128012 with flag 7754586/2135066 380.40/373.84 c cleaning 65012 clauses out of 130023 with flag 8017302/2201068 394.46/387.70 c cleaning 65998 clauses out of 132010 with flag 8255991/2268067 406.91/400.07 c cleaning 67001 clauses out of 134011 with flag 8479706/2336066 420.92/413.86 c cleaning 67992 clauses out of 136010 with flag 8718444/2405066 434.71/427.48 c cleaning 68993 clauses out of 138019 with flag 8953069/2475067 449.34/441.89 c cleaning 70005 clauses out of 140025 with flag 9220127/2546066 464.44/456.79 c cleaning 70998 clauses out of 142021 with flag 9473436/2618067 479.39/471.49 c cleaning 71997 clauses out of 144022 with flag 9693665/2691066 495.16/486.92 c cleaning 73002 clauses out of 146028 with flag 9953954/2765069 511.91/503.48 c cleaning 74009 clauses out of 148025 with flag 10240532/2840068 528.75/520.08 c cleaning 74998 clauses out of 150015 with flag 10528076/2916067 547.28/538.35 c cleaning 76002 clauses out of 152016 with flag 10846278/2993066 564.60/555.49 c cleaning 76999 clauses out of 154015 with flag 11127987/3071067 580.35/570.97 c cleaning 77991 clauses out of 156015 with flag 11376584/3150066 599.34/589.70 c cleaning 79004 clauses out of 158024 with flag 11665899/3230066 617.53/607.56 c cleaning 80007 clauses out of 160021 with flag 11935124/3311067 636.75/626.45 c cleaning 81005 clauses out of 162015 with flag 12233695/3393068 655.00/644.49 c cleaning 81991 clauses out of 164008 with flag 12523946/3476066 677.38/666.57 c cleaning 83001 clauses out of 166018 with flag 12884983/3560067 698.05/687.08 c cleaning 84003 clauses out of 168017 with flag 13214352/3645067 717.33/706.05 c cleaning 85001 clauses out of 170013 with flag 13519462/3731066 737.64/726.18 c cleaning 85988 clauses out of 172013 with flag 13856100/3818067 758.01/746.21 c cleaning 87013 clauses out of 174029 with flag 14170563/3906071 776.00/764.02 c cleaning 87999 clauses out of 176011 with flag 14463546/3995066 798.61/786.34 c cleaning 89001 clauses out of 178012 with flag 14782224/4085066 820.51/807.96 c cleaning 90002 clauses out of 180012 with flag 15111782/4176067 842.64/829.77 c cleaning 91000 clauses out of 182010 with flag 15409878/4268067 863.31/850.10 c cleaning 91995 clauses out of 184009 with flag 15708498/4361066 887.41/873.84 c cleaning 93004 clauses out of 186014 with flag 16050401/4455066 913.11/899.25 c cleaning 93990 clauses out of 188010 with flag 16402408/4550066 939.15/925.09 c cleaning 95001 clauses out of 190021 with flag 16766017/4646067 962.30/947.84 c cleaning 96006 clauses out of 192019 with flag 17108416/4743066 988.04/973.25 c cleaning 96996 clauses out of 194014 with flag 17478870/4841067 1011.71/996.59 c cleaning 97993 clauses out of 196017 with flag 17814842/4940066 1038.66/1023.10 c cleaning 99003 clauses out of 198024 with flag 18209995/5040066 1065.74/1049.76 c cleaning 100008 clauses out of 200022 with flag 18603801/5141067 1095.53/1079.17 c cleaning 101000 clauses out of 202013 with flag 19012172/5243066 1126.26/1109.49 c cleaning 102001 clauses out of 204014 with flag 19441574/5346067 1157.87/1140.63 c cleaning 103001 clauses out of 206014 with flag 19886088/5450068 1188.31/1170.64 c cleaning 103999 clauses out of 208011 with flag 20301363/5555066 1215.30/1197.20 c cleaning 105000 clauses out of 210014 with flag 20643660/5661068 1244.23/1225.80 c cleaning 105998 clauses out of 212012 with flag 21072288/5768066 1272.95/1254.13 c cleaning 107002 clauses out of 214014 with flag 21451034/5876066 1300.28/1281.10 c cleaning 108005 clauses out of 216012 with flag 21835019/5985066 1328.46/1308.99 c cleaning 108992 clauses out of 218007 with flag 22218293/6095066 1359.98/1340.13 c cleaning 110001 clauses out of 220016 with flag 22618122/6206067 1388.67/1368.44 c cleaning 110997 clauses out of 222014 with flag 22973098/6318066 1419.68/1399.17 c cleaning 112006 clauses out of 224017 with flag 23375881/6431066 1449.42/1428.53 c cleaning 113001 clauses out of 226012 with flag 23778177/6545067 1478.68/1457.41 c cleaning 113993 clauses out of 228010 with flag 24208352/6660066 1511.37/1489.74 c cleaning 114992 clauses out of 230018 with flag 24618916/6776067 1546.98/1524.93 c cleaning 116004 clauses out of 232025 with flag 25064402/6893066 1582.72/1560.23 c cleaning 116999 clauses out of 234021 with flag 25494871/7011066 1616.69/1593.74 c cleaning 118010 clauses out of 236023 with flag 25933315/7130067 1650.05/1626.77 c cleaning 118998 clauses out of 238015 with flag 26394001/7250069 1682.89/1659.18 c cleaning 119989 clauses out of 240015 with flag 26853663/7371067 1720.14/1695.93 c cleaning 120997 clauses out of 242026 with flag 27316035/7493067 1761.23/1736.66 c cleaning 121994 clauses out of 244029 with flag 27790712/7616067 1798.13/1773.05 c cleaning 123012 clauses out of 246035 with flag 28247462/7740067 1800.06/1774.90 c starts : 15481 1800.06/1774.90 c conflicts : 7745752 1800.06/1774.90 c decisions : 16705917 1800.06/1774.90 c propagations : 761103310 1800.06/1774.90 c inspects : 24166854307 1800.06/1774.90 c shortcuts : 0 1800.06/1774.90 c learnt literals : 0 1800.06/1774.90 c learnt binary clauses : 0 1800.06/1774.90 c learnt ternary clauses : 0 1800.06/1774.90 c learnt constraints : 7745752 1800.06/1774.90 c ignored constraints : 0 1800.06/1774.90 c root simplifications : 0 1800.06/1774.90 c removed literals (reason simplification) : 0 1800.06/1774.90 c reason swapping (by a shorter reason) : 0 1800.06/1774.90 c Calls to reduceDB : 120 1800.06/1774.90 c Number of update (reduction) of LBD : 1384955 1800.06/1774.90 c Imported unit clauses : 0 1800.06/1774.90 c number of reductions to clauses (during analyze) : 0 1800.06/1774.90 c number of learned constraints concerned by reduction : 0 1800.06/1774.90 c number of learning phase by resolution : 0 1800.06/1774.90 c number of learning phase by cutting planes : 0 1800.06/1774.90 c speed (assignments/second) : 428886.76446887804 1800.06/1774.90 c non guided choices 9 1800.06/1774.93 c learnt constraints type 1800.06/1774.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 128708 1800.06/1774.93 s SATISFIABLE 1800.06/1774.93 c Found 5 solution(s) 1800.06/1774.94 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.06/1774.94 c objective function=1817600 1800.06/1774.94 c Total wall clock time (in seconds): 1774.825
OK 1817600
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-4103184-1466234273/watcher-4103184-1466234273 -o /tmp/evaluation-result-4103184-1466234273/solver-4103184-1466234273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103184-1466234273.opb pid=20419 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: 2.13 2.25 2.25 3/194 20422 /proc/meminfo: memFree=27013092/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/20422/stat : 20422 (java) D 20419 20422 15548 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 25473776 2560000 46 33554432000 1073741824 1073778376 140737240374816 140737240371944 229346733351 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 625 46 37 9 0 29 0 [startup+0.10014 s] /proc/loadavg: 2.13 2.25 2.25 3/194 20422 /proc/meminfo: memFree=27013092/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 4451 0 1 0 8 1 0 0 20 0 18 0 25473776 9787879424 5578 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2389619 5578 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200222 s] /proc/loadavg: 2.13 2.25 2.25 3/194 20422 /proc/meminfo: memFree=27013092/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 5108 0 1 0 28 1 0 0 20 0 18 0 25473776 9787879424 6570 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2389619 6570 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300221 s] /proc/loadavg: 2.13 2.25 2.25 3/194 20422 /proc/meminfo: memFree=27013092/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9558476 CPUtime=0.57 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 7297 0 1 0 55 2 0 0 20 0 18 0 25473776 9787879424 9148 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2389619 9148 2242 9 0 2380296 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9558476 [startup+0.700179 s] /proc/loadavg: 2.13 2.25 2.25 3/194 20422 /proc/meminfo: memFree=27013092/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=1.42 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 10799 0 1 0 139 3 0 0 20 0 19 0 25473776 9856040960 13713 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 13713 2259 9 0 2396937 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.13 2.25 2.25 3/213 20441 /proc/meminfo: memFree=26948188/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=2.29 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 11770 0 1 0 226 3 0 0 20 0 19 0 25473776 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 22871 2266 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 2488 0 1 0 144 2 0 0 20 0 19 0 25473777 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608364927480 140608305195831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4010 0 0 0 37 0 0 0 20 0 19 0 25473782 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 3997 0 0 0 42 0 0 0 20 0 19 0 25473782 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 22871 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 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.10082 s] /proc/loadavg: 2.13 2.25 2.25 3/213 20441 /proc/meminfo: memFree=26898780/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=3.93 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 11809 0 1 0 389 4 0 0 20 0 19 0 25473776 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 39772 2266 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 2522 0 1 0 303 3 0 0 20 0 19 0 25473777 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608364920528 140608305254522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 3999 0 0 0 45 0 0 0 20 0 19 0 25473782 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 39772 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9625040 [startup+6.30083 s] /proc/loadavg: 2.12 2.24 2.25 3/213 20441 /proc/meminfo: memFree=26849004/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=7.21 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 11876 0 1 0 715 6 0 0 20 0 19 0 25473776 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 45898 2280 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 2529 0 1 0 621 3 0 0 20 0 19 0 25473777 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608364928208 140608305195831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25473778 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 4004 0 0 0 47 0 0 0 20 0 19 0 25473782 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 45898 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.21 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 4010 0 0 0 49 0 0 0 20 0 19 0 25473782 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 95 0 0 0 22 29 0 0 20 0 19 0 25473782 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 74375 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1686.1 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.19 2.21 2.18 3/213 20549 /proc/meminfo: memFree=29863112/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=1746.78 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 49373 0 1 0 174521 157 0 0 20 0 19 0 25473776 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 66689 2289 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=1706.27 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 3839 0 1 0 170594 33 0 0 20 0 19 0 25473777 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608364928288 140608305340000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=4.21 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 4140 0 0 0 408 13 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=4.37 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 5113 0 0 0 422 15 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=4.25 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 4664 0 0 0 410 15 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=4.35 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 4228 0 0 0 420 15 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=4.43 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 4042 0 0 0 428 15 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=4.41 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 3741 0 0 0 426 15 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=4.19 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 4811 0 0 0 406 13 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=4.57 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 4445 0 0 0 443 14 0 0 20 0 19 0 25473778 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=4.81 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 967 0 0 0 468 13 0 0 20 0 19 0 25473780 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 4010 0 0 0 49 0 0 0 20 0 19 0 25473782 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 99 0 0 0 24 29 0 0 20 0 19 0 25473782 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 66689 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1746.78 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1774.9 s] /proc/loadavg: 2.14 2.19 2.17 4/213 20551 /proc/meminfo: memFree=29814960/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 50822 0 1 0 179841 165 0 0 20 0 19 0 25473776 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 79576 2289 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=1758.25 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 3862 0 1 0 175791 34 0 0 20 0 19 0 25473777 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608364928352 140608305203656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=4.32 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 4416 0 0 0 418 14 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=4.49 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 5198 0 0 0 433 16 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=4.36 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 4785 0 0 0 421 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=4.47 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 4527 0 0 0 431 16 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=4.57 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 4180 0 0 0 442 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=4.54 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 3940 0 0 0 439 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=4.33 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 4825 0 0 0 420 13 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=4.7 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 4652 0 0 0 455 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=5.11 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 1050 0 0 0 497 14 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 4010 0 0 0 49 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 103 0 0 0 24 30 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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 20422 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1774.9 s] /proc/loadavg: 2.14 2.19 2.17 4/213 20551 /proc/meminfo: memFree=29814960/32872528 swapFree=1370848/1518016 [pid=20422] ppid=20419 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6 /proc/20422/stat : 20422 (java) S 20419 20422 15548 0 -1 4202496 50822 0 1 0 179841 165 0 0 20 0 19 0 25473776 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140737240365952 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20422/statm: 2406260 79576 2289 9 0 2396937 0 [pid=20422/tid=20424] ppid=20419 vsize=9625040 CPUtime=1758.25 cores=0,2,4,6 /proc/20422/task/20424/stat : 20424 (java) R 20419 20422 15548 0 -1 4202560 3862 0 1 0 175791 34 0 0 20 0 19 0 25473777 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608364928352 140608305203656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20425] ppid=20419 vsize=9625040 CPUtime=4.32 cores=0,2,4,6 /proc/20422/task/20425/stat : 20425 (java) S 20419 20422 15548 0 -1 4202560 4416 0 0 0 418 14 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608208939304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20426] ppid=20419 vsize=9625040 CPUtime=4.49 cores=0,2,4,6 /proc/20422/task/20426/stat : 20426 (java) S 20419 20422 15548 0 -1 4202560 5198 0 0 0 433 16 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608207886504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20427] ppid=20419 vsize=9625040 CPUtime=4.36 cores=0,2,4,6 /proc/20422/task/20427/stat : 20427 (java) S 20419 20422 15548 0 -1 4202560 4785 0 0 0 421 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608206834216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20428] ppid=20419 vsize=9625040 CPUtime=4.47 cores=0,2,4,6 /proc/20422/task/20428/stat : 20428 (java) S 20419 20422 15548 0 -1 4202560 4527 0 0 0 431 16 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608205781416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20429] ppid=20419 vsize=9625040 CPUtime=4.57 cores=0,2,4,6 /proc/20422/task/20429/stat : 20429 (java) S 20419 20422 15548 0 -1 4202560 4180 0 0 0 442 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608204729128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20430] ppid=20419 vsize=9625040 CPUtime=4.54 cores=0,2,4,6 /proc/20422/task/20430/stat : 20430 (java) S 20419 20422 15548 0 -1 4202560 3940 0 0 0 439 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608203676328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20431] ppid=20419 vsize=9625040 CPUtime=4.33 cores=0,2,4,6 /proc/20422/task/20431/stat : 20431 (java) S 20419 20422 15548 0 -1 4202560 4825 0 0 0 420 13 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608202624040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20432] ppid=20419 vsize=9625040 CPUtime=4.7 cores=0,2,4,6 /proc/20422/task/20432/stat : 20432 (java) S 20419 20422 15548 0 -1 4202560 4652 0 0 0 455 15 0 0 20 0 19 0 25473778 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608201571240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20433] ppid=20419 vsize=9625040 CPUtime=5.11 cores=0,2,4,6 /proc/20422/task/20433/stat : 20433 (java) S 20419 20422 15548 0 -1 4202560 1050 0 0 0 497 14 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608189159656 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20422/tid=20434] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20434/stat : 20434 (java) S 20419 20422 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608188105720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20435] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20435/stat : 20435 (java) S 20419 20422 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25473780 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608187053320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20436] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20436/stat : 20436 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608186001808 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20437] ppid=20419 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/20422/task/20437/stat : 20437 (java) S 20419 20422 15548 0 -1 4202560 4013 0 0 0 39 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608184949432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20422/tid=20438] ppid=20419 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/20422/task/20438/stat : 20438 (java) S 20419 20422 15548 0 -1 4202560 4010 0 0 0 49 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608183896632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20439] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20439/stat : 20439 (java) S 20419 20422 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608182844536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20422/tid=20440] ppid=20419 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/20422/task/20440/stat : 20440 (java) S 20419 20422 15548 0 -1 4202560 103 0 0 0 24 30 0 0 20 0 19 0 25473782 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608181791944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20422/tid=20441] ppid=20419 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/20422/task/20441/stat : 20441 (java) S 20419 20422 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25473807 9856040960 79576 33554432000 1073741824 1073778376 140737240374816 140608180687784 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1774.96 CPU time (s): 1800.92 CPU user time (s): 1798.81 CPU system time (s): 2.11268 CPU usage (%): 101.463 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 2.11268 maximum resident set size= 437232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50871 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= 68845 involuntary context switches= 93654 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0842 second user time and 11.5432 second system time The end
Begin job on node129 at 2016-06-18 09:17:53 IDJOB=4103184 IDBENCH=2291 IDSOLVER=2546 FILE ID=node129/4103184-1466234273 RUNJOBID= node129-1466206067-15564 PBS_JOBID= 19918148 Free space on /tmp= 71660 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103184-1466234273/watcher-4103184-1466234273 -o /tmp/evaluation-result-4103184-1466234273/solver-4103184-1466234273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103184-1466234273.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED=125097153 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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 : 5332.28 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27013620 kB Buffers: 114456 kB Cached: 210020 kB SwapCached: 1940 kB Active: 3410860 kB Inactive: 184768 kB Active(anon): 3272444 kB Inactive(anon): 1076 kB Active(file): 138416 kB Inactive(file): 183692 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 904 kB Writeback: 0 kB AnonPages: 4790348 kB Mapped: 15316 kB Shmem: 0 kB Slab: 602172 kB SReclaimable: 45908 kB SUnreclaim: 556264 kB KernelStack: 1616 kB PageTables: 14072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5434728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3360768 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= 71736 MiB End job on node129 at 2016-06-18 09:47:28