Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-07-02 | SAT (TO) | 10133272 | 2400.12 | 2385.34 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml |
MD5SUM | 5aacc3d423af8ffef3990b4c8ed069d4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 31516 |
Best CPU time to get the best result obtained on this benchmark | 654.472 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.56 c version: 2018-07-02 0.67/0.56 c seed: 1698315212 0.67/0.56 c timeout: 2400 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 17.26/10.22 c Parsing done, starting search... 217.11/207.01 o 11812624 217.11/207.02 o 11812623 217.11/207.03 o 11812523 217.11/207.04 o 11812521 217.11/207.04 o 11810521 217.11/207.05 o 11810519 217.11/207.06 o 11810419 217.11/207.07 o 11610419 217.11/207.07 o 11610418 217.11/207.08 o 11410418 217.11/207.09 o 11410416 217.11/207.10 o 11410415 217.11/207.10 o 11410413 217.38/207.11 o 11410315 217.38/207.12 o 11410217 217.38/207.13 o 11410215 217.38/207.14 o 11410115 217.38/207.15 o 11410016 217.38/207.15 o 11410015 217.38/207.16 o 11409015 217.38/207.18 o 11408915 217.38/207.18 o 11408914 217.38/207.19 o 11408913 217.64/207.20 o 11408912 217.64/207.21 o 11408910 217.64/207.22 o 11408908 217.64/207.22 o 11408905 217.64/207.23 o 11408805 217.64/207.24 o 11408706 217.64/207.25 o 11408606 217.64/207.25 o 11408605 217.64/207.26 o 11408602 217.64/207.27 o 11408598 217.64/207.28 o 11388598 217.64/207.29 o 11386698 217.83/207.30 o 11386697 217.83/207.31 o 11386696 217.83/207.31 o 11386694 217.83/207.32 o 11386393 217.83/207.33 o 11386293 217.83/207.34 o 11384293 217.83/207.35 o 11384193 217.83/207.37 o 11185202 217.83/207.37 o 11185200 217.83/207.38 o 11185199 217.83/207.38 o 11185196 217.83/207.39 o 11185096 217.95/207.41 o 11185095 217.95/207.42 o 11184295 217.95/207.42 o 11184293 217.95/207.44 o 11184193 217.95/207.45 o 11183993 217.95/207.46 o 11182993 217.95/207.47 o 10982893 217.95/207.49 o 10982797 218.05/207.50 o 10982795 218.05/207.50 o 10982794 218.05/207.52 o 10982793 218.05/207.53 o 10981694 218.05/207.55 o 10962693 218.05/207.56 o 10962692 218.05/207.57 o 10961693 218.05/207.58 o 10961592 218.05/207.59 o 10961590 218.16/207.60 o 10961589 218.16/207.62 o 10764691 218.16/207.63 o 10764591 218.16/207.63 o 10764491 218.16/207.64 o 10764391 218.16/207.64 o 10764291 218.16/207.65 o 10764290 218.16/207.65 o 10764288 218.16/207.66 o 10764188 218.16/207.66 o 10764088 218.16/207.67 o 10763988 218.16/207.67 o 10763888 218.16/207.68 o 10763791 218.16/207.68 o 10763790 218.16/207.69 o 10763690 218.16/207.69 o 10763590 218.26/207.70 o 10761590 218.26/207.75 o 10761497 218.26/207.76 o 10761402 218.26/207.77 o 10761400 218.26/207.77 o 10761399 218.26/207.78 o 10761397 218.26/207.79 o 10761392 218.26/207.79 o 10761292 218.36/207.81 o 10760601 218.36/207.82 o 10760599 218.36/207.83 o 10760598 218.36/207.84 o 10760597 218.36/207.85 o 10760596 218.36/207.86 o 10760497 218.36/207.86 o 10760496 218.36/207.88 o 10760403 218.36/207.88 o 10760401 218.36/207.89 o 10760396 218.46/207.90 o 10760196 218.46/207.91 o 10760195 218.46/207.92 o 10760192 218.46/207.94 o 10760191 218.46/207.95 o 10760092 218.57/208.09 o 10759401 218.57/208.09 o 10759400 218.57/208.10 o 10759399 218.57/208.10 o 10759398 218.67/208.11 o 10759397 218.67/208.12 o 10759395 218.67/208.13 o 10759390 218.67/208.14 o 10759389 218.67/208.15 o 10759386 218.67/208.16 o 10759186 218.67/208.18 o 10759092 218.67/208.19 o 10759089 218.77/208.28 o 10758808 218.77/208.29 o 10758608 218.77/208.29 o 10758504 218.87/208.30 o 10758502 218.87/208.31 o 10758500 218.87/208.32 o 10758497 218.87/208.32 o 10758496 218.87/208.33 o 10758395 218.87/208.34 o 10758296 218.87/208.35 o 10758291 218.87/208.35 o 10758290 218.87/208.36 o 10758287 218.87/208.37 o 10758087 218.97/208.40 o 10757801 218.97/208.41 o 10757799 218.97/208.42 o 10757798 218.97/208.42 o 10757797 218.97/208.43 o 10757795 218.97/208.44 o 10757791 218.97/208.45 o 10757787 218.97/208.46 o 10757786 218.97/208.46 o 10757687 218.97/208.47 o 10757686 218.97/208.47 o 10757685 218.97/208.48 o 10757591 218.97/208.49 o 10757589 218.97/208.49 o 10757588 219.07/208.50 o 10757494 219.07/208.51 o 10757396 219.07/208.53 o 10757393 219.07/208.54 o 10757391 219.07/208.55 o 10757390 219.07/208.56 o 10757387 219.07/208.57 o 10757196 219.07/208.58 o 10757194 219.07/208.58 o 10757192 219.07/208.59 o 10757190 219.17/208.60 o 10757188 219.17/208.61 o 10757187 219.17/208.62 o 10757185 219.17/208.64 o 10757085 219.17/208.64 o 10757084 219.17/208.65 o 10756987 219.27/208.75 o 10756912 219.27/208.75 o 10756910 219.27/208.75 o 10756909 219.27/208.76 o 10756809 219.27/208.76 o 10756807 219.27/208.77 o 10756707 219.27/208.77 o 10756603 219.27/208.78 o 10756601 219.27/208.78 o 10756597 219.27/208.79 o 10756497 219.37/208.81 o 10756397 219.37/208.82 o 10756298 219.37/208.84 o 10756197 219.37/208.85 o 10756192 219.37/208.86 o 10756191 219.37/208.86 o 10756188 219.37/208.87 o 10755988 219.48/208.93 o 10755987 219.58/209.01 o 10559198 219.58/209.02 o 10559098 219.58/209.02 o 10559095 219.58/209.03 o 10559094 219.58/209.03 o 10559093 219.58/209.04 o 10558992 219.58/209.07 o 10558892 219.58/209.08 o 10558891 219.58/209.09 o 10558888 219.69/209.13 o 10558788 219.69/209.13 o 10558787 219.69/209.18 o 10558195 219.69/209.19 o 10558096 219.78/209.20 o 10557996 219.78/209.21 o 10557902 219.78/209.22 o 10557801 219.78/209.24 o 10557796 219.78/209.25 o 10557795 219.78/209.25 o 10557794 219.78/209.25 o 10557791 220.08/209.55 o 10557711 220.08/209.56 o 10557710 220.08/209.56 o 10557709 220.08/209.56 o 10557707 220.08/209.57 o 10557705 220.08/209.57 o 10557704 220.08/209.58 o 10557702 220.08/209.58 o 10557700 220.08/209.58 o 10557699 220.08/209.59 o 10557697 220.08/209.59 o 10557695 220.18/209.60 o 10557691 220.18/209.60 o 10557690 220.18/209.61 o 10557589 220.18/209.62 o 10557489 220.18/209.63 o 10557289 220.28/209.78 o 10557287 220.28/209.78 o 10557190 220.28/209.79 o 10557089 220.38/209.83 o 10556889 220.38/209.89 o 10556791 220.88/210.33 o 10556597 220.88/210.33 o 10556596 220.88/210.34 o 10556595 220.88/210.34 o 10556495 220.88/210.35 o 10556493 220.88/210.36 o 10556403 220.88/210.37 o 10556302 220.88/210.38 o 10556300 220.88/210.38 o 10556299 220.88/210.39 o 10556298 221.02/210.40 o 10556200 221.02/210.41 o 10556199 221.02/210.41 o 10556100 221.02/210.42 o 10556099 221.02/210.48 o 10556096 221.02/210.49 o 10556094 221.02/210.49 o 10556093 221.12/210.50 o 10556090 221.12/210.51 o 10556089 221.22/210.61 o 10556003 221.22/210.62 o 10556001 221.22/210.67 o 10555996 221.22/210.67 o 10555995 221.22/210.68 o 10555994 221.22/210.68 o 10555991 221.32/210.76 o 10555907 221.32/210.76 o 10555905 221.32/210.77 o 10555903 221.32/210.77 o 10555902 221.32/210.78 o 10555901 221.32/210.78 o 10555896 221.32/210.79 o 10555895 221.32/210.79 o 10555894 221.43/210.80 o 10555891 246.85/236.20 o 10555816 246.85/236.21 o 10555814 246.85/236.21 o 10555813 246.85/236.22 o 10555812 246.85/236.22 o 10555712 246.85/236.23 o 10555710 246.85/236.24 o 10555609 246.85/236.25 o 10555410 246.85/236.26 o 10555311 246.85/236.27 o 10555310 246.85/236.27 o 10555206 246.85/236.28 o 10555204 246.85/236.28 o 10555200 246.95/236.31 o 10555199 246.95/236.31 o 10555198 246.95/236.32 o 10555197 246.95/236.32 o 10555194 246.95/236.33 o 10555192 246.95/236.34 o 10555191 246.95/236.34 o 10555190 247.15/236.50 o 10555096 247.15/236.51 o 10555095 247.15/236.51 o 10555092 247.15/236.52 o 10554992 248.25/237.66 o 10554991 249.15/238.57 o 10554903 249.15/238.57 o 10554901 249.25/238.60 o 10554896 249.25/238.61 o 10554895 249.25/238.61 o 10554894 249.25/238.61 o 10554891 250.15/239.53 o 10554795 250.15/239.53 o 10554794 250.15/239.54 o 10554793 250.15/239.54 o 10554792 250.15/239.55 o 10554592 250.15/239.56 o 10554492 250.15/239.57 o 10554491 250.15/239.57 o 10554391 250.15/239.58 o 10554389 250.15/239.59 o 10554387 250.15/239.60 o 10554288 250.96/240.31 o 10554287 255.86/245.29 o 10554087 255.86/245.29 o 10553986 255.96/245.30 o 10553886 255.96/245.30 o 10553687 255.96/245.31 o 10553587 258.60/247.80 o 10553487 258.91/248.16 o 10552487 259.00/248.22 o 10552392 259.00/248.23 o 10552391 259.00/248.24 o 10552389 259.00/248.24 o 10552289 259.00/248.25 o 10552189 259.00/248.26 o 10551989 259.00/248.27 o 10551789 259.00/248.27 o 10551689 259.00/248.28 o 10551589 259.00/248.29 o 10551487 260.40/249.60 o 10550587 261.51/250.77 o 10549789 261.61/250.84 o 10549689 263.31/252.55 o 10549687 263.31/252.58 o 10549686 268.51/257.71 o 10549685 1105.47/1093.75 o 10211304 1105.47/1093.75 o 10210304 1105.47/1093.76 o 10210202 1105.47/1093.76 o 10209203 1105.47/1093.77 o 10209202 1105.47/1093.77 o 10209200 1105.47/1093.77 o 10209198 1105.47/1093.78 o 10209196 1105.47/1093.78 o 10209195 1105.47/1093.79 o 10189195 1105.47/1093.80 o 10188195 1105.58/1093.81 o 10188194 1105.58/1093.81 o 10188193 1105.58/1093.82 o 10187193 1105.58/1093.82 o 10187191 1105.58/1093.83 o 10187189 1105.58/1093.84 o 10187105 1105.58/1093.85 o 10187104 1105.58/1093.85 o 10187103 1105.58/1093.85 o 10187102 1105.58/1093.86 o 10187101 1105.58/1093.86 o 10187099 1105.58/1093.87 o 10187097 1105.58/1093.87 o 10187095 1105.58/1093.88 o 10187093 1105.58/1093.88 o 10187091 1105.58/1093.89 o 10187089 1105.58/1093.89 o 10187088 1105.67/1093.90 o 10186991 1105.67/1093.91 o 10186990 1105.67/1093.91 o 10186988 1105.67/1093.92 o 10186987 1105.67/1093.94 o 10185992 1105.67/1093.94 o 10185990 1105.67/1093.95 o 10185987 1105.78/1094.04 o 10185889 1105.78/1094.04 o 10185888 1105.78/1094.05 o 10185886 1105.78/1094.06 o 10185885 1105.88/1094.18 o 10185884 1105.88/1094.18 o 10185883 1106.08/1094.31 o 10185684 1106.08/1094.32 o 10185683 1106.18/1094.47 o 10185485 1106.18/1094.48 o 10185484 1106.67/1094.93 o 10183590 1106.67/1094.94 o 10183490 1106.67/1094.95 o 10183489 1106.67/1094.96 o 10183488 1106.67/1094.96 o 10183486 1106.67/1094.97 o 10183484 1107.17/1095.49 o 10183385 1107.27/1095.54 o 10183313 1107.27/1095.54 o 10183312 1107.27/1095.55 o 10183311 1107.27/1095.55 o 10183310 1107.27/1095.55 o 10183309 1107.27/1095.56 o 10183308 1107.27/1095.56 o 10183306 1107.27/1095.57 o 10183304 1107.27/1095.57 o 10183302 1107.27/1095.57 o 10183300 1107.27/1095.58 o 10183298 1107.27/1095.58 o 10183296 1107.27/1095.59 o 10183294 1107.27/1095.59 o 10183291 1107.38/1095.60 o 10183289 1107.38/1095.61 o 10183288 1107.89/1096.19 o 10183089 1107.98/1096.20 o 10183088 1108.48/1096.72 o 10182184 1108.48/1096.74 o 10182183 1108.58/1096.86 o 10182089 1108.58/1096.86 o 10182088 1108.79/1097.07 o 10182087 1109.89/1098.19 o 10182086 1109.89/1098.20 o 10182085 1109.98/1098.21 o 10181990 1109.98/1098.23 o 10181989 1109.98/1098.27 o 10181987 1111.28/1099.53 o 10181880 1111.28/1099.54 o 10181879 1112.59/1100.81 o 10180781 1112.59/1100.82 o 10180778 1112.59/1100.82 o 10180777 1112.59/1100.82 o 10180776 1112.59/1100.84 o 10180775 1112.59/1100.85 o 10179775 1112.59/1100.89 o 10179683 1112.59/1100.89 o 10179682 1112.71/1100.90 o 10179680 1112.71/1100.94 o 10179679 1114.31/1102.57 o 10178817 1114.31/1102.58 o 10178816 1114.31/1102.58 o 10178815 1114.31/1102.58 o 10178814 1114.31/1102.59 o 10178812 1114.31/1102.59 o 10178810 1114.31/1102.59 o 10178808 1114.31/1102.60 o 10178806 1114.41/1102.60 o 10178803 1114.41/1102.60 o 10178802 1114.41/1102.61 o 10178801 1114.41/1102.61 o 10178799 1114.41/1102.62 o 10178797 1114.41/1102.62 o 10178795 1114.41/1102.63 o 10178792 1114.41/1102.63 o 10178791 1114.41/1102.63 o 10178789 1114.41/1102.64 o 10178788 1114.41/1102.65 o 10178686 1114.41/1102.66 o 10178685 1114.41/1102.66 o 10178683 1114.41/1102.67 o 10178682 1114.61/1102.82 o 10178681 1114.61/1102.82 o 10178680 1114.92/1103.11 o 10178679 1114.92/1103.12 o 10177780 1114.92/1103.19 o 10177778 1114.92/1103.19 o 10177776 1115.11/1103.37 o 10177682 1115.11/1103.39 o 10177680 1116.91/1105.12 o 10177581 1117.00/1105.23 o 10176684 1117.00/1105.24 o 10176683 1117.00/1105.24 o 10176682 1117.10/1105.31 o 10176680 1119.11/1107.33 o 10176617 1119.11/1107.33 o 10176515 1119.11/1107.34 o 10176513 1119.11/1107.34 o 10176512 1119.11/1107.34 o 10176511 1119.11/1107.35 o 10176411 1119.11/1107.35 o 10176309 1119.11/1107.36 o 10176308 1119.11/1107.36 o 10176208 1119.11/1107.36 o 10176206 1119.11/1107.37 o 10176204 1119.11/1107.37 o 10176203 1119.11/1107.38 o 10176201 1119.11/1107.38 o 10176199 1119.11/1107.39 o 10176099 1119.11/1107.39 o 10175999 1119.11/1107.39 o 10175891 1119.21/1107.40 o 10175889 1119.21/1107.40 o 10175888 1119.21/1107.41 o 10175788 1119.21/1107.41 o 10175786 1119.21/1107.42 o 10175784 1119.21/1107.42 o 10175584 1119.21/1107.43 o 10175583 1119.21/1107.44 o 10175383 1119.21/1107.44 o 10175283 1119.21/1107.45 o 10175083 1119.21/1107.45 o 10174983 1119.21/1107.46 o 10174981 1119.21/1107.46 o 10174979 1119.21/1107.47 o 10174879 1119.21/1107.48 o 10174680 1121.71/1109.90 o 10174679 1123.21/1111.46 o 10159776 1123.21/1111.48 o 10159680 1123.31/1111.54 o 10159678 1123.61/1111.89 o 10158978 1123.71/1111.90 o 10158976 1123.71/1111.92 o 10158880 1123.81/1112.01 o 10158875 1123.81/1112.03 o 10158781 1123.81/1112.04 o 10158779 1123.81/1112.09 o 10156681 1123.91/1112.15 o 10156679 1124.71/1113.00 o 10156079 1124.71/1113.00 o 10156077 1124.81/1113.01 o 10156076 1124.81/1113.01 o 10155977 1124.81/1113.01 o 10155976 1124.81/1113.02 o 10155776 1124.81/1113.03 o 10154877 1124.81/1113.06 o 10154875 1124.81/1113.09 o 10154782 1124.81/1113.09 o 10154780 1124.81/1113.09 o 10154779 1124.81/1113.10 o 10154679 1126.01/1114.25 o 10154677 1126.01/1114.25 o 10154577 1126.01/1114.27 o 10154481 1126.01/1114.29 o 10154479 1130.92/1119.15 o 10154478 1130.92/1119.15 o 10154477 1130.92/1119.15 o 10154476 1130.92/1119.16 o 10154474 1130.92/1119.16 o 10154374 1130.92/1119.18 o 10154372 1130.92/1119.19 o 10154276 1134.85/1123.01 o 10145880 1134.85/1123.02 o 10144882 1134.85/1123.03 o 10143882 1134.85/1123.04 o 10143786 1134.85/1123.05 o 10143785 1134.85/1123.05 o 10143784 1134.85/1123.07 o 10143783 1134.85/1123.08 o 10143683 1134.85/1123.09 o 10143484 1134.96/1123.11 o 10143479 1134.96/1123.12 o 10143381 1134.96/1123.13 o 10143281 1134.96/1123.16 o 10142980 1134.96/1123.16 o 10142780 1134.96/1123.17 o 10142680 1134.96/1123.18 o 10141680 1134.96/1123.19 o 10141580 1135.05/1123.20 o 10141484 1135.05/1123.26 o 10141479 1135.05/1123.27 o 10141382 1135.05/1123.28 o 10141381 1135.05/1123.29 o 10141281 1135.15/1123.34 o 10141277 1135.15/1123.35 o 10141181 1135.15/1123.38 o 10140180 1135.25/1123.46 o 10140178 1135.25/1123.50 o 10140177 1135.35/1123.51 o 10140175 1135.65/1123.82 o 10140174 1135.65/1123.82 o 10140173 1135.75/1123.95 o 10139978 1135.75/1123.96 o 10139778 1135.75/1123.97 o 10139678 1135.75/1123.97 o 10139677 1135.75/1123.98 o 10139675 1135.86/1124.02 o 10139584 1135.86/1124.02 o 10139581 1135.86/1124.05 o 10139579 1135.86/1124.09 o 10139577 1135.96/1124.14 o 10139576 1135.96/1124.15 o 10139575 1135.96/1124.16 o 10139573 1136.05/1124.26 o 10139479 1136.05/1124.27 o 10139478 1136.05/1124.28 o 10139477 1136.25/1124.42 o 10139476 1136.25/1124.43 o 10139475 1136.25/1124.43 o 10139474 1136.25/1124.44 o 10139472 1136.25/1124.48 o 10139470 1136.35/1124.52 o 10139376 1136.35/1124.53 o 10139374 1136.45/1124.68 o 10139370 1136.55/1124.75 o 10139275 1136.55/1124.76 o 10139274 1136.65/1124.83 o 10139081 1136.65/1124.83 o 10139080 1136.65/1124.84 o 10138979 1136.65/1124.85 o 10137979 1136.65/1124.86 o 10137974 1136.65/1124.87 o 10137876 1136.65/1124.87 o 10137774 1136.75/1124.93 o 10137677 1136.75/1124.95 o 10137579 1136.75/1124.97 o 10137577 1136.75/1124.97 o 10137576 1136.75/1125.00 o 10137575 1136.86/1125.01 o 10137475 1136.86/1125.07 o 10137378 1136.86/1125.08 o 10137376 1136.86/1125.09 o 10137276 1137.16/1125.37 o 10137182 1137.16/1125.37 o 10137180 1137.16/1125.38 o 10137179 1137.16/1125.38 o 10136979 1137.16/1125.39 o 10136877 1137.16/1125.40 o 10136876 1137.26/1125.40 o 10136775 1137.26/1125.42 o 10136582 1137.26/1125.43 o 10136581 1137.26/1125.43 o 10136579 1137.36/1125.53 o 10136572 1137.36/1125.53 o 10136472 1137.36/1125.56 o 10136378 1137.46/1125.61 o 10136376 1137.46/1125.66 o 10136374 1137.46/1125.67 o 10136278 1137.56/1125.71 o 10136276 1140.26/1128.43 o 10136271 1140.26/1128.47 o 10136270 1140.26/1128.47 o 10136269 1140.46/1128.67 o 10135580 1140.46/1128.68 o 10135579 1140.46/1128.68 o 10135578 1140.46/1128.69 o 10135576 1140.46/1128.70 o 10135480 1140.56/1128.71 o 10135478 1140.56/1128.77 o 10135471 1140.56/1128.78 o 10135371 1140.56/1128.79 o 10135278 1140.66/1128.80 o 10135277 1140.66/1128.81 o 10135275 1140.66/1128.84 o 10135178 1140.66/1128.85 o 10135176 1140.66/1128.85 o 10135175 1141.16/1129.32 o 10134776 1141.16/1129.32 o 10134674 1141.16/1129.33 o 10134673 1141.16/1129.34 o 10134570 1141.16/1129.36 o 10134478 1141.16/1129.36 o 10134477 1141.16/1129.37 o 10134374 1141.16/1129.38 o 10134372 1141.26/1129.40 o 10134276 1178.81/1166.95 o 10134274 1180.61/1168.75 o 10134272 1182.51/1170.62 o 10133875 1182.51/1170.62 o 10133775 1182.51/1170.63 o 10133672 1182.51/1170.63 o 10133670 1182.51/1170.64 o 10133570 1182.51/1170.66 o 10133477 1182.51/1170.67 o 10133475 1182.51/1170.67 o 10133474 1182.51/1170.68 o 10133374 1185.31/1173.49 o 10133371 1185.31/1173.50 o 10133275 1185.41/1173.50 o 10133273 1302.42/1290.49 o 10133272 2400.07/2385.30 s SATISFIABLE 2400.07/2385.31 v <instantiation> 2400.07/2385.31 v <list> 2400.07/2385.31 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 2400.07/2385.31 v </list> 2400.07/2385.31 v <values> 2400.07/2385.31 v 442 680 554 792 694 456 254 16 470 708 470 708 72 310 680 442 310 72 540 778 16 254 16 254 428 666 296 58 30 268 128 366 484 722 414 652 540 778 750 512 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 142 380 44 282 792 554 324 86 750 512 58 296 526 764 30 268 142 380 156 394 156 394 44 282 268 30 470 708 366 128 16 254 324 86 142 380 526 764 414 652 254 16 394 156 414 652 652 414 666 428 750 512 778 540 456 694 44 282 30 268 16 254 414 652 652 414 526 764 428 666 296 58 498 736 442 680 156 394 442 680 442 680 58 296 708 470 394 156 58 296 352 114 44 282 792 554 170 408 456 694 484 722 156 394 268 30 554 792 352 114 72 310 352 114 72 310 666 428 114 352 484 722 296 58 652 414 414 652 414 652 142 380 736 498 792 554 352 114 778 540 442 680 470 708 456 694 722 484 540 778 526 764 380 142 708 470 456 694 722 484 142 380 128 366 526 764 456 694 680 442 268 30 268 30 86 324 338 100 428 666 86 324 540 778 366 128 526 764 456 694 778 540 540 778 666 428 778 540 254 16 282 44 30 268 778 540 296 58 764 526 44 282 338 100 72 310 44 282 694 456 666 428 86 324 268 30 526 764 680 442 540 778 338 100 352 114 268 30 722 484 722 484 442 680 352 114 30 268 554 792 456 694 540 778 512 750 296 58 708 470 268 30 282 44 666 428 44 282 58 296 338 100 30 268 428 666 540 778 44 282 526 764 540 778 142 380 456 694 736 498 414 652 750 512 764 526 72 310 142 380 652 414 792 554 470 708 512 750 86 324 380 142 310 72 456 694 282 44 428 666 442 680 512 750 338 100 666 428 254 16 282 44 470 708 44 282 736 498 414 652 380 142 680 442 526 764 680 442 86 324 750 512 722 484 30 268 736 498 428 666 310 72 296 58 526 764 352 114 722 484 30 268 680 442 352 114 778 540 708 470 666 428 86 324 526 764 778 540 764 526 736 498 498 736 58 296 142 380 114 352 268 30 352 114 414 652 16 254 16 254 156 394 750 512 428 666 442 680 338 100 456 694 268 30 722 484 72 310 484 722 352 114 792 554 268 30 442 680 100 338 142 380 470 708 708 470 652 414 282 44 142 380 708 470 512 750 324 86 526 764 456 694 694 456 296 58 526 764 352 114 268 30 268 30 100 338 694 456 338 100 456 694 366 128 58 296 694 456 414 652 128 366 778 540 652 414 394 156 540 778 694 456 484 722 142 380 268 30 72 310 352 114 708 470 380 142 442 680 324 86 484 722 764 526 324 86 512 750 694 456 722 484 30 268 338 100 338 100 680 442 366 128 268 30 86 324 414 652 666 428 114 352 282 44 310 72 380 142 414 652 736 498 114 352 156 394 128 366 282 44 16 254 310 72 666 428 156 394 652 414 30 268 58 296 366 128 778 540 86 324 268 30 666 428 338 100 352 114 750 512 86 324 380 142 498 736 680 442 778 540 324 86 86 324 296 58 100 338 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 0 0 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 100 100 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 1000 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 1000 1000 1000 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 1000 1000 1000 1000 0 1000 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 100 100 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 0 100 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 100 0 0 100 0 100 100 100 100 100 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 100 100 0 0 100 0 100 100 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 0 100 0 0 0 100 100 100 100 0 0 100 100 100 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 100 100 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 100 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 2 0 0 0 0 0 0 2 0 2 0 2 0 0 2 0 0 0 0 0 2 2 0 0 0 0 2 0 0 2 0 0 2 0 0 2 2 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 2 0 0 0 0 2 2 2 0 0 0 0 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 2 2 2 2 2 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 2 0 0 2 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 2 0 0 2 0 0 0 0 0 0 2 2 2 2 2 0 0 2 0 2 0 0 2 2 0 0 2 0 2 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 2 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 2 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 2 0 2 2 0 0 2 0 0 0 2 2 2 2 0 0 2 2 0 0 2 2 2 2 0 0 2 0 0 0 2 2 2 0 2 2 0 2 2 2 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 2 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 2 0 0 2 0 2 0 2 0 2 2 2 0 0 0 0 0 2 0 0 2 0 2 2 0 2 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 0 2 2 2 2 2 2 0 0 0 0 0 2 0 2 0 2 2 0 2 2 0 0 0 0 0 0 2 2 0 2 0 0 2 0 0 2 0 2 0 2 0 0 2 2 0 2 2 2 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 2 0 2 2 0 0 2 0 0 2 0 0 0 2 2 2 0 0 0 2 0 0 0 0 0 0 2 0 2 2 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 0 2 0 2 0 0 0 0 0 2 2 0 0 0 2 0 2 0 2 0 2 0 2 0 0 0 0 0 2 2 2 0 2 0 2 0 0 2 0 2 2 0 2 0 0 2 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 2400.07/2385.31 v </values> 2400.07/2385.31 v </instantiation>
OK 10133272
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10094 MiB free) memory of node 1: 16384 MiB (11376 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291924-1532276132/watcher-4291924-1532276132 -o /tmp/evaluation-result-4291924-1532276132/solver-4291924-1532276132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3550 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1698315212 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291924-1532276132.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4020, runsolver pid=4017 [startup+0.107783 s]* /proc/loadavg: 1.12 1.26 1.33 3/215 4035 /proc/meminfo: memFree=21967908/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14082740 memory=33064 CPUtime=0.13 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 7140 0 0 0 12 1 0 0 20 0 15 0 45176379 14420725760 8266 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3520685 8266 3164 1 0 3482761 0 [pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=-8680515068990682304 CPUtime=0.09 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 5337 0 0 0 9 0 0 0 20 0 15 0 45176379 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611664377504 140611646354608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.01 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) R 4017 4020 2046 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611195861104 140611639283267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 33064 KiB [startup+0.214095 s]* /proc/loadavg: 1.12 1.26 1.33 6/215 4035 /proc/meminfo: memFree=21953164/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14082740 memory=47016 CPUtime=0.31 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 10391 0 0 0 30 1 0 0 20 0 15 0 45176379 14420725760 11754 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3520685 11754 3378 1 0 3482761 0 [pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 8080 0 0 0 19 1 0 0 20 0 15 0 45176379 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611664384928 140611644237150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=140308182992060 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.06 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) R 4017 4020 2046 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611195861104 140611639565012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 47016 KiB [startup+0.310324 s]* /proc/loadavg: 1.12 1.26 1.33 4/215 4035 /proc/meminfo: memFree=21949876/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14082740 memory=50744 CPUtime=0.44 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 10788 0 0 0 43 1 0 0 20 0 15 0 45176379 14420725760 12686 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3520685 12686 3424 1 0 3482761 0 [pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 8434 0 0 0 28 1 0 0 20 0 15 0 45176379 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611664375832 140611652393790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=15675515002922648 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.08 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 50744 KiB [startup+0.700805 s] /proc/loadavg: 1.12 1.26 1.33 3/215 4035 /proc/meminfo: memFree=21925320/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14084808 memory=89068 CPUtime=0.99 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 17628 0 0 0 96 3 0 0 20 0 15 0 45176379 14422843392 22267 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3521202 22267 3506 1 0 3483273 0 [pid=4020/tid=4022] ppid=4017 vsize=14084808 memory=1724 CPUtime=0.67 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 14873 0 0 0 65 2 0 0 20 0 15 0 45176379 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611664380768 140611644264388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14084808 memory=10928 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14084808 memory=5672 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14084808 memory=1432 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14084808 memory=4639098309541129069 CPUtime=0.08 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 673 0 0 0 8 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14084808 memory=7380106142448643183 CPUtime=0.07 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 272 0 0 0 7 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14084808 memory=7810487918915055718 CPUtime=0.15 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084808 KiB Current children cumulated memory: 89068 KiB [startup+1.50875 s] /proc/loadavg: 1.12 1.26 1.33 5/215 4035 /proc/meminfo: memFree=21869352/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14088904 memory=221884 CPUtime=3.47 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 27041 0 0 0 339 8 0 0 20 0 15 0 45176379 14427037696 55471 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3522226 55471 3561 1 0 3484297 0 [pid=4020/tid=4022] ppid=4017 vsize=14088904 memory=0 CPUtime=1.46 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) S 4017 4020 2046 0 -1 1077944384 17826 0 0 0 142 4 0 0 20 0 15 0 45176379 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611664389520 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14088904 memory=-8253362664378451598 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14088904 memory=7245577299922993209 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) R 4017 4020 2046 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611596704336 140611660166869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14088904 memory=-8412660957079705459 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14088904 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) R 4017 4020 2046 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 15 0 45176382 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611202176416 140611644516066 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 ################ # More data... # ################ /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 127473 0 0 0 231960 70 0 0 20 0 15 0 45176379 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611664394688 140611276910381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.3 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15275 0 0 0 109 21 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.3 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 13557 0 0 0 109 21 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=15244 CPUtime=1.3 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 18599 0 0 0 110 20 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2428 CPUtime=1.3 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 11593 0 0 0 110 20 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=4140 CPUtime=0.3 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19463 0 0 0 24 6 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=15244 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=1796 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12422 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2244 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9836 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.41 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22465 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=2428 CPUtime=0.98 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1944 0 0 0 47 51 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 2336.53 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2934736 KiB [startup+2382.3 s] /proc/loadavg: 1.78 1.58 1.58 3/215 4261 /proc/meminfo: memFree=19200376/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2397.04 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257679 0 0 0 239493 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3523250 734196 3615 1 0 3485321 0 [pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2380 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128546 0 0 0 237927 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394640 140611279419728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=1.48 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15305 0 0 0 127 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=55 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14461 0 0 0 127 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.48 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 127 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12061 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.36 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 29 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=10928 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=14156 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=18472 CPUtime=1.41 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=15252 CPUtime=1.01 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 2397.04 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2936784 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2385.3 s] /proc/loadavg: 1.72 1.57 1.58 3/215 4261 /proc/meminfo: memFree=19200396/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2400.07 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257816 0 0 0 239796 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3523250 734196 3615 1 0 3485321 0 [pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2382.98 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128662 0 0 0 238225 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394816 140611278973674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15320 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14465 0 0 0 128 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12063 0 0 0 129 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.37 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 30 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=55 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=1236 CPUtime=1.41 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=4388 CPUtime=1.01 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2936784 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2385.34 s] # the end of solver process 4020 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.99 s, system=2.12641 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2385.3 s] /proc/loadavg: 1.72 1.57 1.58 3/215 4261 /proc/meminfo: memFree=19200396/32770624 swapFree=67108860/67108860 [pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2400.07 cores=0,2,4,6 /proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257816 0 0 0 239796 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 /proc/4020/statm: 3523250 734196 3615 1 0 3485321 0 [pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2382.98 cores=0,2,4,6 /proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128662 0 0 0 238225 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394816 140611278973674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15320 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6 /proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14465 0 0 0 128 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6 /proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6 /proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12063 0 0 0 129 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.37 cores=0,2,4,6 /proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 30 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=55 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6 /proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=1236 CPUtime=1.41 cores=0,2,4,6 /proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6 /proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 [pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=4388 CPUtime=1.01 cores=0,2,4,6 /proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2936784 KiB Child status: 143 Real time (s): 2385.34 CPU time (s): 2400.12 CPU user time (s): 2397.99 CPU system time (s): 2.12641 CPU usage (%): 100.62 Max. virtual memory (cumulated for all children) (KiB): 14093000 Max. memory (cumulated for all children) (KiB): 3963672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.99 system time used= 2.12641 maximum resident set size= 3985072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258336 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62842 involuntary context switches= 2816 # summary of solver processes directly reported to runsolver: # pid: 4020 # total CPU time (s): 2400.12 # total CPU user time (s): 2397.99 # total CPU system time (s): 2.12641 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.3447 second user time and 21.2747 second system time The end
Begin job on node138 at 2018-07-22 18:15:32 IDJOB=4291924 IDBENCH=141202 IDSOLVER=2743 FILE ID=node138/4291924-1532276132 RUNJOBID= node138-1532271385-3550 PBS_JOBID= 21018975 Free space on /tmp= 59072 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291924-1532276132/watcher-4291924-1532276132 -o /tmp/evaluation-result-4291924-1532276132/solver-4291924-1532276132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3550 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1698315212 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291924-1532276132.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4 RANDOM SEED=1698315212 node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 21986544 kB MemAvailable: 31157308 kB Buffers: 247100 kB Cached: 9164468 kB SwapCached: 0 kB Active: 3179280 kB Inactive: 7083240 kB Active(anon): 853724 kB Inactive(anon): 16960 kB Active(file): 2325556 kB Inactive(file): 7066280 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36080 kB Writeback: 44 kB AnonPages: 858240 kB Mapped: 49408 kB Shmem: 17036 kB Slab: 216816 kB SReclaimable: 189524 kB SUnreclaim: 27292 kB KernelStack: 3488 kB PageTables: 7428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1530368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 780288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 59040 MiB End job on node138 at 2018-07-22 18:55:18