Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 63 | 30.7255 | 5.08276 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml |
MD5SUM | 0deffa9f0e673ce4a3cf2d2074b556a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 10.0361 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 560 |
Number of constraints | 545 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":544},{"degree":33,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}] |
Number of extensional constraints | 512 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":512},{"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-4399737-1568713260.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399737-1568713260.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 8.30/1.79 c solve instance... 15.65/3.06 o 670 15.65/3.08 o 393 15.65/3.08 o 193 16.26/3.14 o 189 16.26/3.16 o 139 17.68/3.31 o 128 17.68/3.38 o 118 18.45/3.50 o 113 19.11/3.50 o 103 19.11/3.51 o 101 19.11/3.54 o 89 19.11/3.56 o 86 19.81/3.67 o 82 19.81/3.69 o 80 22.93/4.09 o 76 24.40/4.24 o 75 25.09/4.32 o 69 25.09/4.34 o 67 25.09/4.37 o 63 30.49/5.05 s OPTIMUM FOUND 30.49/5.05 v <instantiation> 30.49/5.05 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] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] 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> 30.49/5.05 v <values>23 50 62 87 98 122 160 187 209 238 467 512 548 606 661 711 114 87 75 50 39 15 23 50 72 101 330 375 411 469 524 574 27 0 12 37 48 72 110 137 159 188 417 462 498 556 611 661 99 72 60 35 24 0 38 65 87 116 345 390 426 484 539 589 99 72 60 35 24 0 38 65 87 116 345 390 426 484 539 589 64 37 25 0 11 35 73 100 122 151 380 425 461 519 574 624 58 31 19 6 17 41 79 106 128 157 386 431 467 525 580 630 164 137 125 100 89 65 27 0 22 51 280 325 361 419 474 524 35 8 4 29 40 64 102 129 151 180 409 454 490 548 603 653 137 110 98 73 62 38 0 27 49 78 307 352 388 446 501 551 75 48 36 11 0 24 62 89 111 140 369 414 450 508 563 613 72 45 33 8 3 27 65 92 114 143 372 417 453 511 566 616 2 25 37 62 73 97 135 162 184 213 442 487 523 581 636 686 0 27 39 64 75 99 137 164 186 215 444 489 525 583 638 688 688 661 649 624 613 589 551 524 502 473 244 199 163 105 50 0 18 9 21 46 57 81 119 146 168 197 426 471 507 565 620 670 489 462 450 425 414 390 352 325 303 274 45 0 36 94 149 199 489 462 450 425 414 390 352 325 303 274 45 0 36 94 149 199 81 54 42 17 6 18 56 83 105 134 363 408 444 502 557 607 44 17 5 20 31 55 93 120 142 171 400 445 481 539 594 644 638 611 599 574 563 539 501 474 452 423 194 149 113 55 0 50 638 611 599 574 563 539 501 474 452 423 194 149 113 55 0 50 444 417 405 380 369 345 307 280 258 229 0 45 81 139 194 244 444 417 405 380 369 345 307 280 258 229 0 45 81 139 194 244 215 188 176 151 140 116 78 51 29 0 229 274 310 368 423 473 39 12 0 25 36 60 98 125 147 176 405 450 486 544 599 649 39 12 0 25 36 60 98 125 147 176 405 450 486 544 599 649 583 556 544 519 508 484 446 419 397 368 139 94 58 0 55 105 583 556 544 519 508 484 446 419 397 368 139 94 58 0 55 105 186 159 147 122 111 87 49 22 0 29 258 303 339 397 452 502 11 38 50 75 86 110 148 175 197 226 455 500 536 594 649 699 525 498 486 461 450 426 388 361 339 310 81 36 0 58 113 163 523 496 484 459 448 424 386 359 337 308 79 34 2 60 115 165 15 0 0 0 0 6 0 4 0 0 3 2 0 0 9 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 0 2 </values> 30.49/5.05 v </instantiation>
OK 63
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 (15122 MiB free) memory of node 1: 16384 MiB (15327 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399737-1568713260/watcher-4399737-1568713260 -o /tmp/evaluation-result-4399737-1568713260/solver-4399737-1568713260 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 240247791 HOME/instance-4399737-1568713260.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 threadver pid=23836ack expansion will fail Current StackSize limit: 8192 KiB [startup+0.100062 s]* /proc/loadavg: 7.07 8.01 8.19 3/211 23860 /proc/meminfo: memFree=31165476/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28227396 memory=27348 CPUtime=0.12 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 5828 0 0 0 11 1 0 0 20 0 20 0 447584216 28904853504 6837 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7056849 6837 3121 1 0 7019032 0 [pid=23841/tid=23842] ppid=23839 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) R 23839 23839 22588 0 -1 4202560 3660 0 0 0 8 0 0 0 20 0 20 0 447584217 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717594687600 140717574497637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28227396 memory=139941030348416 CPUtime=0 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23846] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23846/stat : 23846 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717138230160 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23847] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23847/stat : 23847 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717137177104 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23848] ppid=23839 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23848/stat : 23848 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717136124560 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23849] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23849/stat : 23849 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717135071504 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23850] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584219 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447584219 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717090432672 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447584220 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717089379568 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) S 23839 23839 22588 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716970993904 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) R 23839 23839 22588 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716969941360 140717590465154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716968888304 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) R 23839 23839 22588 0 -1 4202560 428 0 0 0 2 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716967835760 140717574630144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584223 28904853504 6837 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28804 KiB [startup+0.210539 s]* /proc/loadavg: 7.07 8.01 8.19 3/211 23860 /proc/meminfo: memFree=31151208/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28227396 memory=39820 CPUtime=0.34 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 9762 0 0 0 31 3 0 0 20 0 20 0 447584216 28904853504 9955 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7056849 9955 3300 1 0 7019032 0 [pid=23841/tid=23842] ppid=23839 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) R 23839 23839 22588 0 -1 4202560 6710 0 0 0 18 2 0 0 20 0 20 0 447584217 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717594683728 140717227326600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28227396 memory=139941033522217 CPUtime=0 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584217 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23846] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23846/stat : 23846 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717138230160 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23847] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23847/stat : 23847 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717137177104 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23848] ppid=23839 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23848/stat : 23848 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717136124560 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23849] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23849/stat : 23849 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717135071504 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23850] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447584219 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447584219 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717090432672 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447584220 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717089379568 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) S 23839 23839 22588 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716970993904 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) S 23839 23839 22588 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716969941360 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) S 23839 23839 22588 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716968888304 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) S 23839 23839 22588 0 -1 1077944384 920 0 0 0 7 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716967835760 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584222 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584223 28904853504 9955 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41276 KiB [startup+0.314209 s]* /proc/loadavg: 7.07 8.01 8.19 4/211 23860 /proc/meminfo: memFree=31143700/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28231652 memory=49612 CPUtime=0.53 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 11310 0 0 0 49 4 0 0 20 0 20 0 447584216 28909211648 12403 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7057913 12403 3362 1 0 7019032 0 [pid=23841/tid=23842] ppid=23839 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) R 23839 23839 22588 0 -1 4202560 7892 0 0 0 28 2 0 0 20 0 20 0 447584217 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717594685120 140717574534494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584217 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584217 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584217 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23846] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23846/stat : 23846 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717138230160 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23847] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23847/stat : 23847 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717137177104 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23848] ppid=23839 vsize=28231652 memory=139940906232495 CPUtime=0 cores=0-7 /proc/23841/task/23848/stat : 23848 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584218 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717136124560 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23849] ppid=23839 vsize=28231652 memory=139940906234800 CPUtime=0 cores=0-7 /proc/23841/task/23849/stat : 23849 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584218 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717135071504 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23850] ppid=23839 vsize=28231652 memory=139940906237104 CPUtime=0 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584218 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447584219 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28231652 memory=279881812488080 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447584219 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717090432672 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28231652 memory=279881812485776 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447584220 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717089379568 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28231652 memory=279881812492688 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584222 28909211648 12403 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28231652 memory=279881812433968 CPUtime=0.01 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) S 23839 23839 22588 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 447584222 28909211648 12403 33554432000 4194304 4196468 140722866566592 140716970993904 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28231652 memory=279881812506512 CPUtime=0.03 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) S 23839 23839 22588 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 20 0 447584222 28909211648 12403 33554432000 4194304 4196468 140722866566592 140716969941360 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28231652 memory=279881812513424 CPUtime=0.03 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) R 23839 23839 22588 0 -1 4202560 365 0 0 0 3 0 0 0 20 0 20 0 447584222 28909211648 12403 33554432000 4194304 4196468 140722866566592 140716968869320 140717575380419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28231652 memory=279881812511120 CPUtime=0.12 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) S 23839 23839 22588 0 -1 1077944384 1097 0 0 0 12 0 0 0 20 0 20 0 447584222 28909211648 12468 33554432000 4194304 4196468 140722866566592 140716967835760 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584222 28909211648 12468 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584223 28909211648 12468 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51068 KiB [startup+0.706964 s] /proc/loadavg: 7.07 8.01 8.19 4/211 23860 /proc/meminfo: memFree=31126332/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28233776 memory=171736 CPUtime=1.76 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 16215 0 0 0 168 8 0 0 20 0 20 0 447584216 28911386624 42934 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7058444 42934 3455 1 0 7019544 0 [pid=23841/tid=23842] ppid=23839 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) R 23839 23839 22588 0 -1 4202560 9299 0 0 0 64 4 0 0 20 0 20 0 447584217 28911386624 42934 33554432000 4194304 4196468 140722866566592 140717594690880 140717227326746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28233776 memory=139940906443632 CPUtime=0 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447584217 28911386624 42934 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447584217 28911386624 42934 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447584217 28911386624 42934 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 ################ # More data... # ################ [pid=23841/tid=23850] ppid=23839 vsize=28768336 memory=1399943076115485043 CPUtime=1.26 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2687 0 0 0 102 24 0 0 20 0 28 0 447584218 29458776064 288544 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 1042 0 0 0 3 0 0 0 20 0 28 0 447584219 29458776064 288544 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28768336 memory=7161937514991101556 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447584219 29458776064 288544 33554432000 4194304 4196468 140722866566592 140717090432736 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28768336 memory=7377828830735015802 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447584220 29458776064 288544 33554432000 4194304 4196468 140722866566592 140717089379584 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28768336 memory=7228383240335958387 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28768336 memory=4049334406416119346 CPUtime=1.44 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) R 23839 23839 22588 0 -1 4202560 3878 0 0 0 143 1 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716970980336 140717575362911 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28768336 memory=279881812472928 CPUtime=1.63 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) R 23839 23839 22588 0 -1 4202560 3871 0 0 0 162 1 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716969926512 140717573939920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28768336 memory=29699778526 CPUtime=1.34 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) R 23839 23839 22588 0 -1 1077944384 3153 0 0 0 133 1 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716968874640 140717590475197 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28768336 memory=7372762371226690400 CPUtime=0.83 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) S 23839 23839 22588 0 -1 1077944384 4143 0 0 0 81 2 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716967835760 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28768336 memory=2319416700110845238 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28768336 memory=3472328296227680299 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447584223 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23973] ppid=23839 vsize=28768336 memory=2321663019697059896 CPUtime=0.25 cores=0-7 /proc/23841/task/23973/stat : 23973 (java) R 23839 23839 22588 0 -1 4202560 24 0 0 0 25 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716616434584 140717234078837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23974] ppid=23839 vsize=28768336 memory=7451040001060006757 CPUtime=0.25 cores=0-7 /proc/23841/task/23974/stat : 23974 (java) R 23839 23839 22588 0 -1 4202560 22 0 0 0 25 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716613276560 140717235077599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23975] ppid=23839 vsize=28768336 memory=7451600679277913447 CPUtime=0.3 cores=0-7 /proc/23841/task/23975/stat : 23975 (java) R 23839 23839 22588 0 -1 4202560 23 0 0 0 30 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716615380568 140717234908364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23976] ppid=23839 vsize=28768336 memory=7451600679277913447 CPUtime=0.17 cores=0-7 /proc/23841/task/23976/stat : 23976 (java) R 23839 23839 22588 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716617486424 140717235913833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23977] ppid=23839 vsize=28768336 memory=7451600679277913447 CPUtime=0.29 cores=0-7 /proc/23841/task/23977/stat : 23977 (java) R 23839 23839 22588 0 -1 4202560 19 0 0 0 29 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716955459304 140717234754598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23978] ppid=23839 vsize=28768336 memory=7451600679277913447 CPUtime=0.24 cores=0-7 /proc/23841/task/23978/stat : 23978 (java) R 23839 23839 22588 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716954405424 140717235149748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23979] ppid=23839 vsize=28768336 memory=7451040001060006757 CPUtime=0.16 cores=0-7 /proc/23841/task/23979/stat : 23979 (java) R 23839 23839 22588 0 -1 4202560 18 0 0 0 16 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716614324976 140717234601053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23980] ppid=23839 vsize=28768336 memory=7451600679277913447 CPUtime=0.21 cores=0-7 /proc/23841/task/23980/stat : 23980 (java) R 23839 23839 22588 0 -1 4202560 20 0 0 0 21 0 0 0 20 0 28 0 447584586 29458776064 288544 33554432000 4194304 4196468 140722866566592 140716956511408 140717234079153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 22.93 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1155632 KiB [startup+4.80097 s] /proc/loadavg: 7.15 8.01 8.19 12/218 23980 /proc/meminfo: memFree=30037552/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28768336 memory=1212508 CPUtime=28.85 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 71523 0 0 0 2665 220 0 0 20 0 28 0 447584216 29458776064 303127 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7192084 303127 3554 1 0 7153184 0 [pid=23841/tid=23842] ppid=23839 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) S 23839 23839 22588 0 -1 1077944384 9650 0 0 0 105 9 0 0 20 0 28 0 447584217 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717594694784 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28768336 memory=6791534058613427641 CPUtime=1.25 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 2746 0 0 0 101 24 0 0 20 0 28 0 447584217 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28768336 memory=7161963001273603696 CPUtime=1.27 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 5960 0 0 0 104 23 0 0 20 0 28 0 447584217 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28768336 memory=7449609528127287144 CPUtime=1.23 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 10650 0 0 0 95 28 0 0 20 0 28 0 447584217 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23846] ppid=23839 vsize=28768336 memory=7523638537787304275 CPUtime=1.26 cores=0-7 /proc/23841/task/23846/stat : 23846 (java) S 23839 23839 22588 0 -1 1077944384 4809 0 0 0 102 24 0 0 20 0 28 0 447584218 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717138230160 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23847] ppid=23839 vsize=28768336 memory=2319406795981862450 CPUtime=1.22 cores=0-7 /proc/23841/task/23847/stat : 23847 (java) S 23839 23839 22588 0 -1 1077944384 3992 0 0 0 99 23 0 0 20 0 28 0 447584218 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717137177104 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23848] ppid=23839 vsize=28768336 memory=57 CPUtime=1.13 cores=0-7 /proc/23841/task/23848/stat : 23848 (java) S 23839 23839 22588 0 -1 1077944384 2704 0 0 0 94 19 0 0 20 0 28 0 447584218 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717136124560 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23849] ppid=23839 vsize=28768336 memory=288230377110174369 CPUtime=1.26 cores=0-7 /proc/23841/task/23849/stat : 23849 (java) S 23839 23839 22588 0 -1 1077944384 2635 0 0 0 103 23 0 0 20 0 28 0 447584218 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717135071504 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23850] ppid=23839 vsize=28768336 memory=13568180469431044 CPUtime=1.27 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2688 0 0 0 103 24 0 0 20 0 28 0 447584218 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 1507 0 0 0 3 0 0 0 20 0 28 0 447584219 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447584219 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717090432736 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447584220 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717089379584 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28768336 memory=0 CPUtime=1.78 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) S 23839 23839 22588 0 -1 1077944384 4509 0 0 0 176 2 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716970993904 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28768336 memory=0 CPUtime=2 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) R 23839 23839 22588 0 -1 4202560 4721 0 0 0 198 2 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716969922768 140717573950795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28768336 memory=288230574492221466 CPUtime=1.65 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) R 23839 23839 22588 0 -1 4202560 3476 0 0 0 164 1 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716968874656 140717573666567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28768336 memory=290200946640945463 CPUtime=0.87 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) S 23839 23839 22588 0 -1 1077944384 4244 0 0 0 85 2 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716967835760 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28768336 memory=13563791027735085 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28768336 memory=279881813169952 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447584223 29458776064 303127 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 28.85 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1213964 KiB [startup+5.00097 s]* /proc/loadavg: 7.15 8.01 8.19 9/218 24020 /proc/meminfo: memFree=29980680/32770624 swapFree=66939868/67108860 [pid=23839] ppid=23836 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23839/stat : 23839 (xcsp3-exec) S 23836 23839 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447584216 115843072 364 33554432000 4194304 5098028 140722788173536 140722788171640 140045899313788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17473536 140722788176758 140722788177001 140722788177001 140722788179914 0 /proc/23839/statm: 28282 364 305 221 0 87 0 [pid=23841] ppid=23839 vsize=28768336 memory=1213044 CPUtime=30.49 cores=0-7 /proc/23841/stat : 23841 (java) S 23839 23839 22588 0 -1 1077944320 72142 0 0 0 2829 220 0 0 20 0 28 0 447584216 29458776064 303261 33554432000 4194304 4196468 140722866566592 140722866549136 140717590454007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 /proc/23841/statm: 7192084 303261 3554 1 0 7153184 0 [pid=23841/tid=23842] ppid=23839 vsize=28768336 memory=8317482817917895235 CPUtime=1.14 cores=0-7 /proc/23841/task/23842/stat : 23842 (java) S 23839 23839 22588 0 -1 1077944384 9650 0 0 0 105 9 0 0 20 0 28 0 447584217 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717594694784 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23843] ppid=23839 vsize=28768336 memory=4872558044660077418 CPUtime=1.25 cores=0-7 /proc/23841/task/23843/stat : 23843 (java) S 23839 23839 22588 0 -1 1077944384 2746 0 0 0 101 24 0 0 20 0 28 0 447584217 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717141388304 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23844] ppid=23839 vsize=28768336 memory=0 CPUtime=1.27 cores=0-7 /proc/23841/task/23844/stat : 23844 (java) S 23839 23839 22588 0 -1 1077944384 5960 0 0 0 104 23 0 0 20 0 28 0 447584217 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717140335760 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23845] ppid=23839 vsize=28768336 memory=0 CPUtime=1.23 cores=0-7 /proc/23841/task/23845/stat : 23845 (java) S 23839 23839 22588 0 -1 1077944384 10650 0 0 0 95 28 0 0 20 0 28 0 447584217 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717139282704 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23846] ppid=23839 vsize=28768336 memory=7739276948477859686 CPUtime=1.26 cores=0-7 /proc/23841/task/23846/stat : 23846 (java) S 23839 23839 22588 0 -1 1077944384 4809 0 0 0 102 24 0 0 20 0 28 0 447584218 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717138230160 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23847] ppid=23839 vsize=28768336 memory=7446249446309914199 CPUtime=1.22 cores=0-7 /proc/23841/task/23847/stat : 23847 (java) S 23839 23839 22588 0 -1 1077944384 3992 0 0 0 99 23 0 0 20 0 28 0 447584218 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717137177104 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23848] ppid=23839 vsize=28768336 memory=566439000 CPUtime=1.13 cores=0-7 /proc/23841/task/23848/stat : 23848 (java) S 23839 23839 22588 0 -1 1077944384 2704 0 0 0 94 19 0 0 20 0 28 0 447584218 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717136124560 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23849] ppid=23839 vsize=28768336 memory=139940906672069 CPUtime=1.26 cores=0-7 /proc/23841/task/23849/stat : 23849 (java) S 23839 23839 22588 0 -1 1077944384 2635 0 0 0 103 23 0 0 20 0 28 0 447584218 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717135071504 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23850] ppid=23839 vsize=28768336 memory=279881813351392 CPUtime=1.27 cores=0-7 /proc/23841/task/23850/stat : 23850 (java) S 23839 23839 22588 0 -1 1077944384 2688 0 0 0 103 24 0 0 20 0 28 0 447584218 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717134018960 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23851] ppid=23839 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/23841/task/23851/stat : 23851 (java) S 23839 23839 22588 0 -1 1077944384 1507 0 0 0 3 0 0 0 20 0 28 0 447584219 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717091486448 140717590465154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23852] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23852/stat : 23852 (java) S 23839 23839 22588 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447584219 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717090432736 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23853] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23853/stat : 23853 (java) S 23839 23839 22588 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447584220 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717089379584 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23854] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23854/stat : 23854 (java) S 23839 23839 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140717088328144 140717590472603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23855] ppid=23839 vsize=28768336 memory=139940906786753 CPUtime=1.8 cores=0-7 /proc/23841/task/23855/stat : 23855 (java) S 23839 23839 22588 0 -1 1077944384 4541 0 0 0 178 2 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716970993904 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23856] ppid=23839 vsize=28768336 memory=0 CPUtime=2.1 cores=0-7 /proc/23841/task/23856/stat : 23856 (java) S 23839 23839 22588 0 -1 1077944384 4872 0 0 0 208 2 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716969941360 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23857] ppid=23839 vsize=28768336 memory=0 CPUtime=1.76 cores=0-7 /proc/23841/task/23857/stat : 23857 (java) R 23839 23839 22588 0 -1 1077944384 3774 0 0 0 175 1 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716968888304 140717590465154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23858] ppid=23839 vsize=28768336 memory=0 CPUtime=0.87 cores=0-7 /proc/23841/task/23858/stat : 23858 (java) S 23839 23839 22588 0 -1 1077944384 4261 0 0 0 85 2 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716967835760 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23859] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23859/stat : 23859 (java) S 23839 23839 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447584222 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716966783968 140717590464213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=23860] ppid=23839 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23841/task/23860/stat : 23860 (java) S 23839 23839 22588 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447584223 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716965731504 140717590465154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24013] ppid=23839 vsize=28768336 memory=7524219097243543382 CPUtime=0.49 cores=0-7 /proc/23841/task/24013/stat : 24013 (java) R 23839 23839 22588 0 -1 4202560 197 0 0 0 49 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716614327400 140717236897878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24014] ppid=23839 vsize=28768336 memory=6079957801912986470 CPUtime=0.61 cores=0-7 /proc/23841/task/24014/stat : 24014 (java) R 23839 23839 22588 0 -1 4202560 136 0 0 0 61 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716615381512 140717236785325 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24015] ppid=23839 vsize=28768336 memory=7596568070134258019 CPUtime=0.54 cores=0-7 /proc/23841/task/24015/stat : 24015 (java) R 23839 23839 22588 0 -1 4202560 338 0 0 0 54 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716616432936 140717236898143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24016] ppid=23839 vsize=28768336 memory=0 CPUtime=0.41 cores=0-7 /proc/23841/task/24016/stat : 24016 (java) R 23839 23839 22588 0 -1 4202560 164 0 0 0 41 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716956512000 140717234078533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24017] ppid=23839 vsize=28768336 memory=279881813499056 CPUtime=0.59 cores=0-7 /proc/23841/task/24017/stat : 24017 (java) R 23839 23839 22588 0 -1 4202560 176 0 0 0 59 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716955458384 140717236590948 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24018] ppid=23839 vsize=28768336 memory=2110291513914260 CPUtime=0.63 cores=0-7 /proc/23841/task/24018/stat : 24018 (java) R 23839 23839 22588 0 -1 4202560 181 0 0 0 63 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716613275320 140717236899094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24019] ppid=23839 vsize=28768336 memory=0 CPUtime=0.51 cores=0-7 /proc/23841/task/24019/stat : 24019 (java) R 23839 23839 22588 0 -1 4202560 115 0 0 0 51 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716954406208 140717234754518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 [pid=23841/tid=24020] ppid=23839 vsize=28768336 memory=0 CPUtime=0.57 cores=0-7 /proc/23841/task/24020/stat : 24020 (java) R 23839 23839 22588 0 -1 4202560 168 0 0 0 57 0 0 0 20 0 28 0 447584654 29458776064 303261 33554432000 4194304 4196468 140722866566592 140716617486288 140717234078899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32563200 140722866570218 140722866570390 140722866570390 140722866573263 0 Current children cumulated CPU time: 30.49 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1214500 KiB Child status: 0 Real time (s): 5.08276 CPU time (s): 30.7255 CPU user time (s): 28.497 CPU system time (s): 2.22852 CPU usage (%): 604.505 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1214500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.497 system time used= 2.22852 maximum resident set size= 1213112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73500 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6865 involuntary context switches= 637 # summary of solver processes directly reported to runsolver: # pid: 23839 # total CPU time (s): 30.7255 # total CPU user time (s): 28.497 # total CPU system time (s): 2.22852 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047248 second user time and 0.11694 second system time The end
Begin job on node105 at 2019-09-17 10:39:23 IDJOB=4399737 IDBENCH=138318 IDSOLVER=2854 FILE ID=node105/4399737-1568713260 RUNJOBID= node105-1568709526-22615 PBS_JOBID= 21703944 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.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-4399737-1568713260/watcher-4399737-1568713260 -o /tmp/evaluation-result-4399737-1568713260/solver-4399737-1568713260 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 240247791 HOME/instance-4399737-1568713260.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7 RANDOM SEED=240247791 node105.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.00 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.00 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.00 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.00 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: 31180064 kB MemAvailable: 31843600 kB Buffers: 185548 kB Cached: 778312 kB SwapCached: 65556 kB Active: 544284 kB Inactive: 488100 kB Active(anon): 9344 kB Inactive(anon): 103456 kB Active(file): 534940 kB Inactive(file): 384644 kB Unevictable: 109028 kB Mlocked: 109028 kB SwapTotal: 67108860 kB SwapFree: 66939868 kB Dirty: 26328 kB Writeback: 0 kB AnonPages: 133744 kB Mapped: 44224 kB Shmem: 35660 kB Slab: 148476 kB SReclaimable: 119576 kB SUnreclaim: 28900 kB KernelStack: 3712 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 10:39:29