Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 927 | 19913.2 | 2520.1 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 914 |
Best CPU time to get the best result obtained on this benchmark | 19852.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 812 |
Number of constraints | 381 |
Number of domains | 2 |
Minimum domain size | 1000 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
Minimum variable degree | 0 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 378 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 379 |
Distribution of constraint types | [{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394047-1568426250.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394047-1568426250.xml, -tl, 20160s, -p, 8] 0.32/0.22 c 8 solvers in parallel 0.32/0.29 c parse instance... 2.89/1.09 c solve instance... 30.45/4.67 o 989 55.62/7.85 o 974 98.16/13.30 o 970 187.10/24.58 o 967 709.89/90.17 o 960 1448.84/184.82 o 953 4098.38/517.27 o 952 4600.88/581.22 o 935 19596.77/2480.36 o 927 19912.52/2520.07 s SATISFIABLE 19912.52/2520.07 v <instantiation> 19912.52/2520.07 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][24] y[23][25] y[23][26] y[23][27] y[24][25] y[24][26] y[24][27] y[25][26] y[25][27] y[26][27] </list> 19912.52/2520.07 v <values>0 1 3 7 12 22 40 48 64 91 108 122 189 214 264 284 361 417 455 489 582 635 737 769 792 868 881 927 1 3 7 12 22 40 48 64 91 108 122 189 214 264 284 361 417 455 489 582 635 737 769 792 868 881 927 2 6 11 21 39 47 63 90 107 121 188 213 263 283 360 416 454 488 581 634 736 768 791 867 880 926 4 9 19 37 45 61 88 105 119 186 211 261 281 358 414 452 486 579 632 734 766 789 865 878 924 5 15 33 41 57 84 101 115 182 207 257 277 354 410 448 482 575 628 730 762 785 861 874 920 10 28 36 52 79 96 110 177 202 252 272 349 405 443 477 570 623 725 757 780 856 869 915 18 26 42 69 86 100 167 192 242 262 339 395 433 467 560 613 715 747 770 846 859 905 8 24 51 68 82 149 174 224 244 321 377 415 449 542 595 697 729 752 828 841 887 16 43 60 74 141 166 216 236 313 369 407 441 534 587 689 721 744 820 833 879 27 44 58 125 150 200 220 297 353 391 425 518 571 673 705 728 804 817 863 17 31 98 123 173 193 270 326 364 398 491 544 646 678 701 777 790 836 14 81 106 156 176 253 309 347 381 474 527 629 661 684 760 773 819 67 92 142 162 239 295 333 367 460 513 615 647 670 746 759 805 25 75 95 172 228 266 300 393 446 548 580 603 679 692 738 50 70 147 203 241 275 368 421 523 555 578 654 667 713 20 97 153 191 225 318 371 473 505 528 604 617 663 77 133 171 205 298 351 453 485 508 584 597 643 56 94 128 221 274 376 408 431 507 520 566 38 72 165 218 320 352 375 451 464 510 34 127 180 282 314 337 413 426 472 93 146 248 280 303 379 392 438 53 155 187 210 286 299 345 102 134 157 233 246 292 32 55 131 144 190 23 99 112 158 76 89 135 13 59 46 </values> 19912.52/2520.07 v </instantiation> 19912.52/2520.07 c Unexpected resolution interruption!
OK 927
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 (14127 MiB free) memory of node 1: 16384 MiB (15611 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394047-1568426250/watcher-4394047-1568426250 -o /tmp/evaluation-result-4394047-1568426250/solver-4394047-1568426250 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568417720-5422 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583693874 HOME/instance-4394047-1568426250.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=6840, runsolver pid=6837 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.33 7.41 7.08 2/209 6861 /proc/meminfo: memFree=30436204/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28227388 memory=29148 CPUtime=0.12 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 20 0 418892911 28904845312 7287 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7056847 7287 3139 1 0 7019032 0 [pid=6842/tid=6843] ppid=6840 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 3590 0 0 0 8 0 0 0 20 0 20 0 418892911 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694119458608 140694098567536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28227388 memory=140228429547136 CPUtime=0 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6847] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6848] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6849] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6850] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6851] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6852] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6853] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6854] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6855] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6856] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6857] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6858] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6859] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6842/task/6859/stat : 6859 (java) R 6840 6840 5395 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692706195696 140694093745443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6860] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6861] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30600 KiB [startup+0.210139 s]* /proc/loadavg: 7.33 7.41 7.08 3/209 6861 /proc/meminfo: memFree=30422884/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28227388 memory=40832 CPUtime=0.32 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 9473 0 0 0 30 2 0 0 20 0 20 0 418892911 28904845312 10208 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7056847 10208 3289 1 0 7019032 0 [pid=6842/tid=6843] ppid=6840 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 20 0 418892911 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694119455056 140694107903349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28227388 memory=14555045819254424 CPUtime=0 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6847] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6848] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6849] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6850] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6851] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6852] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6853] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6854] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6855] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6856] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 664 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6857] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6858] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6859] ppid=6840 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 773 0 0 0 8 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6860] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6861] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42284 KiB [startup+0.309529 s]* /proc/loadavg: 7.33 7.41 7.08 3/209 6861 /proc/meminfo: memFree=30418144/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28231644 memory=49764 CPUtime=0.51 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 10796 0 0 0 48 3 0 0 20 0 20 0 418892911 28909203456 12441 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7057911 12441 3366 1 0 7019032 0 [pid=6842/tid=6843] ppid=6840 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 7680 0 0 0 27 2 0 0 20 0 20 0 418892911 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694119456448 140694115247261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6847] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6848] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6849] ppid=6840 vsize=28231644 memory=140228266388143 CPUtime=0 cores=0-7 /proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6850] ppid=6840 vsize=28231644 memory=140228266390448 CPUtime=0 cores=0-7 /proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6851] ppid=6840 vsize=28231644 memory=140228266392752 CPUtime=0 cores=0-7 /proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6852] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6853] ppid=6840 vsize=28231644 memory=280456532799376 CPUtime=0 cores=0-7 /proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6854] ppid=6840 vsize=28231644 memory=280456532797072 CPUtime=0 cores=0-7 /proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6855] ppid=6840 vsize=28231644 memory=280456532803984 CPUtime=0 cores=0-7 /proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6856] ppid=6840 vsize=28231644 memory=280456532745264 CPUtime=0.02 cores=0-7 /proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6857] ppid=6840 vsize=28231644 memory=280456532817808 CPUtime=0.03 cores=0-7 /proc/6842/task/6857/stat : 6857 (java) R 6840 6840 5395 0 -1 4202560 201 0 0 0 3 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692708299184 140694092877200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6858] ppid=6840 vsize=28231644 memory=280456532824720 CPUtime=0.02 cores=0-7 /proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6859] ppid=6840 vsize=28231644 memory=280456532822416 CPUtime=0.12 cores=0-7 /proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6860] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6861] ppid=6840 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51216 KiB [startup+0.701055 s] /proc/loadavg: 7.33 7.41 7.08 3/209 6861 /proc/meminfo: memFree=30405396/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28233768 memory=84812 CPUtime=1.62 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 15448 0 0 0 156 6 0 0 20 0 20 0 418892911 28911378432 21203 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7058442 21203 3451 1 0 7019544 0 [pid=6842/tid=6843] ppid=6840 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 9253 0 0 0 64 3 0 0 20 0 20 0 418892911 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694119461328 140694115247357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28233768 memory=2353 CPUtime=0 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28233768 memory=1228 CPUtime=0 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 ################ # More data... # ################ [pid=6842/tid=6999] ppid=6840 vsize=28834892 memory=926800 CPUtime=1822.72 cores=0-7 /proc/6842/task/6999/stat : 6999 (java) R 6840 6840 5395 0 -1 4202560 65310 0 0 0 182247 25 0 0 20 0 28 0 418951033 29526929408 231781 33554432000 4194304 4196468 140720698669776 140692688572728 140693758734783 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 19296.1 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 928576 KiB [startup+2502.3 s] /proc/loadavg: 8.33 8.11 8.07 9/218 7159 /proc/meminfo: memFree=29503552/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28834892 memory=955484 CPUtime=19771.5 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 980966 0 0 0 1974950 2201 0 0 20 0 28 0 418892911 29526929408 238871 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7208723 238871 3547 1 0 7169825 0 [pid=6842/tid=6843] ppid=6840 vsize=28834892 memory=961128 CPUtime=1.11 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) S 6840 6840 5395 0 -1 1077944384 12375 0 0 0 105 6 0 0 20 0 28 0 418892911 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694119466112 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28834892 memory=982676 CPUtime=11.3 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 33587 0 0 0 1096 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28834892 memory=966812 CPUtime=11.28 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 32748 0 0 0 1094 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28834892 memory=959588 CPUtime=11.24 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 30605 0 0 0 1089 35 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6847] ppid=6840 vsize=28834892 memory=280456534972416 CPUtime=11.29 cores=0-7 /proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 30931 0 0 0 1094 35 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6848] ppid=6840 vsize=28834892 memory=991984 CPUtime=11.32 cores=0-7 /proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 32562 0 0 0 1098 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6849] ppid=6840 vsize=28834892 memory=2116 CPUtime=11.28 cores=0-7 /proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 25588 0 0 0 1094 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6850] ppid=6840 vsize=28834892 memory=969888 CPUtime=11.33 cores=0-7 /proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 31922 0 0 0 1096 37 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6851] ppid=6840 vsize=28834892 memory=1452 CPUtime=11.27 cores=0-7 /proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 32061 0 0 0 1093 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6852] ppid=6840 vsize=28834892 memory=780 CPUtime=22.23 cores=0-7 /proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 83062 0 0 0 809 1414 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6853] ppid=6840 vsize=28834892 memory=14008 CPUtime=0 cores=0-7 /proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692712510816 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6854] ppid=6840 vsize=28834892 memory=3620 CPUtime=0 cores=0-7 /proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692711458432 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6855] ppid=6840 vsize=28834892 memory=40032 CPUtime=0 cores=0-7 /proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6856] ppid=6840 vsize=28834892 memory=280456533618208 CPUtime=4.58 cores=0-7 /proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 35808 0 0 0 454 4 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6857] ppid=6840 vsize=28834892 memory=10 CPUtime=4.2 cores=0-7 /proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 37644 0 0 0 415 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6858] ppid=6840 vsize=28834892 memory=1452 CPUtime=5.01 cores=0-7 /proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 33837 0 0 0 496 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6859] ppid=6840 vsize=28834892 memory=972900 CPUtime=1.38 cores=0-7 /proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 30365 0 0 0 133 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6860] ppid=6840 vsize=28834892 memory=40032 CPUtime=0 cores=0-7 /proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6861] ppid=6840 vsize=28834892 memory=988 CPUtime=0.82 cores=0-7 /proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 6203 0 0 0 20 62 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7150] ppid=6840 vsize=28834892 memory=960616 CPUtime=21.63 cores=0-7 /proc/6842/task/7150/stat : 7150 (java) R 6840 6840 5395 0 -1 4202560 1331 0 0 0 2163 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692685413880 140693758094131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7151] ppid=6840 vsize=28834892 memory=1452 CPUtime=21.66 cores=0-7 /proc/6842/task/7151/stat : 7151 (java) R 6840 6840 5395 0 -1 4202560 548 0 0 0 2166 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692686467592 140693757519090 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7152] ppid=6840 vsize=28834892 memory=963180 CPUtime=21.68 cores=0-7 /proc/6842/task/7152/stat : 7152 (java) R 6840 6840 5395 0 -1 4202560 5144 0 0 0 2166 2 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692688574784 140693757519453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7153] ppid=6840 vsize=28834892 memory=955484 CPUtime=21.65 cores=0-7 /proc/6842/task/7153/stat : 7153 (java) R 6840 6840 5395 0 -1 4202560 1487 0 0 0 2164 1 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692692782792 140693757409099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7154] ppid=6840 vsize=28834892 memory=1452 CPUtime=21.53 cores=0-7 /proc/6842/task/7154/stat : 7154 (java) R 6840 6840 5395 0 -1 4202560 591 0 0 0 2153 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692687519880 140693757519010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7155] ppid=6840 vsize=28834892 memory=959588 CPUtime=21.67 cores=0-7 /proc/6842/task/7155/stat : 7155 (java) R 6840 6840 5395 0 -1 4202560 459 0 0 0 2166 1 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692691730352 140693757410162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7156] ppid=6840 vsize=28834892 memory=8112282956445269571 CPUtime=21.67 cores=0-7 /proc/6842/task/7156/stat : 7156 (java) R 6840 6840 5395 0 -1 4202560 2656 0 0 0 2167 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692690676960 140693758772784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7157] ppid=6840 vsize=28834892 memory=772 CPUtime=21.67 cores=0-7 /proc/6842/task/7157/stat : 7157 (java) R 6840 6840 5395 0 -1 4202560 343 0 0 0 2167 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692684361800 140693757518691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 19771.5 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 956936 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.52 8.17 8.09 9/217 7160 /proc/meminfo: memFree=29514836/32770624 swapFree=66932108/67108860 [pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0 /proc/6840/statm: 28282 363 305 221 0 87 0 [pid=6842] ppid=6840 vsize=28834892 memory=946252 CPUtime=19912.5 cores=0-7 /proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 1011154 0 0 0 1989039 2213 0 0 20 0 28 0 418892911 29526929408 236563 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 /proc/6842/statm: 7208723 236563 3547 1 0 7169825 0 [pid=6842/tid=6843] ppid=6840 vsize=28834892 memory=1676 CPUtime=1.11 cores=0-7 /proc/6842/task/6843/stat : 6843 (java) S 6840 6840 5395 0 -1 1077944384 12375 0 0 0 105 6 0 0 20 0 28 0 418892911 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694119466112 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6844] ppid=6840 vsize=28834892 memory=1096 CPUtime=11.44 cores=0-7 /proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 34346 0 0 0 1109 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6845] ppid=6840 vsize=28834892 memory=4872558044660077418 CPUtime=11.41 cores=0-7 /proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 34453 0 0 0 1106 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6846] ppid=6840 vsize=28834892 memory=5964 CPUtime=11.37 cores=0-7 /proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 31603 0 0 0 1102 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6847] ppid=6840 vsize=28834892 memory=780 CPUtime=11.42 cores=0-7 /proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 31354 0 0 0 1106 36 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6848] ppid=6840 vsize=28834892 memory=14008 CPUtime=11.44 cores=0-7 /proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 33842 0 0 0 1110 34 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6849] ppid=6840 vsize=28834892 memory=20968 CPUtime=11.4 cores=0-7 /proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 26415 0 0 0 1106 34 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6850] ppid=6840 vsize=28834892 memory=2116 CPUtime=11.45 cores=0-7 /proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 32814 0 0 0 1108 37 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6851] ppid=6840 vsize=28834892 memory=11916 CPUtime=11.4 cores=0-7 /proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 33370 0 0 0 1105 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6852] ppid=6840 vsize=28834892 memory=1560 CPUtime=22.26 cores=0-7 /proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 84474 0 0 0 811 1415 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6853] ppid=6840 vsize=28834892 memory=14008 CPUtime=0 cores=0-7 /proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692712510816 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6854] ppid=6840 vsize=28834892 memory=20968 CPUtime=0 cores=0-7 /proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692711458432 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6855] ppid=6840 vsize=28834892 memory=1452 CPUtime=0 cores=0-7 /proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6856] ppid=6840 vsize=28834892 memory=950868 CPUtime=4.58 cores=0-7 /proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 35814 0 0 0 454 4 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6857] ppid=6840 vsize=28834892 memory=2832 CPUtime=4.2 cores=0-7 /proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 37650 0 0 0 415 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6858] ppid=6840 vsize=28834892 memory=772 CPUtime=5.01 cores=0-7 /proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 34098 0 0 0 496 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6859] ppid=6840 vsize=28834892 memory=1060 CPUtime=1.38 cores=0-7 /proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 30371 0 0 0 133 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6860] ppid=6840 vsize=28834892 memory=1676 CPUtime=0 cores=0-7 /proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=6861] ppid=6840 vsize=28834892 memory=500 CPUtime=0.84 cores=0-7 /proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 6287 0 0 0 21 63 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7150] ppid=6840 vsize=28834892 memory=928 CPUtime=39.13 cores=0-7 /proc/6842/task/7150/stat : 7150 (java) R 6840 6840 5395 0 -1 4202560 3698 0 0 0 3913 0 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692685416160 140693759302014 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7151] ppid=6840 vsize=28834892 memory=1984 CPUtime=39.2 cores=0-7 /proc/6842/task/7151/stat : 7151 (java) R 6840 6840 5395 0 -1 4202560 1113 0 0 0 3919 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692686467592 140693761137916 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7152] ppid=6840 vsize=28834892 memory=2432 CPUtime=39.1 cores=0-7 /proc/6842/task/7152/stat : 7152 (java) R 6840 6840 5395 0 -1 4202560 13838 0 0 0 3903 7 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692688572112 140693751799841 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7153] ppid=6840 vsize=28834892 memory=1692 CPUtime=39.21 cores=0-7 /proc/6842/task/7153/stat : 7153 (java) R 6840 6840 5395 0 -1 4202560 4540 0 0 0 3918 3 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692692783416 140693758297920 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7154] ppid=6840 vsize=28834892 memory=828 CPUtime=39.07 cores=0-7 /proc/6842/task/7154/stat : 7154 (java) R 6840 6840 5395 0 -1 4202560 1826 0 0 0 3906 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692687519792 140693757409963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7155] ppid=6840 vsize=28834892 memory=1448 CPUtime=39.13 cores=0-7 /proc/6842/task/7155/stat : 7155 (java) R 6840 6840 5395 0 -1 4202560 827 0 0 0 3912 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692691730304 140693757519090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7156] ppid=6840 vsize=28834892 memory=1748 CPUtime=39.13 cores=0-7 /proc/6842/task/7156/stat : 7156 (java) R 6840 6840 5395 0 -1 4202560 6246 0 0 0 3912 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692690677280 140693758736351 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 [pid=6842/tid=7157] ppid=6840 vsize=28834892 memory=1552 CPUtime=39.21 cores=0-7 /proc/6842/task/7157/stat : 7157 (java) R 6840 6840 5395 0 -1 4202560 691 0 0 0 3921 0 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692684361912 140693757518807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0 Current children cumulated CPU time: 19912.5 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 947704 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 6840 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000825 s, system=0.00165 s [startup+2520.1 s] # the end of solver process 6842 was just reported to runsolver # cumulated CPU time of all completed processes: user=19891 s, system=22.1459 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.1 CPU time (s): 19913.2 CPU user time (s): 19891 CPU system time (s): 22.1459 CPU usage (%): 790.174 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 2307580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19891 system time used= 22.1459 maximum resident set size= 2331196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1012007 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 163268 involuntary context switches= 202609 # summary of solver processes directly reported to runsolver: # pid: 6840,6842 # total CPU time (s): 19913.2 # total CPU user time (s): 19891 # total CPU system time (s): 22.1459 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.7073 second user time and 25.5968 second system time The end
Begin job on node139 at 2019-09-14 03:59:14 IDJOB=4394047 IDBENCH=126211 IDSOLVER=2841 FILE ID=node139/4394047-1568426250 RUNJOBID= node139-1568417720-5422 PBS_JOBID= 21702278 Free space on /tmp= 59556 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394047-1568426250/watcher-4394047-1568426250 -o /tmp/evaluation-result-4394047-1568426250/solver-4394047-1568426250 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568417720-5422 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583693874 HOME/instance-4394047-1568426250.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=583693874 node139.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.57 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.57 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.57 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.57 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: 30453656 kB MemAvailable: 31824464 kB Buffers: 135680 kB Cached: 1515056 kB SwapCached: 74372 kB Active: 605952 kB Inactive: 1125764 kB Active(anon): 5624 kB Inactive(anon): 115880 kB Active(file): 600328 kB Inactive(file): 1009884 kB Unevictable: 106556 kB Mlocked: 106556 kB SwapTotal: 67108860 kB SwapFree: 66932108 kB Dirty: 26028 kB Writeback: 0 kB AnonPages: 195936 kB Mapped: 44196 kB Shmem: 32208 kB Slab: 181552 kB SReclaimable: 152864 kB SUnreclaim: 28688 kB KernelStack: 3792 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59528 MiB End job on node139 at 2019-09-14 04:41:15