Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 14 | 32.450699 | 5.0187998 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml |
MD5SUM | 93e2fab38e142a37945526a0e34ac36b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.39048499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 799 |
Number of constraints | 781 |
Number of domains | 26 |
Minimum domain size | 24 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":24,"count":80},{"size":25,"count":719}] |
Minimum variable degree | 2 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":2,"count":780},{"degree":40,"count":19}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":2,"count":741},{"arity":19,"count":1},{"arity":20,"count":39}] |
Number of extensional constraints | 741 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":741},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270528-1502809830.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270528-1502809830.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 23.05/3.76 c solve instance... 26.75/4.26 o 340 26.75/4.27 o 336 26.75/4.28 o 101 27.41/4.33 o 84 27.41/4.33 o 72 27.41/4.35 o 34 27.41/4.37 o 33 27.95/4.42 o 30 27.95/4.43 o 19 28.61/4.50 o 15 28.61/4.51 o 14 31.74/4.98 s OPTIMUM FOUND 31.74/4.98 v <instantiation> 31.74/4.98 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] </list> 31.74/4.98 v <values>19 29 49 128 166 200 230 238 278 340 367 582 592 608 648 669 686 725 831 563 553 533 454 416 382 352 344 304 242 215 0 10 26 66 87 104 143 249 563 553 533 454 416 382 352 344 304 242 215 0 10 26 66 87 104 143 249 32 22 2 77 115 149 179 187 227 289 316 531 541 557 597 618 635 674 780 32 22 2 77 115 149 179 187 227 289 316 531 541 557 597 618 635 674 780 181 171 151 72 34 0 30 38 78 140 167 382 392 408 448 469 486 525 631 181 171 151 72 34 0 30 38 78 140 167 382 392 408 448 469 486 525 631 0 10 30 109 147 181 211 219 259 321 348 563 573 589 629 650 667 706 812 348 338 318 239 201 167 137 129 89 27 0 215 225 241 281 302 319 358 464 348 338 318 239 201 167 137 129 89 27 0 215 225 241 281 302 319 358 464 705 695 675 596 558 524 494 486 446 384 357 142 132 116 76 55 38 1 107 706 696 676 597 559 525 495 487 447 385 358 143 133 117 77 56 39 0 106 667 657 637 558 520 486 456 448 408 346 319 104 94 78 38 17 0 39 145 667 657 637 558 520 486 456 448 408 346 319 104 94 78 38 17 0 39 145 9 1 21 100 138 172 202 210 250 312 339 554 564 580 620 641 658 697 803 650 640 620 541 503 469 439 431 391 329 302 87 77 61 21 0 17 56 162 650 640 620 541 503 469 439 431 391 329 302 87 77 61 21 0 17 56 162 634 624 604 525 487 453 423 415 375 313 286 71 61 45 5 16 33 72 178 261 251 231 152 114 80 50 42 2 60 87 302 312 328 368 389 406 445 551 259 249 229 150 112 78 48 40 0 62 89 304 314 330 370 391 408 447 553 589 579 559 480 442 408 378 370 330 268 241 26 16 0 40 61 78 117 223 589 579 559 480 442 408 378 370 330 268 241 26 16 0 40 61 78 117 223 30 20 0 79 117 151 181 189 229 291 318 533 543 559 599 620 637 676 782 30 20 0 79 117 151 181 189 229 291 318 533 543 559 599 620 637 676 782 219 209 189 110 72 38 8 0 40 102 129 344 354 370 410 431 448 487 593 219 209 189 110 72 38 8 0 40 102 129 344 354 370 410 431 448 487 593 812 802 782 703 665 631 601 593 553 491 464 249 239 223 183 162 145 106 0 812 802 782 703 665 631 601 593 553 491 464 249 239 223 183 162 145 106 0 147 137 117 38 0 34 64 72 112 174 201 416 426 442 482 503 520 559 665 147 137 117 38 0 34 64 72 112 174 201 416 426 442 482 503 520 559 665 109 99 79 0 38 72 102 110 150 212 239 454 464 480 520 541 558 597 703 109 99 79 0 38 72 102 110 150 212 239 454 464 480 520 541 558 597 703 11 1 19 98 136 170 200 208 248 310 337 552 562 578 618 639 656 695 801 10 0 20 99 137 171 201 209 249 311 338 553 563 579 619 640 657 696 802 629 619 599 520 482 448 418 410 370 308 281 66 56 40 0 21 38 77 183 573 563 543 464 426 392 362 354 314 252 225 10 0 16 56 77 94 133 239 321 311 291 212 174 140 110 102 62 0 27 242 252 268 308 329 346 385 491 321 311 291 212 174 140 110 102 62 0 27 242 252 268 308 329 346 385 491 211 201 181 102 64 30 0 8 48 110 137 352 362 378 418 439 456 495 601 211 201 181 102 64 30 0 8 48 110 137 352 362 378 418 439 456 495 601 0 0 2 2 0 0 0 0 0 1 0 0 0 1 0 0 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 </values> 31.74/4.98 v </instantiation>
OK 14
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 (13313 MiB free) memory of node 1: 16384 MiB (13782 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270528-1502809830/watcher-4270528-1502809830 -o /tmp/evaluation-result-4270528-1502809830/solver-4270528-1502809830 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502796940-15499 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 34318392 HOME/instance-4270528-1502809830.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19268, runsolver pid=19265 [startup+0.10465 s]* /proc/loadavg: 5.35 3.88 2.96 2/199 19289 /proc/meminfo: memFree=27730612/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=25999808 memory=27472 CPUtime=0.12 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 5756 0 0 0 11 1 0 0 20 0 20 0 114063844 26623803392 6868 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6499952 6868 2874 1 0 6488269 0 [pid=19270/tid=19271] ppid=19268 vsize=25999808 memory=7826581535555754398 CPUtime=0.09 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) R 19268 19268 15472 0 -1 4202560 3685 0 0 0 8 1 0 0 20 0 20 0 114063844 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171688047408 140171308856640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=25999808 memory=732370377760635877 CPUtime=0 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=25999808 memory=140239423182464 CPUtime=0 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19275] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19275/stat : 19275 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171633277456 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19276] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063845 26623803392 6868 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063846 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114063847 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170424861472 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114063847 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170423809136 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063849 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) S 19268 19268 15472 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 114063849 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170421705328 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063849 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170420652528 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) S 19268 19268 15472 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 114063849 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170419600240 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) S 19268 19268 15472 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 114063849 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170351340272 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063850 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063850 26623803392 6868 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28856 KiB [startup+0.210593 s]* /proc/loadavg: 5.35 3.88 2.96 3/199 19289 /proc/meminfo: memFree=27719944/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=26004064 memory=38448 CPUtime=0.33 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 8213 0 0 0 31 2 0 0 20 0 20 0 114063844 26628161536 9612 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6501016 9612 3062 1 0 6488269 0 [pid=19270/tid=19271] ppid=19268 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) R 19268 19268 15472 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 20 0 114063844 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171688036152 140171667895646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=26004064 memory=280478695331576 CPUtime=0 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=26004064 memory=140239423182464 CPUtime=0 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19275] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19275/stat : 19275 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171633277456 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19276] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 9612 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063846 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114063847 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170424861472 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114063847 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170423809136 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063849 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) S 19268 19268 15472 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 114063849 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170421705328 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) S 19268 19268 15472 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 114063849 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170420652528 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) R 19268 19268 15472 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 20 0 114063849 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170419600240 140171683826306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) S 19268 19268 15472 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 20 0 114063849 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170351340272 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063850 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063850 26628161536 9612 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39832 KiB [startup+0.310312 s]* /proc/loadavg: 5.35 3.88 2.96 3/199 19289 /proc/meminfo: memFree=27712400/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=26004064 memory=43584 CPUtime=0.5 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 9162 0 0 0 48 2 0 0 20 0 20 0 114063844 26628161536 10896 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6501016 10896 3084 1 0 6488269 0 [pid=19270/tid=19271] ppid=19268 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) R 19268 19268 15472 0 -1 4202560 6097 0 0 0 28 1 0 0 20 0 20 0 114063844 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171688053328 140171683827094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19275] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19275/stat : 19275 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171633277456 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19276] ppid=19268 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=26004064 memory=140239272244143 CPUtime=0 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=26004064 memory=140239272246448 CPUtime=0 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=26004064 memory=140239272248752 CPUtime=0 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063845 26628161536 10896 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114063846 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=26004064 memory=280478544504464 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114063847 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170424861472 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=26004064 memory=280478544511376 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114063847 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170423809136 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=26004064 memory=280478544452656 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114063849 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=26004064 memory=280478544525200 CPUtime=0.01 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) R 19268 19268 15472 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 20 0 114063849 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170421703728 140171669529424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=26004064 memory=280478544532112 CPUtime=0.02 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) S 19268 19268 15472 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 20 0 114063849 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170420652528 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=26004064 memory=280478544529808 CPUtime=0.03 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) S 19268 19268 15472 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 20 0 114063849 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170419600240 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=26004064 memory=280478544545968 CPUtime=0.12 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) R 19268 19268 15472 0 -1 4202560 867 0 0 0 12 0 0 0 20 0 20 0 114063849 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170351336640 140171662753951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063850 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114063850 26628161536 10896 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44968 KiB [startup+0.710492 s] /proc/loadavg: 5.35 3.88 2.96 8/199 19289 /proc/meminfo: memFree=27566748/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=26006188 memory=291776 CPUtime=2.08 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 13178 0 0 0 177 31 0 0 20 0 20 0 114063844 26630336512 72944 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6501547 72944 3207 1 0 6488781 0 [pid=19270/tid=19271] ppid=19268 vsize=26006188 memory=288230376152530309 CPUtime=0.6 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) R 19268 19268 15472 0 -1 4202560 6657 0 0 0 57 3 0 0 20 0 20 0 114063844 26630336512 72944 33554432000 4194304 4196468 140729957892496 140171688050288 140171667895646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=26006188 memory=0 CPUtime=0.06 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 20 0 114063845 26630336512 72944 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=26006188 memory=0 CPUtime=0.05 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 20 0 114063845 26630336512 72944 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=26006188 memory=0 CPUtime=0.04 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 20 0 114063845 26630336512 72944 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 ################ # More data... # ################ [pid=19270/tid=19276] ppid=19268 vsize=26538700 memory=6933690279252828305 CPUtime=2.44 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 4390 0 0 0 204 40 0 0 20 0 28 0 114063845 27175628800 421270 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=26538700 memory=-7384994778349280928 CPUtime=2.4 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 3844 0 0 0 201 39 0 0 20 0 28 0 114063845 27175628800 421270 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=26538700 memory=0 CPUtime=2.42 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 4596 0 0 0 203 39 0 0 20 0 28 0 114063845 27175628800 421270 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=26538700 memory=0 CPUtime=2.41 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 9921 0 0 0 198 43 0 0 20 0 28 0 114063845 27175628800 421270 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2526 0 0 0 5 2 0 0 20 0 28 0 114063846 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 114063847 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170424861536 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 114063847 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170423809152 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=26538700 memory=798 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114063849 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=26538700 memory=0 CPUtime=0.93 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) S 19268 19268 15472 0 -1 1077944384 4174 0 0 0 92 1 0 0 20 0 28 0 114063849 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170421689488 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=26538700 memory=0 CPUtime=0.9 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) S 19268 19268 15472 0 -1 1077944384 3294 0 0 0 89 1 0 0 20 0 28 0 114063849 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170420645552 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=26538700 memory=0 CPUtime=0.86 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) R 19268 19268 15472 0 -1 4202560 3817 0 0 0 85 1 0 0 20 0 28 0 114063849 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170419580048 140171667372517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) S 19268 19268 15472 0 -1 1077944384 3295 0 0 0 55 1 0 0 20 0 28 0 114063849 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170351340032 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114063850 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=26538700 memory=3472323898181169199 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 114063850 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19290] ppid=19268 vsize=26538700 memory=140239272151031 CPUtime=0.21 cores=0-7 /proc/19270/task/19290/stat : 19290 (java) R 19268 19268 15472 0 -1 4202560 51 0 0 0 21 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170341223152 140171314372908 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19291] ppid=19268 vsize=26538700 memory=280478544302064 CPUtime=0.28 cores=0-7 /proc/19270/task/19291/stat : 19291 (java) R 19268 19268 15472 0 -1 4202560 35 0 0 0 28 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170340171360 140171314373484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19292] ppid=19268 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7 /proc/19270/task/19292/stat : 19292 (java) R 19268 19268 15472 0 -1 4202560 102 0 0 0 28 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170339119072 140171314373939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19293] ppid=19268 vsize=26538700 memory=280478544302032 CPUtime=0.28 cores=0-7 /proc/19270/task/19293/stat : 19293 (java) R 19268 19268 15472 0 -1 1077944384 42 0 0 0 28 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170338066272 140171683825365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19294] ppid=19268 vsize=26538700 memory=2345052144067 CPUtime=0.26 cores=0-7 /proc/19270/task/19294/stat : 19294 (java) S 19268 19268 15472 0 -1 1077944384 38 0 0 0 26 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170337016416 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19295] ppid=19268 vsize=26538700 memory=140239272516612 CPUtime=0.23 cores=0-7 /proc/19270/task/19295/stat : 19295 (java) R 19268 19268 15472 0 -1 4202560 29 0 0 0 23 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170335961056 140171314397668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19296] ppid=19268 vsize=26538700 memory=-2541025661996457098 CPUtime=0.26 cores=0-7 /proc/19270/task/19296/stat : 19296 (java) R 19268 19268 15472 0 -1 4202560 26 0 0 0 26 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170334907744 140171314372929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19297] ppid=19268 vsize=26538700 memory=6656426216303648864 CPUtime=0.2 cores=0-7 /proc/19270/task/19297/stat : 19297 (java) R 19268 19268 15472 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 28 0 114064221 27175628800 421270 33554432000 4194304 4196468 140729957892496 140170333854944 140171314373418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 25.96 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1686464 KiB [startup+4.50085 s] /proc/loadavg: 5.35 3.88 2.96 14/207 19297 /proc/meminfo: memFree=26071116/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=26605264 memory=1838920 CPUtime=28.61 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 68364 0 0 0 2502 359 0 0 20 0 28 0 114063844 27243790336 459730 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6651316 459730 3290 1 0 6638550 0 [pid=19270/tid=19271] ppid=19268 vsize=26605264 memory=280478545008688 CPUtime=1.19 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) S 19268 19268 15472 0 -1 1077944384 7758 0 0 0 112 7 0 0 20 0 28 0 114063844 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171688055936 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=26605264 memory=6944656592455360608 CPUtime=2.48 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 3126 0 0 0 205 43 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=26605264 memory=288230574492221466 CPUtime=2.43 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 3532 0 0 0 202 41 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=26605264 memory=288230621803970871 CPUtime=2.46 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 2775 0 0 0 207 39 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19275] ppid=19268 vsize=26605264 memory=15252640887999017 CPUtime=2.45 cores=0-7 /proc/19270/task/19275/stat : 19275 (java) S 19268 19268 15472 0 -1 1077944384 3770 0 0 0 204 41 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171633277456 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19276] ppid=19268 vsize=26605264 memory=158 CPUtime=2.49 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 4690 0 0 0 205 44 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=26605264 memory=88 CPUtime=2.43 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 3950 0 0 0 202 41 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=26605264 memory=0 CPUtime=2.48 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 4668 0 0 0 206 42 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=26605264 memory=528 CPUtime=2.46 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 10449 0 0 0 200 46 0 0 20 0 28 0 114063845 27243790336 459730 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=26605264 memory=1103 CPUtime=0.07 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2769 0 0 0 5 2 0 0 20 0 28 0 114063846 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=26605264 memory=263 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 114063847 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170424861536 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 114063847 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170423809152 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=26605264 memory=2241 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114063849 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=26605264 memory=2244 CPUtime=1.25 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) R 19268 19268 15472 0 -1 4202560 4624 0 0 0 124 1 0 0 20 0 28 0 114063849 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170421697280 140171665358451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=26605264 memory=0 CPUtime=1.14 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) R 19268 19268 15472 0 -1 4202560 3800 0 0 0 113 1 0 0 20 0 28 0 114063849 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170420631632 140171667315734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=26605264 memory=0 CPUtime=1.12 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) R 19268 19268 15472 0 -1 4202560 4116 0 0 0 111 1 0 0 20 0 28 0 114063849 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170419591344 140171667820461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=26605264 memory=0 CPUtime=0.65 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) R 19268 19268 15472 0 -1 4202560 4334 0 0 0 64 1 0 0 20 0 28 0 114063849 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170351340160 140171683836506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114063850 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 114063850 27243790336 459730 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 28.61 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 1840304 KiB [startup+4.90091 s] /proc/loadavg: 5.35 3.88 2.96 14/207 19297 /proc/meminfo: memFree=26071116/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 [pid=19270] ppid=19268 vsize=26605264 memory=1841552 CPUtime=31.74 cores=0-7 /proc/19270/stat : 19270 (java) S 19268 19268 15472 0 -1 1077944320 70153 0 0 0 2815 359 0 0 20 0 28 0 114063844 27243790336 460388 33554432000 4194304 4196468 140729957892496 140729957875040 140171683815159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 /proc/19270/statm: 6651316 460388 3291 1 0 6638550 0 [pid=19270/tid=19271] ppid=19268 vsize=26605264 memory=3184238159348514736 CPUtime=1.19 cores=0-7 /proc/19270/task/19271/stat : 19271 (java) S 19268 19268 15472 0 -1 1077944384 7765 0 0 0 112 7 0 0 20 0 28 0 114063844 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171688055936 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19272] ppid=19268 vsize=26605264 memory=140239272546208 CPUtime=2.48 cores=0-7 /proc/19270/task/19272/stat : 19272 (java) S 19268 19268 15472 0 -1 1077944384 3126 0 0 0 205 43 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171636435344 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19273] ppid=19268 vsize=26605264 memory=140239272546240 CPUtime=2.43 cores=0-7 /proc/19270/task/19273/stat : 19273 (java) S 19268 19268 15472 0 -1 1077944384 3532 0 0 0 202 41 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171635382544 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19274] ppid=19268 vsize=26605264 memory=56 CPUtime=2.46 cores=0-7 /proc/19270/task/19274/stat : 19274 (java) S 19268 19268 15472 0 -1 1077944384 2775 0 0 0 207 39 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171634330256 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19275] ppid=19268 vsize=26605264 memory=9133 CPUtime=2.45 cores=0-7 /proc/19270/task/19275/stat : 19275 (java) S 19268 19268 15472 0 -1 1077944384 3770 0 0 0 204 41 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171633277456 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19276] ppid=19268 vsize=26605264 memory=0 CPUtime=2.49 cores=0-7 /proc/19270/task/19276/stat : 19276 (java) S 19268 19268 15472 0 -1 1077944384 4690 0 0 0 205 44 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171632225168 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19277] ppid=19268 vsize=26605264 memory=0 CPUtime=2.43 cores=0-7 /proc/19270/task/19277/stat : 19277 (java) S 19268 19268 15472 0 -1 1077944384 3950 0 0 0 202 41 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171631172368 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19278] ppid=19268 vsize=26605264 memory=0 CPUtime=2.48 cores=0-7 /proc/19270/task/19278/stat : 19278 (java) S 19268 19268 15472 0 -1 1077944384 4668 0 0 0 206 42 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171630120080 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19279] ppid=19268 vsize=26605264 memory=1712 CPUtime=2.46 cores=0-7 /proc/19270/task/19279/stat : 19279 (java) S 19268 19268 15472 0 -1 1077944384 10449 0 0 0 200 46 0 0 20 0 28 0 114063845 27243790336 460388 33554432000 4194304 4196468 140729957892496 140171629067280 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19280] ppid=19268 vsize=26605264 memory=1952 CPUtime=0.07 cores=0-7 /proc/19270/task/19280/stat : 19280 (java) S 19268 19268 15472 0 -1 1077944384 2769 0 0 0 5 2 0 0 20 0 28 0 114063846 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170425915504 140171683826306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19281] ppid=19268 vsize=26605264 memory=8620 CPUtime=0 cores=0-7 /proc/19270/task/19281/stat : 19281 (java) S 19268 19268 15472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 114063847 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170424861536 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19282] ppid=19268 vsize=26605264 memory=4620 CPUtime=0 cores=0-7 /proc/19270/task/19282/stat : 19282 (java) S 19268 19268 15472 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 114063847 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170423809152 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19283] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19283/stat : 19283 (java) S 19268 19268 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114063849 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170422757456 140171683833755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19284] ppid=19268 vsize=26605264 memory=0 CPUtime=1.53 cores=0-7 /proc/19270/task/19284/stat : 19284 (java) S 19268 19268 15472 0 -1 1077944384 4719 0 0 0 151 2 0 0 20 0 28 0 114063849 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170421705328 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19285] ppid=19268 vsize=26605264 memory=0 CPUtime=1.42 cores=0-7 /proc/19270/task/19285/stat : 19285 (java) R 19268 19268 15472 0 -1 4202560 4983 0 0 0 140 2 0 0 20 0 28 0 114063849 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170420642640 140171665338045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19286] ppid=19268 vsize=26605264 memory=280478544618368 CPUtime=1.4 cores=0-7 /proc/19270/task/19286/stat : 19286 (java) R 19268 19268 15472 0 -1 4202560 4173 0 0 0 139 1 0 0 20 0 28 0 114063849 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170419600240 140171667301200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19287] ppid=19268 vsize=26605264 memory=0 CPUtime=0.71 cores=0-7 /proc/19270/task/19287/stat : 19287 (java) R 19268 19268 15472 0 -1 1077944384 4485 0 0 0 70 1 0 0 20 0 28 0 114063849 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170351340272 140171683826306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19288] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19288/stat : 19288 (java) S 19268 19268 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114063850 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170350287200 140171683825365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 [pid=19270/tid=19289] ppid=19268 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/19270/task/19289/stat : 19289 (java) S 19268 19268 15472 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 114063850 27243790336 460388 33554432000 4194304 4196468 140729957892496 140170349234480 140171683826306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140729957897362 140729957897539 140729957897539 140729957900239 0 Current children cumulated CPU time: 31.74 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 1842936 KiB [startup+5.00097 s] /proc/loadavg: 5.35 3.88 2.96 14/207 19297 /proc/meminfo: memFree=26071116/32770624 swapFree=67108860/67108860 [pid=19268] ppid=19265 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19268/stat : 19268 (xcsp3-exec) S 19265 19268 15472 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114063843 9740288 346 33554432000 4194304 5098028 140722351685104 140722351683208 140315004699260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24145920 140722351690854 140722351691063 140722351691063 140722351693803 0 /proc/19268/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 5.0188 CPU time (s): 32.4507 CPU user time (s): 28.8324 CPU system time (s): 3.61834 CPU usage (%): 646.583 Max. virtual memory (cumulated for all children) (KiB): 26614776 Max. memory (cumulated for all children) (KiB): 1844580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.8324 system time used= 3.61834 maximum resident set size= 1844836 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70756 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6343 involuntary context switches= 488 # summary of solver processes directly reported to runsolver: # pid: 19268 # total CPU time (s): 32.4507 # total CPU user time (s): 28.8324 # total CPU system time (s): 3.61834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069354 second user time and 0.08054 second system time The end
Begin job on node149 at 2017-08-15 16:56:11 IDJOB=4270528 IDBENCH=138356 IDSOLVER=2662 FILE ID=node149/4270528-1502809830 RUNJOBID= node149-1502796940-15499 PBS_JOBID= 20629816 Free space on /tmp= 61940 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff41.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270528-1502809830/watcher-4270528-1502809830 -o /tmp/evaluation-result-4270528-1502809830/solver-4270528-1502809830 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502796940-15499 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 34318392 HOME/instance-4270528-1502809830.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 93e2fab38e142a37945526a0e34ac36b RANDOM SEED=34318392 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 27746224 kB MemAvailable: 31966384 kB Buffers: 324076 kB Cached: 4168452 kB SwapCached: 0 kB Active: 1194060 kB Inactive: 3353652 kB Active(anon): 58112 kB Inactive(anon): 24956 kB Active(file): 1135948 kB Inactive(file): 3328696 kB Unevictable: 6348 kB Mlocked: 6348 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7876 kB Writeback: 0 kB AnonPages: 67536 kB Mapped: 46452 kB Shmem: 25224 kB Slab: 170228 kB SReclaimable: 142704 kB SUnreclaim: 27524 kB KernelStack: 3520 kB PageTables: 4752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61932 MiB End job on node149 at 2017-08-15 16:56:16