Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 57.5122 | 7.87586 |
Name | Opd/Opd-sum-large/ Opd-15-035-010.xml |
MD5SUM | b4ffb396ba331e6a6f6e6b1bc4ae482f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.16104 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 121 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":2,"count":525},{"size":33,"count":1}] |
Minimum variable degree | 16 |
Maximum variable degree | 106 |
Distribution of variable degrees | [{"degree":16,"count":525},{"degree":106,"count":1}] |
Minimum constraint arity | 35 |
Maximum constraint arity | 525 |
Distribution of constraint arities | [{"arity":35,"count":15},{"arity":71,"count":105},{"arity":525,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":120}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394453-1568421523.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394453-1568421523.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.13/0.84 c solve instance... 7.21/1.58 o 7 7.96/1.66 o 6 13.46/2.31 o 5 19.85/3.13 o 4 57.01/7.86 o 3 57.01/7.86 s OPTIMUM FOUND 57.01/7.86 v <instantiation> 57.01/7.86 v <list>z 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[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] 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[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] 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[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] 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[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] 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[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] 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[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] 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[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] 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[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] 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[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] 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[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] 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[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] 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[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] 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[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] 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[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] 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[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] </list> 57.01/7.86 v <values>3 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 1 1 1 1 1 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 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 </values> 57.01/7.86 v </instantiation>
OK 3
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 (15247 MiB free) memory of node 1: 16384 MiB (15487 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394453-1568421523/watcher-4394453-1568421523 -o /tmp/evaluation-result-4394453-1568421523/solver-4394453-1568421523 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568416728-17745 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426430 HOME/instance-4394453-1568421523.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 Starting watchdog thread solver pid=20354, runsolver pid=20351 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 7.24 7.02 6.94 3/214 20375 /proc/meminfo: memFree=31454736/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28227388 memory=30468 CPUtime=0.12 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 5581 0 0 0 11 1 0 0 20 0 20 0 418391948 28904845312 7617 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7056847 7617 3101 1 0 7019032 0 [pid=20356/tid=20357] ppid=20354 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) R 20354 20354 17718 0 -1 4202560 3532 0 0 0 8 1 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140147029535920 140147025325462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28227388 memory=140414018827904 CPUtime=0 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20360/stat : 20360 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146943060368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20361] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20361/stat : 20361 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146942007568 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20362] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20362/stat : 20362 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146940955792 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20363] ppid=20354 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20363/stat : 20363 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146939902992 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20364] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20364/stat : 20364 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146938850192 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20365] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20365/stat : 20365 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146937797392 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20366] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20366/stat : 20366 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391951 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146140891504 140147025324674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20367] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20367/stat : 20367 (java) S 20354 20354 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418391951 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146139837472 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20368] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20368/stat : 20368 (java) S 20354 20354 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418391952 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146138784624 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20369] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20369/stat : 20369 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146137732944 140147025332123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20370] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20370/stat : 20370 (java) S 20354 20354 17718 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146136681328 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20371] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20371/stat : 20371 (java) S 20354 20354 17718 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146135628528 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20372] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20372/stat : 20372 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146134575728 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20373] ppid=20354 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) R 20354 20354 17718 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146133522928 140147025334874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391955 28904845312 7617 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31920 KiB [startup+0.210699 s]* /proc/loadavg: 7.24 7.02 6.94 3/214 20375 /proc/meminfo: memFree=31441068/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28227388 memory=42676 CPUtime=0.34 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 9460 0 0 0 31 3 0 0 20 0 20 0 418391948 28904845312 10669 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7056847 10669 3297 1 0 7019032 0 [pid=20356/tid=20357] ppid=20354 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) R 20354 20354 17718 0 -1 4202560 6557 0 0 0 17 2 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140147029544576 140146611661960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28227388 memory=140414021934031 CPUtime=0 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20360/stat : 20360 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146943060368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20361] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20361/stat : 20361 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146942007568 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20362] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20362/stat : 20362 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146940955792 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20363] ppid=20354 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20363/stat : 20363 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146939902992 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20364] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20364/stat : 20364 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146938850192 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20365] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20365/stat : 20365 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391949 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146937797392 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20366] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20366/stat : 20366 (java) S 20354 20354 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418391951 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146140891504 140147025324674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20367] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20367/stat : 20367 (java) S 20354 20354 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418391951 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146139837472 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20368] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20368/stat : 20368 (java) S 20354 20354 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418391952 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146138784624 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20369] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20369/stat : 20369 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146137732944 140147025332123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20370] ppid=20354 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20356/task/20370/stat : 20370 (java) S 20354 20354 17718 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146136681328 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20371] ppid=20354 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/20356/task/20371/stat : 20371 (java) S 20354 20354 17718 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146135628528 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20372] ppid=20354 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/20356/task/20372/stat : 20372 (java) S 20354 20354 17718 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146134575728 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20373] ppid=20354 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) R 20354 20354 17718 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146133522736 140147010479080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391954 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391955 28904845312 10669 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 44128 KiB [startup+0.313544 s]* /proc/loadavg: 7.24 7.02 6.94 4/214 20375 /proc/meminfo: memFree=31433720/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28231644 memory=52176 CPUtime=0.53 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 10865 0 0 0 49 4 0 0 20 0 20 0 418391948 28909203456 13044 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7057911 13044 3348 1 0 7019032 0 [pid=20356/tid=20357] ppid=20354 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) R 20354 20354 17718 0 -1 4202560 7750 0 0 0 27 3 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140147029546552 140147018030490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20360/stat : 20360 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146943060368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20361] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20361/stat : 20361 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146942007568 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20362] ppid=20354 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/20356/task/20362/stat : 20362 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146940955792 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20363] ppid=20354 vsize=28231644 memory=140413889508271 CPUtime=0 cores=0-7 /proc/20356/task/20363/stat : 20363 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146939902992 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20364] ppid=20354 vsize=28231644 memory=140413889510576 CPUtime=0 cores=0-7 /proc/20356/task/20364/stat : 20364 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146938850192 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20365] ppid=20354 vsize=28231644 memory=140413889512880 CPUtime=0 cores=0-7 /proc/20356/task/20365/stat : 20365 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391949 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146937797392 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20366] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20366/stat : 20366 (java) S 20354 20354 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418391951 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146140891504 140147025324674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20367] ppid=20354 vsize=28231644 memory=280827779032720 CPUtime=0 cores=0-7 /proc/20356/task/20367/stat : 20367 (java) S 20354 20354 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418391951 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146139837472 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20368] ppid=20354 vsize=28231644 memory=280827779039632 CPUtime=0 cores=0-7 /proc/20356/task/20368/stat : 20368 (java) S 20354 20354 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418391952 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146138784624 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20369] ppid=20354 vsize=28231644 memory=280827778980912 CPUtime=0 cores=0-7 /proc/20356/task/20369/stat : 20369 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146137732944 140147025332123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20370] ppid=20354 vsize=28231644 memory=280827779053456 CPUtime=0.02 cores=0-7 /proc/20356/task/20370/stat : 20370 (java) S 20354 20354 17718 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146136681328 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20371] ppid=20354 vsize=28231644 memory=280827779060368 CPUtime=0.05 cores=0-7 /proc/20356/task/20371/stat : 20371 (java) R 20354 20354 17718 0 -1 4202560 602 0 0 0 5 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146135609544 140147010239939 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20372] ppid=20354 vsize=28231644 memory=280827779058064 CPUtime=0.01 cores=0-7 /proc/20356/task/20372/stat : 20372 (java) S 20354 20354 17718 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146134575728 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20373] ppid=20354 vsize=28231644 memory=280827779074224 CPUtime=0.12 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) S 20354 20354 17718 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146133522928 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418391954 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391955 28909203456 13050 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 53628 KiB [startup+0.701022 s] /proc/loadavg: 7.24 7.02 6.94 4/214 20375 /proc/meminfo: memFree=31418028/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28233768 memory=111372 CPUtime=1.78 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 14898 0 0 0 171 7 0 0 20 0 20 0 418391948 28911378432 27843 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7058442 27843 3457 1 0 7019544 0 [pid=20356/tid=20357] ppid=20354 vsize=28233768 memory=280827779432112 CPUtime=0.67 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) R 20354 20354 17718 0 -1 4202560 9247 0 0 0 62 5 0 0 20 0 20 0 418391949 28911378432 27843 33554432000 4194304 4196468 140732145560688 140147029549200 140147025325462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28233768 memory=140413889717104 CPUtime=0 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418391949 28911378432 27843 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418391949 28911378432 27843 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=20356/tid=20373] ppid=20354 vsize=28768328 memory=0 CPUtime=0.92 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) S 20354 20354 17718 0 -1 1077944384 4212 0 0 0 90 2 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146133522928 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28768328 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28768328 memory=-5921431000321636112 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 28 0 418391955 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20410] ppid=20354 vsize=28768328 memory=3054156605368929935 CPUtime=3.93 cores=0-7 /proc/20356/task/20410/stat : 20410 (java) R 20354 20354 17718 0 -1 4202560 47 0 0 0 393 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145064824000 140146618539586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20411] ppid=20354 vsize=28768328 memory=6656426216303648864 CPUtime=3.74 cores=0-7 /proc/20356/task/20411/stat : 20411 (java) R 20354 20354 17718 0 -1 4202560 70 0 0 0 374 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145060613696 140146618395780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20412] ppid=20354 vsize=28768328 memory=-2915664423593825694 CPUtime=3.62 cores=0-7 /proc/20356/task/20412/stat : 20412 (java) R 20354 20354 17718 0 -1 4202560 659 0 0 0 360 2 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145059561496 140146620873910 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20413] ppid=20354 vsize=28768328 memory=8549984327342132032 CPUtime=3.77 cores=0-7 /proc/20356/task/20413/stat : 20413 (java) R 20354 20354 17718 0 -1 4202560 1112 0 0 0 374 3 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145065880736 140146622266200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20414] ppid=20354 vsize=28768328 memory=0 CPUtime=3.84 cores=0-7 /proc/20356/task/20414/stat : 20414 (java) R 20354 20354 17718 0 -1 4202560 260 0 0 0 384 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145062719776 140146618092663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20415] ppid=20354 vsize=28768328 memory=0 CPUtime=3.49 cores=0-7 /proc/20356/task/20415/stat : 20415 (java) R 20354 20354 17718 0 -1 4202560 75 0 0 0 349 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146126733624 140146618541114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20416] ppid=20354 vsize=28768328 memory=280827779897456 CPUtime=3.71 cores=0-7 /proc/20356/task/20416/stat : 20416 (java) R 20354 20354 17718 0 -1 4202560 128 0 0 0 371 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145063772376 140146617769065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20417] ppid=20354 vsize=28768328 memory=7373627764238804585 CPUtime=3.66 cores=0-7 /proc/20356/task/20417/stat : 20417 (java) R 20354 20354 17718 0 -1 4202560 152 0 0 0 366 0 0 0 20 0 28 0 418392263 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145061667232 140147006719844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 52.27 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 711756 KiB [startup+7.60136 s] /proc/loadavg: 7.70 7.12 6.97 9/223 20417 /proc/meminfo: memFree=30796272/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28768328 memory=710304 CPUtime=55.41 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 31503 0 0 0 5476 65 0 0 20 0 28 0 418391948 29458767872 177576 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7192082 177576 3531 1 0 7153184 0 [pid=20356/tid=20357] ppid=20354 vsize=28768328 memory=6791534058613427641 CPUtime=0.87 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) S 20354 20354 17718 0 -1 1077944384 9478 0 0 0 81 6 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140147029554304 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28768328 memory=227830835224328 CPUtime=0.14 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 186 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28768328 memory=4580 CPUtime=0.16 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 188 0 0 0 12 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/20356/task/20360/stat : 20360 (java) S 20354 20354 17718 0 -1 1077944384 1249 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146943060368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20361] ppid=20354 vsize=28768328 memory=7079765598914236496 CPUtime=0.15 cores=0-7 /proc/20356/task/20361/stat : 20361 (java) S 20354 20354 17718 0 -1 1077944384 225 0 0 0 11 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146942007568 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20362] ppid=20354 vsize=28768328 memory=988 CPUtime=0.16 cores=0-7 /proc/20356/task/20362/stat : 20362 (java) S 20354 20354 17718 0 -1 1077944384 176 0 0 0 11 5 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146940955792 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20363] ppid=20354 vsize=28768328 memory=2052 CPUtime=0.14 cores=0-7 /proc/20356/task/20363/stat : 20363 (java) S 20354 20354 17718 0 -1 1077944384 240 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146939902992 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20364] ppid=20354 vsize=28768328 memory=1220 CPUtime=0.14 cores=0-7 /proc/20356/task/20364/stat : 20364 (java) S 20354 20354 17718 0 -1 1077944384 229 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146938850192 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20365] ppid=20354 vsize=28768328 memory=1616 CPUtime=0.15 cores=0-7 /proc/20356/task/20365/stat : 20365 (java) S 20354 20354 17718 0 -1 1077944384 309 0 0 0 11 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146937797392 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20366] ppid=20354 vsize=28768328 memory=15470472203376 CPUtime=0.01 cores=0-7 /proc/20356/task/20366/stat : 20366 (java) S 20354 20354 17718 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 28 0 418391951 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146140891504 140147025324674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20367] ppid=20354 vsize=28768328 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/20356/task/20367/stat : 20367 (java) S 20354 20354 17718 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 418391951 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146139837536 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20368] ppid=20354 vsize=28768328 memory=14694080391154107 CPUtime=0 cores=0-7 /proc/20356/task/20368/stat : 20368 (java) S 20354 20354 17718 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 418391952 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146138784640 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20369] ppid=20354 vsize=28768328 memory=-3253322038155611931 CPUtime=0 cores=0-7 /proc/20356/task/20369/stat : 20369 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146137732944 140147025332123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20370] ppid=20354 vsize=28768328 memory=140413889878752 CPUtime=2.35 cores=0-7 /proc/20356/task/20370/stat : 20370 (java) S 20354 20354 17718 0 -1 1077944384 3013 0 0 0 234 1 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146136681328 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20371] ppid=20354 vsize=28768328 memory=0 CPUtime=2.22 cores=0-7 /proc/20356/task/20371/stat : 20371 (java) S 20354 20354 17718 0 -1 1077944384 3062 0 0 0 222 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146135628528 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20372] ppid=20354 vsize=28768328 memory=0 CPUtime=2.36 cores=0-7 /proc/20356/task/20372/stat : 20372 (java) S 20354 20354 17718 0 -1 1077944384 2882 0 0 0 235 1 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146134575728 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20373] ppid=20354 vsize=28768328 memory=140413889885344 CPUtime=0.92 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) S 20354 20354 17718 0 -1 1077944384 4212 0 0 0 90 2 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146133522928 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 28 0 418391955 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20410] ppid=20354 vsize=28768328 memory=0 CPUtime=4.32 cores=0-7 /proc/20356/task/20410/stat : 20410 (java) R 20354 20354 17718 0 -1 4202560 52 0 0 0 432 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145064824136 140146618541014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20411] ppid=20354 vsize=28768328 memory=0 CPUtime=4.11 cores=0-7 /proc/20356/task/20411/stat : 20411 (java) R 20354 20354 17718 0 -1 4202560 76 0 0 0 411 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145060613696 140146618395501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20412] ppid=20354 vsize=28768328 memory=74801 CPUtime=4 cores=0-7 /proc/20356/task/20412/stat : 20412 (java) R 20354 20354 17718 0 -1 4202560 664 0 0 0 398 2 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145059562232 140146620523732 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20413] ppid=20354 vsize=28768328 memory=72593 CPUtime=4.16 cores=0-7 /proc/20356/task/20413/stat : 20413 (java) R 20354 20354 17718 0 -1 4202560 1115 0 0 0 413 3 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145065880624 140146618212562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20414] ppid=20354 vsize=28768328 memory=70385 CPUtime=4.23 cores=0-7 /proc/20356/task/20414/stat : 20414 (java) R 20354 20354 17718 0 -1 4202560 266 0 0 0 423 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145062719912 140146618195329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20415] ppid=20354 vsize=28768328 memory=6944656592455360604 CPUtime=3.89 cores=0-7 /proc/20356/task/20415/stat : 20415 (java) R 20354 20354 17718 0 -1 4202560 83 0 0 0 389 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146126733624 140146618113022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20416] ppid=20354 vsize=28768328 memory=6944656575208382560 CPUtime=4.1 cores=0-7 /proc/20356/task/20416/stat : 20416 (java) R 20354 20354 17718 0 -1 4202560 132 0 0 0 410 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145063772376 140146617768910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20417] ppid=20354 vsize=28768328 memory=6944656592455360604 CPUtime=4.06 cores=0-7 /proc/20356/task/20417/stat : 20417 (java) R 20354 20354 17718 0 -1 4202560 158 0 0 0 406 0 0 0 20 0 28 0 418392263 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145061667368 140146618396416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 55.41 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 711756 KiB [startup+7.80136 s] /proc/loadavg: 7.70 7.12 6.97 9/223 20417 /proc/meminfo: memFree=30796272/32770624 swapFree=67004108/67108860 [pid=20354] ppid=20351 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20354/stat : 20354 (xcsp3-exec) S 20351 20354 17718 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418391948 115843072 363 33554432000 4194304 5098028 140731020489392 140731020487496 140012400325244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23134208 140731020493688 140731020493929 140731020493929 140731020496842 0 /proc/20354/statm: 28282 363 304 221 0 87 0 [pid=20356] ppid=20354 vsize=28768328 memory=710304 CPUtime=57.01 cores=0-7 /proc/20356/stat : 20356 (java) S 20354 20354 17718 0 -1 1077944320 31504 0 0 0 5636 65 0 0 20 0 28 0 418391948 29458767872 177576 33554432000 4194304 4196468 140732145560688 140732145543232 140147025313527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 /proc/20356/statm: 7192082 177576 3531 1 0 7153184 0 [pid=20356/tid=20357] ppid=20354 vsize=28768328 memory=6944656592387989600 CPUtime=0.87 cores=0-7 /proc/20356/task/20357/stat : 20357 (java) S 20354 20354 17718 0 -1 1077944384 9478 0 0 0 81 6 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140147029554304 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20358] ppid=20354 vsize=28768328 memory=6944652177228980320 CPUtime=0.14 cores=0-7 /proc/20356/task/20358/stat : 20358 (java) S 20354 20354 17718 0 -1 1077944384 186 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146945165968 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20359] ppid=20354 vsize=28768328 memory=6944656592455097440 CPUtime=0.16 cores=0-7 /proc/20356/task/20359/stat : 20359 (java) S 20354 20354 17718 0 -1 1077944384 188 0 0 0 12 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146944113168 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20360] ppid=20354 vsize=28768328 memory=6944656592455360604 CPUtime=0.14 cores=0-7 /proc/20356/task/20360/stat : 20360 (java) S 20354 20354 17718 0 -1 1077944384 1249 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146943060368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20361] ppid=20354 vsize=28768328 memory=4714289735161181738 CPUtime=0.15 cores=0-7 /proc/20356/task/20361/stat : 20361 (java) S 20354 20354 17718 0 -1 1077944384 225 0 0 0 11 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146942007568 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20362] ppid=20354 vsize=28768328 memory=784 CPUtime=0.16 cores=0-7 /proc/20356/task/20362/stat : 20362 (java) S 20354 20354 17718 0 -1 1077944384 176 0 0 0 11 5 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146940955792 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20363] ppid=20354 vsize=28768328 memory=8252 CPUtime=0.14 cores=0-7 /proc/20356/task/20363/stat : 20363 (java) S 20354 20354 17718 0 -1 1077944384 240 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146939902992 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20364] ppid=20354 vsize=28768328 memory=5928 CPUtime=0.14 cores=0-7 /proc/20356/task/20364/stat : 20364 (java) S 20354 20354 17718 0 -1 1077944384 229 0 0 0 10 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146938850192 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20365] ppid=20354 vsize=28768328 memory=1056 CPUtime=0.15 cores=0-7 /proc/20356/task/20365/stat : 20365 (java) S 20354 20354 17718 0 -1 1077944384 309 0 0 0 11 4 0 0 20 0 28 0 418391949 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146937797392 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20366] ppid=20354 vsize=28768328 memory=1540 CPUtime=0.01 cores=0-7 /proc/20356/task/20366/stat : 20366 (java) S 20354 20354 17718 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 28 0 418391951 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146140891504 140147025324674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20367] ppid=20354 vsize=28768328 memory=728 CPUtime=0 cores=0-7 /proc/20356/task/20367/stat : 20367 (java) S 20354 20354 17718 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 418391951 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146139837536 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20368] ppid=20354 vsize=28768328 memory=3924 CPUtime=0 cores=0-7 /proc/20356/task/20368/stat : 20368 (java) S 20354 20354 17718 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 418391952 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146138784640 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20369] ppid=20354 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/20356/task/20369/stat : 20369 (java) S 20354 20354 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146137732944 140147025332123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20370] ppid=20354 vsize=28768328 memory=1212 CPUtime=2.35 cores=0-7 /proc/20356/task/20370/stat : 20370 (java) S 20354 20354 17718 0 -1 1077944384 3013 0 0 0 234 1 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146136681328 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20371] ppid=20354 vsize=28768328 memory=1036 CPUtime=2.22 cores=0-7 /proc/20356/task/20371/stat : 20371 (java) S 20354 20354 17718 0 -1 1077944384 3062 0 0 0 222 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146135628528 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20372] ppid=20354 vsize=28768328 memory=14008 CPUtime=2.36 cores=0-7 /proc/20356/task/20372/stat : 20372 (java) S 20354 20354 17718 0 -1 1077944384 2882 0 0 0 235 1 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146134575728 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20373] ppid=20354 vsize=28768328 memory=12024 CPUtime=0.92 cores=0-7 /proc/20356/task/20373/stat : 20373 (java) S 20354 20354 17718 0 -1 1077944384 4213 0 0 0 90 2 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146133522928 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20374] ppid=20354 vsize=28768328 memory=2116 CPUtime=0 cores=0-7 /proc/20356/task/20374/stat : 20374 (java) S 20354 20354 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418391954 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146132470368 140147025323733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20375] ppid=20354 vsize=28768328 memory=21564 CPUtime=0 cores=0-7 /proc/20356/task/20375/stat : 20375 (java) S 20354 20354 17718 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 28 0 418391955 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146131417648 140147025324674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20410] ppid=20354 vsize=28768328 memory=496 CPUtime=4.52 cores=0-7 /proc/20356/task/20410/stat : 20410 (java) R 20354 20354 17718 0 -1 4202560 52 0 0 0 452 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145064824136 140146618540929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20411] ppid=20354 vsize=28768328 memory=1564 CPUtime=4.31 cores=0-7 /proc/20356/task/20411/stat : 20411 (java) R 20354 20354 17718 0 -1 4202560 76 0 0 0 431 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145060613696 140146618092734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20412] ppid=20354 vsize=28768328 memory=928 CPUtime=4.2 cores=0-7 /proc/20356/task/20412/stat : 20412 (java) R 20354 20354 17718 0 -1 4202560 664 0 0 0 418 2 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145059563672 140146617769065 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20413] ppid=20354 vsize=28768328 memory=1744 CPUtime=4.36 cores=0-7 /proc/20356/task/20413/stat : 20413 (java) R 20354 20354 17718 0 -1 4202560 1115 0 0 0 433 3 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145065880624 140146618683726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20414] ppid=20354 vsize=28768328 memory=792 CPUtime=4.43 cores=0-7 /proc/20356/task/20414/stat : 20414 (java) R 20354 20354 17718 0 -1 4202560 266 0 0 0 443 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145062719912 140146617769471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20415] ppid=20354 vsize=28768328 memory=1440 CPUtime=4.09 cores=0-7 /proc/20356/task/20415/stat : 20415 (java) R 20354 20354 17718 0 -1 4202560 83 0 0 0 409 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140146126733624 140146617769556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20416] ppid=20354 vsize=28768328 memory=1984 CPUtime=4.3 cores=0-7 /proc/20356/task/20416/stat : 20416 (java) R 20354 20354 17718 0 -1 4202560 132 0 0 0 430 0 0 0 20 0 28 0 418392261 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145063772376 140146617769065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 [pid=20356/tid=20417] ppid=20354 vsize=28768328 memory=2376 CPUtime=4.26 cores=0-7 /proc/20356/task/20417/stat : 20417 (java) R 20354 20354 17718 0 -1 4202560 158 0 0 0 426 0 0 0 20 0 28 0 418392263 29458767872 177576 33554432000 4194304 4196468 140732145560688 140145061667368 140146619369500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140732145562602 140732145562774 140732145562774 140732145565647 0 Current children cumulated CPU time: 57.01 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 711756 KiB Child status: 0 Real time (s): 7.87586 CPU time (s): 57.5122 CPU user time (s): 56.84 CPU system time (s): 0.672269 CPU usage (%): 730.234 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 711756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.84 system time used= 0.672269 maximum resident set size= 710560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32755 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4629 involuntary context switches= 1451 # summary of solver processes directly reported to runsolver: # pid: 20354 # total CPU time (s): 57.5122 # total CPU user time (s): 56.84 # total CPU system time (s): 0.672269 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.082531 second user time and 0.138708 second system time The end
Begin job on node133 at 2019-09-14 02:38:04 IDJOB=4394453 IDBENCH=122936 IDSOLVER=2843 FILE ID=node133/4394453-1568421523 RUNJOBID= node133-1568416728-17745 PBS_JOBID= 21702258 Free space on /tmp= 59416 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-15-035-010.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394453-1568421523/watcher-4394453-1568421523 -o /tmp/evaluation-result-4394453-1568421523/solver-4394453-1568421523 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568416728-17745 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426430 HOME/instance-4394453-1568421523.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b4ffb396ba331e6a6f6e6b1bc4ae482f RANDOM SEED=1426430 node133.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.18 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.18 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.18 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.18 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: 31472156 kB MemAvailable: 31897460 kB Buffers: 194716 kB Cached: 511952 kB SwapCached: 3364 kB Active: 401384 kB Inactive: 309224 kB Active(anon): 28016 kB Inactive(anon): 16024 kB Active(file): 373368 kB Inactive(file): 293200 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004108 kB Dirty: 26216 kB Writeback: 0 kB AnonPages: 113012 kB Mapped: 43600 kB Shmem: 31484 kB Slab: 178328 kB SReclaimable: 149140 kB SUnreclaim: 29188 kB KernelStack: 3456 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 02:38:12