Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 398.41199 | 50.7089 |
Name | Kakuro/Kakuro-sumdiff-medium/ Kakuro-medium-191-sumdiff.xml |
MD5SUM | 261f5e0f67b6e0c567fd630968b40e71 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.17449 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 704 |
Number of constraints | 508 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":499}] |
Minimum variable degree | 0 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":0,"count":205},{"degree":4,"count":499}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":128},{"arity":3,"count":132},{"arity":4,"count":64},{"arity":5,"count":104},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":9,"count":24}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":254},{"type":"sum","count":254}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280774-1503134783.xml" -tl '20160s' -p 8 -x 0 0.09/0.27 c [HOME/instance-4280774-1503134783.xml, -tl, 20160s, -p, 8, -x, 0] 0.29/0.32 c 8 solvers in parallel 0.29/0.39 c parse instance... 2.10/0.95 c solve instance... 397.68/50.69 s SATISFIABLE 397.68/50.69 v <instantiation> 397.68/50.69 v <list>x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][13] x[1][14] x[1][16] x[1][17] x[1][18] x[1][19] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][15] x[3][16] x[3][17] x[3][19] x[3][20] x[3][21] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][10] x[4][11] x[4][12] x[4][16] x[4][17] x[4][18] x[4][20] x[4][21] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[5][21] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][10] x[6][12] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][19] x[7][20] x[7][21] x[8][1] x[8][2] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][14] x[8][15] x[8][16] x[8][20] x[8][21] x[9][1] x[9][2] x[9][3] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][19] x[9][20] x[9][21] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][9] x[11][10] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][2] x[12][3] x[12][4] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][19] x[12][20] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][7] x[13][8] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[14][1] x[14][2] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][15] x[14][16] x[14][18] x[14][19] x[14][20] x[14][21] x[15][1] x[15][2] x[15][3] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][20] x[15][21] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] x[17][19] x[17][20] x[17][21] x[18][1] x[18][2] x[18][3] x[18][4] x[18][6] x[18][7] x[18][9] x[18][10] x[18][11] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][20] x[18][21] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][14] x[19][15] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[20][2] x[20][3] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][18] x[20][19] x[20][20] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][9] x[21][10] x[21][12] x[21][13] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[23][1] x[23][2] x[23][3] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][11] x[23][12] x[23][13] x[23][14] x[23][16] x[23][17] x[23][19] x[23][20] x[23][21] x[24][1] x[24][2] x[24][6] x[24][7] x[24][8] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][20] x[24][21] x[25][1] x[25][2] x[25][3] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][19] x[25][20] x[25][21] x[26][2] x[26][3] x[26][4] x[26][5] x[26][7] x[26][8] x[26][9] x[26][10] x[26][12] x[26][13] x[26][14] x[26][15] x[26][17] x[26][18] x[26][19] x[26][20] x[27][1] x[27][2] x[27][3] x[27][4] x[27][6] x[27][7] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][15] x[27][16] x[27][18] x[27][19] x[27][20] x[27][21] x[28][1] x[28][2] x[28][4] x[28][5] x[28][6] x[28][10] x[28][11] x[28][12] x[28][16] x[28][17] x[28][18] x[28][20] x[28][21] x[29][1] x[29][2] x[29][3] x[29][5] x[29][6] x[29][7] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][15] x[29][16] x[29][17] x[29][19] x[29][20] x[29][21] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[31][3] x[31][4] x[31][5] x[31][6] x[31][8] x[31][9] x[31][13] x[31][14] x[31][16] x[31][17] x[31][18] x[31][19] </list> 397.68/50.69 v <values>9 8 7 6 1 2 1 2 3 9 1 8 9 7 1 6 5 2 3 4 8 9 3 1 2 6 8 4 5 7 5 6 4 9 7 1 1 9 8 5 2 1 2 3 6 4 8 1 2 6 8 9 6 9 8 4 1 6 5 9 7 5 6 1 8 9 4 2 6 1 3 3 1 8 6 9 7 8 9 7 2 6 8 7 5 6 9 1 7 2 9 3 6 9 7 3 1 6 2 7 9 8 3 6 5 4 2 1 1 3 6 3 1 8 1 4 6 3 5 2 8 9 3 8 9 7 3 9 8 9 9 5 8 7 7 9 5 4 6 5 1 8 4 7 5 2 3 1 6 6 9 8 4 7 1 3 7 6 2 8 9 1 5 4 9 7 9 3 6 7 4 9 8 4 6 7 7 6 4 8 9 5 1 3 4 5 2 9 7 3 2 5 1 4 2 1 5 4 7 2 1 3 1 2 3 6 4 1 3 4 6 2 3 5 1 6 9 5 2 9 3 7 8 1 6 8 9 2 1 2 4 1 3 6 9 5 8 6 7 1 3 6 7 8 9 4 3 2 7 8 5 9 6 1 7 8 5 9 8 9 7 8 9 5 6 6 9 8 7 4 9 8 2 3 1 2 1 3 4 1 2 1 4 2 8 5 4 7 9 6 4 3 6 5 8 9 7 3 7 5 2 1 4 7 9 4 3 1 5 2 7 9 8 7 6 9 4 7 5 3 8 6 9 1 4 2 2 3 6 4 1 3 1 3 1 3 5 1 4 2 2 4 1 5 3 6 2 3 4 1 8 5 7 4 2 6 9 4 3 5 9 5 3 8 7 8 6 7 9 4 2 3 4 6 2 1 1 2 4 7 6 2 9 5 4 8 8 9 1 4 2 7 2 4 9 8 6 5 8 4 9 6 7 9 7 8 6 4 7 9 5 7 9 8 2 4 3 1 9 7 8 5 7 9 5 8 3 1 7 4 2 1 6 7 9 1 7 6 4 1 8 4 9 8 2 1 3 6 8 9 3 1 8 7 9 3 2 1 1 5 3 4 2 8 7 9 3 1 2 5 7 8 6 1 3 2 4 9 6 1 8 9 5 3 7 4 2 8 9 7 5 1 2 4 9 8 7 9 6 </values> 397.68/50.69 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12617 MiB free) memory of node 1: 16384 MiB (13791 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280774-1503134783/watcher-4280774-1503134783 -o /tmp/evaluation-result-4280774-1503134783/solver-4280774-1503134783 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1808481215 HOME/instance-4280774-1503134783.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=12260, runsolver pid=12257 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 4.39 7.16 7.85 1/181 12263 /proc/meminfo: memFree=27041060/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=109408 memory=5288 CPUtime=0 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 1497 0 0 0 0 0 0 0 20 0 2 0 146566398 112033792 1322 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 27352 1322 992 1 0 16810 0 [pid=12262/tid=12263] ppid=12260 vsize=109408 memory=7824611210718780317 CPUtime=0 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) D 12260 12260 10779 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 2 0 146566398 112033792 1322 33554432000 4194304 4196468 140726221534848 139694018234672 139694006483861 0 0 0 16784584 18446744072100400261 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 118920 KiB Current children cumulated memory: 6672 KiB [startup+0.209316 s]* /proc/loadavg: 4.39 7.16 7.85 2/199 12281 /proc/meminfo: memFree=27027736/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=25999808 memory=26196 CPUtime=0.09 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 5395 0 0 0 8 1 0 0 20 0 20 0 146566398 26623803392 6549 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 6499952 6549 2776 1 0 6488269 0 [pid=12262/tid=12263] ppid=12260 vsize=25999808 memory=279959390126320 CPUtime=0.07 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) R 12260 12260 10779 0 -1 4202560 3521 0 0 0 6 1 0 0 20 0 20 0 146566398 26623803392 6549 33554432000 4194304 4196468 140726221534848 139694018219600 139693627864151 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12264] ppid=12260 vsize=25999808 memory=732370118131141605 CPUtime=0 cores=0-7 /proc/12262/task/12264/stat : 12264 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693966612880 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12265] ppid=12260 vsize=25999808 memory=139979793688192 CPUtime=0 cores=0-7 /proc/12262/task/12265/stat : 12265 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693965560080 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12266] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12266/stat : 12266 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693964507792 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12267] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12267/stat : 12267 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693963454992 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12268] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12268/stat : 12268 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693962402704 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12269] ppid=12260 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12262/task/12269/stat : 12269 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693961349904 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12270] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12270/stat : 12270 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693960297616 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12271] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12271/stat : 12271 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 6549 33554432000 4194304 4196468 140726221534848 139693959244816 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12272] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12272/stat : 12272 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566413 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692464908400 139694014003842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12273] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12273/stat : 12273 (java) S 12260 12260 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146566414 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692463854368 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12274] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12274/stat : 12274 (java) S 12260 12260 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146566414 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692462802032 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12275] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12275/stat : 12275 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692461750352 139694014011291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12276] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12276/stat : 12276 (java) S 12260 12260 10779 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692460698224 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12277] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12277/stat : 12277 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692459645424 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12278] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12278/stat : 12278 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692458593136 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12279] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12279/stat : 12279 (java) R 12260 12260 10779 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692457540336 139694014004630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12280] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12280/stat : 12280 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692456487264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12281] ppid=12260 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12262/task/12281/stat : 12281 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566417 26623803392 6549 33554432000 4194304 4196468 140726221534848 139692455434544 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27580 KiB [startup+0.309323 s]* /proc/loadavg: 4.39 7.16 7.85 3/199 12281 /proc/meminfo: memFree=27018928/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=25999808 memory=35872 CPUtime=0.29 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 8050 0 0 0 26 3 0 0 20 0 20 0 146566398 26623803392 8968 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 6499952 8968 3009 1 0 6488269 0 [pid=12262/tid=12263] ppid=12260 vsize=25999808 memory=12769 CPUtime=0.17 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) D 12260 12260 10779 0 -1 1077944384 5257 0 0 0 15 2 0 0 20 0 20 0 146566398 26623803392 8968 33554432000 4194304 4196468 140726221534848 139694018210768 139694006671917 0 4 0 16800975 18446744072101555748 0 0 -1 0 0 0 12 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12264] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12264/stat : 12264 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693966612880 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12265] ppid=12260 vsize=25999840 memory=139979793688192 CPUtime=0 cores=0-7 /proc/12262/task/12265/stat : 12265 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623836160 8968 33554432000 4194304 4196468 140726221534848 139693965560080 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12266] ppid=12260 vsize=25999840 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12266/stat : 12266 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566412 26623836160 8968 33554432000 4194304 4196468 140726221534848 139693964507792 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12267] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12267/stat : 12267 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693963454992 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12268] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12268/stat : 12268 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693962402704 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12269] ppid=12260 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12262/task/12269/stat : 12269 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693961349904 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12270] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12270/stat : 12270 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693960297616 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12271] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12271/stat : 12271 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26623803392 8968 33554432000 4194304 4196468 140726221534848 139693959244816 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12272] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12272/stat : 12272 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566413 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692464908400 139694014003842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12273] ppid=12260 vsize=25999840 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12273/stat : 12273 (java) S 12260 12260 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146566414 26623836160 8968 33554432000 4194304 4196468 140726221534848 139692463854368 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12274] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12274/stat : 12274 (java) S 12260 12260 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146566414 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692462802032 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12275] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12275/stat : 12275 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692461750352 139694014011291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12276] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12276/stat : 12276 (java) R 12260 12260 10779 0 -1 4202560 389 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692460698224 139693995536783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12277] ppid=12260 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/12262/task/12277/stat : 12277 (java) S 12260 12260 10779 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692459645424 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12278] ppid=12260 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/12262/task/12278/stat : 12278 (java) S 12260 12260 10779 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692458593136 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12279] ppid=12260 vsize=25999808 memory=0 CPUtime=0.07 cores=0-7 /proc/12262/task/12279/stat : 12279 (java) S 12260 12260 10779 0 -1 1077944384 702 0 0 0 7 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692457540336 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12280] ppid=12260 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12280/stat : 12280 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566416 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692456487264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12281] ppid=12260 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12262/task/12281/stat : 12281 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566417 26623803392 8968 33554432000 4194304 4196468 140726221534848 139692455434544 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 37256 KiB [startup+0.700848 s] /proc/loadavg: 4.39 7.16 7.85 4/199 12281 /proc/meminfo: memFree=27005156/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=26006188 memory=70048 CPUtime=1.19 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 12216 0 0 0 114 5 0 0 20 0 20 0 146566398 26630336512 17512 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 6501547 17512 3192 1 0 6488781 0 [pid=12262/tid=12263] ppid=12260 vsize=26006188 memory=7162531440177276259 CPUtime=0.55 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) R 12260 12260 10779 0 -1 4202560 6779 0 0 0 52 3 0 0 20 0 20 0 146566398 26630336512 17512 33554432000 4194304 4196468 140726221534848 139694018229408 139693991988194 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12264] ppid=12260 vsize=26006188 memory=7230638415855315031 CPUtime=0 cores=0-7 /proc/12262/task/12264/stat : 12264 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693966612880 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12265] ppid=12260 vsize=26006188 memory=7230638415855315543 CPUtime=0 cores=0-7 /proc/12262/task/12265/stat : 12265 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693965560080 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12266] ppid=12260 vsize=26006188 memory=7230638415855315031 CPUtime=0 cores=0-7 /proc/12262/task/12266/stat : 12266 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693964507792 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12267] ppid=12260 vsize=26006188 memory=7156928169761024147 CPUtime=0 cores=0-7 /proc/12262/task/12267/stat : 12267 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693963454992 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12268] ppid=12260 vsize=26006188 memory=7156928169761024147 CPUtime=0 cores=0-7 /proc/12262/task/12268/stat : 12268 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693962402704 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12269] ppid=12260 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12269/stat : 12269 (java) S 12260 12260 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693961349904 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12270] ppid=12260 vsize=26006188 memory=26774805772 CPUtime=0 cores=0-7 /proc/12262/task/12270/stat : 12270 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693960297616 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12271] ppid=12260 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12271/stat : 12271 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566412 26630336512 17512 33554432000 4194304 4196468 140726221534848 139693959244816 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12272] ppid=12260 vsize=26006188 memory=2241 CPUtime=0 cores=0-7 /proc/12262/task/12272/stat : 12272 (java) S 12260 12260 10779 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 146566413 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692464908400 139694014003842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12273] ppid=12260 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/12262/task/12273/stat : 12273 (java) S 12260 12260 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146566414 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692463854368 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12274] ppid=12260 vsize=26006188 memory=6916 CPUtime=0 cores=0-7 /proc/12262/task/12274/stat : 12274 (java) S 12260 12260 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146566414 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692462802032 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12275] ppid=12260 vsize=26006188 memory=2244 CPUtime=0 cores=0-7 /proc/12262/task/12275/stat : 12275 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692461750352 139694014011291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12276] ppid=12260 vsize=26006188 memory=3979408033384427764 CPUtime=0.1 cores=0-7 /proc/12262/task/12276/stat : 12276 (java) R 12260 12260 10779 0 -1 4202560 971 0 0 0 10 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692460684624 139693995512738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12277] ppid=12260 vsize=26006188 memory=6082221696301950822 CPUtime=0.09 cores=0-7 /proc/12262/task/12277/stat : 12277 (java) R 12260 12260 10779 0 -1 4202560 738 0 0 0 9 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692459631304 139693998381552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12278] ppid=12260 vsize=26006188 memory=5937260987461101140 CPUtime=0.1 cores=0-7 /proc/12262/task/12278/stat : 12278 (java) R 12260 12260 10779 0 -1 4202560 857 0 0 0 10 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692458583968 139693995540808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12279] ppid=12260 vsize=26006188 memory=279959390734316 CPUtime=0.31 cores=0-7 /proc/12262/task/12279/stat : 12279 (java) R 12260 12260 10779 0 -1 4202560 1560 0 0 0 31 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692457535376 139694007089531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12280] ppid=12260 vsize=26006188 memory=26770369790 CPUtime=0 cores=0-7 /proc/12262/task/12280/stat : 12280 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146566416 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692456487264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12281] ppid=12260 vsize=26006188 memory=1944 CPUtime=0 cores=0-7 /proc/12262/task/12281/stat : 12281 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146566417 26630336512 17512 33554432000 4194304 4196468 140726221534848 139692455434544 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 1.19 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 71432 KiB [startup+1.50732 s] /proc/loadavg: 4.39 7.16 7.85 11/207 12289 ################ # More data... # ################ [pid=12262/tid=12284] ppid=12260 vsize=26538700 memory=40680 CPUtime=47.57 cores=0-7 /proc/12262/task/12284/stat : 12284 (java) R 12260 12260 10779 0 -1 4202560 3588 0 0 0 4745 12 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692445819544 139693635146978 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12285] ppid=12260 vsize=26538700 memory=1296 CPUtime=47.7 cores=0-7 /proc/12262/task/12285/stat : 12285 (java) R 12260 12260 10779 0 -1 4202560 3635 0 0 0 4756 14 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692444766744 139693633759398 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12286] ppid=12260 vsize=26538700 memory=2336 CPUtime=47.92 cores=0-7 /proc/12262/task/12286/stat : 12286 (java) R 12260 12260 10779 0 -1 4202560 1736 0 0 0 4784 8 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692443714456 139693994816801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12287] ppid=12260 vsize=26538700 memory=1724 CPUtime=47.6 cores=0-7 /proc/12262/task/12287/stat : 12287 (java) R 12260 12260 10779 0 -1 4202560 590 0 0 0 4760 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692442661088 139693634071781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12288] ppid=12260 vsize=26538700 memory=1012 CPUtime=47.76 cores=0-7 /proc/12262/task/12288/stat : 12288 (java) R 12260 12260 10779 0 -1 4202560 3350 0 0 0 4754 22 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692441608344 139693634071716 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12289] ppid=12260 vsize=26538700 memory=1716 CPUtime=47.7 cores=0-7 /proc/12262/task/12289/stat : 12289 (java) R 12260 12260 10779 0 -1 4202560 618 0 0 0 4770 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692440555544 139693633656338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 389.71 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2176812 KiB [startup+50.4013 s] /proc/loadavg: 6.51 7.30 7.87 9/207 12289 /proc/meminfo: memFree=24879100/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=26538700 memory=2175428 CPUtime=396.09 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 57783 0 0 0 39499 110 0 0 20 0 28 0 146566398 27175628800 543857 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 6634675 543857 3278 1 0 6621909 0 [pid=12262/tid=12263] ppid=12260 vsize=26538700 memory=2175428 CPUtime=0.8 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) S 12260 12260 10779 0 -1 1077944384 6885 0 0 0 77 3 0 0 20 0 28 0 146566398 27175628800 543857 33554432000 4194304 4196468 140726221534848 139694018233472 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12264] ppid=12260 vsize=26538700 memory=6656426216303648864 CPUtime=0.12 cores=0-7 /proc/12262/task/12264/stat : 12264 (java) S 12260 12260 10779 0 -1 1077944384 632 0 0 0 8 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693966612880 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12265] ppid=12260 vsize=26538700 memory=6944656592455097440 CPUtime=0.11 cores=0-7 /proc/12262/task/12265/stat : 12265 (java) S 12260 12260 10779 0 -1 1077944384 329 0 0 0 7 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693965560080 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12266] ppid=12260 vsize=26538700 memory=4945125699554088323 CPUtime=0.1 cores=0-7 /proc/12262/task/12266/stat : 12266 (java) S 12260 12260 10779 0 -1 1077944384 627 0 0 0 6 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693964507792 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12267] ppid=12260 vsize=26538700 memory=7378131286539854690 CPUtime=0.11 cores=0-7 /proc/12262/task/12267/stat : 12267 (java) S 12260 12260 10779 0 -1 1077944384 1554 0 0 0 7 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693963454992 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12268] ppid=12260 vsize=26538700 memory=-7019007802211101846 CPUtime=0.13 cores=0-7 /proc/12262/task/12268/stat : 12268 (java) S 12260 12260 10779 0 -1 1077944384 440 0 0 0 9 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693962402704 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12269] ppid=12260 vsize=26538700 memory=-9108684669924967205 CPUtime=0.12 cores=0-7 /proc/12262/task/12269/stat : 12269 (java) S 12260 12260 10779 0 -1 1077944384 798 0 0 0 8 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693961349904 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12270] ppid=12260 vsize=26538700 memory=56 CPUtime=0.11 cores=0-7 /proc/12262/task/12270/stat : 12270 (java) S 12260 12260 10779 0 -1 1077944384 459 0 0 0 6 5 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693960297616 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12271] ppid=12260 vsize=26538700 memory=9244 CPUtime=0.12 cores=0-7 /proc/12262/task/12271/stat : 12271 (java) S 12260 12260 10779 0 -1 1077944384 2276 0 0 0 7 5 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693959244816 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12272] ppid=12260 vsize=26538700 memory=20137 CPUtime=0.02 cores=0-7 /proc/12262/task/12272/stat : 12272 (java) S 12260 12260 10779 0 -1 1077944384 2456 0 0 0 2 0 0 0 20 0 28 0 146566413 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692464908400 139694014003842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12273] ppid=12260 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/12262/task/12273/stat : 12273 (java) S 12260 12260 10779 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146566414 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692463854368 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12274] ppid=12260 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/12262/task/12274/stat : 12274 (java) S 12260 12260 10779 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146566414 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692462802032 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12275] ppid=12260 vsize=26538700 memory=590024538733965094 CPUtime=0 cores=0-7 /proc/12262/task/12275/stat : 12275 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692461750352 139694014011291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12276] ppid=12260 vsize=26538700 memory=288291069190472299 CPUtime=1.73 cores=0-7 /proc/12262/task/12276/stat : 12276 (java) S 12260 12260 10779 0 -1 1077944384 5005 0 0 0 172 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692460698224 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12277] ppid=12260 vsize=26538700 memory=3978141037003813125 CPUtime=1.68 cores=0-7 /proc/12262/task/12277/stat : 12277 (java) S 12260 12260 10779 0 -1 1077944384 7221 0 0 0 167 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692459645424 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12278] ppid=12260 vsize=26538700 memory=6944656592455359580 CPUtime=1.77 cores=0-7 /proc/12262/task/12278/stat : 12278 (java) S 12260 12260 10779 0 -1 1077944384 6680 0 0 0 175 2 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692458593136 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12279] ppid=12260 vsize=26538700 memory=6656426216303648864 CPUtime=0.77 cores=0-7 /proc/12262/task/12279/stat : 12279 (java) S 12260 12260 10779 0 -1 1077944384 5738 0 0 0 76 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692457540336 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12280] ppid=12260 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/12262/task/12280/stat : 12280 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692456487264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12281] ppid=12260 vsize=26538700 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/12262/task/12281/stat : 12281 (java) S 12260 12260 10779 0 -1 1077944384 369 0 0 0 0 1 0 0 20 0 28 0 146566417 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692455434544 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12282] ppid=12260 vsize=26538700 memory=6656426216303648864 CPUtime=48.6 cores=0-7 /proc/12262/task/12282/stat : 12282 (java) S 12260 12260 10779 0 -1 1077944384 661 0 0 0 4860 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692447923120 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12283] ppid=12260 vsize=26538700 memory=6944656592455359580 CPUtime=48.54 cores=0-7 /proc/12262/task/12283/stat : 12283 (java) S 12260 12260 10779 0 -1 1077944384 682 0 0 0 4854 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692446871440 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12284] ppid=12260 vsize=26538700 memory=-7003737579269690708 CPUtime=48.35 cores=0-7 /proc/12262/task/12284/stat : 12284 (java) R 12260 12260 10779 0 -1 4202560 3599 0 0 0 4823 12 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692445819544 139693634866653 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12285] ppid=12260 vsize=26538700 memory=7788 CPUtime=48.5 cores=0-7 /proc/12262/task/12285/stat : 12285 (java) S 12260 12260 10779 0 -1 1077944384 3652 0 0 0 4836 14 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692444766352 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12286] ppid=12260 vsize=26538700 memory=840 CPUtime=48.72 cores=0-7 /proc/12262/task/12286/stat : 12286 (java) S 12260 12260 10779 0 -1 1077944384 1741 0 0 0 4864 8 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692443714064 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12287] ppid=12260 vsize=26538700 memory=1696 CPUtime=48.4 cores=0-7 /proc/12262/task/12287/stat : 12287 (java) S 12260 12260 10779 0 -1 1077944384 590 0 0 0 4840 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692442661264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12288] ppid=12260 vsize=26538700 memory=920 CPUtime=48.56 cores=0-7 /proc/12262/task/12288/stat : 12288 (java) S 12260 12260 10779 0 -1 1077944384 3434 0 0 0 4834 22 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692441607856 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12289] ppid=12260 vsize=26538700 memory=4372 CPUtime=48.5 cores=0-7 /proc/12262/task/12289/stat : 12289 (java) S 12260 12260 10779 0 -1 1077944384 618 0 0 0 4850 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692440555152 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 396.09 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2176812 KiB [startup+50.6013 s] /proc/loadavg: 6.51 7.30 7.87 9/207 12289 /proc/meminfo: memFree=24879100/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 [pid=12262] ppid=12260 vsize=26538700 memory=2175428 CPUtime=397.68 cores=0-7 /proc/12262/stat : 12262 (java) S 12260 12260 10779 0 -1 1077944320 57817 0 0 0 39658 110 0 0 20 0 28 0 146566398 27175628800 543857 33554432000 4194304 4196468 140726221534848 140726221517392 139694013992695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 /proc/12262/statm: 6634675 543857 3278 1 0 6621909 0 [pid=12262/tid=12263] ppid=12260 vsize=26538700 memory=3096 CPUtime=0.8 cores=0-7 /proc/12262/task/12263/stat : 12263 (java) S 12260 12260 10779 0 -1 1077944384 6885 0 0 0 77 3 0 0 20 0 28 0 146566398 27175628800 543857 33554432000 4194304 4196468 140726221534848 139694018233472 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12264] ppid=12260 vsize=26538700 memory=1384 CPUtime=0.12 cores=0-7 /proc/12262/task/12264/stat : 12264 (java) S 12260 12260 10779 0 -1 1077944384 632 0 0 0 8 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693966612880 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12265] ppid=12260 vsize=26538700 memory=2167724 CPUtime=0.11 cores=0-7 /proc/12262/task/12265/stat : 12265 (java) S 12260 12260 10779 0 -1 1077944384 329 0 0 0 7 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693965560080 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12266] ppid=12260 vsize=26538700 memory=644 CPUtime=0.1 cores=0-7 /proc/12262/task/12266/stat : 12266 (java) S 12260 12260 10779 0 -1 1077944384 627 0 0 0 6 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693964507792 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12267] ppid=12260 vsize=26538700 memory=1788 CPUtime=0.11 cores=0-7 /proc/12262/task/12267/stat : 12267 (java) S 12260 12260 10779 0 -1 1077944384 1554 0 0 0 7 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693963454992 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12268] ppid=12260 vsize=26538700 memory=1384 CPUtime=0.13 cores=0-7 /proc/12262/task/12268/stat : 12268 (java) S 12260 12260 10779 0 -1 1077944384 440 0 0 0 9 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693962402704 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12269] ppid=12260 vsize=26538700 memory=644 CPUtime=0.12 cores=0-7 /proc/12262/task/12269/stat : 12269 (java) S 12260 12260 10779 0 -1 1077944384 798 0 0 0 8 4 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693961349904 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12270] ppid=12260 vsize=26538700 memory=1788 CPUtime=0.11 cores=0-7 /proc/12262/task/12270/stat : 12270 (java) S 12260 12260 10779 0 -1 1077944384 459 0 0 0 6 5 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693960297616 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12271] ppid=12260 vsize=26538700 memory=956 CPUtime=0.12 cores=0-7 /proc/12262/task/12271/stat : 12271 (java) S 12260 12260 10779 0 -1 1077944384 2276 0 0 0 7 5 0 0 20 0 28 0 146566412 27175628800 543857 33554432000 4194304 4196468 140726221534848 139693959244816 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12272] ppid=12260 vsize=26538700 memory=2344 CPUtime=0.02 cores=0-7 /proc/12262/task/12272/stat : 12272 (java) S 12260 12260 10779 0 -1 1077944384 2456 0 0 0 2 0 0 0 20 0 28 0 146566413 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692464908400 139694014003842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12273] ppid=12260 vsize=26538700 memory=928 CPUtime=0 cores=0-7 /proc/12262/task/12273/stat : 12273 (java) S 12260 12260 10779 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146566414 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692463854368 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12274] ppid=12260 vsize=26538700 memory=1568 CPUtime=0 cores=0-7 /proc/12262/task/12274/stat : 12274 (java) S 12260 12260 10779 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146566414 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692462802032 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12275] ppid=12260 vsize=26538700 memory=2240 CPUtime=0 cores=0-7 /proc/12262/task/12275/stat : 12275 (java) S 12260 12260 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692461750352 139694014011291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12276] ppid=12260 vsize=26538700 memory=4128 CPUtime=1.73 cores=0-7 /proc/12262/task/12276/stat : 12276 (java) S 12260 12260 10779 0 -1 1077944384 5005 0 0 0 172 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692460698224 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12277] ppid=12260 vsize=26538700 memory=2204 CPUtime=1.68 cores=0-7 /proc/12262/task/12277/stat : 12277 (java) S 12260 12260 10779 0 -1 1077944384 7221 0 0 0 167 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692459645424 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12278] ppid=12260 vsize=26538700 memory=7788 CPUtime=1.77 cores=0-7 /proc/12262/task/12278/stat : 12278 (java) S 12260 12260 10779 0 -1 1077944384 6680 0 0 0 175 2 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692458593136 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12279] ppid=12260 vsize=26538700 memory=840 CPUtime=0.77 cores=0-7 /proc/12262/task/12279/stat : 12279 (java) S 12260 12260 10779 0 -1 1077944384 5738 0 0 0 76 1 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692457540336 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12280] ppid=12260 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12262/task/12280/stat : 12280 (java) S 12260 12260 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146566416 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692456487264 139694014002901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12281] ppid=12260 vsize=26538700 memory=920 CPUtime=0.01 cores=0-7 /proc/12262/task/12281/stat : 12281 (java) S 12260 12260 10779 0 -1 1077944384 369 0 0 0 0 1 0 0 20 0 28 0 146566417 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692455434544 139694014003842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12282] ppid=12260 vsize=26538700 memory=4372 CPUtime=48.8 cores=0-7 /proc/12262/task/12282/stat : 12282 (java) R 12260 12260 10779 0 -1 4202560 661 0 0 0 4880 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692447923120 139693635571872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12283] ppid=12260 vsize=26538700 memory=4104 CPUtime=48.74 cores=0-7 /proc/12262/task/12283/stat : 12283 (java) R 12260 12260 10779 0 -1 4202560 682 0 0 0 4874 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692446871832 139693634073778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12284] ppid=12260 vsize=26538700 memory=1152 CPUtime=48.55 cores=0-7 /proc/12262/task/12284/stat : 12284 (java) R 12260 12260 10779 0 -1 4202560 3600 0 0 0 4843 12 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692445819544 139693635330528 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12285] ppid=12260 vsize=26538700 memory=3224 CPUtime=48.7 cores=0-7 /proc/12262/task/12285/stat : 12285 (java) R 12260 12260 10779 0 -1 4202560 3657 0 0 0 4856 14 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692444766256 139693633656090 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12286] ppid=12260 vsize=26538700 memory=1384 CPUtime=48.92 cores=0-7 /proc/12262/task/12286/stat : 12286 (java) R 12260 12260 10779 0 -1 4202560 1741 0 0 0 4884 8 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692443714456 139693634125065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12287] ppid=12260 vsize=26538700 memory=2175428 CPUtime=48.6 cores=0-7 /proc/12262/task/12287/stat : 12287 (java) R 12260 12260 10779 0 -1 4202560 590 0 0 0 4860 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692442661264 139693634468608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12288] ppid=12260 vsize=26538700 memory=139979696183169 CPUtime=48.76 cores=0-7 /proc/12262/task/12288/stat : 12288 (java) R 12260 12260 10779 0 -1 4202560 3462 0 0 0 4854 22 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692441607856 139693635787803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 [pid=12262/tid=12289] ppid=12260 vsize=26538700 memory=7649399397200048689 CPUtime=48.7 cores=0-7 /proc/12262/task/12289/stat : 12289 (java) R 12260 12260 10779 0 -1 4202560 618 0 0 0 4870 0 0 0 20 0 28 0 146566494 27175628800 543857 33554432000 4194304 4196468 140726221534848 139692440555152 139693634074349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33775616 140726221538450 140726221538627 140726221538627 140726221541327 0 Current children cumulated CPU time: 397.68 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2176812 KiB [startup+50.7011 s] /proc/loadavg: 6.51 7.30 7.87 9/207 12289 /proc/meminfo: memFree=24879100/32770624 swapFree=67108860/67108860 [pid=12260] ppid=12257 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12260/stat : 12260 (xcsp3-exec) S 12257 12260 10779 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146566398 9740288 346 33554432000 4194304 5098028 140720696833744 140720696831848 140185676276348 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35958784 140720696837220 140720696837431 140720696837431 140720696840171 0 /proc/12260/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 50.7089 CPU time (s): 398.412 CPU user time (s): 397.286 CPU system time (s): 1.12673 CPU usage (%): 785.685 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 2176812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 397.286 system time used= 1.12673 maximum resident set size= 2177972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59456 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= 5722 involuntary context switches= 4522 # summary of solver processes directly reported to runsolver: # pid: 12260 # total CPU time (s): 398.412 # total CPU user time (s): 397.286 # total CPU system time (s): 1.12673 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.502662 second user time and 0.583045 second system time The end
Begin job on node103 at 2017-08-19 11:12:03 IDJOB=4280774 IDBENCH=125541 IDSOLVER=2675 FILE ID=node103/4280774-1503134783 RUNJOBID= node103-1503131349-10806 PBS_JOBID= 20630787 Free space on /tmp= 61652 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Kakuro/Kakuro-sumdiff-medium/Kakuro-medium-191-sumdiff.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-4280774-1503134783/watcher-4280774-1503134783 -o /tmp/evaluation-result-4280774-1503134783/solver-4280774-1503134783 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1808481215 HOME/instance-4280774-1503134783.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 261f5e0f67b6e0c567fd630968b40e71 RANDOM SEED=1808481215 node103.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.56 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.56 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.56 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.56 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: 27043824 kB MemAvailable: 31973968 kB Buffers: 231416 kB Cached: 4992832 kB SwapCached: 0 kB Active: 995516 kB Inactive: 4284040 kB Active(anon): 4720 kB Inactive(anon): 86700 kB Active(file): 990796 kB Inactive(file): 4197340 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8112 kB Writeback: 0 kB AnonPages: 62348 kB Mapped: 50684 kB Shmem: 33420 kB Slab: 141960 kB SReclaimable: 115684 kB SUnreclaim: 26276 kB KernelStack: 3184 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61644 MiB End job on node103 at 2017-08-19 11:12:54