Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 63 | 38.752701 | 5.9460902 |
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 | 6.2784801 |
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280343-1503170455.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280343-1503170455.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 8.21/1.73 c solve instance... 14.08/2.56 o 354 14.08/2.58 o 335 14.59/2.61 o 270 14.59/2.61 o 255 14.59/2.62 o 242 14.59/2.63 o 139 15.38/2.75 o 138 15.38/2.76 o 132 15.38/2.76 o 129 15.38/2.80 o 128 16.08/2.80 o 125 16.08/2.89 o 118 16.77/2.91 o 113 16.77/2.98 o 110 18.38/3.11 o 105 18.38/3.12 o 100 18.38/3.12 o 95 18.38/3.12 o 91 19.78/3.36 o 89 20.53/3.41 o 88 20.53/3.43 o 85 22.03/3.64 o 81 22.03/3.69 o 79 22.83/3.70 o 77 22.83/3.77 o 73 24.33/3.95 o 72 26.02/4.19 o 69 26.73/4.26 o 65 28.26/4.41 o 63 38.47/5.73 s OPTIMUM FOUND 38.47/5.73 v <instantiation> 38.47/5.73 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> 38.47/5.73 v <values>23 41 62 87 98 122 160 187 209 238 467 512 548 606 661 711 114 96 75 50 39 15 23 50 72 101 330 375 411 469 524 574 27 9 12 37 48 72 110 137 159 188 417 462 498 556 611 661 99 81 60 35 24 0 38 65 87 116 345 390 426 484 539 589 99 81 60 35 24 0 38 65 87 116 345 390 426 484 539 589 64 46 25 0 11 35 73 100 122 151 380 425 461 519 574 624 58 40 19 6 17 41 79 106 128 157 386 431 467 525 580 630 164 146 125 100 89 65 27 0 22 51 280 325 361 419 474 524 35 17 4 29 40 64 102 129 151 180 409 454 490 548 603 653 137 119 98 73 62 38 0 27 49 78 307 352 388 446 501 551 75 57 36 11 0 24 62 89 111 140 369 414 450 508 563 613 72 54 33 8 3 27 65 92 114 143 372 417 453 511 566 616 2 16 37 62 73 97 135 162 184 213 442 487 523 581 636 686 0 18 39 64 75 99 137 164 186 215 444 489 525 583 638 688 688 670 649 624 613 589 551 524 502 473 244 199 163 105 50 0 18 0 21 46 57 81 119 146 168 197 426 471 507 565 620 670 489 471 450 425 414 390 352 325 303 274 45 0 36 94 149 199 489 471 450 425 414 390 352 325 303 274 45 0 36 94 149 199 81 63 42 17 6 18 56 83 105 134 363 408 444 502 557 607 44 26 5 20 31 55 93 120 142 171 400 445 481 539 594 644 638 620 599 574 563 539 501 474 452 423 194 149 113 55 0 50 638 620 599 574 563 539 501 474 452 423 194 149 113 55 0 50 444 426 405 380 369 345 307 280 258 229 0 45 81 139 194 244 444 426 405 380 369 345 307 280 258 229 0 45 81 139 194 244 215 197 176 151 140 116 78 51 29 0 229 274 310 368 423 473 39 21 0 25 36 60 98 125 147 176 405 450 486 544 599 649 39 21 0 25 36 60 98 125 147 176 405 450 486 544 599 649 583 565 544 519 508 484 446 419 397 368 139 94 58 0 55 105 583 565 544 519 508 484 446 419 397 368 139 94 58 0 55 105 186 168 147 122 111 87 49 22 0 29 258 303 339 397 452 502 11 29 50 75 86 110 148 175 197 226 455 500 536 594 649 699 525 507 486 461 450 426 388 361 339 310 81 36 0 58 113 163 523 505 484 459 448 424 386 359 337 308 79 34 2 60 115 165 15 9 0 0 0 6 0 4 0 0 3 2 0 0 0 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 0 2 </values> 38.47/5.73 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 (13012 MiB free) memory of node 1: 16384 MiB (12572 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280343-1503170455/watcher-4280343-1503170455 -o /tmp/evaluation-result-4280343-1503170455/solver-4280343-1503170455 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2134156966 HOME/instance-4280343-1503170455.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=13806, runsolver pid=13803 Current StackSize limit: 8192 KiB [startup+0.100163 s]* /proc/loadavg: 2.21 3.48 5.85 2/199 13827 /proc/meminfo: memFree=26183424/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=25999808 memory=27048 CPUtime=0.11 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 5620 0 0 0 10 1 0 0 20 0 20 0 150133090 26623803392 6762 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6499952 6762 2873 1 0 6488269 0 [pid=13808/tid=13809] ppid=13806 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) R 13806 13806 13260 0 -1 4202560 3638 0 0 0 8 1 0 0 20 0 20 0 150133090 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639656665584 139639652445590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639605054608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=25999808 memory=140145510778496 CPUtime=0 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639604001808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639602949008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13813] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13813/stat : 13813 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639601896208 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13814] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13814/stat : 13814 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639600843408 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13815] ppid=13806 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13815/stat : 13815 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639599790608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13816] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13816/stat : 13816 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639598737808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13817] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13817/stat : 13817 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26623803392 6762 33554432000 4194304 4196468 140732367501296 139639597685008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13818] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13818/stat : 13818 (java) S 13806 13806 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150133093 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637857512304 139639652444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13819] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150133093 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637856458272 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150133093 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637855405424 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) S 13806 13806 13260 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637853301104 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637852248304 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637851195504 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) R 13806 13806 13260 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637850142704 139639652445590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26623803392 6762 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28432 KiB [startup+0.210075 s]* /proc/loadavg: 2.21 3.48 5.85 3/199 13827 /proc/meminfo: memFree=26172244/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=26004064 memory=39224 CPUtime=0.33 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 8308 0 0 0 31 2 0 0 20 0 20 0 150133090 26628161536 9806 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6501016 9806 3076 1 0 6488269 0 [pid=13808/tid=13809] ppid=13806 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) R 13806 13806 13260 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 150133090 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639656654648 139639652455581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639605054608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=26004064 memory=288370521662490240 CPUtime=0 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639604001808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639602949008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13813] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13813/stat : 13813 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639601896208 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13814] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13814/stat : 13814 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639600843408 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13815] ppid=13806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13815/stat : 13815 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639599790608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13816] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13816/stat : 13816 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639598737808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13817] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13817/stat : 13817 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 9806 33554432000 4194304 4196468 140732367501296 139639597685008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13818] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13818/stat : 13818 (java) S 13806 13806 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637857512304 139639652444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13819] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637856458272 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637855405424 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) S 13806 13806 13260 0 -1 1077944384 669 0 0 0 1 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637853301104 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) S 13806 13806 13260 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637852248304 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) S 13806 13806 13260 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637851195504 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) R 13806 13806 13260 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637850142704 139639636514142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 9806 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40608 KiB [startup+0.309417 s]* /proc/loadavg: 2.21 3.48 5.85 3/199 13827 /proc/meminfo: memFree=26168104/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=26004064 memory=43868 CPUtime=0.51 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 9218 0 0 0 48 3 0 0 20 0 20 0 150133090 26628161536 10967 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6501016 10967 3094 1 0 6488269 0 [pid=13808/tid=13809] ppid=13806 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) R 13806 13806 13260 0 -1 4202560 6100 0 0 0 27 1 0 0 20 0 20 0 150133090 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639656671920 139639638499616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639605054608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639604001808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639602949008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13813] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13813/stat : 13813 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639601896208 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13814] ppid=13806 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13808/task/13814/stat : 13814 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639600843408 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13815] ppid=13806 vsize=26004064 memory=140145386943407 CPUtime=0 cores=0-7 /proc/13808/task/13815/stat : 13815 (java) S 13806 13806 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639599790608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13816] ppid=13806 vsize=26004064 memory=140145386945712 CPUtime=0 cores=0-7 /proc/13808/task/13816/stat : 13816 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639598737808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13817] ppid=13806 vsize=26004064 memory=140145386948016 CPUtime=0 cores=0-7 /proc/13808/task/13817/stat : 13817 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133091 26628161536 10967 33554432000 4194304 4196468 140732367501296 139639597685008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13818] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13818/stat : 13818 (java) S 13806 13806 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637857512304 139639652444802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13819] ppid=13806 vsize=26004064 memory=280290773902992 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637856458272 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=26004064 memory=280290773909904 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150133093 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637855405424 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=26004064 memory=280290773851184 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=26004064 memory=280290773923728 CPUtime=0.02 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) S 13806 13806 13260 0 -1 1077944384 675 0 0 0 2 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637853301104 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=26004064 memory=280290773930640 CPUtime=0.02 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) S 13806 13806 13260 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637852248304 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=26004064 memory=280290773928336 CPUtime=0.02 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) S 13806 13806 13260 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637851195504 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=26004064 memory=280290773944496 CPUtime=0.12 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) R 13806 13806 13260 0 -1 4202560 850 0 0 0 12 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637850142704 139639630688262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150133096 26628161536 10967 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45252 KiB [startup+0.701128 s] /proc/loadavg: 2.21 3.48 5.85 3/199 13827 /proc/meminfo: memFree=26146704/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=26006188 memory=224812 CPUtime=1.91 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 13746 0 0 0 180 11 0 0 20 0 20 0 150133090 26630336512 56203 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6501547 56203 3205 1 0 6488781 0 [pid=13808/tid=13809] ppid=13806 vsize=26006188 memory=280290774302384 CPUtime=0.64 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) S 13806 13806 13260 0 -1 1077944384 6855 0 0 0 61 3 0 0 20 0 20 0 150133090 26630336512 56203 33554432000 4194304 4196468 140732367501296 139639656669952 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=26006188 memory=140145387152240 CPUtime=0 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) R 13806 13806 13260 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 150133091 26630336512 56203 33554432000 4194304 4196468 140732367501296 139639605054808 139639637461074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) R 13806 13806 13260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 150133091 26630336512 56203 33554432000 4194304 4196468 140732367501296 139639604002008 139639637461074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=26006188 memory=1004 CPUtime=0 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) R 13806 13806 13260 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 150133091 26630336512 56203 33554432000 4194304 4196468 140732367501296 139639602949208 139639645538303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 ################ # More data... # ################ [pid=13808/tid=13819] ppid=13806 vsize=26606292 memory=825241649 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637856458336 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637855405440 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=26606292 memory=0 CPUtime=1.21 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) R 13806 13806 13260 0 -1 4202560 2764 0 0 0 120 1 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637853287128 139639633134270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=26606292 memory=0 CPUtime=1.23 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) R 13806 13806 13260 0 -1 4202560 2350 0 0 0 123 0 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637852235120 139639635638349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=26606292 memory=0 CPUtime=1.26 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) R 13806 13806 13260 0 -1 4202560 2816 0 0 0 125 1 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637851185216 139639637355004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=26606292 memory=0 CPUtime=0.69 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) S 13806 13806 13260 0 -1 1077944384 3043 0 0 0 68 1 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637850142704 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=26606292 memory=1399101730491701635 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=26606292 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 278403 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 18.99 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 1114996 KiB [startup+4.80613 s] /proc/loadavg: 2.21 3.48 5.85 12/207 14043 /proc/meminfo: memFree=25002036/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=26606292 memory=1248576 CPUtime=31.37 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 72917 0 0 0 2926 211 0 0 20 0 28 0 150133090 27244843008 312144 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6651573 312144 3304 1 0 6638807 0 [pid=13808/tid=13809] ppid=13806 vsize=26606292 memory=1097896 CPUtime=1.08 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) S 13806 13806 13260 0 -1 1077944384 7135 0 0 0 100 8 0 0 20 0 28 0 150133090 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639656674432 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=26606292 memory=0 CPUtime=1.04 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) S 13806 13806 13260 0 -1 1077944384 4332 0 0 0 84 20 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639605054608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=26606292 memory=0 CPUtime=1.11 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) S 13806 13806 13260 0 -1 1077944384 3942 0 0 0 89 22 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639604001808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) S 13806 13806 13260 0 -1 1077944384 2518 0 0 0 88 21 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639602949008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13813] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13813/stat : 13813 (java) S 13806 13806 13260 0 -1 1077944384 4550 0 0 0 87 22 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639601896208 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13814] ppid=13806 vsize=26606292 memory=0 CPUtime=1.12 cores=0-7 /proc/13808/task/13814/stat : 13814 (java) S 13806 13806 13260 0 -1 1077944384 3907 0 0 0 89 23 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639600843408 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13815] ppid=13806 vsize=26606292 memory=0 CPUtime=1.07 cores=0-7 /proc/13808/task/13815/stat : 13815 (java) S 13806 13806 13260 0 -1 1077944384 3666 0 0 0 86 21 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639599790608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13816] ppid=13806 vsize=26606292 memory=0 CPUtime=1.13 cores=0-7 /proc/13808/task/13816/stat : 13816 (java) S 13806 13806 13260 0 -1 1077944384 3746 0 0 0 91 22 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639598737808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13817] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13817/stat : 13817 (java) S 13806 13806 13260 0 -1 1077944384 3982 0 0 0 87 22 0 0 20 0 28 0 150133091 27244843008 312144 33554432000 4194304 4196468 140732367501296 139639597685008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13818] ppid=13806 vsize=26606292 memory=0 CPUtime=0.04 cores=0-7 /proc/13808/task/13818/stat : 13818 (java) S 13806 13806 13260 0 -1 1077944384 1509 0 0 0 3 1 0 0 20 0 28 0 150133093 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637857512304 139639652444802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13819] ppid=13806 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637856458336 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637855405440 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=26606292 memory=0 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=26606292 memory=0 CPUtime=2.15 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) S 13806 13806 13260 0 -1 1077944384 5928 0 0 0 213 2 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637853301104 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=26606292 memory=3 CPUtime=2.03 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) S 13806 13806 13260 0 -1 1077944384 5350 0 0 0 201 2 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637852248304 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=26606292 memory=0 CPUtime=2.19 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) R 13806 13806 13260 0 -1 4202560 8534 0 0 0 217 2 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637851195800 139639635930140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=26606292 memory=0 CPUtime=0.78 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) S 13806 13806 13260 0 -1 1077944384 3519 0 0 0 77 1 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637850142704 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=26606292 memory=1384 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=26606292 memory=1185816 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312144 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 31.37 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 1249960 KiB [startup+5.60213 s] /proc/loadavg: 2.91 3.60 5.88 11/207 14067 /proc/meminfo: memFree=24960608/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 [pid=13808] ppid=13806 vsize=26606292 memory=1248864 CPUtime=37.68 cores=0-7 /proc/13808/stat : 13808 (java) S 13806 13806 13260 0 -1 1077944320 73539 0 0 0 3557 211 0 0 20 0 28 0 150133090 27244843008 312216 33554432000 4194304 4196468 140732367501296 140732367483840 139639652433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 /proc/13808/statm: 6651573 312216 3304 1 0 6638807 0 [pid=13808/tid=13809] ppid=13806 vsize=26606292 memory=0 CPUtime=1.08 cores=0-7 /proc/13808/task/13809/stat : 13809 (java) S 13806 13806 13260 0 -1 1077944384 7135 0 0 0 100 8 0 0 20 0 28 0 150133090 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639656674432 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13810] ppid=13806 vsize=26606292 memory=352 CPUtime=1.04 cores=0-7 /proc/13808/task/13810/stat : 13810 (java) S 13806 13806 13260 0 -1 1077944384 4332 0 0 0 84 20 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639605054608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13811] ppid=13806 vsize=26606292 memory=0 CPUtime=1.11 cores=0-7 /proc/13808/task/13811/stat : 13811 (java) S 13806 13806 13260 0 -1 1077944384 3942 0 0 0 89 22 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639604001808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13812] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13812/stat : 13812 (java) S 13806 13806 13260 0 -1 1077944384 2518 0 0 0 88 21 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639602949008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13813] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13813/stat : 13813 (java) S 13806 13806 13260 0 -1 1077944384 4550 0 0 0 87 22 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639601896208 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13814] ppid=13806 vsize=26606292 memory=0 CPUtime=1.12 cores=0-7 /proc/13808/task/13814/stat : 13814 (java) S 13806 13806 13260 0 -1 1077944384 3907 0 0 0 89 23 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639600843408 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13815] ppid=13806 vsize=26606292 memory=0 CPUtime=1.07 cores=0-7 /proc/13808/task/13815/stat : 13815 (java) S 13806 13806 13260 0 -1 1077944384 3666 0 0 0 86 21 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639599790608 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13816] ppid=13806 vsize=26606292 memory=2 CPUtime=1.13 cores=0-7 /proc/13808/task/13816/stat : 13816 (java) S 13806 13806 13260 0 -1 1077944384 3746 0 0 0 91 22 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639598737808 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13817] ppid=13806 vsize=26606292 memory=0 CPUtime=1.09 cores=0-7 /proc/13808/task/13817/stat : 13817 (java) S 13806 13806 13260 0 -1 1077944384 3982 0 0 0 87 22 0 0 20 0 28 0 150133091 27244843008 312216 33554432000 4194304 4196468 140732367501296 139639597685008 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13818] ppid=13806 vsize=26606292 memory=1004 CPUtime=0.04 cores=0-7 /proc/13808/task/13818/stat : 13818 (java) S 13806 13806 13260 0 -1 1077944384 1549 0 0 0 3 1 0 0 20 0 28 0 150133093 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637857512304 139639652444802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13819] ppid=13806 vsize=26606292 memory=1436 CPUtime=0 cores=0-7 /proc/13808/task/13819/stat : 13819 (java) S 13806 13806 13260 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637856458336 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13820] ppid=13806 vsize=26606292 memory=1200 CPUtime=0 cores=0-7 /proc/13808/task/13820/stat : 13820 (java) S 13806 13806 13260 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 150133093 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637855405440 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13821] ppid=13806 vsize=26606292 memory=15876 CPUtime=0 cores=0-7 /proc/13808/task/13821/stat : 13821 (java) S 13806 13806 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637854353744 139639652452251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13822] ppid=13806 vsize=26606292 memory=4040 CPUtime=2.23 cores=0-7 /proc/13808/task/13822/stat : 13822 (java) R 13806 13806 13260 0 -1 4202560 5991 0 0 0 221 2 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637853301400 139639633977889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13823] ppid=13806 vsize=26606292 memory=23880 CPUtime=2.15 cores=0-7 /proc/13808/task/13823/stat : 13823 (java) S 13806 13806 13260 0 -1 1077944384 5413 0 0 0 213 2 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637852248304 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13824] ppid=13806 vsize=26606292 memory=18292 CPUtime=2.28 cores=0-7 /proc/13808/task/13824/stat : 13824 (java) S 13806 13806 13260 0 -1 1077944384 8587 0 0 0 226 2 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637851195504 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13825] ppid=13806 vsize=26606292 memory=1792 CPUtime=0.8 cores=0-7 /proc/13808/task/13825/stat : 13825 (java) S 13806 13806 13260 0 -1 1077944384 3796 0 0 0 79 1 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637850142704 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13826] ppid=13806 vsize=26606292 memory=648 CPUtime=0 cores=0-7 /proc/13808/task/13826/stat : 13826 (java) S 13806 13806 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637849091168 139639652443861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=13827] ppid=13806 vsize=26606292 memory=1236 CPUtime=0 cores=0-7 /proc/13808/task/13827/stat : 13827 (java) S 13806 13806 13260 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 150133096 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637848038448 139639652444802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14060] ppid=13806 vsize=26606292 memory=960 CPUtime=1.13 cores=0-7 /proc/13808/task/14060/stat : 14060 (java) R 13806 13806 13260 0 -1 4202560 42 0 0 0 113 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637231069784 139639275355715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14061] ppid=13806 vsize=26606292 memory=2424 CPUtime=1.06 cores=0-7 /proc/13808/task/14061/stat : 14061 (java) R 13806 13806 13260 0 -1 4202560 71 0 0 0 106 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637228965360 139639276931669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14062] ppid=13806 vsize=26606292 memory=2236 CPUtime=1.1 cores=0-7 /proc/13808/task/14062/stat : 14062 (java) R 13806 13806 13260 0 -1 4202560 262 0 0 0 110 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637230017792 139639275726539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14063] ppid=13806 vsize=26606292 memory=4084 CPUtime=1.06 cores=0-7 /proc/13808/task/14063/stat : 14063 (java) R 13806 13806 13260 0 -1 4202560 85 0 0 0 106 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637226860408 139639278524429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14064] ppid=13806 vsize=26606292 memory=932 CPUtime=1.08 cores=0-7 /proc/13808/task/14064/stat : 14064 (java) R 13806 13806 13260 0 -1 4202560 96 0 0 0 108 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637234228816 139639276513830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14065] ppid=13806 vsize=26606292 memory=1572 CPUtime=1.05 cores=0-7 /proc/13808/task/14065/stat : 14065 (java) R 13806 13806 13260 0 -1 4202560 55 0 0 0 105 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637232123056 139639276951541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14066] ppid=13806 vsize=26606292 memory=2200 CPUtime=1.07 cores=0-7 /proc/13808/task/14066/stat : 14066 (java) R 13806 13806 13260 0 -1 4202560 43 0 0 0 107 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637227913192 139639278523774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 [pid=13808/tid=14067] ppid=13806 vsize=26606292 memory=8048 CPUtime=1.03 cores=0-7 /proc/13808/task/14067/stat : 14067 (java) R 13806 13806 13260 0 -1 4202560 127 0 0 0 103 0 0 0 20 0 28 0 150133532 27244843008 312216 33554432000 4194304 4196468 140732367501296 139637225807432 139639278525683 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732367504530 140732367504707 140732367504707 140732367507407 0 Current children cumulated CPU time: 37.68 s Current children cumulated vsize: 26615804 KiB Current children cumulated memory: 1250248 KiB [startup+5.80118 s] /proc/loadavg: 2.91 3.60 5.88 11/207 14067 /proc/meminfo: memFree=24960608/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB [startup+5.90048 s] /proc/loadavg: 2.91 3.60 5.88 11/207 14067 /proc/meminfo: memFree=24960608/32770624 swapFree=67108860/67108860 [pid=13806] ppid=13803 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13806/stat : 13806 (xcsp3-exec) S 13803 13806 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150133090 9740288 346 33554432000 4194304 5098028 140735067582528 140735067580632 140602230334076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23449600 140735067587684 140735067587895 140735067587895 140735067590635 0 /proc/13806/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 5.94609 CPU time (s): 38.7527 CPU user time (s): 36.6081 CPU system time (s): 2.14464 CPU usage (%): 651.735 Max. virtual memory (cumulated for all children) (KiB): 26618048 Max. memory (cumulated for all children) (KiB): 1250328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.6081 system time used= 2.14464 maximum resident set size= 1249144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74681 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7230 involuntary context switches= 872 # summary of solver processes directly reported to runsolver: # pid: 13806 # total CPU time (s): 38.7527 # total CPU user time (s): 36.6081 # total CPU system time (s): 2.14464 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.07145 second user time and 0.097219 second system time The end
Begin job on node112 at 2017-08-19 21:06:34 IDJOB=4280343 IDBENCH=138318 IDSOLVER=2675 FILE ID=node112/4280343-1503170455 RUNJOBID= node112-1503169099-13287 PBS_JOBID= 20630837 Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280343-1503170455/watcher-4280343-1503170455 -o /tmp/evaluation-result-4280343-1503170455/solver-4280343-1503170455 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2134156966 HOME/instance-4280343-1503170455.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7 RANDOM SEED=2134156966 node112.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.24 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.24 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.24 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.24 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: 26199272 kB MemAvailable: 31969924 kB Buffers: 250772 kB Cached: 5810112 kB SwapCached: 0 kB Active: 1097896 kB Inactive: 5014872 kB Active(anon): 3564 kB Inactive(anon): 84388 kB Active(file): 1094332 kB Inactive(file): 4930484 kB Unevictable: 7840 kB Mlocked: 7840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 55720 kB Mapped: 51080 kB Shmem: 33416 kB Slab: 150656 kB SReclaimable: 123340 kB SUnreclaim: 27316 kB KernelStack: 3376 kB PageTables: 5028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333132 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61848 MiB End job on node112 at 2017-08-19 21:06:41