Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 63 | 34.0486 | 5.16313 |
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.0508 |
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-4407237-1569348892.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407237-1569348892.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 8.71/1.80 c solve instance... 16.06/2.81 o 193 16.06/2.87 o 189 16.84/2.95 o 139 17.49/3.02 o 132 17.49/3.07 o 128 17.49/3.07 o 106 18.90/3.25 o 105 19.61/3.37 o 103 19.61/3.38 o 101 20.36/3.40 o 89 20.36/3.41 o 79 20.36/3.43 o 68 21.87/3.66 o 63 33.89/5.14 s OPTIMUM FOUND 33.89/5.14 v <instantiation> 33.89/5.14 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> 33.89/5.14 v <values>23 50 62 81 98 122 160 187 209 238 467 512 546 606 661 711 114 87 75 56 39 15 23 50 72 101 330 375 409 469 524 574 27 0 12 31 48 72 110 137 159 188 417 462 496 556 611 661 99 72 60 41 24 0 38 65 87 116 345 390 424 484 539 589 99 72 60 41 24 0 38 65 87 116 345 390 424 484 539 589 64 37 25 6 11 35 73 100 122 151 380 425 459 519 574 624 58 31 19 0 17 41 79 106 128 157 386 431 465 525 580 630 164 137 125 106 89 65 27 0 22 51 280 325 359 419 474 524 35 8 4 23 40 64 102 129 151 180 409 454 488 548 603 653 137 110 98 79 62 38 0 27 49 78 307 352 386 446 501 551 75 48 36 17 0 24 62 89 111 140 369 414 448 508 563 613 72 45 33 14 3 27 65 92 114 143 372 417 451 511 566 616 2 25 37 56 73 97 135 162 184 213 442 487 521 581 636 686 0 27 39 58 75 99 137 164 186 215 444 489 523 583 638 688 688 661 649 630 613 589 551 524 502 473 244 199 165 105 50 0 18 9 21 40 57 81 119 146 168 197 426 471 505 565 620 670 489 462 450 431 414 390 352 325 303 274 45 0 34 94 149 199 489 462 450 431 414 390 352 325 303 274 45 0 34 94 149 199 81 54 42 23 6 18 56 83 105 134 363 408 442 502 557 607 44 17 5 14 31 55 93 120 142 171 400 445 479 539 594 644 638 611 599 580 563 539 501 474 452 423 194 149 115 55 0 50 638 611 599 580 563 539 501 474 452 423 194 149 115 55 0 50 444 417 405 386 369 345 307 280 258 229 0 45 79 139 194 244 444 417 405 386 369 345 307 280 258 229 0 45 79 139 194 244 215 188 176 157 140 116 78 51 29 0 229 274 308 368 423 473 39 12 0 19 36 60 98 125 147 176 405 450 484 544 599 649 39 12 0 19 36 60 98 125 147 176 405 450 484 544 599 649 583 556 544 525 508 484 446 419 397 368 139 94 60 0 55 105 583 556 544 525 508 484 446 419 397 368 139 94 60 0 55 105 186 159 147 128 111 87 49 22 0 29 258 303 337 397 452 502 11 38 50 69 86 110 148 175 197 226 455 500 534 594 649 699 525 498 486 467 450 426 388 361 339 310 81 36 2 58 113 163 523 496 484 465 448 424 386 359 337 308 79 34 0 60 115 165 15 0 0 0 6 0 0 4 0 0 3 2 0 0 9 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 2 0 </values> 33.89/5.14 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 (11872 MiB free) memory of node 1: 16384 MiB (9723 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407237-1569348892/watcher-4407237-1569348892 -o /var/tmp/evaluation-result-4407237-1569348892/solver-4407237-1569348892 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407237-1569348892.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=23043, runsolver pid=23040 [startup+0.100162 s]* /proc/loadavg: 7.39 7.98 8.09 2/212 23064 /proc/meminfo: memFree=22097508/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28227396 memory=30220 CPUtime=0.12 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 20 0 510803167 28904853504 7555 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7056849 7555 3116 1 0 7019032 0 [pid=23045/tid=23046] ppid=23043 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) R 23043 23043 18490 0 -1 4202560 3431 0 0 0 8 0 0 0 20 0 20 0 510803168 28904853504 7555 33554432000 4194304 4196468 140734210743584 140388366192864 140387997795005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28227396 memory=139923486434944 CPUtime=0 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23050] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23050/stat : 23050 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387909794192 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23051] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23051/stat : 23051 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387908742160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23052] ppid=23043 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23052/stat : 23052 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387907689616 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23053] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23053/stat : 23053 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387906636560 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23054] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23054/stat : 23054 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387905584016 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23055] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23055/stat : 23055 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803170 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387011397872 140388361972354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23056] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23056/stat : 23056 (java) S 23043 23043 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510803171 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387010344096 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23057] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23057/stat : 23057 (java) S 23043 23043 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510803171 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387009290992 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23058] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23058/stat : 23058 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803173 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387008239568 140388361979803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23059] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23059/stat : 23059 (java) S 23043 23043 18490 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510803173 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387007187696 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23060] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23060/stat : 23060 (java) S 23043 23043 18490 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510803173 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387006135152 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23061] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23061/stat : 23061 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803173 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387005082096 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23062] ppid=23043 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) R 23043 23043 18490 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 510803173 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387004029552 140388340879789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803174 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803174 28904853504 7555 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31676 KiB [startup+0.210284 s]* /proc/loadavg: 7.39 7.98 8.09 3/212 23064 /proc/meminfo: memFree=22085520/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28227396 memory=41532 CPUtime=0.33 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 9079 0 0 0 30 3 0 0 20 0 20 0 510803167 28904853504 10383 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7056849 10383 3303 1 0 7019032 0 [pid=23045/tid=23046] ppid=23043 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) R 23043 23043 18490 0 -1 4202560 6235 0 0 0 18 2 0 0 20 0 20 0 510803168 28904853504 10383 33554432000 4194304 4196468 140734210743584 140388366193120 140388361983133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28227396 memory=288370299638146688 CPUtime=0 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23050] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23050/stat : 23050 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387909794192 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23051] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23051/stat : 23051 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387908742160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23052] ppid=23043 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23052/stat : 23052 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387907689616 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23053] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23053/stat : 23053 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387906636560 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23054] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23054/stat : 23054 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387905584016 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23055] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23055/stat : 23055 (java) S 23043 23043 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510803170 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387011397872 140388361972354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23056] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23056/stat : 23056 (java) S 23043 23043 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510803171 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387010344096 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23057] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23057/stat : 23057 (java) S 23043 23043 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510803171 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387009290992 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23058] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23058/stat : 23058 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803173 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387008239568 140388361979803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23059] ppid=23043 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23045/task/23059/stat : 23059 (java) S 23043 23043 18490 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 510803173 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387007187696 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23060] ppid=23043 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23045/task/23060/stat : 23060 (java) S 23043 23043 18490 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 510803173 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387006135152 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23061] ppid=23043 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/23045/task/23061/stat : 23061 (java) S 23043 23043 18490 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 510803173 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387005082096 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23062] ppid=23043 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) S 23043 23043 18490 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 20 0 510803173 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387004029552 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803174 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803174 28904853504 10383 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42988 KiB [startup+0.309604 s]* /proc/loadavg: 7.39 7.98 8.09 2/212 23064 /proc/meminfo: memFree=22081536/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28231652 memory=49516 CPUtime=0.52 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 10260 0 0 0 48 4 0 0 20 0 20 0 510803167 28909211648 12379 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7057913 12379 3344 1 0 7019032 0 [pid=23045/tid=23046] ppid=23043 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) R 23043 23043 18490 0 -1 4202560 7261 0 0 0 27 2 0 0 20 0 20 0 510803168 28909211648 12379 33554432000 4194304 4196468 140734210743584 140388366192320 140388361983133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23050] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23050/stat : 23050 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387909794192 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23051] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23051/stat : 23051 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387908742160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23052] ppid=23043 vsize=28231652 memory=139923323710127 CPUtime=0 cores=0-7 /proc/23045/task/23052/stat : 23052 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387907689616 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23053] ppid=23043 vsize=28231652 memory=139923323712432 CPUtime=0 cores=0-7 /proc/23045/task/23053/stat : 23053 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387906636560 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23054] ppid=23043 vsize=28231652 memory=139923323714736 CPUtime=0 cores=0-7 /proc/23045/task/23054/stat : 23054 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803169 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387905584016 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23055] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23055/stat : 23055 (java) S 23043 23043 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510803170 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387011397872 140388361972354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23056] ppid=23043 vsize=28231652 memory=279846647443344 CPUtime=0 cores=0-7 /proc/23045/task/23056/stat : 23056 (java) S 23043 23043 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510803171 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387010344096 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23057] ppid=23043 vsize=28231652 memory=279846647441040 CPUtime=0 cores=0-7 /proc/23045/task/23057/stat : 23057 (java) S 23043 23043 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510803171 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387009290992 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23058] ppid=23043 vsize=28231652 memory=279846647447952 CPUtime=0 cores=0-7 /proc/23045/task/23058/stat : 23058 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803173 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387008239568 140388361979803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23059] ppid=23043 vsize=28231652 memory=279846647389232 CPUtime=0.02 cores=0-7 /proc/23045/task/23059/stat : 23059 (java) R 23043 23043 18490 0 -1 4202560 431 0 0 0 2 0 0 0 20 0 20 0 510803173 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387007187696 140388354250673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23060] ppid=23043 vsize=28231652 memory=279846647461776 CPUtime=0.02 cores=0-7 /proc/23045/task/23060/stat : 23060 (java) S 23043 23043 18490 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 20 0 510803173 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387006135152 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23061] ppid=23043 vsize=28231652 memory=279846647468688 CPUtime=0.02 cores=0-7 /proc/23045/task/23061/stat : 23061 (java) S 23043 23043 18490 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 20 0 510803173 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387005082096 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23062] ppid=23043 vsize=28231652 memory=279846647466384 CPUtime=0.13 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) S 23043 23043 18490 0 -1 1077944384 809 0 0 0 13 0 0 0 20 0 20 0 510803173 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387004029552 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510803174 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510803174 28909211648 12379 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50972 KiB [startup+0.701014 s] /proc/loadavg: 7.39 7.98 8.09 4/212 23064 /proc/meminfo: memFree=22061912/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28233776 memory=172176 CPUtime=1.76 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 14822 0 0 0 169 7 0 0 20 0 20 0 510803167 28911386624 43044 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7058444 43044 3455 1 0 7019544 0 [pid=23045/tid=23046] ppid=23043 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) R 23043 23043 18490 0 -1 4202560 8271 0 0 0 62 5 0 0 20 0 20 0 510803168 28911386624 43044 33554432000 4194304 4196468 140734210743584 140388366197072 140388361973142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28233776 memory=139923323921264 CPUtime=0 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28911386624 43044 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28911386624 43044 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510803169 28911386624 43044 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 ################ # More data... # ################ [pid=23045/tid=23062] ppid=23043 vsize=28770384 memory=1456 CPUtime=0.87 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) S 23043 23043 18490 0 -1 1077944384 5688 0 0 0 85 2 0 0 20 0 28 0 510803173 29460873216 283673 33554432000 4194304 4196468 140734210743584 140387004029552 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28770384 memory=1119928 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510803174 29460873216 283673 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28770384 memory=198358769644646 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510803174 29460873216 283673 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23169] ppid=23043 vsize=28770384 memory=0 CPUtime=0.93 cores=0-7 /proc/23045/task/23169/stat : 23169 (java) R 23043 23043 18490 0 -1 4202560 99 0 0 0 93 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386988493624 140388004666203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23170] ppid=23043 vsize=28770384 memory=0 CPUtime=0.96 cores=0-7 /proc/23045/task/23170/stat : 23170 (java) R 23043 23043 18490 0 -1 4202560 148 0 0 0 96 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386985336456 140388004666071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23171] ppid=23043 vsize=28770384 memory=0 CPUtime=0.98 cores=0-7 /proc/23045/task/23171/stat : 23171 (java) R 23043 23043 18490 0 -1 4202560 225 0 0 0 98 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386990599624 140388007420538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23172] ppid=23043 vsize=28770384 memory=0 CPUtime=0.76 cores=0-7 /proc/23045/task/23172/stat : 23172 (java) R 23043 23043 18490 0 -1 4202560 209 0 0 0 76 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386992705096 140388006086858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23173] ppid=23043 vsize=28770384 memory=0 CPUtime=0.69 cores=0-7 /proc/23045/task/23173/stat : 23173 (java) R 23043 23043 18490 0 -1 4202560 141 0 0 0 69 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386991652336 140388004665861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23174] ppid=23043 vsize=28770384 memory=0 CPUtime=0.86 cores=0-7 /proc/23045/task/23174/stat : 23174 (java) R 23043 23043 18490 0 -1 4202560 113 0 0 0 86 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386989546824 140388007810290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23175] ppid=23043 vsize=28770384 memory=0 CPUtime=0.78 cores=0-7 /proc/23045/task/23175/stat : 23175 (java) R 23043 23043 18490 0 -1 4202560 84 0 0 0 78 0 0 0 20 0 28 0 510803534 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386987441992 140388007810639 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23176] ppid=23043 vsize=28770384 memory=0 CPUtime=0.68 cores=0-7 /proc/23045/task/23176/stat : 23176 (java) R 23043 23043 18490 0 -1 4202560 123 0 0 0 68 0 0 0 20 0 28 0 510803535 29460873216 283673 33554432000 4194304 4196468 140734210743584 140386986389104 140388005188351 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 31.32 s Current children cumulated vsize: 28883512 KiB Current children cumulated memory: 1136148 KiB [startup+5.00577 s]* /proc/loadavg: 6.96 7.88 8.06 11/220 23176 /proc/meminfo: memFree=20992468/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28768336 memory=1134156 CPUtime=33.08 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 77971 0 0 0 3087 221 0 0 20 0 28 0 510803167 29458776064 283539 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7192084 283539 3552 1 0 7153184 0 [pid=23045/tid=23046] ppid=23043 vsize=28768336 memory=1398722017469774279 CPUtime=1.16 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) S 23043 23043 18490 0 -1 1077944384 8616 0 0 0 104 12 0 0 20 0 28 0 510803168 29458776064 283539 33554432000 4194304 4196468 140734210743584 140388366201984 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28768336 memory=4872558044660077418 CPUtime=1.31 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2118 0 0 0 110 21 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28768336 memory=0 CPUtime=1.33 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2314 0 0 0 110 23 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 16267 0 0 0 103 29 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23050] ppid=23043 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7 /proc/23045/task/23050/stat : 23050 (java) S 23043 23043 18490 0 -1 1077944384 2211 0 0 0 110 22 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387909794192 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23051] ppid=23043 vsize=28768336 memory=0 CPUtime=1.33 cores=0-7 /proc/23045/task/23051/stat : 23051 (java) S 23043 23043 18490 0 -1 1077944384 2320 0 0 0 109 24 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387908742160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23052] ppid=23043 vsize=28768336 memory=0 CPUtime=1.34 cores=0-7 /proc/23045/task/23052/stat : 23052 (java) S 23043 23043 18490 0 -1 1077944384 2397 0 0 0 111 23 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387907689616 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23053] ppid=23043 vsize=28768336 memory=7012497611058603115 CPUtime=1.31 cores=0-7 /proc/23045/task/23053/stat : 23053 (java) S 23043 23043 18490 0 -1 1077944384 2397 0 0 0 110 21 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387906636560 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23054] ppid=23043 vsize=28768336 memory=7086248332625471057 CPUtime=1.34 cores=0-7 /proc/23045/task/23054/stat : 23054 (java) S 23043 23043 18490 0 -1 1077944384 2227 0 0 0 111 23 0 0 20 0 28 0 510803169 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387905584016 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23055] ppid=23043 vsize=28768336 memory=7301272236909555566 CPUtime=0.04 cores=0-7 /proc/23045/task/23055/stat : 23055 (java) S 23043 23043 18490 0 -1 1077944384 1291 0 0 0 4 0 0 0 20 0 28 0 510803170 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387011397872 140388361972354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23056] ppid=23043 vsize=28768336 memory=7649399384348570418 CPUtime=0 cores=0-7 /proc/23045/task/23056/stat : 23056 (java) S 23043 23043 18490 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510803171 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387010344160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23057] ppid=23043 vsize=28768336 memory=4294967295 CPUtime=0 cores=0-7 /proc/23045/task/23057/stat : 23057 (java) S 23043 23043 18490 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510803171 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387009291008 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23058] ppid=23043 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23058/stat : 23058 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510803173 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387008239568 140388361979803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23059] ppid=23043 vsize=28768336 memory=0 CPUtime=2.34 cores=0-7 /proc/23045/task/23059/stat : 23059 (java) S 23043 23043 18490 0 -1 1077944384 6017 0 0 0 232 2 0 0 20 0 28 0 510803173 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387007187696 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23060] ppid=23043 vsize=28768336 memory=0 CPUtime=2.5 cores=0-7 /proc/23045/task/23060/stat : 23060 (java) R 23043 23043 18490 0 -1 4202560 9605 0 0 0 247 3 0 0 20 0 28 0 510803173 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387006121176 140388343505647 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23061] ppid=23043 vsize=28768336 memory=0 CPUtime=2.16 cores=0-7 /proc/23045/task/23061/stat : 23061 (java) R 23043 23043 18490 0 -1 4202560 6180 0 0 0 214 2 0 0 20 0 28 0 510803173 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387005082392 140388348001982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23062] ppid=23043 vsize=28768336 memory=0 CPUtime=0.87 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) S 23043 23043 18490 0 -1 1077944384 5688 0 0 0 85 2 0 0 20 0 28 0 510803173 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387004029552 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510803174 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510803174 29458776064 283539 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23169] ppid=23043 vsize=28768336 memory=-1 CPUtime=1.09 cores=0-7 /proc/23045/task/23169/stat : 23169 (java) R 23043 23043 18490 0 -1 4202560 195 0 0 0 109 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386988493736 140388004666350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23170] ppid=23043 vsize=28768336 memory=-1 CPUtime=1.11 cores=0-7 /proc/23045/task/23170/stat : 23170 (java) R 23043 23043 18490 0 -1 4202560 192 0 0 0 111 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386985337096 140388007457424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23171] ppid=23043 vsize=28768336 memory=0 CPUtime=1.11 cores=0-7 /proc/23045/task/23171/stat : 23171 (java) R 23043 23043 18490 0 -1 4202560 241 0 0 0 111 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386990601336 140388007457475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23172] ppid=23043 vsize=28768336 memory=0 CPUtime=0.97 cores=0-7 /proc/23045/task/23172/stat : 23172 (java) R 23043 23043 18490 0 -1 4202560 249 0 0 0 97 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386992706840 140388004666541 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23173] ppid=23043 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7 /proc/23045/task/23173/stat : 23173 (java) R 23043 23043 18490 0 -1 4202560 801 0 0 0 83 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386991653640 140388004665861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23174] ppid=23043 vsize=28768336 memory=0 CPUtime=1.04 cores=0-7 /proc/23045/task/23174/stat : 23174 (java) R 23043 23043 18490 0 -1 4202560 144 0 0 0 104 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386989546824 140388004666528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23175] ppid=23043 vsize=28768336 memory=0 CPUtime=0.98 cores=0-7 /proc/23045/task/23175/stat : 23175 (java) R 23043 23043 18490 0 -1 4202560 1998 0 0 0 98 0 0 0 20 0 28 0 510803534 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386987442760 140388005188032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23176] ppid=23043 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7 /proc/23045/task/23176/stat : 23176 (java) R 23043 23043 18490 0 -1 4202560 193 0 0 0 79 0 0 0 20 0 28 0 510803535 29458776064 283539 33554432000 4194304 4196468 140734210743584 140386986389104 140388007420416 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 33.08 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1135612 KiB [startup+5.12677 s] /proc/loadavg: 6.96 7.88 8.06 11/220 23176 /proc/meminfo: memFree=20992468/32770624 swapFree=67002364/67108860 [pid=23043] ppid=23040 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23043/stat : 23043 (xcsp3-exec) S 23040 23043 18490 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510803167 115843072 364 33554432000 4194304 5098028 140734443203072 140734443201176 140335314809468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36372480 140734443205463 140734443205722 140734443205722 140734443208646 0 /proc/23043/statm: 28282 364 305 221 0 87 0 [pid=23045] ppid=23043 vsize=28768336 memory=1129912 CPUtime=33.89 cores=0-7 /proc/23045/stat : 23045 (java) S 23043 23043 18490 0 -1 1077944320 78641 0 0 0 3168 221 0 0 20 0 28 0 510803167 29458776064 282478 33554432000 4194304 4196468 140734210743584 140734210726128 140388361961207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 /proc/23045/statm: 7192084 282478 3552 1 0 7153184 0 [pid=23045/tid=23046] ppid=23043 vsize=28768336 memory=3211 CPUtime=1.16 cores=0-7 /proc/23045/task/23046/stat : 23046 (java) S 23043 23043 18490 0 -1 1077944384 8616 0 0 0 104 12 0 0 20 0 28 0 510803168 29458776064 282478 33554432000 4194304 4196468 140734210743584 140388366201984 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23047] ppid=23043 vsize=28768336 memory=116 CPUtime=1.31 cores=0-7 /proc/23045/task/23047/stat : 23047 (java) S 23043 23043 18490 0 -1 1077944384 2118 0 0 0 110 21 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140388322920976 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23048] ppid=23043 vsize=28768336 memory=1456 CPUtime=1.33 cores=0-7 /proc/23045/task/23048/stat : 23048 (java) S 23043 23043 18490 0 -1 1077944384 2314 0 0 0 110 23 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387911899792 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23049] ppid=23043 vsize=28768336 memory=1125944 CPUtime=1.32 cores=0-7 /proc/23045/task/23049/stat : 23049 (java) S 23043 23043 18490 0 -1 1077944384 16267 0 0 0 103 29 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387910846736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23050] ppid=23043 vsize=28768336 memory=88 CPUtime=1.32 cores=0-7 /proc/23045/task/23050/stat : 23050 (java) S 23043 23043 18490 0 -1 1077944384 2211 0 0 0 110 22 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387909794192 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23051] ppid=23043 vsize=28768336 memory=1456 CPUtime=1.33 cores=0-7 /proc/23045/task/23051/stat : 23051 (java) S 23043 23043 18490 0 -1 1077944384 2320 0 0 0 109 24 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387908742160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23052] ppid=23043 vsize=28768336 memory=1120944 CPUtime=1.34 cores=0-7 /proc/23045/task/23052/stat : 23052 (java) S 23043 23043 18490 0 -1 1077944384 2397 0 0 0 111 23 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387907689616 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23053] ppid=23043 vsize=28768336 memory=115 CPUtime=1.31 cores=0-7 /proc/23045/task/23053/stat : 23053 (java) S 23043 23043 18490 0 -1 1077944384 2397 0 0 0 110 21 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387906636560 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23054] ppid=23043 vsize=28768336 memory=131 CPUtime=1.34 cores=0-7 /proc/23045/task/23054/stat : 23054 (java) S 23043 23043 18490 0 -1 1077944384 2227 0 0 0 111 23 0 0 20 0 28 0 510803169 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387905584016 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23055] ppid=23043 vsize=28768336 memory=1456 CPUtime=0.04 cores=0-7 /proc/23045/task/23055/stat : 23055 (java) S 23043 23043 18490 0 -1 1077944384 1291 0 0 0 4 0 0 0 20 0 28 0 510803170 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387011397872 140388361972354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23056] ppid=23043 vsize=28768336 memory=834924 CPUtime=0 cores=0-7 /proc/23045/task/23056/stat : 23056 (java) S 23043 23043 18490 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510803171 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387010344160 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23057] ppid=23043 vsize=28768336 memory=8562125494162282060 CPUtime=0 cores=0-7 /proc/23045/task/23057/stat : 23057 (java) S 23043 23043 18490 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510803171 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387009291008 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23058] ppid=23043 vsize=28768336 memory=-7022074515825631275 CPUtime=0 cores=0-7 /proc/23045/task/23058/stat : 23058 (java) S 23043 23043 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510803173 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387008239568 140388361979803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23059] ppid=23043 vsize=28768336 memory=56 CPUtime=2.35 cores=0-7 /proc/23045/task/23059/stat : 23059 (java) S 23043 23043 18490 0 -1 1077944384 6024 0 0 0 233 2 0 0 20 0 28 0 510803173 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387007187696 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23060] ppid=23043 vsize=28768336 memory=13898 CPUtime=2.57 cores=0-7 /proc/23045/task/23060/stat : 23060 (java) S 23043 23043 18490 0 -1 1077944384 9642 0 0 0 254 3 0 0 20 0 28 0 510803173 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387006135152 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23061] ppid=23043 vsize=28768336 memory=23464 CPUtime=2.19 cores=0-7 /proc/23045/task/23061/stat : 23061 (java) S 23043 23043 18490 0 -1 1077944384 6194 0 0 0 217 2 0 0 20 0 28 0 510803173 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387005082096 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23062] ppid=23043 vsize=28768336 memory=0 CPUtime=0.88 cores=0-7 /proc/23045/task/23062/stat : 23062 (java) S 23043 23043 18490 0 -1 1077944384 5707 0 0 0 86 2 0 0 20 0 28 0 510803173 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387004029552 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23063] ppid=23043 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/23045/task/23063/stat : 23063 (java) S 23043 23043 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510803174 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387002976736 140388361971413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23064] ppid=23043 vsize=28768336 memory=139923324141456 CPUtime=0 cores=0-7 /proc/23045/task/23064/stat : 23064 (java) S 23043 23043 18490 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 510803174 29458776064 282478 33554432000 4194304 4196468 140734210743584 140387001924272 140388361972354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23169] ppid=23043 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7 /proc/23045/task/23169/stat : 23169 (java) R 23043 23043 18490 0 -1 4202560 195 0 0 0 114 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386988492648 140388004665934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23170] ppid=23043 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7 /proc/23045/task/23170/stat : 23170 (java) R 23043 23043 18490 0 -1 4202560 194 0 0 0 119 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386985337176 140388007419936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23171] ppid=23043 vsize=28768336 memory=0 CPUtime=1.2 cores=0-7 /proc/23045/task/23171/stat : 23171 (java) R 23043 23043 18490 0 -1 4202560 246 0 0 0 120 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386990601336 140388005187953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23172] ppid=23043 vsize=28768336 memory=0 CPUtime=1.06 cores=0-7 /proc/23045/task/23172/stat : 23172 (java) R 23043 23043 18490 0 -1 4202560 287 0 0 0 106 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386992707456 140388004899074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23173] ppid=23043 vsize=28768336 memory=6947458186701988692 CPUtime=0.93 cores=0-7 /proc/23045/task/23173/stat : 23173 (java) R 23043 23043 18490 0 -1 4202560 1065 0 0 0 93 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386991653640 140388004665929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23174] ppid=23043 vsize=28768336 memory=6947458186701988692 CPUtime=1.14 cores=0-7 /proc/23045/task/23174/stat : 23174 (java) R 23043 23043 18490 0 -1 4202560 144 0 0 0 114 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386989547912 140388004666343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23175] ppid=23043 vsize=28768336 memory=6947458186701988692 CPUtime=1.08 cores=0-7 /proc/23045/task/23175/stat : 23175 (java) R 23043 23043 18490 0 -1 4202560 2270 0 0 0 108 0 0 0 20 0 28 0 510803534 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386987442760 140388005188259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 [pid=23045/tid=23176] ppid=23043 vsize=28768336 memory=6947458186701988692 CPUtime=0.87 cores=0-7 /proc/23045/task/23176/stat : 23176 (java) R 23043 23043 18490 0 -1 4202560 193 0 0 0 87 0 0 0 20 0 28 0 510803535 29458776064 282478 33554432000 4194304 4196468 140734210743584 140386986389104 140388007809559 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35991552 140734210745308 140734210745483 140734210745483 140734210748367 0 Current children cumulated CPU time: 33.89 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1131368 KiB Child status: 0 Real time (s): 5.16313 CPU time (s): 34.0486 CPU user time (s): 31.8147 CPU system time (s): 2.23392 CPU usage (%): 659.458 Max. virtual memory (cumulated for all children) (KiB): 28883524 Max. memory (cumulated for all children) (KiB): 1136148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.8147 system time used= 2.23392 maximum resident set size= 1134764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79450 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= 6077 involuntary context switches= 759 # summary of solver processes directly reported to runsolver: # pid: 23043 # total CPU time (s): 34.0486 # total CPU user time (s): 31.8147 # total CPU system time (s): 2.23392 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.067743 second user time and 0.098065 second system time The end
Begin job on node146 at 2019-09-24 20:14:11 IDJOB=4407237 IDBENCH=138318 IDSOLVER=2872 FILE ID=node146/4407237-1569348892 RUNJOBID= node146-1569335937-18517 PBS_JOBID= 21705051 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 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 /var/tmp/evaluation-result-4407237-1569348892/watcher-4407237-1569348892 -o /var/tmp/evaluation-result-4407237-1569348892/solver-4407237-1569348892 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407237-1569348892.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7 RANDOM SEED=1438596231 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 22114780 kB MemAvailable: 31841108 kB Buffers: 148012 kB Cached: 9615972 kB SwapCached: 3568 kB Active: 4854168 kB Inactive: 4914148 kB Active(anon): 4104 kB Inactive(anon): 56464 kB Active(file): 4850064 kB Inactive(file): 4857684 kB Unevictable: 110892 kB Mlocked: 110892 kB SwapTotal: 67108860 kB SwapFree: 67002364 kB Dirty: 26300 kB Writeback: 0 kB AnonPages: 113628 kB Mapped: 56192 kB Shmem: 47620 kB Slab: 475716 kB SReclaimable: 447040 kB SUnreclaim: 28676 kB KernelStack: 3424 kB PageTables: 5812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515912 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: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13480 MiB End job on node146 at 2019-09-24 20:14:16