Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | OPT | 9 | 1478.76 | 187.14301 |
Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml |
MD5SUM | 829564848108aadfa26cd1b017421761 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 244.65601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 725 |
Number of constraints | 701 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":625},{"size":25,"count":75},{"size":26,"count":25}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":650},{"degree":3,"count":8},{"degree":5,"count":5},{"degree":7,"count":6},{"degree":9,"count":4},{"degree":11,"count":1},{"degree":17,"count":1},{"degree":26,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":2,"count":10},{"arity":3,"count":645},{"arity":4,"count":10},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":8,"count":2},{"arity":25,"count":1},{"arity":26,"count":25}] |
Number of extensional constraints | 625 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":625},{"type":"allDifferent","count":1},{"type":"sum","count":25},{"type":"minimum","count":25},{"type":"maximum","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.08 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254632-1501999029.xml" -tl '1920s' -p 8 -x 0 0.00/0.27 c [HOME/instance-4254632-1501999029.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.33 c 8 solvers in parallel 0.00/0.40 c parse instance... 5.47/2.47 c solve instance... 6.60/2.66 o 16 7.34/2.73 o 15 7.87/2.81 o 14 11.81/3.31 o 12 18.91/4.23 o 11 29.22/5.57 o 10 41.85/7.12 o 9 1478.61/187.13 s OPTIMUM FOUND 1478.61/187.13 v <instantiation> 1478.61/187.13 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] min[20] min[21] min[22] min[23] min[24] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] max[20] max[21] max[22] max[23] max[24] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] </list> 1478.61/187.13 v <values>8 10 19 20 9 4 13 21 3 15 1 16 18 17 22 23 12 14 6 11 2 5 0 7 24 1 13 24 2 0 18 5 9 2 5 13 2 6 0 20 16 0 11 3 3 10 3 0 12 12 19 16 24 24 1 18 17 16 10 11 14 3 8 2 24 16 14 11 9 4 10 11 5 15 18 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 4 5 7 9 8 9 9 9 9 9 9 8 7 9 9 7 7 4 4 2 2 2 2 2 3 </values> 1478.61/187.13 v </instantiation>
OK 9
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254632-1501999029/watcher-4254632-1501999029 -o /tmp/evaluation-result-4254632-1501999029/solver-4254632-1501999029 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501975748-7680 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1743435279 HOME/instance-4254632-1501999029.xml pid=3829 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 9.58 8.84 8.53 2/179 3832 /proc/meminfo: memFree=31637220/32770624 swapFree=0/310364 [pid=3832] ppid=3829 vsize=23672 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (runsolver) D 3829 3832 7624 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41813772 24240128 107 18446744073709551615 4194304 4338465 140733141050320 140733141047960 140496907711191 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24752128 140733141057625 140733141058121 140733141058121 140733141061578 0 /proc/3832/statm: 5918 107 54 36 0 2156 0 [startup+0.100208 s] /proc/loadavg: 9.58 8.84 8.53 2/179 3832 /proc/meminfo: memFree=31637220/32770624 swapFree=0/310364 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200469 s] /proc/loadavg: 9.58 8.84 8.53 2/179 3832 /proc/meminfo: memFree=31637220/32770624 swapFree=0/310364 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300215 s] /proc/loadavg: 9.58 8.84 8.53 2/179 3832 /proc/meminfo: memFree=31637220/32770624 swapFree=0/310364 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.708053 s] /proc/loadavg: 9.58 8.84 8.53 2/179 3832 /proc/meminfo: memFree=31637220/32770624 swapFree=0/310364 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50109 s] /proc/loadavg: 9.13 8.76 8.50 4/200 3853 /proc/meminfo: memFree=31501476/32770624 swapFree=0/310336 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 [pid=3834] ppid=3832 vsize=26001944 CPUtime=3.66 cores=0-7 /proc/3834/stat : 3834 (java) S 3832 3832 7624 0 -1 1077944320 22715 0 0 0 352 14 0 0 20 0 20 0 41813780 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 140731675258816 139679350689527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 /proc/3834/statm: 6500486 52299 3213 1 0 6488779 0 [pid=3834/tid=3835] ppid=3832 vsize=26001944 CPUtime=1.33 cores=0-7 /proc/3834/task/3835/stat : 3835 (java) R 3832 3832 7624 0 -1 4202560 10116 0 0 0 128 5 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139679354926144 139679335770342 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3836] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3836/stat : 3836 (java) S 3832 3832 7624 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678913600400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3837] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3837/stat : 3837 (java) S 3832 3832 7624 0 -1 1077944384 76 0 0 0 0 1 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678912547600 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3838] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3838/stat : 3838 (java) S 3832 3832 7624 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678911495312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3839] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3839/stat : 3839 (java) S 3832 3832 7624 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678910442512 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3840] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3840/stat : 3840 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678909389200 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3841] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3841/stat : 3841 (java) S 3832 3832 7624 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678908336400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3842] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3842/stat : 3842 (java) S 3832 3832 7624 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678907284112 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3843] ppid=3832 vsize=26001944 CPUtime=0.01 cores=0-7 /proc/3834/task/3843/stat : 3843 (java) S 3832 3832 7624 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 41813781 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678906231312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3844] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3844/stat : 3844 (java) S 3832 3832 7624 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 41813783 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678616648304 139679350700674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3845] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 41813783 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678615594272 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 41813783 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678614541936 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3848] ppid=3832 vsize=26001944 CPUtime=0.54 cores=0-7 /proc/3834/task/3848/stat : 3848 (java) R 3832 3832 7624 0 -1 4202560 2618 0 0 0 53 1 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678612437400 139679335611280 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3849] ppid=3832 vsize=26001944 CPUtime=0.59 cores=0-7 /proc/3834/task/3849/stat : 3849 (java) R 3832 3832 7624 0 -1 4202560 2531 0 0 0 59 0 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678611374896 139679335111129 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3850] ppid=3832 vsize=26001944 CPUtime=0.54 cores=0-7 /proc/3834/task/3850/stat : 3850 (java) R 3832 3832 7624 0 -1 4202560 2277 0 0 0 54 0 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678610313360 139679329902299 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3851] ppid=3832 vsize=26001944 CPUtime=0.49 cores=0-7 /proc/3834/task/3851/stat : 3851 (java) S 3832 3832 7624 0 -1 1077944384 3285 0 0 0 49 0 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678609279216 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3852] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3852/stat : 3852 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 41813786 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678608227168 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3853] ppid=3832 vsize=26001944 CPUtime=0 cores=0-7 /proc/3834/task/3853/stat : 3853 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 41813791 26625990656 52299 18446744073709551615 4194304 4196468 140731675276272 139678607174448 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 26011456 [startup+3.10106 s] /proc/loadavg: 9.13 8.76 8.50 2/200 3853 /proc/meminfo: memFree=31389552/32770624 swapFree=0/310336 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 [pid=3834] ppid=3832 vsize=26535484 CPUtime=10.18 cores=0-7 /proc/3834/stat : 3834 (java) S 3832 3832 7624 0 -1 1077944320 29903 0 0 0 987 31 0 0 20 0 28 0 41813780 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 140731675258816 139679350689527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 /proc/3834/statm: 6633871 77393 3240 1 0 6622164 0 [pid=3834/tid=3835] ppid=3832 vsize=26535484 CPUtime=2.28 cores=0-7 /proc/3834/task/3835/stat : 3835 (java) S 3832 3832 7624 0 -1 1077944384 11366 0 0 0 222 6 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139679354930304 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3836] ppid=3832 vsize=26535484 CPUtime=0.04 cores=0-7 /proc/3834/task/3836/stat : 3836 (java) S 3832 3832 7624 0 -1 1077944384 59 0 0 0 2 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678913600400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3837] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3837/stat : 3837 (java) S 3832 3832 7624 0 -1 1077944384 101 0 0 0 2 3 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678912547600 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3838] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3838/stat : 3838 (java) S 3832 3832 7624 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678911495312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3839] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3839/stat : 3839 (java) S 3832 3832 7624 0 -1 1077944384 118 0 0 0 3 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678910442512 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3840] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3840/stat : 3840 (java) S 3832 3832 7624 0 -1 1077944384 73 0 0 0 3 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678909389200 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3841] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3841/stat : 3841 (java) S 3832 3832 7624 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678908336400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3842] ppid=3832 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/3834/task/3842/stat : 3842 (java) S 3832 3832 7624 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678907284112 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3843] ppid=3832 vsize=26535484 CPUtime=0.05 cores=0-7 /proc/3834/task/3843/stat : 3843 (java) S 3832 3832 7624 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 28 0 41813781 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678906231312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3844] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3844/stat : 3844 (java) S 3832 3832 7624 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678616648304 139679350700674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3845] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678615594336 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678614541952 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3848] ppid=3832 vsize=26535484 CPUtime=1.29 cores=0-7 /proc/3834/task/3848/stat : 3848 (java) R 3832 3832 7624 0 -1 4202560 3948 0 0 0 128 1 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678612423648 139679332234742 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3849] ppid=3832 vsize=26535484 CPUtime=1.3 cores=0-7 /proc/3834/task/3849/stat : 3849 (java) R 3832 3832 7624 0 -1 4202560 3529 0 0 0 129 1 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678611377496 139679335491956 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3850] ppid=3832 vsize=26535484 CPUtime=1.29 cores=0-7 /proc/3834/task/3850/stat : 3850 (java) R 3832 3832 7624 0 -1 1077944384 3565 0 0 0 129 0 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678610331136 139679350710717 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3851] ppid=3832 vsize=26535484 CPUtime=0.78 cores=0-7 /proc/3834/task/3851/stat : 3851 (java) R 3832 3832 7624 0 -1 1077944384 4283 0 0 0 77 1 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678609275168 139679350699733 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3852] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3852/stat : 3852 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678608227168 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3853] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3853/stat : 3853 (java) S 3832 3832 7624 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 41813791 27172335616 77393 18446744073709551615 4194304 4196468 140731675276272 139678607174448 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 Current children cumulated CPU time (s) 10.18 Current children cumulated vsize (KiB) 26544996 [startup+6.30106 s] /proc/loadavg: 9.13 8.76 8.50 13/208 3902 /proc/meminfo: memFree=31203560/32770624 swapFree=0/310340 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 [pid=3834] ppid=3832 vsize=26535484 CPUtime=35.47 cores=0-7 /proc/3834/stat : 3834 (java) S 3832 3832 7624 0 -1 1077944320 35201 0 0 0 3495 52 0 0 20 0 28 0 41813780 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 140731675258816 139679350689527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 /proc/3834/statm: 6633871 110993 3263 1 0 6622164 0 [pid=3834/tid=3835] ppid=3832 vsize=26535484 CPUtime=2.29 cores=0-7 /proc/3834/task/3835/stat : 3835 (java) S 3832 3832 7624 0 -1 1077944384 11369 0 0 0 223 6 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139679354930304 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3836] ppid=3832 vsize=26535484 CPUtime=0.09 cores=0-7 /proc/3834/task/3836/stat : 3836 (java) S 3832 3832 7624 0 -1 1077944384 118 0 0 0 5 4 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678913600400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3837] ppid=3832 vsize=26535484 CPUtime=0.09 cores=0-7 /proc/3834/task/3837/stat : 3837 (java) S 3832 3832 7624 0 -1 1077944384 157 0 0 0 4 5 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678912547600 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3838] ppid=3832 vsize=26535484 CPUtime=0.09 cores=0-7 /proc/3834/task/3838/stat : 3838 (java) S 3832 3832 7624 0 -1 1077944384 122 0 0 0 5 4 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678911495312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3839] ppid=3832 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/3834/task/3839/stat : 3839 (java) S 3832 3832 7624 0 -1 1077944384 181 0 0 0 5 3 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678910442512 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3840] ppid=3832 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/3834/task/3840/stat : 3840 (java) S 3832 3832 7624 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678909389200 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3841] ppid=3832 vsize=26535484 CPUtime=0.09 cores=0-7 /proc/3834/task/3841/stat : 3841 (java) S 3832 3832 7624 0 -1 1077944384 115 0 0 0 5 4 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678908336400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3842] ppid=3832 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/3834/task/3842/stat : 3842 (java) S 3832 3832 7624 0 -1 1077944384 308 0 0 0 4 3 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678907284112 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3843] ppid=3832 vsize=26535484 CPUtime=0.08 cores=0-7 /proc/3834/task/3843/stat : 3843 (java) S 3832 3832 7624 0 -1 1077944384 124 0 0 0 4 4 0 0 20 0 28 0 41813781 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678906231312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3844] ppid=3832 vsize=26535484 CPUtime=0.01 cores=0-7 /proc/3834/task/3844/stat : 3844 (java) S 3832 3832 7624 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 28 0 41813783 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678616648304 139679350700674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3845] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678615594336 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678614541952 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 110993 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 ################ # More data... # ################ /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678615594336 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678614541952 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3848] ppid=3832 vsize=26535484 CPUtime=3.56 cores=0-7 /proc/3834/task/3848/stat : 3848 (java) S 3832 3832 7624 0 -1 1077944384 17729 0 0 0 352 4 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678612437104 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3849] ppid=3832 vsize=26535484 CPUtime=3.42 cores=0-7 /proc/3834/task/3849/stat : 3849 (java) S 3832 3832 7624 0 -1 1077944384 13985 0 0 0 339 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678611384304 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3850] ppid=3832 vsize=26535484 CPUtime=3.43 cores=0-7 /proc/3834/task/3850/stat : 3850 (java) S 3832 3832 7624 0 -1 1077944384 10309 0 0 0 341 2 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678610332016 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3851] ppid=3832 vsize=26535484 CPUtime=1.06 cores=0-7 /proc/3834/task/3851/stat : 3851 (java) S 3832 3832 7624 0 -1 1077944384 13585 0 0 0 103 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678609279216 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3852] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3852/stat : 3852 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678608227168 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3853] ppid=3832 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/3834/task/3853/stat : 3853 (java) S 3832 3832 7624 0 -1 1077944384 1451 0 0 0 7 0 0 0 20 0 28 0 41813791 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678607174448 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3911] ppid=3832 vsize=26535484 CPUtime=179.3 cores=0-7 /proc/3834/task/3911/stat : 3911 (java) R 3832 3832 7624 0 -1 4202560 3184 0 0 0 17928 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678598111384 139678999706248 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3912] ppid=3832 vsize=26535484 CPUtime=179.01 cores=0-7 /proc/3834/task/3912/stat : 3912 (java) R 3832 3832 7624 0 -1 4202560 2352 0 0 0 17899 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678594953704 139678999705731 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3913] ppid=3832 vsize=26535484 CPUtime=179.23 cores=0-7 /proc/3834/task/3913/stat : 3913 (java) R 3832 3832 7624 0 -1 4202560 7928 0 0 0 17919 4 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678593900184 139678999706190 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3914] ppid=3832 vsize=26535484 CPUtime=179.13 cores=0-7 /proc/3834/task/3914/stat : 3914 (java) R 3832 3832 7624 0 -1 4202560 7775 0 0 0 17903 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678590744200 139678999706462 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3915] ppid=3832 vsize=26535484 CPUtime=179.25 cores=0-7 /proc/3834/task/3915/stat : 3915 (java) R 3832 3832 7624 0 -1 4202560 4943 0 0 0 17919 6 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678596006200 139679001823458 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3916] ppid=3832 vsize=26535484 CPUtime=177.27 cores=0-7 /proc/3834/task/3916/stat : 3916 (java) R 3832 3832 7624 0 -1 4202560 4284 0 0 0 17717 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678591795496 139678999706462 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3917] ppid=3832 vsize=26535484 CPUtime=179.41 cores=0-7 /proc/3834/task/3917/stat : 3917 (java) R 3832 3832 7624 0 -1 4202560 2235 0 0 0 17940 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678592848056 139679001014336 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3918] ppid=3832 vsize=26535484 CPUtime=179.18 cores=0-7 /proc/3834/task/3918/stat : 3918 (java) R 3832 3832 7624 0 -1 4202560 1208 0 0 0 17917 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678597058600 139678999748159 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 Current children cumulated CPU time (s) 1476.17 Current children cumulated vsize (KiB) 26544996 [startup+187.001 s] /proc/loadavg: 8.89 8.68 8.51 9/206 3922 /proc/meminfo: memFree=30920628/32770624 swapFree=0/310388 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 [pid=3834] ppid=3832 vsize=26535484 CPUtime=1477.8 cores=0-7 /proc/3834/stat : 3834 (java) S 3832 3832 7624 0 -1 1077944320 113767 0 0 0 147665 115 0 0 20 0 28 0 41813780 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 140731675258816 139679350689527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 /proc/3834/statm: 6633871 182563 3264 1 0 6622164 0 [pid=3834/tid=3835] ppid=3832 vsize=26535484 CPUtime=2.29 cores=0-7 /proc/3834/task/3835/stat : 3835 (java) S 3832 3832 7624 0 -1 1077944384 11370 0 0 0 223 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139679354930304 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3836] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3836/stat : 3836 (java) S 3832 3832 7624 0 -1 1077944384 1629 0 0 0 8 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678913600400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3837] ppid=3832 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/3834/task/3837/stat : 3837 (java) S 3832 3832 7624 0 -1 1077944384 1062 0 0 0 7 7 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678912547600 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3838] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3838/stat : 3838 (java) S 3832 3832 7624 0 -1 1077944384 450 0 0 0 7 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678911495312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3839] ppid=3832 vsize=26535484 CPUtime=0.12 cores=0-7 /proc/3834/task/3839/stat : 3839 (java) S 3832 3832 7624 0 -1 1077944384 264 0 0 0 7 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678910442512 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3840] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3840/stat : 3840 (java) S 3832 3832 7624 0 -1 1077944384 1386 0 0 0 8 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678909389200 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3841] ppid=3832 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/3834/task/3841/stat : 3841 (java) S 3832 3832 7624 0 -1 1077944384 425 0 0 0 8 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678908336400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3842] ppid=3832 vsize=26535484 CPUtime=0.1 cores=0-7 /proc/3834/task/3842/stat : 3842 (java) S 3832 3832 7624 0 -1 1077944384 431 0 0 0 6 4 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678907284112 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3843] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3843/stat : 3843 (java) S 3832 3832 7624 0 -1 1077944384 445 0 0 0 7 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678906231312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3844] ppid=3832 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/3834/task/3844/stat : 3844 (java) S 3832 3832 7624 0 -1 1077944384 2310 0 0 0 2 1 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678616648304 139679350700674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3845] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678615594336 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678614541952 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3848] ppid=3832 vsize=26535484 CPUtime=3.56 cores=0-7 /proc/3834/task/3848/stat : 3848 (java) S 3832 3832 7624 0 -1 1077944384 17729 0 0 0 352 4 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678612437104 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3849] ppid=3832 vsize=26535484 CPUtime=3.42 cores=0-7 /proc/3834/task/3849/stat : 3849 (java) S 3832 3832 7624 0 -1 1077944384 13985 0 0 0 339 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678611384304 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3850] ppid=3832 vsize=26535484 CPUtime=3.43 cores=0-7 /proc/3834/task/3850/stat : 3850 (java) S 3832 3832 7624 0 -1 1077944384 10309 0 0 0 341 2 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678610332016 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3851] ppid=3832 vsize=26535484 CPUtime=1.06 cores=0-7 /proc/3834/task/3851/stat : 3851 (java) S 3832 3832 7624 0 -1 1077944384 13585 0 0 0 103 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678609279216 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3852] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3852/stat : 3852 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678608227168 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3853] ppid=3832 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/3834/task/3853/stat : 3853 (java) S 3832 3832 7624 0 -1 1077944384 1451 0 0 0 7 0 0 0 20 0 28 0 41813791 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678607174448 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3911] ppid=3832 vsize=26535484 CPUtime=179.51 cores=0-7 /proc/3834/task/3911/stat : 3911 (java) R 3832 3832 7624 0 -1 4202560 3187 0 0 0 17949 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678598110808 139678999706343 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3912] ppid=3832 vsize=26535484 CPUtime=179.22 cores=0-7 /proc/3834/task/3912/stat : 3912 (java) R 3832 3832 7624 0 -1 4202560 2356 0 0 0 17920 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678594953768 139679001012675 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3913] ppid=3832 vsize=26535484 CPUtime=179.44 cores=0-7 /proc/3834/task/3913/stat : 3913 (java) R 3832 3832 7624 0 -1 4202560 7935 0 0 0 17940 4 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678593900456 139679000326101 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3914] ppid=3832 vsize=26535484 CPUtime=179.32 cores=0-7 /proc/3834/task/3914/stat : 3914 (java) R 3832 3832 7624 0 -1 4202560 7778 0 0 0 17922 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678590742248 139678999706198 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3915] ppid=3832 vsize=26535484 CPUtime=179.45 cores=0-7 /proc/3834/task/3915/stat : 3915 (java) R 3832 3832 7624 0 -1 4202560 4990 0 0 0 17939 6 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678596006056 139678999706360 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3916] ppid=3832 vsize=26535484 CPUtime=177.47 cores=0-7 /proc/3834/task/3916/stat : 3916 (java) R 3832 3832 7624 0 -1 4202560 4288 0 0 0 17737 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678591795000 139678999706280 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3917] ppid=3832 vsize=26535484 CPUtime=179.61 cores=0-7 /proc/3834/task/3917/stat : 3917 (java) R 3832 3832 7624 0 -1 4202560 2237 0 0 0 17960 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678592848232 139679001015580 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3918] ppid=3832 vsize=26535484 CPUtime=179.38 cores=0-7 /proc/3834/task/3918/stat : 3918 (java) R 3832 3832 7624 0 -1 4202560 1210 0 0 0 17937 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678597058544 139679000531961 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 Current children cumulated CPU time (s) 1477.8 Current children cumulated vsize (KiB) 26544996 [startup+187.108 s] /proc/loadavg: 8.89 8.68 8.51 9/206 3922 /proc/meminfo: memFree=30920628/32770624 swapFree=0/310388 [pid=3832] ppid=3829 vsize=9512 CPUtime=0 cores=0-7 /proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 41813772 9740288 344 18446744073709551615 4194304 5098028 140728009427776 140728009425880 139814213317244 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26103808 140728009433496 140728009433706 140728009433706 140728009437163 0 /proc/3832/statm: 2378 344 289 221 0 87 0 [pid=3834] ppid=3832 vsize=26535484 CPUtime=1478.61 cores=0-7 /proc/3834/stat : 3834 (java) S 3832 3832 7624 0 -1 1077944320 113767 0 0 0 147746 115 0 0 20 0 28 0 41813780 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 140731675258816 139679350689527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 /proc/3834/statm: 6633871 182563 3264 1 0 6622164 0 [pid=3834/tid=3835] ppid=3832 vsize=26535484 CPUtime=2.29 cores=0-7 /proc/3834/task/3835/stat : 3835 (java) S 3832 3832 7624 0 -1 1077944384 11370 0 0 0 223 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139679354930304 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3836] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3836/stat : 3836 (java) S 3832 3832 7624 0 -1 1077944384 1629 0 0 0 8 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678913600400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3837] ppid=3832 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/3834/task/3837/stat : 3837 (java) S 3832 3832 7624 0 -1 1077944384 1062 0 0 0 7 7 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678912547600 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3838] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3838/stat : 3838 (java) S 3832 3832 7624 0 -1 1077944384 450 0 0 0 7 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678911495312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3839] ppid=3832 vsize=26535484 CPUtime=0.12 cores=0-7 /proc/3834/task/3839/stat : 3839 (java) S 3832 3832 7624 0 -1 1077944384 264 0 0 0 7 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678910442512 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3840] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3840/stat : 3840 (java) S 3832 3832 7624 0 -1 1077944384 1386 0 0 0 8 5 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678909389200 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3841] ppid=3832 vsize=26535484 CPUtime=0.14 cores=0-7 /proc/3834/task/3841/stat : 3841 (java) S 3832 3832 7624 0 -1 1077944384 425 0 0 0 8 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678908336400 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3842] ppid=3832 vsize=26535484 CPUtime=0.1 cores=0-7 /proc/3834/task/3842/stat : 3842 (java) S 3832 3832 7624 0 -1 1077944384 431 0 0 0 6 4 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678907284112 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3843] ppid=3832 vsize=26535484 CPUtime=0.13 cores=0-7 /proc/3834/task/3843/stat : 3843 (java) S 3832 3832 7624 0 -1 1077944384 445 0 0 0 7 6 0 0 20 0 28 0 41813781 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678906231312 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3844] ppid=3832 vsize=26535484 CPUtime=0.03 cores=0-7 /proc/3834/task/3844/stat : 3844 (java) S 3832 3832 7624 0 -1 1077944384 2310 0 0 0 2 1 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678616648304 139679350700674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3845] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3845/stat : 3845 (java) S 3832 3832 7624 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678615594336 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3846] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3846/stat : 3846 (java) S 3832 3832 7624 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 41813783 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678614541952 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3847] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3847/stat : 3847 (java) S 3832 3832 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678613490256 139679350708123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3848] ppid=3832 vsize=26535484 CPUtime=3.56 cores=0-7 /proc/3834/task/3848/stat : 3848 (java) S 3832 3832 7624 0 -1 1077944384 17729 0 0 0 352 4 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678612437104 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3849] ppid=3832 vsize=26535484 CPUtime=3.42 cores=0-7 /proc/3834/task/3849/stat : 3849 (java) S 3832 3832 7624 0 -1 1077944384 13985 0 0 0 339 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678611384304 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3850] ppid=3832 vsize=26535484 CPUtime=3.43 cores=0-7 /proc/3834/task/3850/stat : 3850 (java) S 3832 3832 7624 0 -1 1077944384 10309 0 0 0 341 2 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678610332016 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3851] ppid=3832 vsize=26535484 CPUtime=1.06 cores=0-7 /proc/3834/task/3851/stat : 3851 (java) S 3832 3832 7624 0 -1 1077944384 13585 0 0 0 103 3 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678609279216 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3852] ppid=3832 vsize=26535484 CPUtime=0 cores=0-7 /proc/3834/task/3852/stat : 3852 (java) S 3832 3832 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 41813786 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678608227168 139679350699733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3853] ppid=3832 vsize=26535484 CPUtime=0.07 cores=0-7 /proc/3834/task/3853/stat : 3853 (java) S 3832 3832 7624 0 -1 1077944384 1451 0 0 0 7 0 0 0 20 0 28 0 41813791 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678607174448 139679350700674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3911] ppid=3832 vsize=26535484 CPUtime=179.61 cores=0-7 /proc/3834/task/3911/stat : 3911 (java) R 3832 3832 7624 0 -1 4202560 3187 0 0 0 17959 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678598110808 139679001013127 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3912] ppid=3832 vsize=26535484 CPUtime=179.32 cores=0-7 /proc/3834/task/3912/stat : 3912 (java) R 3832 3832 7624 0 -1 4202560 2356 0 0 0 17930 2 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678594953768 139679002110586 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3913] ppid=3832 vsize=26535484 CPUtime=179.54 cores=0-7 /proc/3834/task/3913/stat : 3913 (java) R 3832 3832 7624 0 -1 4202560 7935 0 0 0 17950 4 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678593900456 139678999706462 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3914] ppid=3832 vsize=26535484 CPUtime=179.42 cores=0-7 /proc/3834/task/3914/stat : 3914 (java) R 3832 3832 7624 0 -1 4202560 7778 0 0 0 17932 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678590742248 139678999706486 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3915] ppid=3832 vsize=26535484 CPUtime=179.55 cores=0-7 /proc/3834/task/3915/stat : 3915 (java) R 3832 3832 7624 0 -1 4202560 4990 0 0 0 17949 6 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678596006056 139679000024979 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3916] ppid=3832 vsize=26535484 CPUtime=177.57 cores=0-7 /proc/3834/task/3916/stat : 3916 (java) R 3832 3832 7624 0 -1 4202560 4288 0 0 0 17747 10 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678591795000 139679001789348 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3917] ppid=3832 vsize=26535484 CPUtime=179.71 cores=0-7 /proc/3834/task/3917/stat : 3917 (java) R 3832 3832 7624 0 -1 4202560 2237 0 0 0 17970 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678592848232 139678999706267 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 [pid=3834/tid=3918] ppid=3832 vsize=26535484 CPUtime=179.48 cores=0-7 /proc/3834/task/3918/stat : 3918 (java) R 3832 3832 7624 0 -1 4202560 1210 0 0 0 17947 1 0 0 20 0 28 0 41814484 27172335616 182563 18446744073709551615 4194304 4196468 140731675276272 139678597058544 139678999706073 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11284480 140731675279830 140731675280006 140731675280006 140731675283407 0 Current children cumulated CPU time (s) 1478.61 Current children cumulated vsize (KiB) 26544996 Child status: 0 Real time (s): 187.143 CPU time (s): 1478.76 CPU user time (s): 1477.59 CPU system time (s): 1.16487 CPU usage (%): 790.176 Max. virtual memory (cumulated for all children) (KiB): 26544996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1477.59 system time used= 1.16487 maximum resident set size= 730260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115796 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10517 involuntary context switches= 18541 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.51145 second user time and 1.39018 second system time The end
Begin job on node135 at 2017-08-06 07:43:11 IDJOB=4254632 IDBENCH=140517 IDSOLVER=2636 FILE ID=node135/4254632-1501999029 RUNJOBID= node135-1501975748-7680 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-sp-4-1.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-4254632-1501999029/watcher-4254632-1501999029 -o /tmp/evaluation-result-4254632-1501999029/solver-4254632-1501999029 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501975748-7680 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1743435279 HOME/instance-4254632-1501999029.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 829564848108aadfa26cd1b017421761 RANDOM SEED=1743435279 node135.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.21 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.21 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.21 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.21 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: 31637560 kB MemAvailable: 32003496 kB Buffers: 182540 kB Cached: 464764 kB SwapCached: 0 kB Active: 377220 kB Inactive: 327368 kB Active(anon): 57456 kB Inactive(anon): 16780 kB Active(file): 319764 kB Inactive(file): 310588 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7932 kB Writeback: 0 kB AnonPages: 97456 kB Mapped: 36964 kB Shmem: 17152 kB Slab: 129644 kB SReclaimable: 102836 kB SUnreclaim: 26808 kB KernelStack: 3392 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 287644 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62024 MiB End job on node135 at 2017-08-06 07:46:18