Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 100 | 2003.35 | 252.125 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml |
MD5SUM | 24e7c51735ec9671261d78753301e43f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 251.89101 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 529 |
Number of constraints | 344 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 513 |
Distribution of domain sizes | [{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}] |
Minimum variable degree | 1 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 18 |
Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}] |
Number of extensional constraints | 252 |
Number of intensional constraints | 71 |
Distribution of constraint types | [{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281598-1503178497.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281598-1503178497.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 3.40/1.22 c solve instance... 4.67/1.42 o 0 4.67/1.48 o 5 4.67/1.49 o 6 4.67/1.49 o 7 5.34/1.50 o 8 5.34/1.51 o 9 5.34/1.51 o 10 5.34/1.52 o 11 5.34/1.52 o 12 5.34/1.53 o 13 5.34/1.53 o 14 5.34/1.54 o 15 5.34/1.54 o 16 5.34/1.55 o 17 5.34/1.56 o 18 5.34/1.56 o 19 5.34/1.57 o 20 5.34/1.58 o 21 5.94/1.61 o 22 5.94/1.62 o 23 5.94/1.62 o 24 5.94/1.63 o 61 5.94/1.65 o 62 5.94/1.66 o 63 5.94/1.67 o 64 5.94/1.68 o 65 5.94/1.69 o 66 5.94/1.69 o 67 6.63/1.70 o 68 6.63/1.71 o 69 6.63/1.72 o 70 6.63/1.73 o 71 6.63/1.74 o 72 6.63/1.75 o 73 6.63/1.75 o 74 6.63/1.76 o 75 6.63/1.79 o 76 6.63/1.80 o 77 7.20/1.81 o 78 7.20/1.81 o 79 7.20/1.82 o 80 7.20/1.83 o 81 7.20/1.84 o 82 7.20/1.84 o 83 7.20/1.85 o 84 7.20/1.86 o 85 7.20/1.87 o 86 7.20/1.88 o 87 7.20/1.88 o 88 7.20/1.89 o 89 7.88/1.90 o 90 7.88/1.90 o 91 7.88/1.91 o 92 8.71/2.04 o 93 9.52/2.14 o 94 10.99/2.36 o 95 12.55/2.54 o 96 12.55/2.54 o 97 17.39/3.12 o 98 45.82/6.71 o 99 1202.37/151.73 o 100 2002.55/252.09 s SATISFIABLE 2002.55/252.09 v <instantiation> 2002.55/252.09 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] 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][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] z </list> 2002.55/252.09 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 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 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 1 1 0 1 1 0 0 0 1 0 1 1 2 0 1 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 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 1 0 0 0 0 0 0 1 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 4 4 4 10 10 10 19 25 29 29 31 33 37 40 43 48 100 </values> 2002.55/252.09 v </instantiation> 2002.55/252.09 c Unexpected resolution interruption!
OK 100
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 (13004 MiB free) memory of node 1: 16384 MiB (13419 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281598-1503178497/watcher-4281598-1503178497 -o /tmp/evaluation-result-4281598-1503178497/solver-4281598-1503178497 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 201249426 HOME/instance-4281598-1503178497.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6825, runsolver pid=6822 [startup+0.100159 s]* /proc/loadavg: 8.68 8.20 7.85 2/201 6846 /proc/meminfo: memFree=27041856/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=25999808 memory=26540 CPUtime=0.11 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 5497 0 0 0 10 1 0 0 20 0 20 0 150937660 26623803392 6635 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6499952 6635 2875 1 0 6488269 0 [pid=6827/tid=6828] ppid=6825 vsize=25999808 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) R 6825 6825 25517 0 -1 4202560 3514 0 0 0 8 1 0 0 20 0 20 0 150937660 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225874354736 140225870134678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=25999808 memory=140443480106624 CPUtime=0 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6832] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6832/stat : 6832 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225789545616 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6833] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6833/stat : 6833 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225788492048 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6834] ppid=6825 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6834/stat : 6834 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225787439504 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6835] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6835/stat : 6835 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225786386960 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6836] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6836/stat : 6836 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26623803392 6635 33554432000 4194304 4196468 140730290832080 140225785334416 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6837] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6837/stat : 6837 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937662 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224544942576 140225870133890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6838] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6838/stat : 6838 (java) S 6825 6825 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150937663 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224543888800 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6839] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6839/stat : 6839 (java) S 6825 6825 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150937663 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224542836208 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6840] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6840/stat : 6840 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937665 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224541784784 140225870141339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6841] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6841/stat : 6841 (java) S 6825 6825 25517 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 150937665 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224540731376 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6842] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6842/stat : 6842 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937665 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224539678832 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6843] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6843/stat : 6843 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937665 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224538626288 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6844] ppid=6825 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/6827/task/6844/stat : 6844 (java) R 6825 6825 25517 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 150937666 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224537573744 140225870134678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6845] ppid=6825 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6845/stat : 6845 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937666 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224536521440 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6846] ppid=6825 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6846/stat : 6846 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937666 26623803392 6635 33554432000 4194304 4196468 140730290832080 140224535468976 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27924 KiB [startup+0.210309 s]* /proc/loadavg: 8.68 8.20 7.85 2/201 6846 /proc/meminfo: memFree=27030300/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=26004064 memory=38956 CPUtime=0.33 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 8332 0 0 0 30 3 0 0 20 0 20 0 150937660 26628161536 9739 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6501016 9739 3044 1 0 6488269 0 [pid=6827/tid=6828] ppid=6825 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) R 6825 6825 25517 0 -1 4202560 5426 0 0 0 17 2 0 0 20 0 20 0 150937660 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225874343736 140225870144669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=26004064 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=26004064 memory=140443480850543 CPUtime=0 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6832] ppid=6825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6832/stat : 6832 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225789545616 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6833] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6833/stat : 6833 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225788492048 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6834] ppid=6825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6834/stat : 6834 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225787439504 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6835] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6835/stat : 6835 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225786386960 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6836] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6836/stat : 6836 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 9739 33554432000 4194304 4196468 140730290832080 140225785334416 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6837] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6837/stat : 6837 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937662 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224544942576 140225870133890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6838] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6838/stat : 6838 (java) S 6825 6825 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150937663 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224543888800 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6839] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6839/stat : 6839 (java) S 6825 6825 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150937663 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224542836208 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6840] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6840/stat : 6840 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937665 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224541784784 140225870141339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6841] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6841/stat : 6841 (java) S 6825 6825 25517 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 150937665 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224540731376 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6842] ppid=6825 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/6827/task/6842/stat : 6842 (java) S 6825 6825 25517 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 150937665 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224539678832 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6843] ppid=6825 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/6827/task/6843/stat : 6843 (java) S 6825 6825 25517 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 150937665 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224538626288 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6844] ppid=6825 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/6827/task/6844/stat : 6844 (java) R 6825 6825 25517 0 -1 4202560 699 0 0 0 7 0 0 0 20 0 20 0 150937666 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224537573744 140225862359870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6845] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6845/stat : 6845 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937666 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224536521440 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6846] ppid=6825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6846/stat : 6846 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937666 26628161536 9739 33554432000 4194304 4196468 140730290832080 140224535468976 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40340 KiB [startup+0.309627 s]* /proc/loadavg: 8.14 8.10 7.81 3/201 6846 /proc/meminfo: memFree=27025896/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=26004064 memory=45904 CPUtime=0.49 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 9173 0 0 0 45 4 0 0 20 0 20 0 150937660 26628161536 11476 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6501016 11476 3078 1 0 6488269 0 [pid=6827/tid=6828] ppid=6825 vsize=26004064 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) R 6825 6825 25517 0 -1 4202560 6098 0 0 0 26 3 0 0 20 0 20 0 150937660 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225874361008 140225870144669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=26004064 memory=23464 CPUtime=0 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=26004064 memory=4044 CPUtime=0 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6832] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6832/stat : 6832 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225789545616 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6833] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6833/stat : 6833 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225788492048 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6834] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6834/stat : 6834 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225787439504 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6835] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6835/stat : 6835 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225786386960 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6836] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6836/stat : 6836 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26628161536 11476 33554432000 4194304 4196468 140730290832080 140225785334416 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6837] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6837/stat : 6837 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937662 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224544942576 140225870133890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6838] ppid=6825 vsize=26004064 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/6827/task/6838/stat : 6838 (java) S 6825 6825 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150937663 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224543888800 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6839] ppid=6825 vsize=26004064 memory=2110793957438468 CPUtime=0 cores=0-7 /proc/6827/task/6839/stat : 6839 (java) S 6825 6825 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150937663 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224542836208 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6840] ppid=6825 vsize=26004064 memory=2110793957407908 CPUtime=0 cores=0-7 /proc/6827/task/6840/stat : 6840 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937665 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224541784784 140225870141339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6841] ppid=6825 vsize=26004064 memory=2110793957410212 CPUtime=0 cores=0-7 /proc/6827/task/6841/stat : 6841 (java) S 6825 6825 25517 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 150937665 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224540731376 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6842] ppid=6825 vsize=26004064 memory=2110793957412516 CPUtime=0.03 cores=0-7 /proc/6827/task/6842/stat : 6842 (java) S 6825 6825 25517 0 -1 1077944384 307 0 0 0 3 0 0 0 20 0 20 0 150937665 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224539678832 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6843] ppid=6825 vsize=26004064 memory=2110793957414820 CPUtime=0.02 cores=0-7 /proc/6827/task/6843/stat : 6843 (java) S 6825 6825 25517 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 150937665 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224538626288 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6844] ppid=6825 vsize=26004064 memory=2110793957438372 CPUtime=0.12 cores=0-7 /proc/6827/task/6844/stat : 6844 (java) R 6825 6825 25517 0 -1 4202560 817 0 0 0 12 0 0 0 20 0 20 0 150937666 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224537573744 140225870136592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6845] ppid=6825 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6845/stat : 6845 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150937666 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224536521440 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6846] ppid=6825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6827/task/6846/stat : 6846 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937666 26628161536 11476 33554432000 4194304 4196468 140730290832080 140224535468976 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47288 KiB [startup+0.708101 s] /proc/loadavg: 8.14 8.10 7.81 3/201 6846 /proc/meminfo: memFree=27010572/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=26006188 memory=75524 CPUtime=1.65 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 12012 0 0 0 160 5 0 0 20 0 20 0 150937660 26630336512 18881 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6501547 18881 3205 1 0 6488781 0 [pid=6827/tid=6828] ppid=6825 vsize=26006188 memory=0 CPUtime=0.68 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) R 6825 6825 25517 0 -1 4202560 6886 0 0 0 64 4 0 0 20 0 20 0 150937660 26630336512 18881 33554432000 4194304 4196468 140730290832080 140225874360016 140225464638048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=26006188 memory=4580 CPUtime=0 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150937661 26630336512 18881 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26630336512 18881 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150937661 26630336512 18881 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 ################ # More data... # ################ [pid=6827/tid=7340] ppid=6825 vsize=26673876 memory=4612 CPUtime=10.55 cores=0-7 /proc/6827/task/7340/stat : 7340 (java) R 6825 6825 25517 0 -1 4202560 1017 0 0 0 1055 0 0 0 20 0 28 0 150952833 27314049024 860932 33554432000 4194304 4196468 140730290832080 140224526412872 140225473110288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 1286.91 s Current children cumulated vsize: 26683388 KiB Current children cumulated memory: 3445112 KiB [startup+222.302 s] /proc/loadavg: 8.05 8.14 7.89 9/209 7340 /proc/meminfo: memFree=23622532/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=26673876 memory=3440052 CPUtime=1765.56 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 147652 0 0 0 176362 194 0 0 20 0 28 0 150937660 27314049024 860013 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6668469 860013 3280 1 0 6655703 0 [pid=6827/tid=6828] ppid=6825 vsize=26673876 memory=3440052 CPUtime=1.25 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) S 6825 6825 25517 0 -1 1077944384 8995 0 0 0 120 5 0 0 20 0 28 0 150937660 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225874363520 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=26673876 memory=3440052 CPUtime=0.11 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 2123 0 0 0 6 5 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=26673876 memory=3440052 CPUtime=0.11 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2545 0 0 0 7 4 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=26673876 memory=3440052 CPUtime=0.12 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 1384 0 0 0 8 4 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6832] ppid=6825 vsize=26673876 memory=3440052 CPUtime=0.11 cores=0-7 /proc/6827/task/6832/stat : 6832 (java) S 6825 6825 25517 0 -1 1077944384 998 0 0 0 7 4 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225789545616 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6833] ppid=6825 vsize=26673876 memory=2428 CPUtime=0.11 cores=0-7 /proc/6827/task/6833/stat : 6833 (java) S 6825 6825 25517 0 -1 1077944384 635 0 0 0 7 4 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225788492048 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6834] ppid=6825 vsize=26673876 memory=1728 CPUtime=0.13 cores=0-7 /proc/6827/task/6834/stat : 6834 (java) S 6825 6825 25517 0 -1 1077944384 437 0 0 0 8 5 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225787439504 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6835] ppid=6825 vsize=26673876 memory=0 CPUtime=0.12 cores=0-7 /proc/6827/task/6835/stat : 6835 (java) S 6825 6825 25517 0 -1 1077944384 1104 0 0 0 8 4 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225786386960 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6836] ppid=6825 vsize=26673876 memory=7679937539659563834 CPUtime=0.1 cores=0-7 /proc/6827/task/6836/stat : 6836 (java) S 6825 6825 25517 0 -1 1077944384 1250 0 0 0 7 3 0 0 20 0 28 0 150937661 27314049024 860013 33554432000 4194304 4196468 140730290832080 140225785334416 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6837] ppid=6825 vsize=26673876 memory=1384 CPUtime=0.03 cores=0-7 /proc/6827/task/6837/stat : 6837 (java) S 6825 6825 25517 0 -1 1077944384 5341 0 0 0 3 0 0 0 20 0 28 0 150937662 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224544942576 140225870133890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6838] ppid=6825 vsize=26673876 memory=3443688 CPUtime=0 cores=0-7 /proc/6827/task/6838/stat : 6838 (java) S 6825 6825 25517 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 150937663 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224543888864 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6839] ppid=6825 vsize=26673876 memory=140447775073919 CPUtime=0 cores=0-7 /proc/6827/task/6839/stat : 6839 (java) S 6825 6825 25517 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 150937663 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224542836224 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6840] ppid=6825 vsize=26673876 memory=7148128923810280258 CPUtime=0 cores=0-7 /proc/6827/task/6840/stat : 6840 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150937665 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224541784784 140225870141339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6841] ppid=6825 vsize=26673876 memory=1420 CPUtime=2.13 cores=0-7 /proc/6827/task/6841/stat : 6841 (java) S 6825 6825 25517 0 -1 1077944384 11779 0 0 0 211 2 0 0 20 0 28 0 150937665 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224540731376 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6842] ppid=6825 vsize=26673876 memory=11108 CPUtime=2.07 cores=0-7 /proc/6827/task/6842/stat : 6842 (java) S 6825 6825 25517 0 -1 1077944384 10947 0 0 0 205 2 0 0 20 0 28 0 150937665 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224539678832 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6843] ppid=6825 vsize=26673876 memory=1712 CPUtime=1.94 cores=0-7 /proc/6827/task/6843/stat : 6843 (java) S 6825 6825 25517 0 -1 1077944384 9659 0 0 0 192 2 0 0 20 0 28 0 150937665 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224538626288 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6844] ppid=6825 vsize=26673876 memory=1384 CPUtime=0.96 cores=0-7 /proc/6827/task/6844/stat : 6844 (java) S 6825 6825 25517 0 -1 1077944384 13055 0 0 0 93 3 0 0 20 0 28 0 150937666 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224537573744 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6845] ppid=6825 vsize=26673876 memory=1384 CPUtime=0 cores=0-7 /proc/6827/task/6845/stat : 6845 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150937666 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224536521440 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6846] ppid=6825 vsize=26673876 memory=3443688 CPUtime=0.07 cores=0-7 /proc/6827/task/6846/stat : 6846 (java) S 6825 6825 25517 0 -1 1077944384 1412 0 0 0 0 7 0 0 20 0 28 0 150937666 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224535468976 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7333] ppid=6825 vsize=26673876 memory=55 CPUtime=70.53 cores=0-7 /proc/6827/task/7333/stat : 7333 (java) R 6825 6825 25517 0 -1 4202560 1349 0 0 0 7053 0 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224523246288 140225473110137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7334] ppid=6825 vsize=26673876 memory=7681905605394137875 CPUtime=70.5 cores=0-7 /proc/6827/task/7334/stat : 7334 (java) R 6825 6825 25517 0 -1 4202560 1100 0 0 0 7050 0 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224519036792 140225472926918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7335] ppid=6825 vsize=26673876 memory=7681905605394137875 CPUtime=70.54 cores=0-7 /proc/6827/task/7335/stat : 7335 (java) R 6825 6825 25517 0 -1 4202560 930 0 0 0 7052 2 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224522195880 140225473108605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7336] ppid=6825 vsize=26673876 memory=3440052 CPUtime=69.27 cores=0-7 /proc/6827/task/7336/stat : 7336 (java) R 6825 6825 25517 0 -1 4202560 3569 0 0 0 6924 3 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224527459048 140225473110260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7337] ppid=6825 vsize=26673876 memory=1728 CPUtime=70.53 cores=0-7 /proc/6827/task/7337/stat : 7337 (java) R 6825 6825 25517 0 -1 4202560 2097 0 0 0 7047 6 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224524300408 140225473108978 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7338] ppid=6825 vsize=26673876 memory=1420 CPUtime=70.51 cores=0-7 /proc/6827/task/7338/stat : 7338 (java) R 6825 6825 25517 0 -1 4202560 1597 0 0 0 7047 4 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224520091888 140225849847802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7339] ppid=6825 vsize=26673876 memory=1384 CPUtime=70.52 cores=0-7 /proc/6827/task/7339/stat : 7339 (java) R 6825 6825 25517 0 -1 4202560 1144 0 0 0 7050 2 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224517984168 140225472843763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7340] ppid=6825 vsize=26673876 memory=3440052 CPUtime=70.34 cores=0-7 /proc/6827/task/7340/stat : 7340 (java) R 6825 6825 25517 0 -1 4202560 5246 0 0 0 7029 5 0 0 20 0 28 0 150952833 27314049024 860013 33554432000 4194304 4196468 140730290832080 140224526405768 140225473057638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 1765.56 s Current children cumulated vsize: 26683388 KiB Current children cumulated memory: 3441436 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.03 8.13 7.90 9/209 7340 /proc/meminfo: memFree=23621264/32770624 swapFree=67108860/67108860 [pid=6825] ppid=6822 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6825/stat : 6825 (xcsp3-exec) S 6822 6825 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150937660 9740288 346 33554432000 4194304 5098028 140727309882544 140727309880648 139645804356220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9830400 140727309886571 140727309886780 140727309886780 140727309889515 0 /proc/6825/statm: 2378 346 289 221 0 87 0 [pid=6827] ppid=6825 vsize=26673876 memory=3441604 CPUtime=2002.55 cores=0-7 /proc/6827/stat : 6827 (java) S 6825 6825 25517 0 -1 1077944320 156336 0 0 0 200046 209 0 0 20 0 28 0 150937660 27314049024 860401 33554432000 4194304 4196468 140730290832080 140730290814624 140225870122743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 /proc/6827/statm: 6668469 860401 3280 1 0 6655703 0 [pid=6827/tid=6828] ppid=6825 vsize=26673876 memory=1398720917958146503 CPUtime=1.25 cores=0-7 /proc/6827/task/6828/stat : 6828 (java) S 6825 6825 25517 0 -1 1077944384 8995 0 0 0 120 5 0 0 20 0 28 0 150937660 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225874363520 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6829] ppid=6825 vsize=26673876 memory=4126316290023845779 CPUtime=0.12 cores=0-7 /proc/6827/task/6829/stat : 6829 (java) S 6825 6825 25517 0 -1 1077944384 2163 0 0 0 7 5 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225792703248 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6830] ppid=6825 vsize=26673876 memory=1196 CPUtime=0.12 cores=0-7 /proc/6827/task/6830/stat : 6830 (java) S 6825 6825 25517 0 -1 1077944384 2570 0 0 0 8 4 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225791650704 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6831] ppid=6825 vsize=26673876 memory=4612 CPUtime=0.13 cores=0-7 /proc/6827/task/6831/stat : 6831 (java) S 6825 6825 25517 0 -1 1077944384 1795 0 0 0 9 4 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225790598160 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6832] ppid=6825 vsize=26673876 memory=15876 CPUtime=0.11 cores=0-7 /proc/6827/task/6832/stat : 6832 (java) S 6825 6825 25517 0 -1 1077944384 1032 0 0 0 7 4 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225789545616 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6833] ppid=6825 vsize=26673876 memory=18448 CPUtime=0.11 cores=0-7 /proc/6827/task/6833/stat : 6833 (java) S 6825 6825 25517 0 -1 1077944384 684 0 0 0 7 4 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225788492048 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6834] ppid=6825 vsize=26673876 memory=8112282956445269571 CPUtime=0.13 cores=0-7 /proc/6827/task/6834/stat : 6834 (java) S 6825 6825 25517 0 -1 1077944384 545 0 0 0 8 5 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225787439504 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6835] ppid=6825 vsize=26673876 memory=1384 CPUtime=0.12 cores=0-7 /proc/6827/task/6835/stat : 6835 (java) S 6825 6825 25517 0 -1 1077944384 1131 0 0 0 8 4 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225786386960 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6836] ppid=6825 vsize=26673876 memory=3440052 CPUtime=0.1 cores=0-7 /proc/6827/task/6836/stat : 6836 (java) S 6825 6825 25517 0 -1 1077944384 1321 0 0 0 7 3 0 0 20 0 28 0 150937661 27314049024 860401 33554432000 4194304 4196468 140730290832080 140225785334416 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6837] ppid=6825 vsize=26673876 memory=8112282956445269571 CPUtime=0.04 cores=0-7 /proc/6827/task/6837/stat : 6837 (java) S 6825 6825 25517 0 -1 1077944384 5651 0 0 0 3 1 0 0 20 0 28 0 150937662 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224544942576 140225870133890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6838] ppid=6825 vsize=26673876 memory=3441604 CPUtime=0 cores=0-7 /proc/6827/task/6838/stat : 6838 (java) S 6825 6825 25517 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 150937663 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224543888864 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6839] ppid=6825 vsize=26673876 memory=1160 CPUtime=0 cores=0-7 /proc/6827/task/6839/stat : 6839 (java) S 6825 6825 25517 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 150937663 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224542836224 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6840] ppid=6825 vsize=26673876 memory=3640 CPUtime=0 cores=0-7 /proc/6827/task/6840/stat : 6840 (java) S 6825 6825 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150937665 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224541784784 140225870141339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6841] ppid=6825 vsize=26673876 memory=1384 CPUtime=2.13 cores=0-7 /proc/6827/task/6841/stat : 6841 (java) S 6825 6825 25517 0 -1 1077944384 11795 0 0 0 211 2 0 0 20 0 28 0 150937665 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224540731376 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6842] ppid=6825 vsize=26673876 memory=3440052 CPUtime=2.07 cores=0-7 /proc/6827/task/6842/stat : 6842 (java) S 6825 6825 25517 0 -1 1077944384 10963 0 0 0 205 2 0 0 20 0 28 0 150937665 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224539678832 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6843] ppid=6825 vsize=26673876 memory=1692 CPUtime=1.94 cores=0-7 /proc/6827/task/6843/stat : 6843 (java) S 6825 6825 25517 0 -1 1077944384 9712 0 0 0 192 2 0 0 20 0 28 0 150937665 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224538626288 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6844] ppid=6825 vsize=26673876 memory=916 CPUtime=0.96 cores=0-7 /proc/6827/task/6844/stat : 6844 (java) S 6825 6825 25517 0 -1 1077944384 13077 0 0 0 93 3 0 0 20 0 28 0 150937666 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224537573744 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6845] ppid=6825 vsize=26673876 memory=4820 CPUtime=0 cores=0-7 /proc/6827/task/6845/stat : 6845 (java) S 6825 6825 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150937666 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224536521440 140225870132949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=6846] ppid=6825 vsize=26673876 memory=4108 CPUtime=0.08 cores=0-7 /proc/6827/task/6846/stat : 6846 (java) S 6825 6825 25517 0 -1 1077944384 1601 0 0 0 0 8 0 0 20 0 28 0 150937666 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224535468976 140225870133890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7333] ppid=6825 vsize=26673876 memory=8112282956445269571 CPUtime=100.23 cores=0-7 /proc/6827/task/7333/stat : 7333 (java) R 6825 6825 25517 0 -1 4202560 1986 0 0 0 10023 0 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224523246216 140225472843474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7334] ppid=6825 vsize=26673876 memory=1196 CPUtime=100.2 cores=0-7 /proc/6827/task/7334/stat : 7334 (java) R 6825 6825 25517 0 -1 4202560 1677 0 0 0 10020 0 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224519036976 140225473110114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7335] ppid=6825 vsize=26673876 memory=4612 CPUtime=100.24 cores=0-7 /proc/6827/task/7335/stat : 7335 (java) R 6825 6825 25517 0 -1 4202560 1424 0 0 0 10021 3 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224522195448 140225472843474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7336] ppid=6825 vsize=26673876 memory=15876 CPUtime=98.96 cores=0-7 /proc/6827/task/7336/stat : 7336 (java) R 6825 6825 25517 0 -1 4202560 5163 0 0 0 9890 6 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224527458856 140225472927098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7337] ppid=6825 vsize=26673876 memory=18448 CPUtime=100.23 cores=0-7 /proc/6827/task/7337/stat : 7337 (java) R 6825 6825 25517 0 -1 4202560 3005 0 0 0 10013 10 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224524300456 140225473109702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7338] ppid=6825 vsize=26673876 memory=23464 CPUtime=100.21 cores=0-7 /proc/6827/task/7338/stat : 7338 (java) R 6825 6825 25517 0 -1 4202560 2419 0 0 0 10014 7 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224520088952 140225473110166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7339] ppid=6825 vsize=26673876 memory=4044 CPUtime=100.22 cores=0-7 /proc/6827/task/7339/stat : 7339 (java) R 6825 6825 25517 0 -1 4202560 1738 0 0 0 10019 3 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224517984168 140225473110804 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 [pid=6827/tid=7340] ppid=6825 vsize=26673876 memory=1792 CPUtime=99.44 cores=0-7 /proc/6827/task/7340/stat : 7340 (java) R 6825 6825 25517 0 -1 4202560 6933 0 0 0 9938 6 0 0 20 0 28 0 150952833 27314049024 860401 33554432000 4194304 4196468 140730290832080 140224526408240 140225473109921 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140730290836632 140730290836808 140730290836808 140730290839503 0 Current children cumulated CPU time: 2002.55 s Current children cumulated vsize: 26683388 KiB Current children cumulated memory: 3442988 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.038 s] # the end of solver process 6825 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001955 s [startup+252.125 s] # the end of solver process 6827 was just reported to runsolver # cumulated CPU time of all completed processes: user=2001.23 s, system=2.11527 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): 252.125 CPU time (s): 2003.35 CPU user time (s): 2001.23 CPU system time (s): 2.11527 CPU usage (%): 794.585 Max. virtual memory (cumulated for all children) (KiB): 26683388 Max. memory (cumulated for all children) (KiB): 3447176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2001.23 system time used= 2.11527 maximum resident set size= 3445792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158226 page faults= 0 swaps= 0 block input operations= 0 block output operations= 456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15787 involuntary context switches= 21254 # summary of solver processes directly reported to runsolver: # pid: 6825,6827 # total CPU time (s): 2003.35 # total CPU user time (s): 2001.23 # total CPU system time (s): 2.11527 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.09492 second user time and 3.09459 second system time The end
Begin job on node107 at 2017-08-19 23:20:37 IDJOB=4281598 IDBENCH=115889 IDSOLVER=2676 FILE ID=node107/4281598-1503178497 RUNJOBID= node107-1503167371-25544 PBS_JOBID= 20630834 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.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-4281598-1503178497/watcher-4281598-1503178497 -o /tmp/evaluation-result-4281598-1503178497/solver-4281598-1503178497 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 201249426 HOME/instance-4281598-1503178497.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=201249426 node107.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.84 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.84 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.84 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.84 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: 27057440 kB MemAvailable: 31977984 kB Buffers: 268032 kB Cached: 4946256 kB SwapCached: 0 kB Active: 836448 kB Inactive: 4431176 kB Active(anon): 56312 kB Inactive(anon): 33132 kB Active(file): 780136 kB Inactive(file): 4398044 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 76856 kB Mapped: 51796 kB Shmem: 33420 kB Slab: 142332 kB SReclaimable: 116396 kB SUnreclaim: 25936 kB KernelStack: 3552 kB PageTables: 4820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61860 MiB End job on node107 at 2017-08-19 23:24:50