Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 101 | 20050.6 | 2520.1299 |
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 | 104 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
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-4280608-1503114818.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280608-1503114818.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 3.34/1.23 c solve instance... 5.41/1.50 o 0 5.41/1.55 o 4 5.41/1.56 o 6 5.41/1.56 o 7 5.97/1.62 o 8 5.97/1.62 o 9 5.97/1.63 o 10 5.97/1.63 o 11 5.97/1.65 o 12 5.97/1.65 o 13 5.97/1.66 o 14 5.97/1.66 o 15 5.97/1.67 o 61 5.97/1.68 o 62 6.61/1.70 o 63 6.61/1.71 o 64 6.61/1.71 o 65 6.61/1.72 o 66 6.61/1.75 o 67 6.61/1.76 o 68 6.61/1.76 o 69 6.61/1.77 o 70 6.61/1.77 o 71 6.61/1.78 o 72 6.61/1.78 o 73 6.61/1.79 o 74 6.61/1.79 o 75 7.25/1.80 o 76 7.25/1.80 o 77 7.25/1.81 o 78 7.25/1.81 o 79 7.25/1.82 o 80 7.25/1.83 o 81 7.25/1.83 o 82 7.25/1.84 o 83 7.25/1.84 o 84 7.25/1.87 o 85 7.25/1.87 o 86 7.25/1.87 o 87 7.25/1.87 o 88 7.25/1.88 o 89 7.25/1.89 o 90 7.25/1.89 o 91 7.25/1.89 o 92 7.88/1.94 o 93 7.88/1.97 o 94 8.58/2.05 o 95 10.08/2.24 o 96 10.08/2.24 o 97 17.18/3.12 o 98 44.85/6.64 o 99 1160.77/146.50 o 100 2042.43/257.07 o 101 20049.81/2520.09 s SATISFIABLE 20049.81/2520.09 v <instantiation> 20049.81/2520.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> 20049.81/2520.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 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 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 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 1 0 1 0 0 1 0 2 2 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 4 4 4 10 10 11 20 24 26 29 31 31 33 35 39 44 101 </values> 20049.81/2520.09 v </instantiation> 20049.81/2520.09 c Unexpected resolution interruption!
OK 101
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 (11419 MiB free) memory of node 1: 16384 MiB (9839 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280608-1503114818/watcher-4280608-1503114818 -o /tmp/evaluation-result-4280608-1503114818/solver-4280608-1503114818 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503111433-23448 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1135944470 HOME/instance-4280608-1503114818.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=24322, runsolver pid=24319 Current StackSize limit: 8192 KiB [startup+0.100128 s]* /proc/loadavg: 7.70 8.09 7.61 2/199 24343 /proc/meminfo: memFree=21751952/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=25999808 memory=26948 CPUtime=0.11 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 5667 0 0 0 10 1 0 0 20 0 20 0 144569526 26623803392 6737 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6499952 6737 2840 1 0 6488269 0 [pid=24324/tid=24325] ppid=24322 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) R 24322 24322 23421 0 -1 4202560 3677 0 0 0 8 1 0 0 20 0 20 0 144569526 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247386519344 140247382298006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=25999808 memory=140194281113216 CPUtime=0 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24329] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24329/stat : 24329 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247331748112 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24330] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24330/stat : 24330 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247330696336 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24331] ppid=24322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24331/stat : 24331 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247329643536 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24332] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24332/stat : 24332 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247328590736 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24333] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24333/stat : 24333 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26623803392 6737 33554432000 4194304 4196468 140732021918256 140247327537936 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24334] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24334/stat : 24334 (java) S 24322 24322 23421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144569528 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246124337520 140247382297218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24335] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24335/stat : 24335 (java) S 24322 24322 23421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144569529 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246123283488 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24336] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24336/stat : 24336 (java) S 24322 24322 23421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144569529 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246122230640 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24337] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24337/stat : 24337 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246121178960 140247382304667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24338] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24338/stat : 24338 (java) S 24322 24322 23421 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246120127344 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24339] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24339/stat : 24339 (java) S 24322 24322 23421 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140246119074544 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24340] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24340/stat : 24340 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140245244832368 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24341] ppid=24322 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/24324/task/24341/stat : 24341 (java) S 24322 24322 23421 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140245243779568 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24342] ppid=24322 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24342/stat : 24342 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140245242727008 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24343] ppid=24322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24343/stat : 24343 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26623803392 6737 33554432000 4194304 4196468 140732021918256 140245241674288 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28328 KiB [startup+0.209789 s]* /proc/loadavg: 7.70 8.09 7.61 3/199 24343 /proc/meminfo: memFree=21742400/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=26004064 memory=39296 CPUtime=0.34 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 8340 0 0 0 31 3 0 0 20 0 20 0 144569526 26628161536 9758 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6501016 9758 3050 1 0 6488269 0 [pid=24324/tid=24325] ppid=24322 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) R 24322 24322 23421 0 -1 4202560 5441 0 0 0 18 1 0 0 20 0 20 0 144569526 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247386507064 140247366366558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=26004064 memory=140194281785385 CPUtime=0 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24329] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24329/stat : 24329 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247331748112 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24330] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24330/stat : 24330 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247330696336 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24331] ppid=24322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24331/stat : 24331 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247329643536 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24332] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24332/stat : 24332 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247328590736 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24333] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24333/stat : 24333 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 9824 33554432000 4194304 4196468 140732021918256 140247327537936 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24334] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24334/stat : 24334 (java) S 24322 24322 23421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144569528 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246124337520 140247382297218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24335] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24335/stat : 24335 (java) S 24322 24322 23421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144569529 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246123283488 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24336] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24336/stat : 24336 (java) S 24322 24322 23421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144569529 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246122230640 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24337] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24337/stat : 24337 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246121178960 140247382304667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24338] ppid=24322 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24324/task/24338/stat : 24338 (java) S 24322 24322 23421 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246120127344 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24339] ppid=24322 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/24324/task/24339/stat : 24339 (java) S 24322 24322 23421 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140246119074544 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24340] ppid=24322 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/24324/task/24340/stat : 24340 (java) S 24322 24322 23421 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140245244832368 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24341] ppid=24322 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/24324/task/24341/stat : 24341 (java) R 24322 24322 23421 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140245243779568 140247360821034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24342] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24342/stat : 24342 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140245242727008 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24343] ppid=24322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24343/stat : 24343 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 9824 33554432000 4194304 4196468 140732021918256 140245241674288 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40676 KiB [startup+0.309502 s]* /proc/loadavg: 7.70 8.09 7.61 3/199 24343 /proc/meminfo: memFree=21738244/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=26004064 memory=45704 CPUtime=0.51 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 9174 0 0 0 48 3 0 0 20 0 20 0 144569526 26628161536 11426 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6501016 11426 3069 1 0 6488269 0 [pid=24324/tid=24325] ppid=24322 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) R 24322 24322 23421 0 -1 4202560 6107 0 0 0 27 2 0 0 20 0 20 0 144569526 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247386523888 140247382298006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24329] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24329/stat : 24329 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247331748112 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24330] ppid=24322 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/24324/task/24330/stat : 24330 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247330696336 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24331] ppid=24322 vsize=26004064 memory=140194175087535 CPUtime=0 cores=0-7 /proc/24324/task/24331/stat : 24331 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247329643536 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24332] ppid=24322 vsize=26004064 memory=140194175089840 CPUtime=0 cores=0-7 /proc/24324/task/24332/stat : 24332 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247328590736 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24333] ppid=24322 vsize=26004064 memory=140194175092144 CPUtime=0 cores=0-7 /proc/24324/task/24333/stat : 24333 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26628161536 11426 33554432000 4194304 4196468 140732021918256 140247327537936 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24334] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24334/stat : 24334 (java) S 24322 24322 23421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144569528 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246124337520 140247382297218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24335] ppid=24322 vsize=26004064 memory=280388350191248 CPUtime=0 cores=0-7 /proc/24324/task/24335/stat : 24335 (java) S 24322 24322 23421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144569529 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246123283488 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24336] ppid=24322 vsize=26004064 memory=280388350198160 CPUtime=0 cores=0-7 /proc/24324/task/24336/stat : 24336 (java) S 24322 24322 23421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144569529 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246122230640 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24337] ppid=24322 vsize=26004064 memory=280388350139440 CPUtime=0 cores=0-7 /proc/24324/task/24337/stat : 24337 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246121178960 140247382304667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24338] ppid=24322 vsize=26004064 memory=280388350211984 CPUtime=0.02 cores=0-7 /proc/24324/task/24338/stat : 24338 (java) S 24322 24322 23421 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246120127344 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24339] ppid=24322 vsize=26004064 memory=280388350218896 CPUtime=0.03 cores=0-7 /proc/24324/task/24339/stat : 24339 (java) S 24322 24322 23421 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140246119074544 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24340] ppid=24322 vsize=26004064 memory=280388350216592 CPUtime=0.01 cores=0-7 /proc/24324/task/24340/stat : 24340 (java) S 24322 24322 23421 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140245244832368 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24341] ppid=24322 vsize=26004064 memory=280388350232752 CPUtime=0.13 cores=0-7 /proc/24324/task/24341/stat : 24341 (java) R 24322 24322 23421 0 -1 4202560 852 0 0 0 13 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140245243776504 140247360777088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24342] ppid=24322 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24342/stat : 24342 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140245242727008 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24343] ppid=24322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24324/task/24343/stat : 24343 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569532 26628161536 11426 33554432000 4194304 4196468 140732021918256 140245241674288 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47084 KiB [startup+0.700844 s] /proc/loadavg: 7.70 8.09 7.61 4/199 24343 /proc/meminfo: memFree=21721992/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=26006188 memory=72608 CPUtime=1.62 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 11903 0 0 0 156 6 0 0 20 0 20 0 144569526 26630336512 18152 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6501547 18152 3205 1 0 6488781 0 [pid=24324/tid=24325] ppid=24322 vsize=26006188 memory=280388350590640 CPUtime=0.67 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) R 24322 24322 23421 0 -1 4202560 6901 0 0 0 64 3 0 0 20 0 20 0 144569526 26630336512 18152 33554432000 4194304 4196468 140732021918256 140247386523040 140247010762343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=26006188 memory=140194175296368 CPUtime=0 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144569527 26630336512 18152 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26630336512 18152 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144569527 26630336512 18152 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 ################ # More data... # ################ [pid=24324/tid=24783] ppid=24322 vsize=26607312 memory=1380 CPUtime=2166.04 cores=0-7 /proc/24324/task/24783/stat : 24783 (java) R 24322 24322 23421 0 -1 4202560 142668 0 0 0 216438 166 0 0 20 0 28 0 144595234 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245231001584 140247013941976 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 19432 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 3695860 KiB [startup+2502.3 s] /proc/loadavg: 8.60 8.34 8.26 9/208 24840 /proc/meminfo: memFree=18079376/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=26607312 memory=3694480 CPUtime=19908.8 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 1244151 0 0 0 1989823 1062 0 0 20 0 28 0 144569526 27245887488 923620 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6651828 923620 3295 1 0 6639062 0 [pid=24324/tid=24325] ppid=24322 vsize=26607312 memory=3694480 CPUtime=1.25 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) S 24322 24322 23421 0 -1 1077944384 9886 0 0 0 121 4 0 0 20 0 28 0 144569526 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247386526848 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=26607312 memory=3694480 CPUtime=5.97 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 53292 0 0 0 546 51 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=26607312 memory=1380 CPUtime=5.97 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 53610 0 0 0 546 51 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=26607312 memory=3694480 CPUtime=5.97 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 47905 0 0 0 546 51 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24329] ppid=24322 vsize=26607312 memory=792 CPUtime=5.88 cores=0-7 /proc/24324/task/24329/stat : 24329 (java) S 24322 24322 23421 0 -1 1077944384 49845 0 0 0 540 48 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247331748112 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24330] ppid=24322 vsize=26607312 memory=102 CPUtime=5.91 cores=0-7 /proc/24324/task/24330/stat : 24330 (java) S 24322 24322 23421 0 -1 1077944384 50286 0 0 0 542 49 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247330696336 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24331] ppid=24322 vsize=26607312 memory=0 CPUtime=5.93 cores=0-7 /proc/24324/task/24331/stat : 24331 (java) S 24322 24322 23421 0 -1 1077944384 50831 0 0 0 545 48 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247329643536 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24332] ppid=24322 vsize=26607312 memory=1380 CPUtime=5.96 cores=0-7 /proc/24324/task/24332/stat : 24332 (java) S 24322 24322 23421 0 -1 1077944384 52831 0 0 0 547 49 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247328590736 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24333] ppid=24322 vsize=26607312 memory=1380 CPUtime=5.92 cores=0-7 /proc/24324/task/24333/stat : 24333 (java) S 24322 24322 23421 0 -1 1077944384 49697 0 0 0 540 52 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247327537936 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24334] ppid=24322 vsize=26607312 memory=3694480 CPUtime=2.89 cores=0-7 /proc/24324/task/24334/stat : 24334 (java) S 24322 24322 23421 0 -1 1077944384 197915 0 0 0 226 63 0 0 20 0 28 0 144569528 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246124337520 140247382297218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24335] ppid=24322 vsize=26607312 memory=0 CPUtime=0 cores=0-7 /proc/24324/task/24335/stat : 24335 (java) S 24322 24322 23421 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 144569529 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246123283552 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24336] ppid=24322 vsize=26607312 memory=3694480 CPUtime=0 cores=0-7 /proc/24324/task/24336/stat : 24336 (java) S 24322 24322 23421 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 144569529 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246122230640 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24337] ppid=24322 vsize=26607312 memory=4140 CPUtime=0 cores=0-7 /proc/24324/task/24337/stat : 24337 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246121178960 140247382304667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24338] ppid=24322 vsize=26607312 memory=3694480 CPUtime=2.31 cores=0-7 /proc/24324/task/24338/stat : 24338 (java) S 24322 24322 23421 0 -1 1077944384 10766 0 0 0 228 3 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246120127344 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24339] ppid=24322 vsize=26607312 memory=1380 CPUtime=2.27 cores=0-7 /proc/24324/task/24339/stat : 24339 (java) S 24322 24322 23421 0 -1 1077944384 12354 0 0 0 225 2 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246119074544 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24340] ppid=24322 vsize=26607312 memory=6791534058613427641 CPUtime=2.17 cores=0-7 /proc/24324/task/24340/stat : 24340 (java) S 24322 24322 23421 0 -1 1077944384 10074 0 0 0 214 3 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245244832368 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24341] ppid=24322 vsize=26607312 memory=3694480 CPUtime=1.03 cores=0-7 /proc/24324/task/24341/stat : 24341 (java) S 24322 24322 23421 0 -1 1077944384 11962 0 0 0 101 2 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245243779568 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24342] ppid=24322 vsize=26607312 memory=1380 CPUtime=0 cores=0-7 /proc/24324/task/24342/stat : 24342 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245242727008 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24343] ppid=24322 vsize=26607312 memory=3757276 CPUtime=0.77 cores=0-7 /proc/24324/task/24343/stat : 24343 (java) S 24322 24322 23421 0 -1 1077944384 10744 0 0 0 77 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245241674288 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24776] ppid=24322 vsize=26607312 memory=280388352177072 CPUtime=2226.25 cores=0-7 /proc/24324/task/24776/stat : 24776 (java) R 24322 24322 23421 0 -1 4202560 39410 0 0 0 222601 24 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245223639832 140247017751581 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24777] ppid=24322 vsize=26607312 memory=7450473658048867171 CPUtime=2229.29 cores=0-7 /proc/24324/task/24777/stat : 24777 (java) R 24322 24322 23421 0 -1 4202560 36424 0 0 0 222901 28 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245233106768 140247013574158 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24778] ppid=24322 vsize=26607312 memory=1380 CPUtime=2230.53 cores=0-7 /proc/24324/task/24778/stat : 24778 (java) R 24322 24322 23421 0 -1 4202560 35927 0 0 0 223026 27 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245226791336 140247013574681 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24779] ppid=24322 vsize=26607312 memory=3694480 CPUtime=2228.83 cores=0-7 /proc/24324/task/24779/stat : 24779 (java) R 24322 24322 23421 0 -1 4202560 49946 0 0 0 222849 34 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245232057504 140247015139439 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24780] ppid=24322 vsize=26607312 memory=1424 CPUtime=2228.59 cores=0-7 /proc/24324/task/24780/stat : 24780 (java) R 24322 24322 23421 0 -1 4202560 40071 0 0 0 222831 28 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245228900176 140247014648716 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24781] ppid=24322 vsize=26607312 memory=1380 CPUtime=2223.22 cores=0-7 /proc/24324/task/24781/stat : 24781 (java) R 24322 24322 23421 0 -1 4202560 60906 0 0 0 222264 58 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245229949080 140247014205203 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24782] ppid=24322 vsize=26607312 memory=3694480 CPUtime=2223.54 cores=0-7 /proc/24324/task/24782/stat : 24782 (java) R 24322 24322 23421 0 -1 4202560 97225 0 0 0 222318 36 0 0 20 0 28 0 144595234 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245227843392 140247015838740 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24783] ppid=24322 vsize=26607312 memory=1380 CPUtime=2225.5 cores=0-7 /proc/24324/task/24783/stat : 24783 (java) R 24322 24322 23421 0 -1 4202560 145624 0 0 0 222383 167 0 0 20 0 28 0 144595234 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245231001264 140247013941759 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 19908.8 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 3695860 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.64 8.36 8.27 9/208 24840 /proc/meminfo: memFree=18079228/32770624 swapFree=67108860/67108860 [pid=24322] ppid=24319 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/24322/stat : 24322 (xcsp3-exec) S 24319 24322 23421 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144569526 9740288 345 33554432000 4194304 5098028 140723536341808 140723536339912 139817615680124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23859200 140723536344164 140723536344375 140723536344375 140723536347115 0 /proc/24322/statm: 2378 345 289 221 0 87 0 [pid=24324] ppid=24322 vsize=26607312 memory=3694480 CPUtime=20049.8 cores=0-7 /proc/24324/stat : 24324 (java) S 24322 24322 23421 0 -1 1077944320 1268637 0 0 0 2003913 1068 0 0 20 0 28 0 144569526 27245887488 923620 33554432000 4194304 4196468 140732021918256 140732021900800 140247382286071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 /proc/24324/statm: 6651828 923620 3295 1 0 6639062 0 [pid=24324/tid=24325] ppid=24322 vsize=26607312 memory=1398720917958146503 CPUtime=1.25 cores=0-7 /proc/24324/task/24325/stat : 24325 (java) S 24322 24322 23421 0 -1 1077944384 9886 0 0 0 121 4 0 0 20 0 28 0 144569526 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247386526848 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24326] ppid=24322 vsize=26607312 memory=4872558044660077418 CPUtime=6.01 cores=0-7 /proc/24324/task/24326/stat : 24326 (java) S 24322 24322 23421 0 -1 1077944384 54425 0 0 0 550 51 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247334906512 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24327] ppid=24322 vsize=26607312 memory=3694480 CPUtime=6.01 cores=0-7 /proc/24324/task/24327/stat : 24327 (java) S 24322 24322 23421 0 -1 1077944384 55420 0 0 0 550 51 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247333853712 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24328] ppid=24322 vsize=26607312 memory=4100 CPUtime=6.02 cores=0-7 /proc/24324/task/24328/stat : 24328 (java) S 24322 24322 23421 0 -1 1077944384 49271 0 0 0 550 52 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247332800912 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24329] ppid=24322 vsize=26607312 memory=1228 CPUtime=5.93 cores=0-7 /proc/24324/task/24329/stat : 24329 (java) S 24322 24322 23421 0 -1 1077944384 50992 0 0 0 545 48 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247331748112 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24330] ppid=24322 vsize=26607312 memory=6791534058613427641 CPUtime=5.97 cores=0-7 /proc/24324/task/24330/stat : 24330 (java) S 24322 24322 23421 0 -1 1077944384 51828 0 0 0 547 50 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247330696336 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24331] ppid=24322 vsize=26607312 memory=1008 CPUtime=5.98 cores=0-7 /proc/24324/task/24331/stat : 24331 (java) S 24322 24322 23421 0 -1 1077944384 51724 0 0 0 549 49 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247329643536 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24332] ppid=24322 vsize=26607312 memory=10724 CPUtime=6.01 cores=0-7 /proc/24324/task/24332/stat : 24332 (java) S 24322 24322 23421 0 -1 1077944384 53827 0 0 0 551 50 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247328590736 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24333] ppid=24322 vsize=26607312 memory=1204 CPUtime=5.96 cores=0-7 /proc/24324/task/24333/stat : 24333 (java) S 24322 24322 23421 0 -1 1077944384 51113 0 0 0 544 52 0 0 20 0 28 0 144569527 27245887488 923620 33554432000 4194304 4196468 140732021918256 140247327537936 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24334] ppid=24322 vsize=26607312 memory=15876 CPUtime=2.92 cores=0-7 /proc/24324/task/24334/stat : 24334 (java) S 24322 24322 23421 0 -1 1077944384 201539 0 0 0 229 63 0 0 20 0 28 0 144569528 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246124337520 140247382297218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24335] ppid=24322 vsize=26607312 memory=16444 CPUtime=0 cores=0-7 /proc/24324/task/24335/stat : 24335 (java) S 24322 24322 23421 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 144569529 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246123283552 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24336] ppid=24322 vsize=26607312 memory=4052 CPUtime=0 cores=0-7 /proc/24324/task/24336/stat : 24336 (java) S 24322 24322 23421 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 144569529 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246122230640 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24337] ppid=24322 vsize=26607312 memory=22240 CPUtime=0 cores=0-7 /proc/24324/task/24337/stat : 24337 (java) S 24322 24322 23421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246121178960 140247382304667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24338] ppid=24322 vsize=26607312 memory=1232 CPUtime=2.31 cores=0-7 /proc/24324/task/24338/stat : 24338 (java) S 24322 24322 23421 0 -1 1077944384 10774 0 0 0 228 3 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246120127344 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24339] ppid=24322 vsize=26607312 memory=15876 CPUtime=2.27 cores=0-7 /proc/24324/task/24339/stat : 24339 (java) S 24322 24322 23421 0 -1 1077944384 12362 0 0 0 225 2 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140246119074544 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24340] ppid=24322 vsize=26607312 memory=16444 CPUtime=2.17 cores=0-7 /proc/24324/task/24340/stat : 24340 (java) S 24322 24322 23421 0 -1 1077944384 10086 0 0 0 214 3 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245244832368 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24341] ppid=24322 vsize=26607312 memory=4052 CPUtime=1.03 cores=0-7 /proc/24324/task/24341/stat : 24341 (java) S 24322 24322 23421 0 -1 1077944384 11970 0 0 0 101 2 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245243779568 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24342] ppid=24322 vsize=26607312 memory=22240 CPUtime=0 cores=0-7 /proc/24324/task/24342/stat : 24342 (java) S 24322 24322 23421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245242727008 140247382296277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24343] ppid=24322 vsize=26607312 memory=1232 CPUtime=0.77 cores=0-7 /proc/24324/task/24343/stat : 24343 (java) S 24322 24322 23421 0 -1 1077944384 10951 0 0 0 77 0 0 0 20 0 28 0 144569532 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245241674288 140247382297218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24776] ppid=24322 vsize=26607312 memory=1792 CPUtime=2243.86 cores=0-7 /proc/24324/task/24776/stat : 24776 (java) R 24322 24322 23421 0 -1 4202560 40310 0 0 0 224362 24 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245223640336 140247014616265 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24777] ppid=24322 vsize=26607312 memory=640 CPUtime=2246.9 cores=0-7 /proc/24324/task/24777/stat : 24777 (java) R 24322 24322 23421 0 -1 4202560 37278 0 0 0 224662 28 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245233107200 140247014205716 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24778] ppid=24322 vsize=26607312 memory=956 CPUtime=2247.93 cores=0-7 /proc/24324/task/24778/stat : 24778 (java) R 24322 24322 23421 0 -1 4202560 36781 0 0 0 224766 27 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245226791448 140247015500629 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24779] ppid=24322 vsize=26607312 memory=2468 CPUtime=2246.45 cores=0-7 /proc/24324/task/24779/stat : 24779 (java) R 24322 24322 23421 0 -1 4202560 51363 0 0 0 224611 34 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245232054512 140247013574619 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24780] ppid=24322 vsize=26607312 memory=1576 CPUtime=2246.11 cores=0-7 /proc/24324/task/24780/stat : 24780 (java) R 24322 24322 23421 0 -1 4202560 40999 0 0 0 224583 28 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245228897152 140247014615681 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24781] ppid=24322 vsize=26607312 memory=6791534058613427641 CPUtime=2240.82 cores=0-7 /proc/24324/task/24781/stat : 24781 (java) R 24322 24322 23421 0 -1 4202560 62574 0 0 0 224024 58 0 0 20 0 28 0 144595233 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245229949696 140732022810368 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24782] ppid=24322 vsize=26607312 memory=6944652177228980320 CPUtime=2241.11 cores=0-7 /proc/24324/task/24782/stat : 24782 (java) R 24322 24322 23421 0 -1 4202560 99374 0 0 0 224074 37 0 0 20 0 28 0 144595234 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245227846320 140247010370145 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 [pid=24324/tid=24783] ppid=24322 vsize=26607312 memory=280388351622456 CPUtime=2243.11 cores=0-7 /proc/24324/task/24783/stat : 24783 (java) R 24322 24322 23421 0 -1 4202560 147170 0 0 0 224144 167 0 0 20 0 28 0 144595234 27245887488 923620 33554432000 4194304 4196468 140732021918256 140245231002040 140247014857229 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 15171584 140732021925010 140732021925187 140732021925187 140732021927887 0 Current children cumulated CPU time: 20049.8 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 3695860 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 24322 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000989 s, system=0.000989 s [startup+2520.13 s] # the end of solver process 24324 was just reported to runsolver # cumulated CPU time of all completed processes: user=20039.9 s, system=10.7072 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.13 CPU time (s): 20050.6 CPU user time (s): 20039.9 CPU system time (s): 10.7072 CPU usage (%): 795.618 Max. virtual memory (cumulated for all children) (KiB): 26616824 Max. memory (cumulated for all children) (KiB): 4481708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20039.9 system time used= 10.7072 maximum resident set size= 4485092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1270789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 251773 involuntary context switches= 214553 # summary of solver processes directly reported to runsolver: # pid: 24322,24324 # total CPU time (s): 20050.6 # total CPU user time (s): 20039.9 # total CPU system time (s): 10.7072 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.2843 second user time and 26.4328 second system time The end
Begin job on node114 at 2017-08-19 05:39:19 IDJOB=4280608 IDBENCH=115889 IDSOLVER=2675 FILE ID=node114/4280608-1503114818 RUNJOBID= node114-1503111433-23448 PBS_JOBID= 20630759 Free space on /tmp= 61848 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-4280608-1503114818/watcher-4280608-1503114818 -o /tmp/evaluation-result-4280608-1503114818/solver-4280608-1503114818 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503111433-23448 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1135944470 HOME/instance-4280608-1503114818.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=1135944470 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 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: 21769428 kB MemAvailable: 31970884 kB Buffers: 249820 kB Cached: 10241580 kB SwapCached: 0 kB Active: 1751992 kB Inactive: 8794108 kB Active(anon): 46392 kB Inactive(anon): 44384 kB Active(file): 1705600 kB Inactive(file): 8749724 kB Unevictable: 7244 kB Mlocked: 7244 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7652 kB Writeback: 0 kB AnonPages: 61960 kB Mapped: 50452 kB Shmem: 33416 kB Slab: 150180 kB SReclaimable: 123936 kB SUnreclaim: 26244 kB KernelStack: 3200 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61840 MiB End job on node114 at 2017-08-19 06:21:19