Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 242 | 91.2533 | 12.8014 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff59.xml |
MD5SUM | 1df56f74b1b4f47dde22644efb181f33 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 242 |
Best CPU time to get the best result obtained on this benchmark | 14.6025 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 362 |
Number of constraints | 353 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":11},{"size":25,"count":33},{"size":26,"count":318}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":352},{"degree":33,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":2,"count":320},{"arity":10,"count":1},{"arity":11,"count":32}] |
Number of extensional constraints | 320 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":320},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400031-1568712614.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400031-1568712614.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.13/1.16 c solve instance... 5.31/1.40 o 5942 9.01/1.87 o 5780 9.01/1.87 o 961 9.76/1.92 o 339 17.35/3.50 o 309 18.12/3.50 o 291 18.12/3.55 o 288 18.76/3.68 o 278 19.52/3.77 o 274 19.52/3.80 o 271 21.02/3.97 o 263 32.05/5.39 o 253 54.23/8.17 o 245 54.23/8.17 o 242 90.60/12.78 s OPTIMUM FOUND 90.60/12.78 v <instantiation> 90.60/12.78 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 90.60/12.78 v <values>23 62 95 122 209 467 512 548 606 661 114 75 42 15 72 330 375 411 469 524 27 12 45 72 159 417 462 498 556 611 99 60 27 0 87 345 390 426 484 539 99 60 27 0 87 345 390 426 484 539 64 25 8 35 122 380 425 461 519 574 58 19 14 41 128 386 431 467 525 580 164 125 92 65 22 280 325 361 419 474 35 4 37 64 151 409 454 490 548 603 137 98 65 38 49 307 352 388 446 501 75 36 3 24 111 369 414 450 508 563 72 33 0 27 114 372 417 453 511 566 2 37 70 97 184 442 487 523 581 636 0 39 72 99 186 444 489 525 583 638 688 649 616 589 502 244 199 163 105 50 18 21 54 81 168 426 471 507 565 620 489 450 417 390 303 45 0 36 94 149 489 450 417 390 303 45 0 36 94 149 81 42 9 18 105 363 408 444 502 557 44 5 28 55 142 400 445 481 539 594 638 599 566 539 452 194 149 113 55 0 638 599 566 539 452 194 149 113 55 0 444 405 372 345 258 0 45 81 139 194 444 405 372 345 258 0 45 81 139 194 215 176 143 116 29 229 274 310 368 423 39 0 33 60 147 405 450 486 544 599 39 0 33 60 147 405 450 486 544 599 583 544 511 484 397 139 94 58 0 55 583 544 511 484 397 139 94 58 0 55 186 147 114 87 0 258 303 339 397 452 11 50 83 110 197 455 500 536 594 649 525 486 453 426 339 81 36 0 58 113 523 484 451 424 337 79 34 2 60 115 15 12 0 0 8 14 22 4 38 3 0 2 0 50 18 0 0 9 5 0 0 0 0 29 0 0 0 0 0 11 0 2 </values> 90.60/12.78 v </instantiation>
OK 242
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 (14606 MiB free) memory of node 1: 16384 MiB (15754 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400031-1568712614/watcher-4400031-1568712614 -o /tmp/evaluation-result-4400031-1568712614/solver-4400031-1568712614 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 98255110 HOME/instance-4400031-1568712614.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=26773, runsolver pid=26770 [startup+0.100177 s]* /proc/loadavg: 7.39 6.42 7.26 3/211 26794 /proc/meminfo: memFree=31072240/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28227396 memory=28908 CPUtime=0.12 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 5711 0 0 0 11 1 0 0 20 0 20 0 447530243 28904853504 7227 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7056849 7227 3118 1 0 7019032 0 [pid=26775/tid=26776] ppid=26773 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) R 26773 26773 24283 0 -1 4202560 3608 0 0 0 8 1 0 0 20 0 20 0 447530243 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086695856928 140086691634582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28227396 memory=139663291410048 CPUtime=0 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26780] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26780/stat : 26780 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086608317072 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26781] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26781/stat : 26781 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086607264528 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26782] ppid=26773 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26782/stat : 26782 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086606211984 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26783] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26783/stat : 26783 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086605159440 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26784] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26784/stat : 26784 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086604106896 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26785] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26785/stat : 26785 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530245 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086125504496 140086691633794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26786] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26786/stat : 26786 (java) S 26773 26773 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447530246 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086124450720 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26787] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26787/stat : 26787 (java) S 26773 26773 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447530246 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086123398128 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26788] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26788/stat : 26788 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086122346704 140086691641243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26789] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26789/stat : 26789 (java) S 26773 26773 24283 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086121294320 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26790] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26790/stat : 26790 (java) S 26773 26773 24283 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086120241776 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26791] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26791/stat : 26791 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086119189232 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26792] ppid=26773 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26775/task/26792/stat : 26792 (java) R 26773 26773 24283 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 447530249 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086118136688 140086683859774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26793] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26793/stat : 26793 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530249 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086117083360 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26794] ppid=26773 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26794/stat : 26794 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530249 28904853504 7227 33554432000 4194304 4196468 140725509364240 140086116030896 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30360 KiB [startup+0.210465 s]* /proc/loadavg: 7.39 6.42 7.26 3/211 26794 /proc/meminfo: memFree=31060588/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28227396 memory=41064 CPUtime=0.34 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 9522 0 0 0 31 3 0 0 20 0 20 0 447530243 28904853504 10266 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7056849 10266 3307 1 0 7019032 0 [pid=26775/tid=26776] ppid=26773 vsize=28227396 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) R 26773 26773 24283 0 -1 4202560 6638 0 0 0 17 2 0 0 20 0 20 0 447530243 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086695855824 140086691634582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28227396 memory=288370039443121792 CPUtime=0 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26780] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26780/stat : 26780 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086608317072 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26781] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26781/stat : 26781 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086607264528 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26782] ppid=26773 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26782/stat : 26782 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086606211984 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26783] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26783/stat : 26783 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086605159440 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26784] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26784/stat : 26784 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530244 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086604106896 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26785] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26785/stat : 26785 (java) S 26773 26773 24283 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447530245 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086125504496 140086691633794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26786] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26786/stat : 26786 (java) S 26773 26773 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447530246 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086124450720 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26787] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26787/stat : 26787 (java) S 26773 26773 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447530246 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086123398128 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26788] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26788/stat : 26788 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086122346704 140086691641243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26789] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26789/stat : 26789 (java) R 26773 26773 24283 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 447530248 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086121294320 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26790] ppid=26773 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26775/task/26790/stat : 26790 (java) S 26773 26773 24283 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 20 0 447530248 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086120241776 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26791] ppid=26773 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26775/task/26791/stat : 26791 (java) S 26773 26773 24283 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 20 0 447530248 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086119189232 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26792] ppid=26773 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/26775/task/26792/stat : 26792 (java) R 26773 26773 24283 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 20 0 447530249 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086118136496 140086691634582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26793] ppid=26773 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26793/stat : 26793 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530249 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086117083360 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26794] ppid=26773 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26794/stat : 26794 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530249 28904853504 10266 33554432000 4194304 4196468 140725509364240 140086116030896 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42516 KiB [startup+0.31019 s]* /proc/loadavg: 7.39 6.42 7.26 5/211 26794 /proc/meminfo: memFree=31052948/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28231652 memory=50132 CPUtime=0.53 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 10908 0 0 0 49 4 0 0 20 0 20 0 447530243 28909211648 12533 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7057913 12533 3366 1 0 7019032 0 [pid=26775/tid=26776] ppid=26773 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) R 26773 26773 24283 0 -1 4202560 7799 0 0 0 27 3 0 0 20 0 20 0 447530243 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086695856112 140086675703134 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26780] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26780/stat : 26780 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086608317072 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26781] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26781/stat : 26781 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086607264528 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26782] ppid=26773 vsize=28231652 memory=139663142644399 CPUtime=0 cores=0-7 /proc/26775/task/26782/stat : 26782 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086606211984 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26783] ppid=26773 vsize=28231652 memory=139663142646704 CPUtime=0 cores=0-7 /proc/26775/task/26783/stat : 26783 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086605159440 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26784] ppid=26773 vsize=28231652 memory=139663142649008 CPUtime=0 cores=0-7 /proc/26775/task/26784/stat : 26784 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530244 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086604106896 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26785] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26785/stat : 26785 (java) S 26773 26773 24283 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447530245 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086125504496 140086691633794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26786] ppid=26773 vsize=28231652 memory=279326285311888 CPUtime=0 cores=0-7 /proc/26775/task/26786/stat : 26786 (java) S 26773 26773 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447530246 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086124450720 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26787] ppid=26773 vsize=28231652 memory=279326285309584 CPUtime=0 cores=0-7 /proc/26775/task/26787/stat : 26787 (java) S 26773 26773 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447530246 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086123398128 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26788] ppid=26773 vsize=28231652 memory=279326285316496 CPUtime=0 cores=0-7 /proc/26775/task/26788/stat : 26788 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530248 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086122346704 140086691641243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26789] ppid=26773 vsize=28231652 memory=279326285257776 CPUtime=0.01 cores=0-7 /proc/26775/task/26789/stat : 26789 (java) S 26773 26773 24283 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 447530248 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086121294320 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26790] ppid=26773 vsize=28231652 memory=279326285330320 CPUtime=0.04 cores=0-7 /proc/26775/task/26790/stat : 26790 (java) R 26773 26773 24283 0 -1 4202560 319 0 0 0 4 0 0 0 20 0 20 0 447530248 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086120232160 140086673167922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26791] ppid=26773 vsize=28231652 memory=279326285337232 CPUtime=0.03 cores=0-7 /proc/26775/task/26791/stat : 26791 (java) S 26773 26773 24283 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 20 0 447530248 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086119189232 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26792] ppid=26773 vsize=28231652 memory=279326285334928 CPUtime=0.13 cores=0-7 /proc/26775/task/26792/stat : 26792 (java) S 26773 26773 24283 0 -1 1077944384 855 0 0 0 13 0 0 0 20 0 20 0 447530249 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086118136688 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26793] ppid=26773 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26793/stat : 26793 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447530249 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086117083360 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26794] ppid=26773 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26775/task/26794/stat : 26794 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530249 28909211648 12533 33554432000 4194304 4196468 140725509364240 140086116030896 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51584 KiB [startup+0.700968 s] /proc/loadavg: 7.39 6.42 7.26 4/211 26794 /proc/meminfo: memFree=31038620/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28233776 memory=179000 CPUtime=1.77 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 15413 0 0 0 169 8 0 0 20 0 20 0 447530243 28911386624 44750 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7058444 44750 3458 1 0 7019544 0 [pid=26775/tid=26776] ppid=26773 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) R 26773 26773 24283 0 -1 4202560 9208 0 0 0 62 5 0 0 20 0 20 0 447530243 28911386624 44750 33554432000 4194304 4196468 140725509364240 140086695860720 140086284525829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447530244 28911386624 44750 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28911386624 44750 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28233776 memory=1428 CPUtime=0 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447530244 28911386624 44750 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 ################ # More data... # ################ [pid=26775/tid=26892] ppid=26773 vsize=28768336 memory=15823283127847325 CPUtime=0.78 cores=0-7 /proc/26775/task/26892/stat : 26892 (java) R 26773 26773 24283 0 -1 4202560 21 0 0 0 78 0 0 0 20 0 28 0 447530782 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086101548864 140086291359601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26893] ppid=26773 vsize=28768336 memory=0 CPUtime=0.72 cores=0-7 /proc/26775/task/26893/stat : 26893 (java) R 26773 26773 24283 0 -1 4202560 53 0 0 0 72 0 0 0 20 0 28 0 447530782 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086100498848 140086288007135 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26894] ppid=26773 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7 /proc/26775/task/26894/stat : 26894 (java) R 26773 26773 24283 0 -1 4202560 28 0 0 0 82 0 0 0 20 0 28 0 447530786 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086099443520 140086289625693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26895] ppid=26773 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7 /proc/26775/task/26895/stat : 26895 (java) R 26773 26773 24283 0 -1 4202560 19 0 0 0 79 0 0 0 20 0 28 0 447530786 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086104707176 140086289501104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26896] ppid=26773 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7 /proc/26775/task/26896/stat : 26896 (java) R 26773 26773 24283 0 -1 4202560 19 0 0 0 69 0 0 0 20 0 28 0 447530786 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086106817448 140086288135098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26897] ppid=26773 vsize=28768336 memory=1452 CPUtime=0.85 cores=0-7 /proc/26775/task/26897/stat : 26897 (java) R 26773 26773 24283 0 -1 4202560 19 0 0 0 85 0 0 0 20 0 28 0 447530786 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086102600896 140086287431028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26898] ppid=26773 vsize=28768336 memory=841484 CPUtime=0.85 cores=0-7 /proc/26775/task/26898/stat : 26898 (java) R 26773 26773 24283 0 -1 4202560 19 0 0 0 85 0 0 0 20 0 28 0 447530786 29458776064 210406 33554432000 4194304 4196468 140725509364240 140086105758416 140086288007140 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 39.83 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 843076 KiB [startup+12.7017 s] /proc/loadavg: 6.78 6.32 7.22 9/219 26914 /proc/meminfo: memFree=30258772/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28768336 memory=844032 CPUtime=90.6 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 99656 0 0 0 8891 169 0 0 20 0 28 0 447530243 29458776064 211008 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7192084 211008 3546 1 0 7153184 0 [pid=26775/tid=26776] ppid=26773 vsize=28768336 memory=164 CPUtime=0.98 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) S 26773 26773 24283 0 -1 1077944384 9770 0 0 0 91 7 0 0 20 0 28 0 447530243 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086695863424 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28768336 memory=0 CPUtime=0.63 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2353 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28768336 memory=279326285618688 CPUtime=0.63 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 2571 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28768336 memory=279326285982512 CPUtime=0.62 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 2333 0 0 0 46 16 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26780] ppid=26773 vsize=28768336 memory=3472467959303708944 CPUtime=0.62 cores=0-7 /proc/26775/task/26780/stat : 26780 (java) S 26773 26773 24283 0 -1 1077944384 2318 0 0 0 47 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086608317072 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26781] ppid=26773 vsize=28768336 memory=3184237583219165024 CPUtime=0.65 cores=0-7 /proc/26775/task/26781/stat : 26781 (java) S 26773 26773 24283 0 -1 1077944384 2593 0 0 0 49 16 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086607264528 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26782] ppid=26773 vsize=28768336 memory=1452 CPUtime=0.61 cores=0-7 /proc/26775/task/26782/stat : 26782 (java) S 26773 26773 24283 0 -1 1077944384 2755 0 0 0 47 14 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086606211984 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26783] ppid=26773 vsize=28768336 memory=829400 CPUtime=0.62 cores=0-7 /proc/26775/task/26783/stat : 26783 (java) S 26773 26773 24283 0 -1 1077944384 2467 0 0 0 47 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086605159440 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26784] ppid=26773 vsize=28768336 memory=1452 CPUtime=0.63 cores=0-7 /proc/26775/task/26784/stat : 26784 (java) S 26773 26773 24283 0 -1 1077944384 2432 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086604106896 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26785] ppid=26773 vsize=28768336 memory=3620 CPUtime=0.02 cores=0-7 /proc/26775/task/26785/stat : 26785 (java) S 26773 26773 24283 0 -1 1077944384 1129 0 0 0 2 0 0 0 20 0 28 0 447530245 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086125504496 140086691633794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26786] ppid=26773 vsize=28768336 memory=47792 CPUtime=0 cores=0-7 /proc/26775/task/26786/stat : 26786 (java) S 26773 26773 24283 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447530246 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086124450784 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26787] ppid=26773 vsize=28768336 memory=62 CPUtime=0 cores=0-7 /proc/26775/task/26787/stat : 26787 (java) S 26773 26773 24283 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447530246 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086123398144 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26788] ppid=26773 vsize=28768336 memory=62 CPUtime=0 cores=0-7 /proc/26775/task/26788/stat : 26788 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086122346704 140086691641243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26789] ppid=26773 vsize=28768336 memory=139663143528561 CPUtime=2.53 cores=0-7 /proc/26775/task/26789/stat : 26789 (java) S 26773 26773 24283 0 -1 1077944384 8842 0 0 0 251 2 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086121294320 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26790] ppid=26773 vsize=28768336 memory=6935649255759569749 CPUtime=2.33 cores=0-7 /proc/26775/task/26790/stat : 26790 (java) S 26773 26773 24283 0 -1 1077944384 8629 0 0 0 230 3 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086120241776 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26791] ppid=26773 vsize=28768336 memory=279326286208000 CPUtime=2.64 cores=0-7 /proc/26775/task/26791/stat : 26791 (java) S 26773 26773 24283 0 -1 1077944384 10226 0 0 0 262 2 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086119189232 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26792] ppid=26773 vsize=28768336 memory=279326286274784 CPUtime=0.91 cores=0-7 /proc/26775/task/26792/stat : 26792 (java) S 26773 26773 24283 0 -1 1077944384 6368 0 0 0 88 3 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086118136688 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26793] ppid=26773 vsize=28768336 memory=844008 CPUtime=0 cores=0-7 /proc/26775/task/26793/stat : 26793 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086117083360 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26794] ppid=26773 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26794/stat : 26794 (java) S 26773 26773 24283 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086116030896 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26907] ppid=26773 vsize=28768336 memory=0 CPUtime=4.38 cores=0-7 /proc/26775/task/26907/stat : 26907 (java) R 26773 26773 24283 0 -1 4202560 5415 0 0 0 437 1 0 0 20 0 28 0 447531060 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086099442056 140086291359692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26908] ppid=26773 vsize=28768336 memory=0 CPUtime=4.51 cores=0-7 /proc/26775/task/26908/stat : 26908 (java) R 26773 26773 24283 0 -1 4202560 376 0 0 0 451 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086104707144 140086288007206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26909] ppid=26773 vsize=28768336 memory=0 CPUtime=4.5 cores=0-7 /proc/26775/task/26909/stat : 26909 (java) R 26773 26773 24283 0 -1 4202560 1429 0 0 0 450 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086103654136 140086287431157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26910] ppid=26773 vsize=28768336 memory=0 CPUtime=4.49 cores=0-7 /proc/26775/task/26910/stat : 26910 (java) R 26773 26773 24283 0 -1 4202560 2778 0 0 0 448 1 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086106812712 140086290433835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26911] ppid=26773 vsize=28768336 memory=1452 CPUtime=4.47 cores=0-7 /proc/26775/task/26911/stat : 26911 (java) R 26773 26773 24283 0 -1 4202560 6071 0 0 0 445 2 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086102602152 140086673028922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26912] ppid=26773 vsize=28768336 memory=1452 CPUtime=4.51 cores=0-7 /proc/26775/task/26912/stat : 26912 (java) R 26773 26773 24283 0 -1 4202560 505 0 0 0 451 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086101549360 140086289501104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26913] ppid=26773 vsize=28768336 memory=844032 CPUtime=4.43 cores=0-7 /proc/26775/task/26913/stat : 26913 (java) R 26773 26773 24283 0 -1 4202560 1720 0 0 0 442 1 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086105758952 140086289501112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26914] ppid=26773 vsize=28768336 memory=1412 CPUtime=4.46 cores=0-7 /proc/26775/task/26914/stat : 26914 (java) R 26773 26773 24283 0 -1 4202560 379 0 0 0 446 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086100495824 140086287430853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 90.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 845484 KiB [startup+12.8013 s] # the end of solver process 26773 was just reported to runsolver # cumulated CPU time of all completed processes: user=89.539 s, system=1.71427 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.7017 s] /proc/loadavg: 6.78 6.32 7.22 9/219 26914 /proc/meminfo: memFree=30258772/32770624 swapFree=66922860/67108860 [pid=26773] ppid=26770 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26773/stat : 26773 (xcsp3-exec) S 26770 26773 24283 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447530242 115843072 363 33554432000 4194304 5098028 140725158127168 140725158125272 140429347725948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12517376 140725158134653 140725158134894 140725158134894 140725158137802 0 /proc/26773/statm: 28282 363 304 221 0 87 0 [pid=26775] ppid=26773 vsize=28768336 memory=844032 CPUtime=90.6 cores=0-7 /proc/26775/stat : 26775 (java) S 26773 26773 24283 0 -1 1077944320 99656 0 0 0 8891 169 0 0 20 0 28 0 447530243 29458776064 211008 33554432000 4194304 4196468 140725509364240 140725509346784 140086691622647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 /proc/26775/statm: 7192084 211008 3546 1 0 7153184 0 [pid=26775/tid=26776] ppid=26773 vsize=28768336 memory=164 CPUtime=0.98 cores=0-7 /proc/26775/task/26776/stat : 26776 (java) S 26773 26773 24283 0 -1 1077944384 9770 0 0 0 91 7 0 0 20 0 28 0 447530243 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086695863424 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26777] ppid=26773 vsize=28768336 memory=0 CPUtime=0.63 cores=0-7 /proc/26775/task/26777/stat : 26777 (java) S 26773 26773 24283 0 -1 1077944384 2353 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086611474704 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26778] ppid=26773 vsize=28768336 memory=279326285618688 CPUtime=0.63 cores=0-7 /proc/26775/task/26778/stat : 26778 (java) S 26773 26773 24283 0 -1 1077944384 2571 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086610422160 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26779] ppid=26773 vsize=28768336 memory=279326285982512 CPUtime=0.62 cores=0-7 /proc/26775/task/26779/stat : 26779 (java) S 26773 26773 24283 0 -1 1077944384 2333 0 0 0 46 16 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086609369616 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26780] ppid=26773 vsize=28768336 memory=3472467959303708944 CPUtime=0.62 cores=0-7 /proc/26775/task/26780/stat : 26780 (java) S 26773 26773 24283 0 -1 1077944384 2318 0 0 0 47 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086608317072 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26781] ppid=26773 vsize=28768336 memory=3184237583219165024 CPUtime=0.65 cores=0-7 /proc/26775/task/26781/stat : 26781 (java) S 26773 26773 24283 0 -1 1077944384 2593 0 0 0 49 16 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086607264528 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26782] ppid=26773 vsize=28768336 memory=1452 CPUtime=0.61 cores=0-7 /proc/26775/task/26782/stat : 26782 (java) S 26773 26773 24283 0 -1 1077944384 2755 0 0 0 47 14 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086606211984 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26783] ppid=26773 vsize=28768336 memory=829400 CPUtime=0.62 cores=0-7 /proc/26775/task/26783/stat : 26783 (java) S 26773 26773 24283 0 -1 1077944384 2467 0 0 0 47 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086605159440 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26784] ppid=26773 vsize=28768336 memory=1452 CPUtime=0.63 cores=0-7 /proc/26775/task/26784/stat : 26784 (java) S 26773 26773 24283 0 -1 1077944384 2432 0 0 0 48 15 0 0 20 0 28 0 447530244 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086604106896 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26785] ppid=26773 vsize=28768336 memory=3620 CPUtime=0.02 cores=0-7 /proc/26775/task/26785/stat : 26785 (java) S 26773 26773 24283 0 -1 1077944384 1129 0 0 0 2 0 0 0 20 0 28 0 447530245 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086125504496 140086691633794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26786] ppid=26773 vsize=28768336 memory=47792 CPUtime=0 cores=0-7 /proc/26775/task/26786/stat : 26786 (java) S 26773 26773 24283 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447530246 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086124450784 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26787] ppid=26773 vsize=28768336 memory=62 CPUtime=0 cores=0-7 /proc/26775/task/26787/stat : 26787 (java) S 26773 26773 24283 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447530246 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086123398144 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26788] ppid=26773 vsize=28768336 memory=62 CPUtime=0 cores=0-7 /proc/26775/task/26788/stat : 26788 (java) S 26773 26773 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086122346704 140086691641243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26789] ppid=26773 vsize=28768336 memory=139663143528561 CPUtime=2.53 cores=0-7 /proc/26775/task/26789/stat : 26789 (java) S 26773 26773 24283 0 -1 1077944384 8842 0 0 0 251 2 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086121294320 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26790] ppid=26773 vsize=28768336 memory=6935649255759569749 CPUtime=2.33 cores=0-7 /proc/26775/task/26790/stat : 26790 (java) S 26773 26773 24283 0 -1 1077944384 8629 0 0 0 230 3 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086120241776 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26791] ppid=26773 vsize=28768336 memory=279326286208000 CPUtime=2.64 cores=0-7 /proc/26775/task/26791/stat : 26791 (java) S 26773 26773 24283 0 -1 1077944384 10226 0 0 0 262 2 0 0 20 0 28 0 447530248 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086119189232 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26792] ppid=26773 vsize=28768336 memory=279326286274784 CPUtime=0.91 cores=0-7 /proc/26775/task/26792/stat : 26792 (java) S 26773 26773 24283 0 -1 1077944384 6368 0 0 0 88 3 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086118136688 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26793] ppid=26773 vsize=28768336 memory=844008 CPUtime=0 cores=0-7 /proc/26775/task/26793/stat : 26793 (java) S 26773 26773 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086117083360 140086691632853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26794] ppid=26773 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/26775/task/26794/stat : 26794 (java) S 26773 26773 24283 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 28 0 447530249 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086116030896 140086691633794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26907] ppid=26773 vsize=28768336 memory=0 CPUtime=4.38 cores=0-7 /proc/26775/task/26907/stat : 26907 (java) R 26773 26773 24283 0 -1 4202560 5415 0 0 0 437 1 0 0 20 0 28 0 447531060 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086099442056 140086291359692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26908] ppid=26773 vsize=28768336 memory=0 CPUtime=4.51 cores=0-7 /proc/26775/task/26908/stat : 26908 (java) R 26773 26773 24283 0 -1 4202560 376 0 0 0 451 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086104707144 140086288007206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26909] ppid=26773 vsize=28768336 memory=0 CPUtime=4.5 cores=0-7 /proc/26775/task/26909/stat : 26909 (java) R 26773 26773 24283 0 -1 4202560 1429 0 0 0 450 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086103654136 140086287431157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26910] ppid=26773 vsize=28768336 memory=0 CPUtime=4.49 cores=0-7 /proc/26775/task/26910/stat : 26910 (java) R 26773 26773 24283 0 -1 4202560 2778 0 0 0 448 1 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086106812712 140086290433835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26911] ppid=26773 vsize=28768336 memory=1452 CPUtime=4.47 cores=0-7 /proc/26775/task/26911/stat : 26911 (java) R 26773 26773 24283 0 -1 4202560 6071 0 0 0 445 2 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086102602152 140086673028922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26912] ppid=26773 vsize=28768336 memory=1452 CPUtime=4.51 cores=0-7 /proc/26775/task/26912/stat : 26912 (java) R 26773 26773 24283 0 -1 4202560 505 0 0 0 451 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086101549360 140086289501104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26913] ppid=26773 vsize=28768336 memory=844032 CPUtime=4.43 cores=0-7 /proc/26775/task/26913/stat : 26913 (java) R 26773 26773 24283 0 -1 4202560 1720 0 0 0 442 1 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086105758952 140086289501112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 [pid=26775/tid=26914] ppid=26773 vsize=28768336 memory=1412 CPUtime=4.46 cores=0-7 /proc/26775/task/26914/stat : 26914 (java) R 26773 26773 24283 0 -1 4202560 379 0 0 0 446 0 0 0 20 0 28 0 447531061 29458776064 211008 33554432000 4194304 4196468 140725509364240 140086100495824 140086287430853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140725509370864 140725509371035 140725509371035 140725509373903 0 Current children cumulated CPU time: 90.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 845484 KiB Child status: 0 Real time (s): 12.8014 CPU time (s): 91.2533 CPU user time (s): 89.539 CPU system time (s): 1.71427 CPU usage (%): 712.839 Max. virtual memory (cumulated for all children) (KiB): 28883552 Max. memory (cumulated for all children) (KiB): 847496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.539 system time used= 1.71427 maximum resident set size= 846500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102155 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7018 involuntary context switches= 1710 # summary of solver processes directly reported to runsolver: # pid: 26773 # total CPU time (s): 91.2533 # total CPU user time (s): 89.539 # total CPU system time (s): 1.71427 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.144147 second user time and 0.166155 second system time The end
Begin job on node139 at 2019-09-17 11:32:08 IDJOB=4400031 IDBENCH=138310 IDSOLVER=2855 FILE ID=node139/4400031-1568712614 RUNJOBID= node139-1568702605-24310 PBS_JOBID= 21703917 Free space on /tmp= 59556 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff59.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-4400031-1568712614/watcher-4400031-1568712614 -o /tmp/evaluation-result-4400031-1568712614/solver-4400031-1568712614 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 98255110 HOME/instance-4400031-1568712614.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1df56f74b1b4f47dde22644efb181f33 RANDOM SEED=98255110 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: 31088868 kB MemAvailable: 31824120 kB Buffers: 131476 kB Cached: 895360 kB SwapCached: 78124 kB Active: 633124 kB Inactive: 476544 kB Active(anon): 7864 kB Inactive(anon): 118256 kB Active(file): 625260 kB Inactive(file): 358288 kB Unevictable: 107692 kB Mlocked: 107692 kB SwapTotal: 67108860 kB SwapFree: 66922860 kB Dirty: 26436 kB Writeback: 0 kB AnonPages: 112172 kB Mapped: 48296 kB Shmem: 34768 kB Slab: 164096 kB SReclaimable: 135076 kB SUnreclaim: 29020 kB KernelStack: 3440 kB PageTables: 5944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 59532 MiB End job on node139 at 2019-09-17 11:32:21