Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 51575114 | 252.111 | 239.834 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml |
| MD5SUM | deef1e755c9079fc369bbf159731f616 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 18292601 |
| Best CPU time to get the best result obtained on this benchmark | 252.062 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2328 |
| Number of constraints | 1459 |
| Number of domains | 42 |
| Minimum domain size | 2 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 677 |
| Distribution of variable degrees | [{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}] |
| Number of extensional constraints | 676 |
| Number of intensional constraints | 783 |
| Distribution of constraint types | [{"type":"extension","count":676},{"type":"intension","count":783}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.55 c version: 2018-08-17 0.67/0.56 c seed: 414218054 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 1 0.67/0.58 c Parsing instance... 17.64/10.72 c Parsing done, starting search... 137.53/126.04 o 51703735 137.53/126.04 o 51703734 137.53/126.05 o 51703732 137.53/126.05 o 51703728 137.53/126.06 o 51703726 137.53/126.07 o 51703725 137.53/126.08 o 51696950 137.53/126.08 o 51696949 137.53/126.09 o 51696944 137.53/126.09 o 51696943 137.76/126.10 o 51696941 137.76/126.11 o 51696940 137.76/126.11 o 51690185 137.76/126.12 o 51690184 137.76/126.12 o 51690183 137.76/126.13 o 51683408 137.76/126.13 o 51683406 137.76/126.14 o 51683398 137.76/126.14 o 51683397 137.76/126.15 o 51676664 137.76/126.16 o 51676658 137.76/126.16 o 51676657 137.76/126.16 o 51676656 137.76/126.16 o 51676655 137.76/126.16 o 51676651 137.76/126.17 o 51676645 137.76/126.17 o 51676642 137.76/126.17 o 51676641 137.76/126.18 o 51676636 137.76/126.18 o 51676635 137.76/126.19 o 51676634 137.76/126.19 o 51676625 137.76/126.20 o 51676623 138.02/126.21 o 51669868 138.02/126.22 o 51669867 138.02/126.23 o 51669866 138.02/126.23 o 51669864 138.02/126.24 o 51669861 138.02/126.24 o 51669858 138.02/126.25 o 51669857 138.02/126.25 o 51669855 138.02/126.28 o 51669854 138.37/126.50 o 51663148 138.37/126.50 o 51663147 138.37/126.50 o 51663146 138.37/126.51 o 51663138 138.37/126.51 o 51663137 138.37/126.51 o 51663135 138.37/126.51 o 51663132 138.37/126.51 o 51663126 138.37/126.52 o 51663125 138.37/126.52 o 51663112 138.37/126.53 o 51663111 138.37/126.53 o 51663110 138.37/126.54 o 51663109 138.37/126.54 o 51663108 138.37/126.54 o 51663097 138.37/126.55 o 51663095 138.37/126.55 o 51663094 138.37/126.58 o 51663090 138.37/126.58 o 51663089 138.37/126.58 o 51663088 138.37/126.59 o 51663087 138.48/126.61 o 51663086 138.48/126.62 o 51663085 138.48/126.66 o 51663084 138.48/126.70 o 51656331 138.48/126.70 o 51656330 138.48/126.71 o 51656326 138.65/126.71 o 51656325 138.65/126.71 o 51656324 138.65/126.72 o 51656323 138.65/126.74 o 51656322 138.65/126.74 o 51656321 138.65/126.75 o 51656320 138.65/126.76 o 51656319 138.65/126.76 o 51656318 138.65/126.76 o 51656317 138.65/126.76 o 51656316 138.65/126.77 o 51656315 138.65/126.77 o 51656314 138.65/126.78 o 51656313 138.65/126.78 o 51656312 138.65/126.79 o 51656309 138.65/126.80 o 51656308 138.74/126.80 o 51656306 138.84/126.99 o 51649574 138.84/126.99 o 51649573 138.84/126.99 o 51649572 138.84/126.99 o 51649571 138.84/127.00 o 51649561 138.94/127.00 o 51649560 138.94/127.00 o 51649558 138.94/127.00 o 51649552 138.94/127.00 o 51649550 138.94/127.01 o 51649548 138.94/127.01 o 51649547 138.94/127.02 o 51649546 138.94/127.02 o 51649545 138.94/127.02 o 51649544 138.94/127.04 o 51649543 138.94/127.04 o 51649542 138.94/127.05 o 51649541 138.94/127.05 o 51649539 138.94/127.05 o 51649538 138.94/127.06 o 51649537 138.94/127.07 o 51649536 139.74/127.88 o 51642783 139.74/127.88 o 51642782 139.74/127.88 o 51642780 139.74/127.88 o 51642779 139.74/127.88 o 51642778 139.74/127.88 o 51642776 139.74/127.88 o 51642764 139.74/127.88 o 51642760 139.74/127.89 o 51642759 139.74/127.89 o 51642758 139.74/127.89 o 51642757 139.74/127.90 o 51642756 139.86/127.91 o 51642755 139.86/127.91 o 51642754 139.86/127.95 o 51642753 139.96/128.00 o 51642752 139.96/128.01 o 51642751 140.96/129.04 o 51636047 140.96/129.04 o 51636046 140.96/129.04 o 51636045 140.96/129.05 o 51636044 140.96/129.05 o 51636043 140.96/129.05 o 51636042 140.96/129.06 o 51636033 140.96/129.06 o 51636032 140.96/129.06 o 51636031 140.96/129.06 o 51636029 140.96/129.06 o 51636028 140.96/129.07 o 51636027 140.96/129.07 o 51636025 140.96/129.07 o 51636019 140.96/129.07 o 51636017 140.96/129.08 o 51636016 140.96/129.08 o 51636015 140.96/129.09 o 51636012 140.96/129.09 o 51636011 140.96/129.09 o 51636010 140.96/129.10 o 51636009 141.06/129.10 o 51636008 141.06/129.11 o 51636007 141.06/129.12 o 51636006 141.06/129.12 o 51636005 141.06/129.12 o 51636004 141.06/129.13 o 51636003 141.06/129.13 o 51636002 141.06/129.19 o 51636001 141.16/129.22 o 51635993 141.16/129.22 o 51635992 141.16/129.23 o 51635991 141.16/129.23 o 51635990 141.16/129.23 o 51635989 141.16/129.28 o 51635988 141.26/129.33 o 51635987 141.36/129.42 o 51635986 141.36/129.42 o 51635985 141.36/129.43 o 51635984 141.36/129.43 o 51635983 141.96/130.01 o 51629252 141.96/130.01 o 51629249 141.96/130.01 o 51629248 141.96/130.01 o 51629244 141.96/130.01 o 51629240 141.96/130.01 o 51629239 141.96/130.02 o 51629238 141.96/130.02 o 51629237 141.96/130.02 o 51629236 141.96/130.02 o 51629235 141.96/130.07 o 51629234 141.96/130.08 o 51629233 142.52/130.53 o 51629232 142.52/130.53 o 51629231 142.52/130.54 o 51629230 142.52/130.54 o 51629228 142.52/130.54 o 51629227 142.63/130.61 o 51629226 142.63/130.61 o 51629225 142.63/130.61 o 51629224 142.63/130.61 o 51629223 142.63/130.62 o 51629222 143.13/131.15 o 51629221 143.13/131.15 o 51629220 143.13/131.16 o 51629219 143.13/131.16 o 51629214 143.13/131.17 o 51629212 143.13/131.17 o 51629211 143.13/131.18 o 51629210 143.13/131.18 o 51629207 143.23/131.20 o 51629199 143.23/131.20 o 51629198 143.23/131.21 o 51629197 143.23/131.21 o 51629195 143.23/131.21 o 51629194 143.23/131.22 o 51629193 144.33/132.36 o 51629192 153.26/141.24 o 51629191 153.26/141.26 o 51629190 153.26/141.27 o 51629189 153.36/141.39 o 51629188 153.36/141.39 o 51629187 153.36/141.40 o 51629186 153.46/141.45 o 51629185 153.46/141.46 o 51629184 153.46/141.46 o 51629183 153.46/141.46 o 51629182 168.36/156.30 o 51622580 168.36/156.30 o 51622575 168.36/156.32 o 51622574 168.36/156.32 o 51622573 168.36/156.33 o 51622571 168.36/156.33 o 51622570 168.36/156.34 o 51622569 168.36/156.34 o 51622568 168.36/156.34 o 51622563 168.36/156.34 o 51622561 168.36/156.34 o 51622554 168.36/156.35 o 51622553 168.36/156.35 o 51622552 168.36/156.35 o 51622551 168.36/156.36 o 51622550 168.36/156.37 o 51622547 168.36/156.37 o 51622546 168.36/156.37 o 51622540 168.36/156.38 o 51622539 168.47/156.41 o 51622538 168.47/156.43 o 51622537 168.47/156.43 o 51622536 168.47/156.45 o 51622535 168.47/156.48 o 51622534 168.47/156.48 o 51622533 168.47/156.48 o 51622532 168.57/156.50 o 51622530 168.57/156.51 o 51622529 168.57/156.51 o 51622528 168.57/156.51 o 51622526 168.57/156.51 o 51622525 168.57/156.52 o 51622521 168.57/156.52 o 51622520 168.57/156.52 o 51622518 168.57/156.52 o 51622517 168.57/156.54 o 51622515 168.57/156.54 o 51622514 168.57/156.55 o 51622510 168.57/156.55 o 51622507 168.57/156.56 o 51622501 168.57/156.56 o 51622500 168.57/156.57 o 51622499 168.69/156.61 o 51622498 168.69/156.62 o 51622496 168.69/156.64 o 51622495 168.69/156.64 o 51622493 168.69/156.65 o 51622492 168.69/156.66 o 51622490 168.69/156.66 o 51622489 168.69/156.66 o 51622488 168.80/156.73 o 51622487 168.80/156.73 o 51622486 168.80/156.74 o 51622485 168.80/156.75 o 51622484 168.80/156.75 o 51622483 168.80/156.76 o 51622482 170.39/158.31 o 51595477 170.39/158.31 o 51595476 170.39/158.31 o 51595473 170.39/158.31 o 51595472 170.39/158.32 o 51595465 170.39/158.33 o 51595464 170.39/158.34 o 51595463 170.39/158.35 o 51595462 170.39/158.35 o 51595460 170.39/158.37 o 51595459 170.39/158.38 o 51595457 170.39/158.38 o 51595455 170.69/158.69 o 51588703 170.69/158.69 o 51588701 170.69/158.70 o 51588698 170.69/158.70 o 51588696 170.80/158.71 o 51588694 170.99/158.96 o 51588693 171.39/159.34 o 51588692 171.39/159.34 o 51588691 171.39/159.35 o 51588690 171.39/159.35 o 51588689 171.39/159.35 o 51588688 171.39/159.37 o 51588687 172.29/160.28 o 51588686 172.29/160.28 o 51588685 172.29/160.28 o 51588684 172.29/160.29 o 51588683 172.39/160.32 o 51588682 172.39/160.32 o 51588681 172.39/160.32 o 51588680 172.80/160.78 o 51588679 172.99/160.91 o 51588678 172.99/160.91 o 51588676 172.99/160.92 o 51588674 172.99/160.93 o 51588671 172.99/160.96 o 51588670 173.29/161.27 o 51588669 173.99/161.99 o 51588668 174.09/162.00 o 51588667 174.29/162.26 o 51588666 174.29/162.26 o 51588665 174.80/162.72 o 51588664 174.80/162.72 o 51588663 174.80/162.73 o 51588662 174.99/162.99 o 51588661 175.09/163.01 o 51588660 175.09/163.02 o 51588659 175.09/163.02 o 51588658 176.26/164.10 o 51588657 176.96/164.87 o 51588656 179.16/167.04 o 51588655 179.16/167.04 o 51588654 179.16/167.04 o 51588653 179.16/167.05 o 51588652 179.16/167.05 o 51588650 179.16/167.07 o 51588649 179.16/167.07 o 51588648 179.16/167.09 o 51588647 179.16/167.09 o 51588646 179.46/167.37 o 51588645 179.46/167.38 o 51588644 179.46/167.38 o 51588643 179.46/167.39 o 51588642 179.96/167.80 o 51581901 179.96/167.80 o 51581900 179.96/167.81 o 51581899 179.96/167.81 o 51581898 179.96/167.81 o 51581897 179.96/167.82 o 51581895 179.96/167.83 o 51581890 179.96/167.84 o 51581889 179.96/167.85 o 51581888 179.96/167.86 o 51581887 179.96/167.86 o 51581885 180.06/167.90 o 51581884 180.06/167.90 o 51581883 180.06/167.93 o 51581882 180.06/167.93 o 51581881 180.06/167.93 o 51581879 180.56/168.41 o 51581878 181.66/169.50 o 51575157 181.66/169.50 o 51575149 181.66/169.50 o 51575146 181.66/169.51 o 51575144 181.66/169.54 o 51575143 181.66/169.54 o 51575140 181.66/169.54 o 51575139 181.66/169.54 o 51575130 181.66/169.55 o 51575127 181.66/169.55 o 51575126 181.66/169.57 o 51575125 181.66/169.60 o 51575122 181.77/169.61 o 51575120 182.16/170.07 o 51575119 188.49/176.38 o 51575118 189.90/177.77 o 51575117 189.90/177.77 o 51575116 190.09/177.90 o 51575115 190.09/177.95 o 51575114 252.06/239.80 s SATISFIABLE 252.06/239.80 v <instantiation> 252.06/239.80 v <list> 252.06/239.80 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] 252.06/239.80 v </list> 252.06/239.80 v <values> 252.06/239.80 v 2672 2228 2596 2344 2532 2584 2496 2416 2664 2632 2584 2612 2612 2164 2480 2244 2500 2668 2640 2632 2628 2652 2596 2632 2532 2612 2476 2284 2524 2632 2528 2224 2672 2684 2624 2440 2456 2636 2572 2532 2628 2560 2660 2572 2480 2596 2168 2348 2124 2664 2640 2556 2456 2544 2416 2188 2620 2536 2376 2600 2600 2620 2636 2292 2656 2184 2492 2696 2520 2304 2400 2656 2644 2676 2528 2272 2560 2508 2440 2488 2572 2620 2532 2548 2624 2604 2572 2544 2556 2576 2660 2480 2692 2592 2536 2416 2460 2496 2600 2612 2312 2700 2572 2556 2128 2568 2460 2332 2620 2572 2484 2392 2516 2504 2528 2516 2452 2668 2544 2492 2520 2456 2680 2628 2352 2584 2280 2672 2660 2652 2612 2320 2668 2624 2388 2596 2364 2660 2696 2420 2324 2572 2376 2416 2488 2556 2692 2492 2644 2660 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 11 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 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 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 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 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 10 10 10 10 0 0 1 10 0 10 8 0 6 1 0 0 9 0 0 10 1 7 1 1 10 6 10 10 10 0 3 10 4 10 10 0 1 10 0 9 10 1 0 1 10 1 0 0 0 3 0 1 10 0 10 9 10 7 10 10 10 0 10 4 1 0 0 10 0 0 0 10 10 0 0 10 10 10 10 10 0 0 6 10 0 10 10 1 10 0 1 0 10 10 10 10 10 0 9 10 10 0 0 10 0 0 10 10 10 10 10 0 10 10 0 10 10 10 0 0 10 8 10 9 10 0 10 5 0 1 10 10 10 10 1 10 10 0 4 0 0 10 10 10 10 10 5 10 7 10 0 10 10 0 0 10 0 0 10 10 1 0 10 1 5 9 0 0 10 3 10 1 0 10 6 10 6 0 0 0 7 1 10 10 1 10 8 10 0 0 0 0 10 0 10 0 9 1 4 1 10 10 0 0 10 0 1 0 0 0 9 0 0 6 10 10 0 0 0 0 1 10 2 0 1 10 1 1 8 1 0 10 10 0 7 2 9 10 0 4 0 10 7 0 2 10 0 1 10 10 0 1 7 10 10 0 0 0 0 10 0 10 1 10 10 1 7 0 0 10 0 10 10 6 0 1 0 10 0 10 0 1 0 9 0 0 7 7 0 0 0 0 1 1 1 4 10 0 8 10 0 0 10 10 10 8 4 0 7 0 1 10 0 6 1 1 0 6 0 0 10 9 0 0 10 0 0 0 10 0 10 1 1 0 10 10 1 10 0 0 0 0 8 10 0 0 0 10 9 0 0 1 10 0 8 0 0 10 0 0 10 9 10 10 4 10 0 5 5 8 10 1 0 10 4 0 10 0 6 10 1 9 9 9 10 1 0 0 10 10 10 1 0 3 0 10 10 4 3 0 0 9 0 0 10 10 0 0 2 10 0 3 0 10 5 1 0 0 0 0 0 4 7 3 1 6 0 10 10 3 7 10 0 5 1 10 0 0 0 4 10 10 0 10 10 1 0 0 10 10 0 1 8 10 0 0 0 10 1 10 4 4 10 1 0 0 7 0 10 10 10 10 2 0 3 6 1 0 0 0 9 8 0 0 10 10 0 0 10 5 0 10 0 0 10 0 10 10 10 0 0 0 10 10 0 0 10 10 0 0 9 0 10 1 0 0 10 1 0 0 1 6 7 10 0 0 9 0 0 10 0 5 0 10 0 0 0 0 10 3 0 0 8 2 6 0 10 1 10 7 8 0 10 0 0 10 0 0 0 8 0 4 10 0 5 10 10 10 10 8 0 6 0 7 8 10 0 0 0 7 0 0 3 10 0 10 2 0 1 0 0 1 0 0 10 9 10 1 0 8 0 0 10 0 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 1 0 0 0 0 10 0 0 0 3 0 0 0 8 0 10 8 0 0 0 10 0 0 10 10 10 5 10 0 1 10 9 10 10 10 0 8 5 4 0 1 6 10 10 0 0 10 8 4 0 10 0 0 2 0 0 8 20 32 380 16 128 136 356 412 404 384 248 104 308 408 100 232 96 328 36 28 304 276 180 188 184 144 224 24 56 64 116 104 24 120 112 128 52 44 76 12 416 400 312 52 456 252 56 16 100 40 64 96 12 8 176 76 4 168 196 64 192 256 248 0 144 68 244 32 188 36 0 128 288 40 352 384 12 68 20 4 140 328 12 144 60 4 20 244 28 76 340 56 28 292 36 8 28 132 88 88 72 8 8 44 8 152 60 16 40 156 8 12 44 32 52 172 40 56 48 368 360 492 532 24 48 352 24 92 288 284 300 356 412 328 328 324 76 80 128 216 124 152 20 36 68 152 32 140 216 184 336 148 120 220 192 124 172 68 8 84 40 172 24 68 120 276 360 144 80 32 104 8 32 80 8 288 140 52 412 20 116 96 180 64 276 64 40 60 88 12 152 504 36 260 220 96 164 20 68 64 12 128 96 332 0 80 192 96 56 80 196 192 120 220 100 216 60 20 308 212 328 104 360 300 84 96 20 192 72 32 24 104 360 124 68 172 20 36 244 44 48 0 20 92 164 8 112 24 84 308 348 36 268 304 456 100 128 296 116 52 244 8 92 148 84 4 88 24 144 132 72 128 164 96 12 304 300 200 180 180 232 52 164 72 212 64 16 64 80 176 120 108 44 24 28 48 280 52 108 156 64 408 24 40 140 12 128 120 116 12 28 56 168 236 124 32 4 68 80 24 184 4 152 144 64 296 0 88 92 84 104 132 0 48 0 88 124 156 296 164 40 76 112 104 44 292 24 116 16 72 180 40 444 512 184 524 292 188 348 44 76 332 248 16 476 512 396 520 108 272 148 172 4 84 40 148 4 80 16 180 20 20 100 48 68 12 68 92 168 72 168 52 16 36 148 56 56 220 240 92 184 0 104 4 344 384 328 0 60 0 4 20 0 92 104 24 8 88 84 132 268 300 196 244 292 304 252 40 64 12 140 76 72 40 184 28 32 72 24 44 180 308 52 508 244 144 12 240 252 96 304 128 160 100 140 332 84 336 216 324 180 476 304 56 128 568 124 240 308 204 52 140 132 100 32 28 296 8 264 84 388 220 92 120 384 148 36 24 36 16 104 344 156 16 312 32 76 288 188 244 220 80 8 32 36 88 92 56 212 52 84 96 172 128 4 56 72 16 140 204 48 36 200 204 72 136 128 88 20 120 56 128 112 76 52 496 164 344 12 76 284 56 112 48 88 32 56 84 68 12 104 12 72 204 236 16 104 116 92 56 224 348 176 208 8 64 336 76 132 104 164 312 228 216 20 80 124 60 140 152 68 140 152 232 200 104 116 12 184 132 200 8 288 268 248 92 84 40 124 244 340 300 284 12 348 212 444 44 252 40 168 136 232 444 356 400 236 208 136 44 280 12 256 96 220 12 204 96 176 268 268 100 60 164 128 152 100 48 36 164 140 208 160 244 0 8 168 100 140 16 36 32 28 264 76 380 352 48 240 284 160 8 16 44 24 24 236 304 36 336 140 80 172 48 252.06/239.80 v </values> 252.06/239.80 v </instantiation>
OK 51575114
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 (9964 MiB free)
memory of node 1: 16384 MiB (12755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312430-1534569592/watcher-4312430-1534569592 -o /tmp/evaluation-result-4312430-1534569592/solver-4312430-1534569592 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534568853-8989 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 414218054 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312430-1534569592.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9520, runsolver pid=9517
[startup+0.100057 s]*
/proc/loadavg: 1.11 1.43 1.39 4/215 9536
/proc/meminfo: memFree=23246804/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14082736 memory=31524 CPUtime=0.12 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 6778 0 0 0 11 1 0 0 20 0 15 0 274522143 14420721664 7881 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3520684 7881 3153 1 0 3482761 0
[pid=9520/tid=9522] ppid=9517 vsize=14082736 memory=-8681635479929320640 CPUtime=0.08 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 4824 0 0 0 8 0 0 0 20 0 15 0 274522143 14420721664 7881 33554432000 4194304 4196468 140722734880672 140674212179040 140674187079275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274522145 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673320694816 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673319641968 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 274522148 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0.01 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 274522148 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 7881 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31524 KiB
[startup+0.214871 s]*
/proc/loadavg: 1.11 1.43 1.39 5/215 9536
/proc/meminfo: memFree=23231672/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14082736 memory=47336 CPUtime=0.31 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 10465 0 0 0 29 2 0 0 20 0 15 0 274522143 14420721664 11834 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3520684 11834 3369 1 0 3482761 0
[pid=9520/tid=9522] ppid=9517 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 8176 0 0 0 19 1 0 0 20 0 15 0 274522143 14420721664 11834 33554432000 4194304 4196468 140722734880672 140674212228896 140674192045413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14082736 memory=288370015323612800 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274522145 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673320694816 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673319641968 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) R 9517 9520 5234 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 274522148 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 274522148 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0.05 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 302 0 0 0 5 0 0 0 20 0 15 0 274522148 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 11834 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47336 KiB
[startup+0.31028 s]*
/proc/loadavg: 1.11 1.43 1.39 3/215 9536
/proc/meminfo: memFree=23228320/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14082736 memory=50932 CPUtime=0.44 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 10813 0 0 0 42 2 0 0 20 0 15 0 274522143 14420721664 12733 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3520684 12733 3410 1 0 3482761 0
[pid=9520/tid=9522] ppid=9517 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 8500 0 0 0 28 1 0 0 20 0 15 0 274522143 14420721664 12733 33554432000 4194304 4196468 140722734880672 140674212219696 140674189565299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14082736 memory=4294979922 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14082736 memory=288370015323612800 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274522145 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673320694816 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274522146 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673319641968 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 274522148 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 274522148 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0.07 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 274522148 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14082736 memory=139639171901056 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522149 14420721664 12733 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50932 KiB
[startup+0.700703 s]
/proc/loadavg: 1.11 1.43 1.39 3/215 9536
/proc/meminfo: memFree=23204260/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14084804 memory=88700 CPUtime=0.98 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 17624 0 0 0 95 3 0 0 20 0 15 0 274522143 14422839296 22175 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3521201 22175 3499 1 0 3483273 0
[pid=9520/tid=9522] ppid=9517 vsize=14084804 memory=180557203912854 CPUtime=0.68 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 14926 0 0 0 65 3 0 0 20 0 15 0 274522143 14422839296 22175 33554432000 4194304 4196468 140722734880672 140674212216912 140674208023709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14084804 memory=1479054 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274522144 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522144 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274522145 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14084804 memory=-6441413357968170793 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274522146 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673320694816 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274522146 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673319641968 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 512 0 0 0 6 0 0 0 20 0 15 0 274522148 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14084804 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 416 0 0 0 9 0 0 0 20 0 15 0 274522148 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 389 0 0 0 14 0 0 0 20 0 15 0 274522148 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14084804 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274522149 14422839296 22175 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88700 KiB
[startup+1.5007 s]
/proc/loadavg: 1.11 1.43 1.39 6/215 9536
/proc/meminfo: memFree=23084864/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14086852 memory=349884 CPUtime=2.82 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 22495 0 0 0 265 17 0 0 20 0 15 0 274522143 14424936448 87471 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3521713 87471 3558 1 0 3483785 0
[pid=9520/tid=9522] ppid=9517 vsize=14086852 memory=12852 CPUtime=1.4 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 16138 0 0 0 134 6 0 0 20 0 15 0 274522143 14424936448 87471 33554432000 4194304 4196468 140722734880672 140674212238280 140673821986885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14086852 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 15 0 274522144 14424936448 87471 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14086852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 360 0 0 0 3 2 0 0 20 0 15 0 274522144 14424936448 87471 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14086852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 185 0 0 0 3 2 0 0 20 0 15 0 274522144 14424936448 87471 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14086852 memory=6943526294502006880 CPUtime=0.03 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 15 0 274522144 14424936448 87471 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 274522145 14424936448 87471 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
################
# More data... #
################
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 36354 0 0 0 10000 44 0 0 20 0 15 0 274522143 14429130752 995269 33554432000 4194304 4196468 140722734880672 140674212236896 140673832154427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14090948 memory=4741064 CPUtime=1.67 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 5411 0 0 0 136 31 0 0 20 0 15 0 274522144 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14090948 memory=3981076 CPUtime=1.68 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 6172 0 0 0 133 35 0 0 20 0 15 0 274522144 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14090948 memory=3882232 CPUtime=1.69 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 5193 0 0 0 136 33 0 0 20 0 15 0 274522144 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14090948 memory=3981072 CPUtime=1.67 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 5697 0 0 0 134 33 0 0 20 0 15 0 274522144 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0.09 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 8135 0 0 0 9 0 0 0 20 0 15 0 274522145 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673320694880 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673319641984 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14090948 memory=3542264 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14090948 memory=0 CPUtime=2.52 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 5063 0 0 0 251 1 0 0 20 0 15 0 274522148 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14090948 memory=3981076 CPUtime=2.78 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 6534 0 0 0 276 2 0 0 20 0 15 0 274522148 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14090948 memory=3868 CPUtime=1.14 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 13226 0 0 0 112 2 0 0 20 0 15 0 274522148 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0.04 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 817 0 0 0 3 1 0 0 20 0 15 0 274522149 14429130752 995269 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 113.83 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3981076 KiB
[startup+162.301 s]
/proc/loadavg: 1.94 1.65 1.48 3/215 9621
/proc/meminfo: memFree=14524832/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14090948 memory=4086740 CPUtime=174.39 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 103466 0 0 0 17246 193 0 0 20 0 15 0 274522143 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3522737 1021685 3618 1 0 3484809 0
[pid=9520/tid=9522] ppid=9517 vsize=14090948 memory=4086740 CPUtime=160.42 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 42297 0 0 0 15995 47 0 0 20 0 15 0 274522143 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140674212237136 140673832108760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14090948 memory=4086740 CPUtime=1.68 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 5488 0 0 0 136 32 0 0 20 0 15 0 274522144 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14090948 memory=4086740 CPUtime=1.69 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 6179 0 0 0 133 36 0 0 20 0 15 0 274522144 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14090948 memory=4086740 CPUtime=1.69 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 5200 0 0 0 136 33 0 0 20 0 15 0 274522144 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14090948 memory=4086740 CPUtime=1.67 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 5709 0 0 0 134 33 0 0 20 0 15 0 274522144 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0.1 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 8185 0 0 0 10 0 0 0 20 0 15 0 274522145 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14090948 memory=3981076 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673320694880 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14090948 memory=4086740 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673319641984 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14090948 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14090948 memory=4086644 CPUtime=2.83 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 6348 0 0 0 282 1 0 0 20 0 15 0 274522148 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14090948 memory=4086644 CPUtime=2.92 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 6750 0 0 0 290 2 0 0 20 0 15 0 274522148 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14090948 memory=4086740 CPUtime=1.21 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 15004 0 0 0 119 2 0 0 20 0 15 0 274522148 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14090948 memory=4086740 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14090948 memory=4086740 CPUtime=0.07 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 855 0 0 0 4 3 0 0 20 0 15 0 274522149 14429130752 1021685 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 174.39 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4086740 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 1.73 1.52 3/215 9622
/proc/meminfo: memFree=14522768/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14090948 memory=4088136 CPUtime=234.51 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 115327 0 0 0 23255 196 0 0 20 0 15 0 274522143 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3522737 1022034 3619 1 0 3484809 0
[pid=9520/tid=9522] ppid=9517 vsize=14090948 memory=4088132 CPUtime=220.4 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 49417 0 0 0 21992 48 0 0 20 0 15 0 274522143 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140674212236960 140673831174809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14090948 memory=4088132 CPUtime=1.69 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 5571 0 0 0 137 32 0 0 20 0 15 0 274522144 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14090948 memory=4088132 CPUtime=1.7 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 7171 0 0 0 134 36 0 0 20 0 15 0 274522144 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14090948 memory=4088132 CPUtime=1.7 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 5826 0 0 0 137 33 0 0 20 0 15 0 274522144 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14090948 memory=4088132 CPUtime=1.68 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 6081 0 0 0 135 33 0 0 20 0 15 0 274522144 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14090948 memory=4088136 CPUtime=0.11 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 8376 0 0 0 10 1 0 0 20 0 15 0 274522145 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14090948 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673320694880 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14090948 memory=4088136 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673319641984 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14090948 memory=4088136 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14090948 memory=4088136 CPUtime=2.83 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 6350 0 0 0 282 1 0 0 20 0 15 0 274522148 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14090948 memory=4088136 CPUtime=3 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 8612 0 0 0 297 3 0 0 20 0 15 0 274522148 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14090948 memory=4088132 CPUtime=1.22 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 15580 0 0 0 120 2 0 0 20 0 15 0 274522148 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14090948 memory=12668 CPUtime=0.09 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 892 0 0 0 5 4 0 0 20 0 15 0 274522149 14429130752 1022034 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 234.51 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4088136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.801 s]
/proc/loadavg: 2.02 1.75 1.53 3/215 9622
/proc/meminfo: memFree=14500720/32770624 swapFree=67108688/67108860
[pid=9520] ppid=9517 vsize=14090948 memory=4108992 CPUtime=252.06 cores=0,2,4,6
/proc/9520/stat : 9520 (java) S 9517 9520 5234 0 -1 1077944320 122285 0 0 0 25007 199 0 0 20 0 15 0 274522143 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140722734863216 140674208001783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
/proc/9520/statm: 3522737 1027248 3619 1 0 3484809 0
[pid=9520/tid=9522] ppid=9517 vsize=14090948 memory=3868 CPUtime=237.88 cores=0,2,4,6
/proc/9520/task/9522/stat : 9522 (java) R 9517 9520 5234 0 -1 4202560 53072 0 0 0 23739 49 0 0 20 0 15 0 274522143 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140674212237528 140673831928568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9523] ppid=9517 vsize=14090948 memory=6880 CPUtime=1.7 cores=0,2,4,6
/proc/9520/task/9523/stat : 9523 (java) S 9517 9520 5234 0 -1 1077944384 5683 0 0 0 138 32 0 0 20 0 15 0 274522144 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673803795600 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9524] ppid=9517 vsize=14090948 memory=8112282956445269571 CPUtime=1.72 cores=0,2,4,6
/proc/9520/task/9524/stat : 9524 (java) S 9517 9520 5234 0 -1 1077944384 8284 0 0 0 135 37 0 0 20 0 15 0 274522144 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673802742800 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9525] ppid=9517 vsize=14090948 memory=3732 CPUtime=1.72 cores=0,2,4,6
/proc/9520/task/9525/stat : 9525 (java) S 9517 9520 5234 0 -1 1077944384 6131 0 0 0 138 34 0 0 20 0 15 0 274522144 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673801690000 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9526] ppid=9517 vsize=14090948 memory=12668 CPUtime=1.7 cores=0,2,4,6
/proc/9520/task/9526/stat : 9526 (java) S 9517 9520 5234 0 -1 1077944384 6653 0 0 0 136 34 0 0 20 0 15 0 274522144 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673800637200 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9527] ppid=9517 vsize=14090948 memory=1072 CPUtime=0.11 cores=0,2,4,6
/proc/9520/task/9527/stat : 9527 (java) S 9517 9520 5234 0 -1 1077944384 8601 0 0 0 10 1 0 0 20 0 15 0 274522145 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673321748848 140674208012930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9528] ppid=9517 vsize=14090948 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9528/stat : 9528 (java) S 9517 9520 5234 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673320694880 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9529] ppid=9517 vsize=14090948 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9529/stat : 9529 (java) S 9517 9520 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274522146 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673319641984 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9531] ppid=9517 vsize=14090948 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9531/stat : 9531 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522148 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673318590288 140674208020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9532] ppid=9517 vsize=14090948 memory=868 CPUtime=2.83 cores=0,2,4,6
/proc/9520/task/9532/stat : 9532 (java) S 9517 9520 5234 0 -1 1077944384 6727 0 0 0 282 1 0 0 20 0 15 0 274522148 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673317538672 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9533] ppid=9517 vsize=14090948 memory=1072 CPUtime=3 cores=0,2,4,6
/proc/9520/task/9533/stat : 9533 (java) S 9517 9520 5234 0 -1 1077944384 8613 0 0 0 297 3 0 0 20 0 15 0 274522148 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673316485872 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9534] ppid=9517 vsize=14090948 memory=14888 CPUtime=1.22 cores=0,2,4,6
/proc/9520/task/9534/stat : 9534 (java) S 9517 9520 5234 0 -1 1077944384 16178 0 0 0 120 2 0 0 20 0 15 0 274522148 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673315433072 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9535] ppid=9517 vsize=14090948 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/9520/task/9535/stat : 9535 (java) S 9517 9520 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274522149 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673314380512 140674208011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
[pid=9520/tid=9536] ppid=9517 vsize=14090948 memory=15768 CPUtime=0.09 cores=0,2,4,6
/proc/9520/task/9536/stat : 9536 (java) S 9517 9520 5234 0 -1 1077944384 892 0 0 0 5 4 0 0 20 0 15 0 274522149 14429130752 1027248 33554432000 4194304 4196468 140722734880672 140673313327792 140674208012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26066944 140722734883919 140722734884110 140722734884110 140722734886863 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4108992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.834 s]
# the end of solver process 9520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.09 s, system=2.02122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 239.834
CPU time (s): 252.111
CPU user time (s): 250.09
CPU system time (s): 2.02122
CPU usage (%): 105.119
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4108992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.09
system time used= 2.02122
maximum resident set size= 4109524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10061
involuntary context switches= 219
# summary of solver processes directly reported to runsolver:
# pid: 9520
# total CPU time (s): 252.111
# total CPU user time (s): 250.09
# total CPU system time (s): 2.02122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2353 second user time and 2.42921 second system time
The end
Begin job on node106 at 2018-08-18 07:19:53 IDJOB=4312430 IDBENCH=141259 IDSOLVER=2800 FILE ID=node106/4312430-1534569592 RUNJOBID= node106-1534568853-8989 PBS_JOBID= 21038641 Free space on /tmp= 53784 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312430-1534569592/watcher-4312430-1534569592 -o /tmp/evaluation-result-4312430-1534569592/solver-4312430-1534569592 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534568853-8989 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 414218054 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312430-1534569592.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= deef1e755c9079fc369bbf159731f616 RANDOM SEED=414218054 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 23265172 kB MemAvailable: 31706272 kB Buffers: 233620 kB Cached: 8470232 kB SwapCached: 0 kB Active: 4709196 kB Inactive: 4231808 kB Active(anon): 208708 kB Inactive(anon): 96876 kB Active(file): 4500488 kB Inactive(file): 4134932 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 81316 kB Writeback: 0 kB AnonPages: 243072 kB Mapped: 32780 kB Shmem: 66016 kB Slab: 262876 kB SReclaimable: 234140 kB SUnreclaim: 28736 kB KernelStack: 3568 kB PageTables: 5840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1223916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 53652 MiB End job on node106 at 2018-08-18 07:23:53