Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.10 | OPT | 2 | 10.6684 | 4.66018 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff34.xml |
MD5SUM | bce56437d9fb8db43dbe0792f1384def |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.058774 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 703 |
Number of constraints | 683 |
Number of domains | 23 |
Minimum domain size | 21 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":21,"count":88},{"size":22,"count":615}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":682},{"degree":32,"count":21}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 22 |
Distribution of constraint arities | [{"arity":2,"count":651},{"arity":21,"count":1},{"arity":22,"count":31}] |
Number of extensional constraints | 651 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":651},{"type":"ordered","count":1},{"type":"minimum","count":31}] |
Optimization problem | YES |
Type of objective | min SUM |
0.69/0.61 c Concrete v3.10.1560635388952 running 9.98/4.11 o 54 10.31/4.14 o 9 10.63/4.39 o 7 10.63/4.39 o 2 10.63/4.39 v <instantiation 10.63/4.39 v cost = '2'> 10.63/4.39 v <list> 10.63/4.39 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] 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[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] 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[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] 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[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] 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[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] 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[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] 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[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] 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[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] 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[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] 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[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] 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[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] 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[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] 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[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] 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[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] 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[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] 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[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] 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[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] 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[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] 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[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] 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[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] 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[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] 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[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] 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[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] 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[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] 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[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] 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[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] 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[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] 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[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] 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[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] 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[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] 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[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] 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[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] 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] 10.63/4.39 v </list> 10.63/4.39 v <values> 10.63/4.39 v 32 76 103 377 386 426 442 462 511 535 542 582 604 635 655 687 720 750 761 794 812 503 459 432 158 149 109 93 73 24 0 7 47 69 100 120 152 185 215 226 259 277 762 718 691 417 408 368 352 332 283 259 252 212 190 159 139 107 74 44 33 0 18 623 579 552 278 269 229 213 193 144 120 113 73 51 20 0 32 65 95 106 139 157 354 310 283 9 0 40 56 76 125 149 156 196 218 249 269 301 334 364 375 408 426 510 466 439 165 156 116 100 80 31 7 0 40 62 93 113 145 178 208 219 252 270 729 685 658 384 375 335 319 299 250 226 219 179 157 126 106 74 41 11 0 33 51 572 528 501 227 218 178 162 142 93 69 62 22 0 31 51 83 116 146 157 190 208 572 528 501 227 218 178 162 142 93 69 62 22 0 31 51 83 116 146 157 190 208 603 559 532 258 249 209 193 173 124 100 93 53 31 0 20 52 85 115 126 159 177 0 44 71 345 354 394 410 430 479 503 510 550 572 603 623 655 688 718 729 762 780 0 44 71 345 354 394 410 430 479 503 510 550 572 603 623 655 688 718 729 762 780 410 366 339 65 56 16 0 20 69 93 100 140 162 193 213 245 278 308 319 352 370 44 0 27 301 310 350 366 386 435 459 466 506 528 559 579 611 644 674 685 718 736 44 0 27 301 310 350 366 386 435 459 466 506 528 559 579 611 644 674 685 718 736 479 435 408 134 125 85 69 49 0 24 31 71 93 124 144 176 209 239 250 283 301 479 435 408 134 125 85 69 49 0 24 31 71 93 124 144 176 209 239 250 283 301 548 504 477 203 194 154 138 118 69 45 38 2 24 55 75 107 140 170 181 214 232 550 506 479 205 196 156 140 120 71 47 40 0 22 53 73 105 138 168 179 212 230 688 644 617 343 334 294 278 258 209 185 178 138 116 85 65 33 0 30 41 74 92 688 644 617 343 334 294 278 258 209 185 178 138 116 85 65 33 0 30 41 74 92 71 27 0 274 283 323 339 359 408 432 439 479 501 532 552 584 617 647 658 691 709 71 27 0 274 283 323 339 359 408 432 439 479 501 532 552 584 617 647 658 691 709 394 350 323 49 40 0 16 36 85 109 116 156 178 209 229 261 294 324 335 368 386 394 350 323 49 40 0 16 36 85 109 116 156 178 209 229 261 294 324 335 368 386 655 611 584 310 301 261 245 225 176 152 145 105 83 52 32 0 33 63 74 107 125 655 611 584 310 301 261 245 225 176 152 145 105 83 52 32 0 33 63 74 107 125 345 301 274 0 9 49 65 85 134 158 165 205 227 258 278 310 343 373 384 417 435 718 674 647 373 364 324 308 288 239 215 208 168 146 115 95 63 30 0 11 44 62 430 386 359 85 76 36 20 0 49 73 80 120 142 173 193 225 258 288 299 332 350 430 386 359 85 76 36 20 0 49 73 80 120 142 173 193 225 258 288 299 332 350 780 736 709 435 426 386 370 350 301 277 270 230 208 177 157 125 92 62 51 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10.63/4.39 v </values> 10.63/4.39 v </instantiation> 10.63/4.39 s OPTIMUM FOUND
OK 2
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: 16375 MiB (6736 MiB free) memory of node 1: 16384 MiB (13559 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387417-1568304023/watcher-4387417-1568304023 -o /tmp/evaluation-result-4387417-1568304023/solver-4387417-1568304023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=510534566 HOME/instance-4387417-1568304023.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4634, runsolver pid=4631 [startup+0.10068 s]* /proc/loadavg: 1.80 1.68 1.52 2/215 4687 /proc/meminfo: memFree=20782528/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=9970504 memory=11352 CPUtime=0.09 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 3598 13311 0 0 0 1 5 3 20 0 6 0 406344037 10209796096 2838 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2492627 2838 1321 1 0 2481538 0 [pid=4634/tid=4687] ppid=4631 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 1612 13311 0 0 0 0 5 3 20 0 6 0 406344047 10212057088 3578 33554432000 4194304 4196468 140720498371904 139770494616144 139770378186614 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 406344047 10212057088 3578 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=9972712 memory=140514666190464 CPUtime=0.08 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 406344047 10212057088 3578 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 6 0 406344047 10212057088 3578 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 6 0 406344047 10212057088 3578 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9970504 KiB Current children cumulated memory: 11352 KiB [startup+0.211181 s]* /proc/loadavg: 1.80 1.68 1.52 5/228 4700 /proc/meminfo: memFree=20761976/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10818900 memory=36244 CPUtime=0.25 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 6968 13311 0 0 15 2 5 3 20 0 15 0 406344037 11078553600 9061 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2704725 9061 2950 1 0 2667149 0 [pid=4634/tid=4687] ppid=4631 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 3497 13311 0 0 10 1 5 3 20 0 15 0 406344047 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770494611728 139770506859870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10818900 memory=288370890817902208 CPUtime=0.08 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10818900 memory=140514666190464 CPUtime=0.08 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344049 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 406344049 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769979855648 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769375876208 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) S 4631 4634 31157 0 -1 1077944384 570 13311 0 0 1 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139770048367216 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) S 4631 4634 31157 0 -1 1077944384 60 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769946298864 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10818900 memory=140514666190464 CPUtime=0.1 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) S 4631 4634 31157 0 -1 1077944384 616 13311 0 0 2 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769945246576 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10818900 memory=140514666190464 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078553600 9131 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 36244 KiB [startup+0.311585 s]* /proc/loadavg: 1.80 1.68 1.52 5/228 4700 /proc/meminfo: memFree=20746528/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10819084 memory=47256 CPUtime=0.39 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 10447 13311 0 0 28 3 5 3 20 0 15 0 406344037 11078742016 11814 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2704771 11814 3004 1 0 2667149 0 [pid=4634/tid=4687] ppid=4631 vsize=10819084 memory=6935054825532540783 CPUtime=0.28 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 6959 13311 0 0 18 2 5 3 20 0 15 0 406344047 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770494561280 139770506859870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10819084 memory=-2843871824389457054 CPUtime=0.08 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10819084 memory=-8412656567334364540 CPUtime=0.08 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344049 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 406344049 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769979855648 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769375876208 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10819084 memory=0 CPUtime=0.1 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) S 4631 4634 31157 0 -1 1077944384 570 13311 0 0 2 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139770048367216 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) S 4631 4634 31157 0 -1 1077944384 61 13311 0 0 1 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769946298864 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10819084 memory=0 CPUtime=0.13 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) R 4631 4634 31157 0 -1 4202560 635 13311 0 0 5 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769945246576 139770501470576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344053 11078742016 11814 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 47256 KiB [startup+0.700816 s] /proc/loadavg: 1.80 1.68 1.52 3/228 4700 /proc/meminfo: memFree=20736432/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10822292 memory=76172 CPUtime=1.09 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 14283 13311 0 0 96 5 5 3 20 0 15 0 406344037 11082027008 19043 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2705573 19043 3483 1 0 2667661 0 [pid=4634/tid=4687] ppid=4631 vsize=10822292 memory=0 CPUtime=0.66 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 10100 13311 0 0 54 4 5 3 20 0 15 0 406344047 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770494594992 139770506859870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344047 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10822292 memory=281029105422096 CPUtime=0.08 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10822292 memory=2465713882881 CPUtime=0.08 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 406344047 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10822292 memory=2470008850177 CPUtime=0.08 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 5 13311 0 0 0 0 5 3 20 0 15 0 406344049 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10822292 memory=2474303817473 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 13 13311 0 0 0 0 5 3 20 0 15 0 406344049 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769979855648 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10822292 memory=448689960 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769375876208 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10822292 memory=4641337133689313955 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10822292 memory=5864902102088180568 CPUtime=0.2 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) R 4631 4634 31157 0 -1 4202560 875 13311 0 0 12 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139770048356016 139770505991546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10822292 memory=7881696724453321575 CPUtime=0.19 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) R 4631 4634 31157 0 -1 4202560 325 13311 0 0 11 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769946287536 139770522800730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10822292 memory=8740 CPUtime=0.25 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) S 4631 4634 31157 0 -1 1077944384 744 13311 0 0 17 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769945246576 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10822292 memory=281029105985088 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10822292 memory=140518445023833 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344053 11082027008 19043 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 76172 KiB [startup+1.50081 s] /proc/loadavg: 1.80 1.68 1.52 5/228 4700 /proc/meminfo: memFree=20693756/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10832608 memory=182348 CPUtime=3.02 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 28413 13311 0 0 283 11 5 3 20 0 15 0 406344037 11092590592 45587 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2708152 45587 3570 1 0 2670221 0 [pid=4634/tid=4687] ppid=4631 vsize=10832608 memory=-7966001967407402336 CPUtime=1.43 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 15633 13311 0 0 128 7 5 3 20 0 15 0 406344047 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770494611824 139770506859870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 23 13311 0 0 1 0 5 3 20 0 15 0 406344047 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10832608 memory=6944652177228980320 CPUtime=0.09 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 56 13311 0 0 1 0 5 3 20 0 15 0 406344047 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 29 13311 0 0 1 0 5 3 20 0 15 0 406344047 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 272 13311 0 0 1 0 5 3 20 0 15 0 406344047 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10832608 memory=281029105490352 CPUtime=0.09 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 676 13311 0 0 1 0 5 3 20 0 15 0 406344049 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10832608 memory=140514552836640 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 14 13311 0 0 0 0 5 3 20 0 15 0 406344049 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769979855712 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769375876224 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10832608 memory=3467824627880452160 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10832608 memory=281029105673728 CPUtime=0.58 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) S 4631 4634 31157 0 -1 1077944384 2942 13311 0 0 50 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139770048367216 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10832608 memory=-7026283297063673248 CPUtime=0.59 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) S 4631 4634 31157 0 -1 1077944384 4399 13311 0 0 51 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769946298864 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10832608 memory=8292095139715588497 CPUtime=0.52 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) S 4631 4634 31157 0 -1 1077944384 2154 13311 0 0 44 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769945246576 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10832608 memory=1399943076115485043 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10832608 memory=142855309928643 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344053 11092590592 45637 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 3.02 s Current children cumulated vsize: 10832608 KiB Current children cumulated memory: 182348 KiB [startup+3.11165 s] /proc/loadavg: 1.90 1.70 1.52 5/228 4700 /proc/meminfo: memFree=20577856/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10842868 memory=229416 CPUtime=7.18 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 42873 13311 0 0 693 17 5 3 20 0 15 0 406344037 11103096832 57354 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2710717 57354 3591 1 0 2672781 0 [pid=4634/tid=4687] ppid=4631 vsize=10842868 memory=13567102464298770 CPUtime=3.03 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 22270 13311 0 0 285 10 5 3 20 0 15 0 406344047 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770494612592 139770500781991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10842868 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 23 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10842868 memory=0 CPUtime=0.09 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 56 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10842868 memory=195588 CPUtime=0.09 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 29 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10842868 memory=22076534557418 CPUtime=0.09 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 272 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10842868 memory=22076534557162 CPUtime=0.09 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 845 13311 0 0 1 0 5 3 20 0 15 0 406344049 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10842868 memory=22076534557162 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 14 13311 0 0 0 0 5 3 20 0 15 0 406344049 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769979855712 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10842868 memory=22076534557162 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769375876224 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10842868 memory=83612 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10842868 memory=140518445024117 CPUtime=1.47 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) R 4631 4634 31157 0 -1 4202560 4478 13311 0 0 138 1 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139770048367216 139770507667505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10842868 memory=140518445024122 CPUtime=1.48 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) S 4631 4634 31157 0 -1 1077944384 7102 13311 0 0 139 1 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769946298864 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10842868 memory=140518445024125 CPUtime=1.31 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) R 4631 4634 31157 0 -1 4202560 5562 13311 0 0 122 1 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769945246576 139770504342884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10842868 memory=140518445024188 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10842868 memory=140518445024190 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 57354 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 7.18 s Current children cumulated vsize: 10842868 KiB Current children cumulated memory: 229416 KiB [startup+4.66014 s] # the end of solver process 4634 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.3969 s, system=0.271456 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20151 s] /proc/loadavg: 1.90 1.70 1.52 5/228 4700 /proc/meminfo: memFree=20577856/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10842868 memory=234616 CPUtime=7.45 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 43139 13311 0 0 720 17 5 3 20 0 15 0 406344037 11103096832 58654 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2710717 58654 3591 1 0 2672781 0 [pid=4634/tid=4687] ppid=4631 vsize=10842868 memory=0 CPUtime=3.12 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 22368 13311 0 0 294 10 5 3 20 0 15 0 406344047 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770494612024 139770137400012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10842868 memory=8112282956445269571 CPUtime=0.09 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 23 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10842868 memory=36076 CPUtime=0.09 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 56 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10842868 memory=984 CPUtime=0.09 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 29 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10842868 memory=2044 CPUtime=0.09 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 272 13311 0 0 1 0 5 3 20 0 15 0 406344047 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10842868 memory=1380 CPUtime=0.09 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 845 13311 0 0 1 0 5 3 20 0 15 0 406344049 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10842868 memory=1056 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 14 13311 0 0 0 0 5 3 20 0 15 0 406344049 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769979855712 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10842868 memory=764 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769375876224 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10842868 memory=1708 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10842868 memory=55 CPUtime=1.54 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) S 4631 4634 31157 0 -1 1077944384 4505 13311 0 0 145 1 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139770048367216 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10842868 memory=576587670020715552 CPUtime=1.53 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) S 4631 4634 31157 0 -1 1077944384 7128 13311 0 0 144 1 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769946298864 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10842868 memory=288283394117478088 CPUtime=1.37 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) R 4631 4634 31157 0 -1 4202560 5676 13311 0 0 128 1 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769945246576 139770501613760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10842868 memory=576461252204721717 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10842868 memory=288288874495747654 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 406344053 11103096832 58654 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 7.45 s Current children cumulated vsize: 10842868 KiB Current children cumulated memory: 234616 KiB [startup+4.00281 s]* /proc/loadavg: 1.90 1.70 1.52 5/228 4700 /proc/meminfo: memFree=20515064/32770688 swapFree=66960432/67108860 [pid=4634] ppid=4631 vsize=10846964 memory=283708 CPUtime=9.98 cores=4-7 /proc/4634/stat : 4634 (java) S 4631 4634 31157 0 -1 1077944320 50174 13311 0 0 969 21 5 3 20 0 15 0 406344037 11107291136 70927 33554432000 4194304 4196468 140720498371904 140720498354448 139770522779383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 /proc/4634/statm: 2711741 70927 3603 1 0 2673805 0 [pid=4634/tid=4687] ppid=4631 vsize=10846964 memory=6935054825532540783 CPUtime=3.86 cores=4-7 /proc/4634/task/4687/stat : 4687 (java) R 4631 4634 31157 0 -1 4202560 24162 13311 0 0 367 11 5 3 20 0 15 0 406344047 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770494604392 139770504342943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4688] ppid=4631 vsize=10846964 memory=0 CPUtime=0.11 cores=4-7 /proc/4634/task/4688/stat : 4688 (java) S 4631 4634 31157 0 -1 1077944384 43 13311 0 0 3 0 5 3 20 0 15 0 406344047 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770527021968 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4689] ppid=4631 vsize=10846964 memory=0 CPUtime=0.12 cores=4-7 /proc/4634/task/4689/stat : 4689 (java) S 4631 4634 31157 0 -1 1077944384 143 13311 0 0 4 0 5 3 20 0 15 0 406344047 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770095966992 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4690] ppid=4631 vsize=10846964 memory=0 CPUtime=0.12 cores=4-7 /proc/4634/task/4690/stat : 4690 (java) S 4631 4634 31157 0 -1 1077944384 50 13311 0 0 4 0 5 3 20 0 15 0 406344047 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770094914704 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4691] ppid=4631 vsize=10846964 memory=67 CPUtime=0.12 cores=4-7 /proc/4634/task/4691/stat : 4691 (java) S 4631 4634 31157 0 -1 1077944384 311 13311 0 0 4 0 5 3 20 0 15 0 406344047 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770093861904 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4692] ppid=4631 vsize=10846964 memory=140514666190464 CPUtime=0.12 cores=4-7 /proc/4634/task/4692/stat : 4692 (java) S 4631 4634 31157 0 -1 1077944384 2264 13311 0 0 4 0 5 3 20 0 15 0 406344049 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770049419376 139770522790530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4693] ppid=4631 vsize=10846964 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/4634/task/4693/stat : 4693 (java) S 4631 4634 31157 0 -1 1077944384 15 13311 0 0 0 0 5 3 20 0 15 0 406344049 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769979855712 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4694] ppid=4631 vsize=10846964 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4694/stat : 4694 (java) S 4631 4634 31157 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 406344050 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769375876224 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4695] ppid=4631 vsize=10846964 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4695/stat : 4695 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769068476496 139770522797979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4696] ppid=4631 vsize=10846964 memory=7523376918531162212 CPUtime=2.15 cores=4-7 /proc/4634/task/4696/stat : 4696 (java) R 4631 4634 31157 0 -1 4202560 6737 13311 0 0 206 1 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139770048353096 139770503959014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4697] ppid=4631 vsize=10846964 memory=369 CPUtime=2.15 cores=4-7 /proc/4634/task/4697/stat : 4697 (java) R 4631 4634 31157 0 -1 4202560 7413 13311 0 0 206 1 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769946285408 139770506685388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4698] ppid=4631 vsize=10846964 memory=0 CPUtime=1.77 cores=4-7 /proc/4634/task/4698/stat : 4698 (java) S 4631 4634 31157 0 -1 1077944384 6837 13311 0 0 167 2 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769945246576 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4699] ppid=4631 vsize=10846964 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4699/stat : 4699 (java) S 4631 4634 31157 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769034918880 139770522789589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 [pid=4634/tid=4700] ppid=4631 vsize=10846964 memory=0 CPUtime=0.08 cores=4-7 /proc/4634/task/4700/stat : 4700 (java) S 4631 4634 31157 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 406344053 11107291136 70927 33554432000 4194304 4196468 140720498371904 139769944193456 139770522790530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140720498375414 140720498377925 140720498377925 140720498380751 0 Current children cumulated CPU time: 9.98 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 283708 KiB [startup+4.40072 s]* /proc/loadavg: 1.90 1.70 1.52 2/215 4701 /proc/meminfo: memFree=20771260/32770688 swapFree=66960432/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+4.60014 s] /proc/loadavg: 1.90 1.70 1.52 2/215 4701 /proc/meminfo: memFree=20771260/32770688 swapFree=66960432/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 4.66018 CPU time (s): 10.6684 CPU user time (s): 10.3969 CPU system time (s): 0.271456 CPU usage (%): 228.926 Max. virtual memory (cumulated for all children) (KiB): 10914832 Max. memory (cumulated for all children) (KiB): 296844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3969 system time used= 0.271456 maximum resident set size= 298044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66778 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5936 involuntary context switches= 50 # summary of solver processes directly reported to runsolver: # pid: 4634 # total CPU time (s): 10.6684 # total CPU user time (s): 10.3969 # total CPU system time (s): 0.271456 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.049299 second user time and 0.099518 second system time The end
Begin job on node116 at 2019-09-12 17:59:43 IDJOB=4387417 IDBENCH=138322 IDSOLVER=2823 FILE ID=node116/4387417-1568304023 RUNJOBID= node116-1568285921-31917 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff34.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387417-1568304023/watcher-4387417-1568304023 -o /tmp/evaluation-result-4387417-1568304023/solver-4387417-1568304023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=510534566 HOME/instance-4387417-1568304023.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bce56437d9fb8db43dbe0792f1384def RANDOM SEED=510534566 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 20784112 kB MemAvailable: 28331416 kB Buffers: 108664 kB Cached: 7650380 kB SwapCached: 46352 kB Active: 4913164 kB Inactive: 6374728 kB Active(anon): 3492464 kB Inactive(anon): 76692 kB Active(file): 1420700 kB Inactive(file): 6298036 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66960432 kB Dirty: 35096 kB Writeback: 0 kB AnonPages: 3605928 kB Mapped: 55328 kB Shmem: 31816 kB Slab: 286164 kB SReclaimable: 257028 kB SUnreclaim: 29136 kB KernelStack: 4000 kB PageTables: 12596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 4598488 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3411968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54260 MiB End job on node116 at 2019-09-12 17:59:47