Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 11 | 20099.4 | 2520.0801 |
Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml |
MD5SUM | fba97587c84e09253678fbe4a2f6ebc1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 2400.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 480 |
Number of constraints | 461 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":400},{"size":20,"count":60},{"size":21,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":420},{"degree":5,"count":4},{"degree":7,"count":4},{"degree":9,"count":6},{"degree":11,"count":5},{"degree":13,"count":1},{"degree":21,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":2,"count":2},{"arity":3,"count":408},{"arity":4,"count":12},{"arity":5,"count":6},{"arity":6,"count":4},{"arity":7,"count":6},{"arity":9,"count":2},{"arity":20,"count":1},{"arity":21,"count":20}] |
Number of extensional constraints | 400 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":400},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"minimum","count":20},{"type":"maximum","count":20}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281171-1503180442.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281171-1503180442.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.27 c parse instance... 3.94/1.24 c solve instance... 6.75/1.60 o 18 6.75/1.65 o 17 7.58/1.84 o 16 7.58/1.86 o 15 8.08/1.93 o 14 14.73/2.81 o 13 19.45/3.46 o 12 85.60/11.85 o 11 20098.90/2520.05 s SATISFIABLE 20098.90/2520.05 v <instantiation> 20098.90/2520.05 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] 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] 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 20098.90/2520.05 v <values>14 1 6 19 17 4 9 13 15 5 8 10 3 11 7 12 2 0 16 18 3 4 12 9 1 0 3 6 15 0 0 2 0 4 14 7 2 2 15 10 18 17 14 17 13 1 18 15 19 8 18 16 9 17 14 18 4 6 19 11 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 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 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 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 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 1 1 0 0 0 0 0 0 0 0 4 5 7 9 11 10 11 11 11 11 11 11 11 11 11 11 10 9 6 2 </values> 20098.90/2520.05 v </instantiation> 20098.90/2520.05 c Unexpected resolution interruption!
OK 11
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 (10296 MiB free) memory of node 1: 16384 MiB (12486 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281171-1503180442/watcher-4281171-1503180442 -o /tmp/evaluation-result-4281171-1503180442/solver-4281171-1503180442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503170305-27035 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 347062706 HOME/instance-4281171-1503180442.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 Current StackSize limit: 8192 KiB solver pid=27795, runsolver pid=27792 [startup+0.100111 s]* /proc/loadavg: 1.03 1.11 1.57 2/201 27816 /proc/meminfo: memFree=23315184/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=25999808 memory=24552 CPUtime=0.12 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 5585 0 0 0 11 1 0 0 20 0 20 0 151125213 26623803392 6138 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6499952 6138 2855 1 0 6488269 0 [pid=27797/tid=27798] ppid=27795 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) R 27795 27795 27008 0 -1 4202560 3542 0 0 0 8 1 0 0 20 0 20 0 151125214 26623803392 6138 33554432000 4194304 4196468 140723226193568 139745590599936 139745586390173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6138 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=25999808 memory=139835001652864 CPUtime=0 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6138 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6138 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27802] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27802/stat : 27802 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6138 33554432000 4194304 4196468 140723226193568 139745141320080 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27803] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27803/stat : 27803 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6204 33554432000 4194304 4196468 140723226193568 139745140268048 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27804] ppid=27795 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27804/stat : 27804 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6204 33554432000 4194304 4196468 140723226193568 139745139215504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27805] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27805/stat : 27805 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6204 33554432000 4194304 4196468 140723226193568 139745138162448 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27806] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27806/stat : 27806 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125214 26623803392 6204 33554432000 4194304 4196468 140723226193568 139745137109904 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27807] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27807/stat : 27807 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125216 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744059910384 139745586379394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27808] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27808/stat : 27808 (java) S 27795 27795 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151125216 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744058856608 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27809] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27809/stat : 27809 (java) S 27795 27795 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151125217 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744057803504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27810] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27810/stat : 27810 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744056752080 139745586386843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27811] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27811/stat : 27811 (java) S 27795 27795 27008 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744055700208 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27812] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27812/stat : 27812 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744054647664 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27813] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27813/stat : 27813 (java) S 27795 27795 27008 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744053594608 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27814] ppid=27795 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/27797/task/27814/stat : 27814 (java) S 27795 27795 27008 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744052542064 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27815] ppid=27795 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27815/stat : 27815 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744051489248 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27816] ppid=27795 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27816/stat : 27816 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26623803392 6204 33554432000 4194304 4196468 140723226193568 139744050436784 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 25936 KiB [startup+0.210112 s]* /proc/loadavg: 1.03 1.11 1.57 2/201 27816 /proc/meminfo: memFree=23305556/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=26004064 memory=37812 CPUtime=0.34 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 8559 0 0 0 31 3 0 0 20 0 20 0 151125213 26628161536 9453 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6501016 9453 3043 1 0 6488269 0 [pid=27797/tid=27798] ppid=27795 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) R 27795 27795 27008 0 -1 4202560 5444 0 0 0 18 1 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745590589232 139745570448734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=26004064 memory=4049216981379696288 CPUtime=0 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27802] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27802/stat : 27802 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745141320080 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27803] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27803/stat : 27803 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745140268048 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27804] ppid=27795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27804/stat : 27804 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745139215504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27805] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27805/stat : 27805 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745138162448 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27806] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27806/stat : 27806 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 9453 33554432000 4194304 4196468 140723226193568 139745137109904 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27807] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27807/stat : 27807 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125216 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744059910384 139745586379394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27808] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27808/stat : 27808 (java) S 27795 27795 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151125216 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744058856608 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27809] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27809/stat : 27809 (java) S 27795 27795 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151125217 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744057803504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27810] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27810/stat : 27810 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744056752080 139745586386843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27811] ppid=27795 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27797/task/27811/stat : 27811 (java) S 27795 27795 27008 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744055700208 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27812] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27812/stat : 27812 (java) S 27795 27795 27008 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744054647664 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27813] ppid=27795 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/27797/task/27813/stat : 27813 (java) S 27795 27795 27008 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744053594608 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27814] ppid=27795 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/27797/task/27814/stat : 27814 (java) S 27795 27795 27008 0 -1 1077944384 907 0 0 0 7 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744052542064 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27815] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27815/stat : 27815 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744051489248 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27816] ppid=27795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27816/stat : 27816 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 9453 33554432000 4194304 4196468 140723226193568 139744050436784 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39196 KiB [startup+0.309423 s]* /proc/loadavg: 1.03 1.11 1.57 3/201 27816 /proc/meminfo: memFree=23297864/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=26004064 memory=43008 CPUtime=0.49 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 9483 0 0 0 46 3 0 0 20 0 20 0 151125213 26628161536 10752 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6501016 10752 3077 1 0 6488269 0 [pid=27797/tid=27798] ppid=27795 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) R 27795 27795 27008 0 -1 4202560 6129 0 0 0 27 2 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745590607024 139745222614029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27802] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27802/stat : 27802 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745141320080 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27803] ppid=27795 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/27797/task/27803/stat : 27803 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745140268048 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27804] ppid=27795 vsize=26004064 memory=139834874229679 CPUtime=0 cores=0-7 /proc/27797/task/27804/stat : 27804 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745139215504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27805] ppid=27795 vsize=26004064 memory=139834874231984 CPUtime=0 cores=0-7 /proc/27797/task/27805/stat : 27805 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745138162448 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27806] ppid=27795 vsize=26004064 memory=139834874234288 CPUtime=0 cores=0-7 /proc/27797/task/27806/stat : 27806 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125214 26628161536 10752 33554432000 4194304 4196468 140723226193568 139745137109904 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27807] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27807/stat : 27807 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125216 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744059910384 139745586379394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27808] ppid=27795 vsize=26004064 memory=279669748475536 CPUtime=0 cores=0-7 /proc/27797/task/27808/stat : 27808 (java) S 27795 27795 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151125216 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744058856608 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27809] ppid=27795 vsize=26004064 memory=279669748482448 CPUtime=0 cores=0-7 /proc/27797/task/27809/stat : 27809 (java) S 27795 27795 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151125217 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744057803504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27810] ppid=27795 vsize=26004064 memory=279669748423728 CPUtime=0 cores=0-7 /proc/27797/task/27810/stat : 27810 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744056752080 139745586386843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27811] ppid=27795 vsize=26004064 memory=279669748496272 CPUtime=0.02 cores=0-7 /proc/27797/task/27811/stat : 27811 (java) S 27795 27795 27008 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744055700208 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27812] ppid=27795 vsize=26004064 memory=279669748503184 CPUtime=0.01 cores=0-7 /proc/27797/task/27812/stat : 27812 (java) S 27795 27795 27008 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744054647664 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27813] ppid=27795 vsize=26004064 memory=279669748500880 CPUtime=0.02 cores=0-7 /proc/27797/task/27813/stat : 27813 (java) S 27795 27795 27008 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744053594608 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27814] ppid=27795 vsize=26004064 memory=279669748517040 CPUtime=0.12 cores=0-7 /proc/27797/task/27814/stat : 27814 (java) R 27795 27795 27008 0 -1 4202560 1073 0 0 0 12 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744052538432 139745579468094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27815] ppid=27795 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27815/stat : 27815 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744051489248 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27816] ppid=27795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27797/task/27816/stat : 27816 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125219 26628161536 10752 33554432000 4194304 4196468 140723226193568 139744050436784 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44392 KiB [startup+0.700971 s] /proc/loadavg: 1.03 1.11 1.57 6/201 27816 /proc/meminfo: memFree=23266352/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=26006188 memory=94036 CPUtime=2 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 14598 0 0 0 194 6 0 0 20 0 20 0 151125213 26630336512 23509 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6501547 23509 3200 1 0 6488781 0 [pid=27797/tid=27798] ppid=27795 vsize=26006188 memory=279669748874928 CPUtime=0.67 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) R 27795 27795 27008 0 -1 4202560 6808 0 0 0 64 3 0 0 20 0 20 0 151125214 26630336512 23509 33554432000 4194304 4196468 140723226193568 139745590606736 139745586389594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=26006188 memory=139834874438512 CPUtime=0 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151125214 26630336512 23509 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26630336512 23509 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=26006188 memory=1716 CPUtime=0 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151125214 26630336512 23509 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 ################ # More data... # ################ [pid=27797/tid=27888] ppid=27795 vsize=26539728 memory=3880 CPUtime=2429.66 cores=0-7 /proc/27797/task/27888/stat : 27888 (java) R 27795 27795 27008 0 -1 4202560 6641 0 0 0 242963 3 0 0 20 0 28 0 151126398 27176681472 68916 33554432000 4194304 4196468 140723226193568 139744034004720 139745229307178 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 19478.8 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 277048 KiB [startup+2502.3 s] /proc/loadavg: 8.08 8.26 7.80 9/208 27953 /proc/meminfo: memFree=23064200/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=26539728 memory=277712 CPUtime=19957.6 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 152677 0 0 0 1995637 122 0 0 20 0 28 0 151125213 27176681472 69428 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6634932 69428 3289 1 0 6622166 0 [pid=27797/tid=27798] ppid=27795 vsize=26539728 memory=277712 CPUtime=1.22 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) S 27795 27795 27008 0 -1 1077944384 7157 0 0 0 117 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745590609024 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.17 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 3530 0 0 0 11 6 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.16 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1981 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.16 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 3654 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27802] ppid=27795 vsize=26539728 memory=1384 CPUtime=0.16 cores=0-7 /proc/27797/task/27802/stat : 27802 (java) S 27795 27795 27008 0 -1 1077944384 2342 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745141320080 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27803] ppid=27795 vsize=26539728 memory=4264975257286568290 CPUtime=0.17 cores=0-7 /proc/27797/task/27803/stat : 27803 (java) S 27795 27795 27008 0 -1 1077944384 1979 0 0 0 12 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745140268048 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27804] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.17 cores=0-7 /proc/27797/task/27804/stat : 27804 (java) S 27795 27795 27008 0 -1 1077944384 2470 0 0 0 12 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745139215504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27805] ppid=27795 vsize=26539728 memory=0 CPUtime=0.16 cores=0-7 /proc/27797/task/27805/stat : 27805 (java) S 27795 27795 27008 0 -1 1077944384 1501 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745138162448 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27806] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.16 cores=0-7 /proc/27797/task/27806/stat : 27806 (java) S 27795 27795 27008 0 -1 1077944384 2326 0 0 0 12 4 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745137109904 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27807] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.15 cores=0-7 /proc/27797/task/27807/stat : 27807 (java) S 27795 27795 27008 0 -1 1077944384 8502 0 0 0 9 6 0 0 20 0 28 0 151125216 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744059910384 139745586379394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27808] ppid=27795 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/27797/task/27808/stat : 27808 (java) S 27795 27795 27008 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151125216 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744058856672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27809] ppid=27795 vsize=26539728 memory=139834875593793 CPUtime=0 cores=0-7 /proc/27797/task/27809/stat : 27809 (java) S 27795 27795 27008 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 151125217 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744057803520 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27810] ppid=27795 vsize=26539728 memory=1414351094373861289 CPUtime=0 cores=0-7 /proc/27797/task/27810/stat : 27810 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744056752080 139745586386843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27811] ppid=27795 vsize=26539728 memory=1384 CPUtime=2.82 cores=0-7 /proc/27797/task/27811/stat : 27811 (java) S 27795 27795 27008 0 -1 1077944384 17379 0 0 0 277 5 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744055700208 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27812] ppid=27795 vsize=26539728 memory=1384 CPUtime=2.77 cores=0-7 /proc/27797/task/27812/stat : 27812 (java) S 27795 27795 27008 0 -1 1077944384 11941 0 0 0 276 1 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744054647664 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27813] ppid=27795 vsize=26539728 memory=1384 CPUtime=2.64 cores=0-7 /proc/27797/task/27813/stat : 27813 (java) S 27795 27795 27008 0 -1 1077944384 13230 0 0 0 263 1 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744053594608 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27814] ppid=27795 vsize=26539728 memory=4140 CPUtime=0.91 cores=0-7 /proc/27797/task/27814/stat : 27814 (java) S 27795 27795 27008 0 -1 1077944384 11806 0 0 0 89 2 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744052542064 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27815] ppid=27795 vsize=26539728 memory=4140 CPUtime=0 cores=0-7 /proc/27797/task/27815/stat : 27815 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744051489248 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27816] ppid=27795 vsize=26539728 memory=42288 CPUtime=0.64 cores=0-7 /proc/27797/task/27816/stat : 27816 (java) S 27795 27795 27008 0 -1 1077944384 2098 0 0 0 0 64 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744050436784 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27881] ppid=27795 vsize=26539728 memory=1384 CPUtime=2486.81 cores=0-7 /proc/27797/task/27881/stat : 27881 (java) R 27795 27795 27008 0 -1 4202560 3821 0 0 0 248678 3 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744042425096 139745229306213 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27882] ppid=27795 vsize=26539728 memory=277712 CPUtime=2478.6 cores=0-7 /proc/27797/task/27882/stat : 27882 (java) R 27795 27795 27008 0 -1 4202560 4382 0 0 0 247858 2 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744039268616 139745229305870 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27883] ppid=27795 vsize=26539728 memory=1384 CPUtime=2483.74 cores=0-7 /proc/27797/task/27883/stat : 27883 (java) R 27795 27795 27008 0 -1 4202560 7714 0 0 0 248370 4 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744040321240 139745229306604 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27884] ppid=27795 vsize=26539728 memory=275664 CPUtime=2489.1 cores=0-7 /proc/27797/task/27884/stat : 27884 (java) R 27795 27795 27008 0 -1 4202560 11717 0 0 0 248897 13 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744041374344 139745229306418 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27885] ppid=27795 vsize=26539728 memory=139835001651809 CPUtime=2475.92 cores=0-7 /proc/27797/task/27885/stat : 27885 (java) R 27795 27795 27008 0 -1 4202560 7485 0 0 0 247586 6 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744037162480 139745229306330 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27886] ppid=27795 vsize=26539728 memory=279669749655120 CPUtime=2486.88 cores=0-7 /proc/27797/task/27886/stat : 27886 (java) R 27795 27795 27008 0 -1 4202560 2610 0 0 0 248687 1 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744038216072 139745229306261 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27887] ppid=27795 vsize=26539728 memory=277712 CPUtime=2478.06 cores=0-7 /proc/27797/task/27887/stat : 27887 (java) R 27795 27795 27008 0 -1 4202560 11219 0 0 0 247793 13 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744036113040 139745229306213 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27888] ppid=27795 vsize=26539728 memory=1384 CPUtime=2489.64 cores=0-7 /proc/27797/task/27888/stat : 27888 (java) R 27795 27795 27008 0 -1 4202560 6665 0 0 0 248961 3 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744034004856 139745229306410 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 19957.6 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 279096 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.14 8.26 7.81 9/207 27953 /proc/meminfo: memFree=23064228/32770624 swapFree=67108860/67108860 [pid=27795] ppid=27792 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27795/stat : 27795 (xcsp3-exec) S 27792 27795 27008 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151125213 9740288 346 33554432000 4194304 5098028 140726167043360 140726167041464 140572808024700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27488256 140726167049317 140726167049527 140726167049527 140726167052267 0 /proc/27795/statm: 2378 346 289 221 0 87 0 [pid=27797] ppid=27795 vsize=26539728 memory=277712 CPUtime=20098.9 cores=0-7 /proc/27797/stat : 27797 (java) S 27795 27795 27008 0 -1 1077944320 153480 0 0 0 2009768 122 0 0 20 0 28 0 151125213 27176681472 69428 33554432000 4194304 4196468 140723226193568 140723226176112 139745586368247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 /proc/27797/statm: 6634932 69428 3289 1 0 6622166 0 [pid=27797/tid=27798] ppid=27795 vsize=26539728 memory=1384 CPUtime=1.22 cores=0-7 /proc/27797/task/27798/stat : 27798 (java) S 27795 27795 27008 0 -1 1077944384 7157 0 0 0 117 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745590609024 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27799] ppid=27795 vsize=26539728 memory=277712 CPUtime=0.17 cores=0-7 /proc/27797/task/27799/stat : 27799 (java) S 27795 27795 27008 0 -1 1077944384 3545 0 0 0 11 6 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745553926672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27800] ppid=27795 vsize=26539728 memory=4126316290023845779 CPUtime=0.16 cores=0-7 /proc/27797/task/27800/stat : 27800 (java) S 27795 27795 27008 0 -1 1077944384 1989 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745143425680 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27801] ppid=27795 vsize=26539728 memory=4104 CPUtime=0.16 cores=0-7 /proc/27797/task/27801/stat : 27801 (java) S 27795 27795 27008 0 -1 1077944384 3664 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745142372624 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27802] ppid=27795 vsize=26539728 memory=1398720917958146503 CPUtime=0.16 cores=0-7 /proc/27797/task/27802/stat : 27802 (java) S 27795 27795 27008 0 -1 1077944384 2569 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745141320080 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27803] ppid=27795 vsize=26539728 memory=4126316290023845779 CPUtime=0.17 cores=0-7 /proc/27797/task/27803/stat : 27803 (java) S 27795 27795 27008 0 -1 1077944384 2016 0 0 0 12 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745140268048 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27804] ppid=27795 vsize=26539728 memory=11044 CPUtime=0.17 cores=0-7 /proc/27797/task/27804/stat : 27804 (java) S 27795 27795 27008 0 -1 1077944384 2478 0 0 0 12 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745139215504 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27805] ppid=27795 vsize=26539728 memory=13252 CPUtime=0.16 cores=0-7 /proc/27797/task/27805/stat : 27805 (java) S 27795 27795 27008 0 -1 1077944384 1514 0 0 0 11 5 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745138162448 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27806] ppid=27795 vsize=26539728 memory=15460 CPUtime=0.16 cores=0-7 /proc/27797/task/27806/stat : 27806 (java) S 27795 27795 27008 0 -1 1077944384 2331 0 0 0 12 4 0 0 20 0 28 0 151125214 27176681472 69428 33554432000 4194304 4196468 140723226193568 139745137109904 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27807] ppid=27795 vsize=26539728 memory=17668 CPUtime=0.15 cores=0-7 /proc/27797/task/27807/stat : 27807 (java) S 27795 27795 27008 0 -1 1077944384 8535 0 0 0 9 6 0 0 20 0 28 0 151125216 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744059910384 139745586379394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27808] ppid=27795 vsize=26539728 memory=1580 CPUtime=0 cores=0-7 /proc/27797/task/27808/stat : 27808 (java) S 27795 27795 27008 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151125216 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744058856672 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27809] ppid=27795 vsize=26539728 memory=928 CPUtime=0 cores=0-7 /proc/27797/task/27809/stat : 27809 (java) S 27795 27795 27008 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 151125217 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744057803520 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27810] ppid=27795 vsize=26539728 memory=2244 CPUtime=0 cores=0-7 /proc/27797/task/27810/stat : 27810 (java) S 27795 27795 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744056752080 139745586386843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27811] ppid=27795 vsize=26539728 memory=4124 CPUtime=2.82 cores=0-7 /proc/27797/task/27811/stat : 27811 (java) S 27795 27795 27008 0 -1 1077944384 17381 0 0 0 277 5 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744055700208 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27812] ppid=27795 vsize=26539728 memory=2196 CPUtime=2.77 cores=0-7 /proc/27797/task/27812/stat : 27812 (java) S 27795 27795 27008 0 -1 1077944384 11943 0 0 0 276 1 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744054647664 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27813] ppid=27795 vsize=26539728 memory=7540 CPUtime=2.64 cores=0-7 /proc/27797/task/27813/stat : 27813 (java) S 27795 27795 27008 0 -1 1077944384 13232 0 0 0 263 1 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744053594608 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27814] ppid=27795 vsize=26539728 memory=840 CPUtime=0.91 cores=0-7 /proc/27797/task/27814/stat : 27814 (java) S 27795 27795 27008 0 -1 1077944384 11808 0 0 0 89 2 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744052542064 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27815] ppid=27795 vsize=26539728 memory=1692 CPUtime=0 cores=0-7 /proc/27797/task/27815/stat : 27815 (java) S 27795 27795 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744051489248 139745586378453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27816] ppid=27795 vsize=26539728 memory=916 CPUtime=0.64 cores=0-7 /proc/27797/task/27816/stat : 27816 (java) S 27795 27795 27008 0 -1 1077944384 2100 0 0 0 0 64 0 0 20 0 28 0 151125219 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744050436784 139745586379394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27881] ppid=27795 vsize=26539728 memory=6791534058613427641 CPUtime=2504.51 cores=0-7 /proc/27797/task/27881/stat : 27881 (java) R 27795 27795 27008 0 -1 4202560 3829 0 0 0 250448 3 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744042425096 139745229305584 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27882] ppid=27795 vsize=26539728 memory=4044 CPUtime=2496.01 cores=0-7 /proc/27797/task/27882/stat : 27882 (java) R 27795 27795 27008 0 -1 4202560 4399 0 0 0 249599 2 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744039268080 139745229305886 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27883] ppid=27795 vsize=26539728 memory=16444 CPUtime=2501.45 cores=0-7 /proc/27797/task/27883/stat : 27883 (java) R 27795 27795 27008 0 -1 4202560 7725 0 0 0 250141 4 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744040321544 139745229306586 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27884] ppid=27795 vsize=26539728 memory=24380 CPUtime=2506.81 cores=0-7 /proc/27797/task/27884/stat : 27884 (java) R 27795 27795 27008 0 -1 4202560 11920 0 0 0 250668 13 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744041377040 139745229306671 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27885] ppid=27795 vsize=26539728 memory=1796 CPUtime=2493.63 cores=0-7 /proc/27797/task/27885/stat : 27885 (java) R 27795 27795 27008 0 -1 4202560 7576 0 0 0 249357 6 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744037162968 139745229305659 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27886] ppid=27795 vsize=26539728 memory=636 CPUtime=2504.59 cores=0-7 /proc/27797/task/27886/stat : 27886 (java) R 27795 27795 27008 0 -1 4202560 2636 0 0 0 250458 1 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744038216072 139745233239743 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27887] ppid=27795 vsize=26539728 memory=960 CPUtime=2495.71 cores=0-7 /proc/27797/task/27887/stat : 27887 (java) R 27795 27795 27008 0 -1 4202560 11285 0 0 0 249558 13 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744036110344 139745229307402 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 [pid=27797/tid=27888] ppid=27795 vsize=26539728 memory=1232 CPUtime=2507.35 cores=0-7 /proc/27797/task/27888/stat : 27888 (java) R 27795 27795 27008 0 -1 4202560 6680 0 0 0 250732 3 0 0 20 0 28 0 151126398 27176681472 69428 33554432000 4194304 4196468 140723226193568 139744034004856 139745229856811 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29941760 140723226199186 140723226199363 140723226199363 140723226202063 0 Current children cumulated CPU time: 20098.9 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 279096 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 27795 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000975 s, system=0.000975 s [startup+2520.08 s] # the end of solver process 27797 was just reported to runsolver # cumulated CPU time of all completed processes: user=20098.2 s, system=1.23083 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.08 CPU time (s): 20099.4 CPU user time (s): 20098.2 CPU system time (s): 1.23083 CPU usage (%): 797.571 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 456624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20098.2 system time used= 1.23083 maximum resident set size= 458880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154199 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 65919 involuntary context switches= 202547 # summary of solver processes directly reported to runsolver: # pid: 27795,27797 # total CPU time (s): 20099.4 # total CPU user time (s): 20098.2 # total CPU system time (s): 1.23083 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.5939 second user time and 24.0893 second system time The end
Begin job on node150 at 2017-08-19 23:53:02 IDJOB=4281171 IDBENCH=140512 IDSOLVER=2675 FILE ID=node150/4281171-1503180442 RUNJOBID= node150-1503170305-27035 PBS_JOBID= 20630838 Free space on /tmp= 61904 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-pb-20-20-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-4281171-1503180442/watcher-4281171-1503180442 -o /tmp/evaluation-result-4281171-1503180442/solver-4281171-1503180442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503170305-27035 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 347062706 HOME/instance-4281171-1503180442.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fba97587c84e09253678fbe4a2f6ebc1 RANDOM SEED=347062706 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 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: 23329084 kB MemAvailable: 31963256 kB Buffers: 299648 kB Cached: 8614048 kB SwapCached: 0 kB Active: 2712976 kB Inactive: 6253688 kB Active(anon): 2064 kB Inactive(anon): 87068 kB Active(file): 2710912 kB Inactive(file): 6166620 kB Unevictable: 7288 kB Mlocked: 7288 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8112 kB Writeback: 4 kB AnonPages: 60196 kB Mapped: 51636 kB Shmem: 33416 kB Slab: 171120 kB SReclaimable: 144952 kB SUnreclaim: 26168 kB KernelStack: 3168 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61896 MiB End job on node150 at 2017-08-20 00:35:02