Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 5642 | 19803.1 | 2520.1 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 221 |
Best CPU time to get the best result obtained on this benchmark | 9.58451 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1234 |
Number of constraints | 1134 |
Number of domains | 10 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
Minimum variable degree | 1 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1134 |
Distribution of constraint types | [{"type":"intension","count":1134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394591-1568447903.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394591-1568447903.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 19.39/7.99 c solve instance... 25.10/8.96 o 148863 25.10/8.98 o 147962 26.28/9.12 o 147862 26.28/9.14 o 147762 26.28/9.16 o 147761 26.28/9.19 o 146862 26.58/9.22 o 145961 26.58/9.24 o 145861 26.58/9.25 o 145761 26.58/9.28 o 145732 26.99/9.31 o 145731 27.54/9.57 o 145640 29.10/10.86 o 145620 29.25/10.95 o 144960 29.25/10.98 o 144931 29.48/11.01 o 144930 29.48/11.04 o 144839 29.76/11.22 o 144819 29.76/11.24 o 144760 29.76/11.28 o 144731 30.80/11.41 o 144730 30.80/11.43 o 144639 30.80/11.47 o 144619 31.03/11.51 o 144596 31.03/11.54 o 144567 31.03/11.57 o 144503 31.23/11.60 o 144483 31.23/11.62 o 144414 31.23/11.64 o 144393 31.23/11.69 o 144373 31.50/11.73 o 144363 31.99/11.83 o 144353 31.99/11.86 o 144352 31.99/11.89 o 144342 32.51/12.07 o 143747 32.51/12.08 o 143647 32.51/12.09 o 143547 32.77/12.11 o 143528 32.77/12.14 o 143518 32.77/12.15 o 143517 32.77/12.16 o 143427 32.77/12.17 o 143426 32.77/12.18 o 143406 32.77/12.19 o 143383 33.82/12.32 o 143364 33.82/12.35 o 143354 33.82/12.38 o 143290 33.82/12.39 o 143270 34.14/12.42 o 143201 34.14/12.45 o 143180 34.14/12.47 o 143160 34.39/12.50 o 143150 34.39/12.51 o 143140 34.39/12.54 o 143111 34.39/12.55 o 143090 34.39/12.55 o 143070 34.39/12.56 o 143060 34.39/12.57 o 143050 34.73/12.61 o 142956 34.73/12.62 o 142332 34.96/12.75 o 142311 34.96/12.76 o 142301 34.96/12.76 o 142291 34.96/12.77 o 142290 34.96/12.79 o 142270 35.31/12.81 o 142260 36.82/14.05 o 142250 37.00/14.11 o 142249 37.00/14.14 o 141946 37.00/14.17 o 141846 37.00/14.18 o 141746 37.31/14.20 o 141727 37.31/14.21 o 141717 37.31/14.22 o 141716 37.31/14.25 o 141626 47.73/15.62 o 141625 47.73/15.62 o 141605 47.73/15.68 o 141583 47.95/15.70 o 141483 47.95/15.73 o 141464 47.95/15.75 o 141454 47.95/15.76 o 141390 47.95/15.77 o 141370 47.95/15.79 o 141301 48.21/15.80 o 141280 48.21/15.82 o 141260 48.21/15.87 o 141250 48.21/15.88 o 141240 48.49/15.93 o 140648 48.49/15.94 o 140548 48.49/15.95 o 140448 48.49/15.99 o 140419 48.80/16.03 o 140418 48.80/16.04 o 140327 48.80/16.05 o 140307 48.80/16.07 o 139647 48.80/16.09 o 139618 48.80/16.10 o 139617 48.80/16.11 o 139526 49.06/16.12 o 139506 49.06/16.13 o 139447 49.06/16.15 o 139418 49.06/16.19 o 139417 49.29/16.22 o 139326 49.29/16.23 o 139306 49.29/16.26 o 139284 49.55/16.34 o 139255 49.73/16.43 o 139202 49.73/16.45 o 139181 49.73/16.46 o 139161 49.91/16.54 o 139151 50.05/16.67 o 139141 50.22/16.70 o 139140 50.22/16.72 o 139130 50.22/16.73 o 139115 50.22/16.74 o 139114 50.22/16.75 o 139094 50.22/16.78 o 138434 50.22/16.80 o 138340 50.49/16.82 o 138314 50.62/16.93 o 138313 50.62/16.95 o 138293 50.62/16.99 o 138234 50.80/17.01 o 138215 52.84/18.26 o 138205 53.01/18.30 o 138204 53.01/18.33 o 138114 53.01/18.37 o 138113 53.32/18.41 o 138093 53.32/18.45 o 138071 53.32/18.46 o 138052 53.57/18.50 o 137989 53.57/18.52 o 137968 53.57/18.54 o 137948 53.57/18.56 o 137938 53.57/18.57 o 137928 53.90/18.63 o 137903 53.90/18.64 o 137902 53.90/18.66 o 137882 53.90/18.69 o 137803 54.19/18.72 o 137802 54.19/18.75 o 137782 54.19/18.77 o 137123 54.19/18.79 o 137104 54.48/18.82 o 137094 54.48/18.84 o 137093 54.48/18.84 o 137003 54.48/18.86 o 137002 54.71/18.90 o 136982 54.71/18.94 o 136923 54.71/18.97 o 136904 54.71/18.99 o 136894 55.03/19.02 o 136893 55.03/19.04 o 136803 55.03/19.05 o 136802 55.03/19.09 o 136782 55.54/19.16 o 136123 55.76/19.21 o 136104 55.76/19.27 o 136094 56.09/19.30 o 136093 56.09/19.32 o 136003 56.09/19.35 o 136002 56.09/19.37 o 135982 56.31/19.40 o 135923 56.31/19.41 o 135904 56.31/19.43 o 135894 56.31/19.46 o 135893 56.31/19.49 o 135803 56.51/19.51 o 135802 56.51/19.51 o 135782 56.51/19.53 o 135123 56.51/19.55 o 135023 56.51/19.56 o 134923 56.51/19.59 o 134904 56.80/19.61 o 134894 56.80/19.63 o 134893 56.80/19.65 o 134803 56.80/19.66 o 134802 57.01/19.70 o 134782 57.01/19.74 o 134223 57.01/19.75 o 134123 57.01/19.76 o 134023 57.01/19.79 o 134004 57.33/19.81 o 133994 57.33/19.83 o 133993 57.33/19.85 o 133903 57.33/19.86 o 133902 57.33/19.88 o 133882 57.60/19.92 o 133226 57.86/20.04 o 133222 57.86/20.08 o 133122 57.86/20.10 o 133022 58.14/20.11 o 133003 58.14/20.18 o 132993 58.31/20.24 o 132992 58.31/20.25 o 132902 58.31/20.27 o 132901 58.51/20.30 o 132881 58.51/20.33 o 132866 58.51/20.35 o 132846 58.51/20.36 o 132777 58.51/20.38 o 132756 58.51/20.40 o 132736 58.78/20.43 o 132726 58.78/20.46 o 132716 58.78/20.47 o 132657 58.99/20.50 o 132616 60.62/21.77 o 132101 60.62/21.80 o 132001 60.79/21.83 o 131901 60.79/21.85 o 131882 60.99/21.92 o 131872 60.99/21.94 o 131871 60.99/21.96 o 131781 60.99/21.98 o 131780 60.99/21.99 o 131760 61.29/22.04 o 131750 61.29/22.06 o 131748 61.29/22.09 o 131737 61.56/22.13 o 131725 61.56/22.15 o 131656 61.56/22.18 o 131635 61.56/22.18 o 131615 61.72/22.20 o 131605 61.72/22.23 o 131546 61.91/22.32 o 131505 62.27/22.44 o 131496 62.78/22.55 o 131495 63.27/22.63 o 131091 63.46/22.73 o 130991 63.46/22.79 o 130891 63.68/22.88 o 130872 63.68/22.89 o 130862 63.98/23.00 o 130861 64.12/23.01 o 130771 64.12/23.06 o 130770 64.12/23.09 o 130750 64.35/23.12 o 130749 64.35/23.18 o 130738 64.59/23.24 o 130727 65.06/23.31 o 130715 65.06/23.38 o 130646 65.58/23.47 o 130625 65.58/23.47 o 130605 65.99/23.53 o 130595 66.25/23.62 o 130536 66.25/23.66 o 130495 66.54/23.71 o 130491 66.79/23.83 o 130487 68.51/25.09 o 130213 68.65/25.13 o 130113 68.65/25.16 o 130013 68.65/25.19 o 129994 68.87/25.25 o 129984 68.87/25.28 o 129983 69.09/25.30 o 129893 69.09/25.31 o 129892 69.09/25.33 o 129872 69.46/25.59 o 129857 69.59/25.62 o 129837 69.59/25.65 o 129768 69.90/25.80 o 129747 70.07/25.81 o 129727 70.07/25.88 o 129717 70.28/25.91 o 129707 70.28/25.96 o 129648 70.28/25.98 o 129607 70.63/26.07 o 129092 70.63/26.10 o 128992 71.03/26.15 o 128892 71.22/26.23 o 128873 71.38/26.30 o 128863 71.38/26.33 o 128862 71.56/26.40 o 128772 71.56/26.41 o 128771 71.56/26.44 o 128751 71.74/26.50 o 128741 71.74/26.58 o 128739 72.02/26.62 o 128728 72.02/26.65 o 128716 72.32/26.72 o 128647 72.32/26.78 o 128626 72.49/26.86 o 128606 72.65/26.90 o 128596 72.65/26.93 o 128537 72.84/27.05 o 128496 73.28/27.32 o 128486 73.46/27.43 o 128485 73.46/27.45 o 128475 73.66/27.57 o 128474 73.89/27.61 o 128415 73.89/27.61 o 128374 73.89/27.65 o 128364 73.89/27.69 o 128354 74.15/27.73 o 128295 74.15/27.75 o 128254 74.43/27.84 o 128203 74.95/28.00 o 128082 75.40/28.04 o 127982 75.40/28.04 o 127882 75.69/28.11 o 127863 75.69/28.15 o 127853 75.90/28.23 o 127852 75.90/28.27 o 127762 75.90/28.29 o 127761 76.09/28.33 o 127741 76.22/28.40 o 127740 76.22/28.43 o 127729 76.22/28.45 o 127718 76.49/28.54 o 127706 76.49/28.58 o 127637 76.67/28.61 o 127616 76.67/28.69 o 127596 76.82/28.73 o 127586 76.82/28.75 o 127527 78.34/30.02 o 127486 78.57/30.12 o 127476 78.57/30.16 o 127475 78.57/30.18 o 127465 78.86/30.21 o 127464 78.86/30.24 o 127405 78.86/30.27 o 127364 78.86/30.29 o 127354 79.21/30.31 o 127344 79.21/30.34 o 127285 79.21/30.38 o 127244 79.46/30.41 o 31540 79.67/30.59 o 31521 79.84/30.62 o 30521 82.67/31.07 o 30439 82.67/31.10 o 30420 84.25/31.35 o 29750 84.25/31.38 o 29650 84.98/31.53 o 29631 84.98/31.59 o 29549 85.42/31.64 o 29449 85.42/31.68 o 29430 87.38/31.91 o 28559 87.38/31.95 o 28459 87.92/32.13 o 27550 87.92/32.17 o 27450 91.46/32.76 o 27431 94.28/33.14 o 27430 94.58/33.20 o 27330 94.58/33.25 o 27311 97.51/33.69 o 27241 102.74/34.36 o 27222 137.47/38.74 o 19236 137.94/38.88 o 19226 138.22/38.93 o 19216 138.58/39.12 o 19116 138.58/39.16 o 19016 139.36/39.32 o 18936 140.49/39.74 o 18726 143.14/40.14 o 18626 264.38/55.44 o 18539 264.79/55.54 o 18439 273.28/56.68 o 18339 671.42/107.42 o 18011 678.33/108.51 o 18001 683.61/109.52 o 17921 685.18/110.41 o 17911 689.54/111.30 o 17821 690.82/112.07 o 17811 3474.00/461.12 o 10697 3474.22/461.27 o 10597 3474.58/461.44 o 10497 3474.84/461.59 o 10397 3476.46/462.68 o 10297 3492.95/465.20 o 10206 3493.43/465.39 o 10197 4234.12/558.61 o 10196 4234.58/558.79 o 10096 4236.09/559.94 o 10087 6023.86/784.28 o 8786 6024.03/784.36 o 8686 6024.44/784.53 o 8586 6024.70/784.63 o 8486 6025.16/784.80 o 8386 6025.98/785.03 o 8376 6028.12/785.39 o 8276 6029.05/785.56 o 8266 6076.63/791.85 o 8186 6077.55/792.05 o 8176 6130.60/798.79 o 8086 6131.79/799.00 o 8076 6133.33/799.36 o 8066 6135.97/799.89 o 7986 6137.02/800.10 o 7976 6138.15/800.29 o 7966 6305.76/821.37 o 7902 6306.07/821.50 o 7890 6307.64/821.95 o 7880 6314.10/822.82 o 7876 6407.85/834.66 o 7790 6408.40/834.88 o 7778 6424.03/836.92 o 7774 6992.98/908.30 o 6731 6994.21/909.46 o 6631 6994.46/909.58 o 6531 6994.67/909.65 o 6431 6996.14/910.79 o 6331 6996.62/910.91 o 6231 7000.39/911.99 o 6141 7011.46/913.53 o 6121 7013.14/914.72 o 6021 7015.91/915.92 o 5931 7173.35/935.71 o 5852 7173.73/935.81 o 5841 7462.65/972.14 o 5793 7465.70/972.66 o 5782 7477.63/974.25 o 5753 7478.29/974.41 o 5742 7489.48/975.90 o 5693 7491.73/976.36 o 5682 7497.59/977.18 o 5653 7499.56/977.50 o 5642 19802.46/2520.07 s SATISFIABLE 19802.46/2520.07 v <instantiation> 19802.46/2520.07 v <list>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] 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] 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] 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] 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] </list> 19802.46/2520.07 v <values>58 296 792 554 72 310 240 478 170 408 792 554 254 16 30 268 16 254 16 254 778 540 240 478 666 428 722 484 484 722 16 254 736 498 722 484 792 554 708 470 694 456 680 442 114 352 722 484 680 442 44 282 58 296 114 352 58 296 722 484 470 708 652 414 792 554 72 310 764 526 156 394 240 478 128 366 694 456 764 526 100 338 16 254 128 366 792 554 16 254 156 394 792 554 72 310 240 478 652 414 750 512 58 296 100 338 16 254 722 484 778 540 254 16 16 254 142 380 666 428 170 408 170 408 58 296 680 442 666 428 58 296 100 338 240 478 778 540 16 254 128 366 16 254 750 512 16 254 792 554 778 540 652 414 128 366 792 554 722 484 128 366 58 296 128 366 442 680 58 296 30 268 792 554 652 414 16 254 694 456 792 554 708 470 736 498 16 254 652 414 16 254 240 478 72 310 16 254 512 750 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 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 0 0 0 0 0 0 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 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 0 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 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 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 100 0 0 0 0 0 0 0 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 100 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 100 0 0 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 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 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 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 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 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 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 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 10 0 0 0 10 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 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 </values> 19802.46/2520.07 v </instantiation> 19802.46/2520.07 c Unexpected resolution interruption!
OK 5642
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 (15125 MiB free) memory of node 1: 16384 MiB (15591 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394591-1568447903/watcher-4394591-1568447903 -o /tmp/evaluation-result-4394591-1568447903/solver-4394591-1568447903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1788226717 HOME/instance-4394591-1568447903.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18112, runsolver pid=18109 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 7.69 7.05 7.39 2/212 18133 /proc/meminfo: memFree=31439284/32770624 swapFree=66982588/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28227388 memory=27088 CPUtime=0.12 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 20 0 421052972 28904845312 6772 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7056847 6772 3118 1 0 7019032 0 [pid=18114/tid=18115] ppid=18112 vsize=28227388 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 3658 0 0 0 8 0 0 0 20 0 20 0 421052972 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709682890064 139709315994240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28227388 memory=732370096843492325 CPUtime=0 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28227388 memory=139958506038912 CPUtime=0 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18119] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18120] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18121] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18122] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18123] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18124] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052974 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18125] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18126] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18127] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18128] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18129] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18130] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18131] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18114/task/18131/stat : 18131 (java) R 18112 18112 15998 0 -1 4202560 398 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707866941680 139709662737758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18132] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18133] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28544 KiB [startup+0.210307 s]* /proc/loadavg: 7.69 7.05 7.39 2/212 18133 /proc/meminfo: memFree=31426012/32770624 swapFree=66982588/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28227388 memory=39992 CPUtime=0.34 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 9758 0 0 0 31 3 0 0 20 0 20 0 421052972 28904845312 9998 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7056847 9998 3310 1 0 7019032 0 [pid=18114/tid=18115] ppid=18112 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 6683 0 0 0 17 2 0 0 20 0 20 0 421052972 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709682887920 139709678679197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28227388 memory=732370096843492325 CPUtime=0 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28227388 memory=139958506038912 CPUtime=0 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18119] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18120] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18121] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18122] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18123] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18124] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421052974 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18125] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18126] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18127] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18128] ppid=18112 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18129] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18130] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18131] ppid=18112 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/18114/task/18131/stat : 18131 (java) R 18112 18112 15998 0 -1 4202560 880 0 0 0 7 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707866935568 139709657390645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18132] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18133] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41448 KiB [startup+0.309526 s]* /proc/loadavg: 7.69 7.05 7.39 3/212 18133 /proc/meminfo: memFree=31420552/32770624 swapFree=66982588/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28231644 memory=48536 CPUtime=0.51 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 11074 0 0 0 47 4 0 0 20 0 20 0 421052972 28909203456 12134 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7057911 12134 3341 1 0 7019032 0 [pid=18114/tid=18115] ppid=18112 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 7752 0 0 0 27 3 0 0 20 0 20 0 421052972 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709682889776 139709678679197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18119] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18120] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18121] ppid=18112 vsize=28231644 memory=139958354537135 CPUtime=0 cores=0-7 /proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18122] ppid=18112 vsize=28231644 memory=139958354539440 CPUtime=0 cores=0-7 /proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18123] ppid=18112 vsize=28231644 memory=139958354541744 CPUtime=0 cores=0-7 /proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18124] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421052974 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18125] ppid=18112 vsize=28231644 memory=279916709097360 CPUtime=0 cores=0-7 /proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18126] ppid=18112 vsize=28231644 memory=279916709095056 CPUtime=0 cores=0-7 /proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18127] ppid=18112 vsize=28231644 memory=279916709101968 CPUtime=0 cores=0-7 /proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18128] ppid=18112 vsize=28231644 memory=279916709043216 CPUtime=0.03 cores=0-7 /proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 490 0 0 0 3 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18129] ppid=18112 vsize=28231644 memory=279916709115792 CPUtime=0.02 cores=0-7 /proc/18114/task/18129/stat : 18129 (java) R 18112 18112 15998 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707869046768 139709656330336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18130] ppid=18112 vsize=28231644 memory=279916709122704 CPUtime=0.02 cores=0-7 /proc/18114/task/18130/stat : 18130 (java) R 18112 18112 15998 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707867994480 139709662068314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18131] ppid=18112 vsize=28231644 memory=279916709120400 CPUtime=0.12 cores=0-7 /proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 1066 0 0 0 12 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18132] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18133] ppid=18112 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 49992 KiB [startup+0.700985 s] /proc/loadavg: 7.69 7.05 7.39 6/212 18133 /proc/meminfo: memFree=31396464/32770624 swapFree=66982588/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28233768 memory=95004 CPUtime=1.98 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 17508 0 0 0 192 6 0 0 20 0 20 0 421052972 28911378432 23751 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7058442 23751 3448 1 0 7019544 0 [pid=18114/tid=18115] ppid=18112 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 9406 0 0 0 64 4 0 0 20 0 20 0 421052972 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709682892336 139709316213624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 ################ # More data... # ################ [pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1456 CPUtime=1454.49 cores=0-7 /proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7504 0 0 0 145446 3 0 0 20 0 28 0 421150723 29459820544 502244 33554432000 4194304 4196468 140736673394576 139707853529288 139709324895028 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 19182.6 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 2010432 KiB [startup+2502.3 s] /proc/loadavg: 8.73 8.36 8.20 9/219 21685 /proc/meminfo: memFree=29478556/32770624 swapFree=66982628/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28769356 memory=1973064 CPUtime=19661.2 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 1106251 0 0 0 1964531 1588 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7192339 493266 3565 1 0 7153441 0 [pid=18114/tid=18115] ppid=18112 vsize=28769356 memory=1982300 CPUtime=7.71 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) S 18112 18112 15998 0 -1 1077944384 19685 0 0 0 754 17 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709682897984 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28769356 memory=2661744 CPUtime=7.66 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 10696 0 0 0 687 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28769356 memory=2506284 CPUtime=7.7 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 12074 0 0 0 689 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28769356 memory=2364168 CPUtime=7.63 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 11881 0 0 0 687 76 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18119] ppid=18112 vsize=28769356 memory=2347932 CPUtime=7.69 cores=0-7 /proc/18114/task/18119/stat : 18119 (java) R 18112 18112 15998 0 -1 1077944384 12940 0 0 0 688 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18120] ppid=18112 vsize=28769356 memory=2347968 CPUtime=7.82 cores=0-7 /proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 10597 0 0 0 702 80 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18121] ppid=18112 vsize=28769356 memory=2347968 CPUtime=7.66 cores=0-7 /proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 13390 0 0 0 685 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18122] ppid=18112 vsize=28769356 memory=2096788 CPUtime=7.74 cores=0-7 /proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 11486 0 0 0 691 83 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18123] ppid=18112 vsize=28769356 memory=2096788 CPUtime=7.72 cores=0-7 /proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 15654 0 0 0 693 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18124] ppid=18112 vsize=28769356 memory=2022312 CPUtime=0.45 cores=0-7 /proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 26154 0 0 0 35 10 0 0 20 0 28 0 421052974 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18125] ppid=18112 vsize=28769356 memory=1998716 CPUtime=0 cores=0-7 /proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707873256864 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18126] ppid=18112 vsize=28769356 memory=1998716 CPUtime=0 cores=0-7 /proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707872204480 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18127] ppid=18112 vsize=28769356 memory=1988456 CPUtime=0 cores=0-7 /proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18128] ppid=18112 vsize=28769356 memory=1982300 CPUtime=5.52 cores=0-7 /proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 45797 0 0 0 545 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18129] ppid=18112 vsize=28769356 memory=1982300 CPUtime=5.77 cores=0-7 /proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 48892 0 0 0 570 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18130] ppid=18112 vsize=28769356 memory=1982300 CPUtime=6.72 cores=0-7 /proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 57967 0 0 0 662 10 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18131] ppid=18112 vsize=28769356 memory=1982300 CPUtime=1.57 cores=0-7 /proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 45515 0 0 0 151 6 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18132] ppid=18112 vsize=28769356 memory=1456 CPUtime=0 cores=0-7 /proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18133] ppid=18112 vsize=28769356 memory=11976 CPUtime=0.99 cores=0-7 /proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 9519 0 0 0 29 70 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21568] ppid=18112 vsize=28769356 memory=7736 CPUtime=1520.06 cores=0-7 /proc/18114/task/21568/stat : 21568 (java) R 18112 18112 15998 0 -1 4202560 12596 0 0 0 151993 13 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707852476024 139709324895271 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21569] ppid=18112 vsize=28769356 memory=1998716 CPUtime=1515.24 cores=0-7 /proc/18114/task/21569/stat : 21569 (java) R 18112 18112 15998 0 -1 4202560 7978 0 0 0 151515 9 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707850371408 139709324895749 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21570] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.1 cores=0-7 /proc/18114/task/21570/stat : 21570 (java) R 18112 18112 15998 0 -1 4202560 59706 0 0 0 151919 91 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707848265424 139709324895069 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21571] ppid=18112 vsize=28769356 memory=6791534058613427641 CPUtime=1511.89 cores=0-7 /proc/18114/task/21571/stat : 21571 (java) R 18112 18112 15998 0 -1 4202560 19610 0 0 0 151094 95 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707845107168 139709318545033 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21572] ppid=18112 vsize=28769356 memory=22448 CPUtime=1506.96 cores=0-7 /proc/18114/task/21572/stat : 21572 (java) R 18112 18112 15998 0 -1 4202560 7203 0 0 0 150684 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707847213008 139709316581059 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21573] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.06 cores=0-7 /proc/18114/task/21573/stat : 21573 (java) R 18112 18112 15998 0 -1 4202560 8716 0 0 0 152002 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707846160192 139709324894977 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21574] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.11 cores=0-7 /proc/18114/task/21574/stat : 21574 (java) R 18112 18112 15998 0 -1 4202560 18912 0 0 0 151999 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707851423440 139709316581554 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1456 CPUtime=1514.41 cores=0-7 /proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7639 0 0 0 151438 3 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707853531840 139709318545033 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 19661.2 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1974520 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.81 8.40 8.22 9/220 21688 /proc/meminfo: memFree=29487472/32770624 swapFree=66982628/67108860 [pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0 /proc/18112/statm: 28282 364 305 221 0 87 0 [pid=18114] ppid=18112 vsize=28769356 memory=1973064 CPUtime=19802.5 cores=0-7 /proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 1106714 0 0 0 1978657 1589 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 /proc/18114/statm: 7192339 493266 3565 1 0 7153441 0 [pid=18114/tid=18115] ppid=18112 vsize=28769356 memory=8317482817917895235 CPUtime=7.71 cores=0-7 /proc/18114/task/18115/stat : 18115 (java) S 18112 18112 15998 0 -1 1077944384 19685 0 0 0 754 17 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709682897984 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18116] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=7.66 cores=0-7 /proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 10696 0 0 0 687 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18117] ppid=18112 vsize=28769356 memory=1692 CPUtime=7.7 cores=0-7 /proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 12074 0 0 0 689 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18118] ppid=18112 vsize=28769356 memory=1028 CPUtime=7.63 cores=0-7 /proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 11881 0 0 0 687 76 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18119] ppid=18112 vsize=28769356 memory=1060 CPUtime=7.69 cores=0-7 /proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 12940 0 0 0 688 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18120] ppid=18112 vsize=28769356 memory=2828 CPUtime=7.82 cores=0-7 /proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 10597 0 0 0 702 80 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18121] ppid=18112 vsize=28769356 memory=-3622645143214314312 CPUtime=7.66 cores=0-7 /proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 13390 0 0 0 685 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18122] ppid=18112 vsize=28769356 memory=4126316290023845779 CPUtime=7.74 cores=0-7 /proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 11486 0 0 0 691 83 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18123] ppid=18112 vsize=28769356 memory=8317482817917895235 CPUtime=7.72 cores=0-7 /proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 15654 0 0 0 693 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18124] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=0.45 cores=0-7 /proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 26156 0 0 0 35 10 0 0 20 0 28 0 421052974 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18125] ppid=18112 vsize=28769356 memory=1060 CPUtime=0 cores=0-7 /proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707873256864 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18126] ppid=18112 vsize=28769356 memory=2828 CPUtime=0 cores=0-7 /proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707872204480 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18127] ppid=18112 vsize=28769356 memory=756 CPUtime=0 cores=0-7 /proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18128] ppid=18112 vsize=28769356 memory=6791534058613427641 CPUtime=5.52 cores=0-7 /proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 45799 0 0 0 545 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18129] ppid=18112 vsize=28769356 memory=6789802306324843961 CPUtime=5.77 cores=0-7 /proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 48894 0 0 0 570 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18130] ppid=18112 vsize=28769356 memory=780 CPUtime=6.72 cores=0-7 /proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 57969 0 0 0 662 10 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18131] ppid=18112 vsize=28769356 memory=4160 CPUtime=1.57 cores=0-7 /proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 45517 0 0 0 151 6 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18132] ppid=18112 vsize=28769356 memory=1692 CPUtime=0 cores=0-7 /proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=18133] ppid=18112 vsize=28769356 memory=1028 CPUtime=0.99 cores=0-7 /proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 9521 0 0 0 29 70 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21568] ppid=18112 vsize=28769356 memory=1973064 CPUtime=1537.76 cores=0-7 /proc/18114/task/21568/stat : 21568 (java) R 18112 18112 15998 0 -1 4202560 12650 0 0 0 153763 13 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707852476024 139709324895547 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21569] ppid=18112 vsize=28769356 memory=1028 CPUtime=1532.95 cores=0-7 /proc/18114/task/21569/stat : 21569 (java) R 18112 18112 15998 0 -1 4202560 8001 0 0 0 153286 9 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707850371544 139709324894938 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21570] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=1537.8 cores=0-7 /proc/18114/task/21570/stat : 21570 (java) R 18112 18112 15998 0 -1 4202560 59788 0 0 0 153689 91 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707848265560 139709324895069 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21571] ppid=18112 vsize=28769356 memory=2828 CPUtime=1529.23 cores=0-7 /proc/18114/task/21571/stat : 21571 (java) R 18112 18112 15998 0 -1 4202560 19742 0 0 0 152827 96 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707845107168 139709316581863 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21572] ppid=18112 vsize=28769356 memory=756 CPUtime=1524.66 cores=0-7 /proc/18114/task/21572/stat : 21572 (java) R 18112 18112 15998 0 -1 4202560 7214 0 0 0 152454 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707847213144 139709319654912 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21573] ppid=18112 vsize=28769356 memory=1548 CPUtime=1537.77 cores=0-7 /proc/18114/task/21573/stat : 21573 (java) R 18112 18112 15998 0 -1 4202560 8728 0 0 0 153773 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707846160328 139709316581493 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21574] ppid=18112 vsize=28769356 memory=7980 CPUtime=1537.82 cores=0-7 /proc/18114/task/21574/stat : 21574 (java) R 18112 18112 15998 0 -1 4202560 19020 0 0 0 153770 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707851423576 139709320718471 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 [pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1973064 CPUtime=1532.12 cores=0-7 /proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7668 0 0 0 153208 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707853531840 139709318545047 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0 Current children cumulated CPU time: 19802.5 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1974520 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 18112 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00118 s, system=0.00118 s [startup+2520.1 s] # the end of solver process 18114 was just reported to runsolver # cumulated CPU time of all completed processes: user=19787.2 s, system=15.9115 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.1 CPU time (s): 19803.1 CPU user time (s): 19787.2 CPU system time (s): 15.9115 CPU usage (%): 785.806 Max. virtual memory (cumulated for all children) (KiB): 28884220 Max. memory (cumulated for all children) (KiB): 3740004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19787.2 system time used= 15.9115 maximum resident set size= 3759136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1107884 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3088 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 101031 involuntary context switches= 231504 # summary of solver processes directly reported to runsolver: # pid: 18112,18114 # total CPU time (s): 19803.1 # total CPU user time (s): 19787.2 # total CPU system time (s): 15.9115 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.2778 second user time and 25.2039 second system time The end
Begin job on node121 at 2019-09-14 09:57:41 IDJOB=4394591 IDBENCH=141204 IDSOLVER=2843 FILE ID=node121/4394591-1568447903 RUNJOBID= node121-1568447413-16025 PBS_JOBID= 21702353 Free space on /tmp= 61412 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394591-1568447903/watcher-4394591-1568447903 -o /tmp/evaluation-result-4394591-1568447903/solver-4394591-1568447903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1788226717 HOME/instance-4394591-1568447903.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=1788226717 node121.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.75 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.75 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.75 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.75 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: 31453540 kB MemAvailable: 31912176 kB Buffers: 180044 kB Cached: 573000 kB SwapCached: 18184 kB Active: 416576 kB Inactive: 358172 kB Active(anon): 7108 kB Inactive(anon): 45776 kB Active(file): 409468 kB Inactive(file): 312396 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66982588 kB Dirty: 26344 kB Writeback: 0 kB AnonPages: 192284 kB Mapped: 36128 kB Shmem: 23012 kB Slab: 134472 kB SReclaimable: 105212 kB SUnreclaim: 29260 kB KernelStack: 3584 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61388 MiB End job on node121 at 2019-09-14 10:39:41