Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 12.3335 | 2.9937 |
Name | Crossword/Crossword-m1c-words-herald/ Crossword-m1c-words-h2303.xml |
MD5SUM | 4f78cb4d5ebc47069554ab66515ce573 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.32369 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 529 |
Number of constraints | 174 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":440}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":89},{"degree":2,"count":440}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":3,"count":26},{"arity":4,"count":58},{"arity":5,"count":42},{"arity":6,"count":24},{"arity":7,"count":10},{"arity":8,"count":2},{"arity":9,"count":2},{"arity":10,"count":4},{"arity":11,"count":2},{"arity":12,"count":2},{"arity":13,"count":2}] |
Number of extensional constraints | 174 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":174}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406784-1569363064.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406784-1569363064.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 6.63/2.25 c solve instance... 11.76/2.97 s SATISFIABLE 11.76/2.97 v <instantiation> 11.76/2.97 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][13] x[0][14] x[0][15] x[0][16] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][13] x[1][14] x[1][15] x[1][16] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] 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][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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][14] x[3][15] x[3][16] x[3][17] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][5] x[4][6] x[4][7] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][19] x[4][20] x[4][21] x[4][22] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][10] x[6][12] x[6][13] x[6][14] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] 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][14] x[8][15] x[8][16] x[8][17] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] 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][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] 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][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] 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][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][3] x[16][4] x[16][5] x[16][6] x[16][8] x[16][9] x[16][10] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][15] x[18][16] x[18][17] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][6] x[21][7] x[21][8] x[21][9] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][6] x[22][7] x[22][8] x[22][9] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list> 11.76/2.97 v <values>5 4 3 14 17 0 18 11 4 15 19 6 0 19 4 17 8 2 0 13 14 17 0 19 14 17 10 14 17 4 0 0 20 17 0 0 1 0 18 4 2 0 13 19 0 1 17 8 6 8 0 13 18 19 0 19 4 12 4 13 19 18 0 18 19 14 17 8 0 14 2 19 0 11 14 21 4 13 17 14 20 19 11 4 4 19 8 15 10 8 3 3 8 13 6 8 13 19 14 12 0 17 11 14 22 4 0 11 14 4 18 1 0 18 4 17 0 19 19 8 2 0 3 0 3 18 0 17 2 19 7 0 13 22 0 17 3 4 17 8 13 3 20 18 0 17 6 20 4 3 1 17 0 0 12 4 18 8 12 0 6 8 13 4 18 4 0 17 11 4 17 8 2 18 15 0 19 20 11 0 4 18 19 4 4 12 8 13 6 11 14 5 19 7 0 19 18 24 17 20 15 7 0 21 4 13 0 11 11 14 19 18 12 0 4 18 15 17 4 4 18 0 13 4 17 14 0 10 0 12 4 13 3 18 17 4 0 15 18 19 17 0 2 4 7 0 6 2 4 13 19 0 3 14 15 19 8 14 13 18 21 8 1 17 0 19 4 19 0 19 4 11 8 0 17 2 11 4 0 13 18 4 17 8 21 0 13 0 3 18 12 0 2 17 14 18 3 4 5 14 4 2 8 2 4 17 14 1 0 3 4 2 0 13 3 4 0 17 20 17 0 13 8 0 0 15 0 17 19 3 4 17 4 10 18 7 20 11 12 0 13 12 0 12 0 0 1 20 18 8 21 4 12 14 15 0 17 2 1 17 0 6 1 0 13 18 0 4 18 14 15 2 14 0 18 19 0 11 11 14 13 6 5 4 11 11 14 22 15 0 17 0 12 8 11 8 19 0 17 24 4 11 3 4 17 18 14 17 4 4 11 4 13 0 0 3 14 17 4 3 17 4 0 3 24 0 15 18 4 17 4 18 4 19 17 4 22 8 17 4 </values> 11.76/2.97 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13755 MiB free) memory of node 1: 16384 MiB (10853 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406784-1569363064/watcher-4406784-1569363064 -o /var/tmp/evaluation-result-4406784-1569363064/solver-4406784-1569363064 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1029406861 HOME/instance-4406784-1569363064.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25788, runsolver pid=25785 [startup+0.100186 s]* /proc/loadavg: 8.33 8.41 7.99 2/211 25809 /proc/meminfo: memFree=25181604/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28227396 memory=28808 CPUtime=0.12 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 5702 0 0 0 11 1 0 0 20 0 20 0 512220178 28904853504 7202 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7056849 7202 3119 1 0 7019032 0 [pid=25790/tid=25791] ppid=25788 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) R 25788 25788 24340 0 -1 4202560 3602 0 0 0 8 0 0 0 20 0 20 0 512220178 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484434006176 140484429808797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28227396 memory=140113059370624 CPUtime=0 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 7202 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220180 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512220181 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482623681312 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512220181 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220183 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) R 25788 25788 24340 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 20 0 512220183 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482620525168 140484429798806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) S 25788 25788 24340 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512220183 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482619472368 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220184 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482618420080 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) R 25788 25788 24340 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 512220184 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482617367280 140484429798806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220184 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220184 28904853504 7202 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30256 KiB [startup+0.210422 s]* /proc/loadavg: 8.33 8.41 7.99 2/211 25809 /proc/meminfo: memFree=25168360/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28227396 memory=40776 CPUtime=0.33 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 9531 0 0 0 31 2 0 0 20 0 20 0 512220178 28904853504 10194 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7056849 10194 3284 1 0 7019032 0 [pid=25790/tid=25791] ppid=25788 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) R 25788 25788 24340 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 20 0 512220178 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484434020336 140484429798806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28227396 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28227396 memory=140113059394818 CPUtime=0 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28904853504 10194 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512220180 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512220181 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482623681312 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512220181 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220183 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) S 25788 25788 24340 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 512220183 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482620525168 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) S 25788 25788 24340 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 512220183 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482619472368 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) S 25788 25788 24340 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 512220184 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482618420080 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) R 25788 25788 24340 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 20 0 512220184 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482617367280 140484408744592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220184 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220184 28904853504 10194 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42224 KiB [startup+0.310192 s]* /proc/loadavg: 8.33 8.41 7.99 4/211 25809 /proc/meminfo: memFree=25161100/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28231652 memory=50200 CPUtime=0.52 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 10837 0 0 0 49 3 0 0 20 0 20 0 512220178 28909211648 12550 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7057913 12550 3370 1 0 7019032 0 [pid=25790/tid=25791] ppid=25788 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) R 25788 25788 24340 0 -1 4202560 7747 0 0 0 27 2 0 0 20 0 20 0 512220178 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484434013928 140484413867358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28231652 memory=140112906250927 CPUtime=0 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28231652 memory=140112906253232 CPUtime=0 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28231652 memory=140112906255536 CPUtime=0 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28909211648 12550 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512220180 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28231652 memory=280225812524944 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512220181 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482623681312 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28231652 memory=280225812522640 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512220181 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28231652 memory=280225812529552 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220183 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28231652 memory=280225812470832 CPUtime=0.04 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) R 25788 25788 24340 0 -1 4202560 496 0 0 0 4 0 0 0 20 0 20 0 512220183 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482620506280 140484412998939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28231652 memory=280225812543376 CPUtime=0.02 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) S 25788 25788 24340 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 512220183 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482619472368 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28231652 memory=280225812550288 CPUtime=0.02 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) S 25788 25788 24340 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 20 0 512220184 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482618420080 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28231652 memory=280225812547984 CPUtime=0.12 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) S 25788 25788 24340 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 512220184 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482617367280 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220184 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220184 28909211648 12550 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51648 KiB [startup+0.700968 s] /proc/loadavg: 8.33 8.41 7.99 6/211 25809 /proc/meminfo: memFree=25133196/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28233776 memory=142356 CPUtime=1.93 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 14987 0 0 0 187 6 0 0 20 0 20 0 512220178 28911386624 35589 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7058444 35589 3450 1 0 7019544 0 [pid=25790/tid=25791] ppid=25788 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) R 25788 25788 24340 0 -1 4202560 8500 0 0 0 63 4 0 0 20 0 20 0 512220178 28911386624 35589 33554432000 4194304 4196468 140736111778672 140484434024176 140484039084652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28911386624 35589 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220179 28911386624 35589 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28233776 memory=1368 CPUtime=0 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512220179 28911386624 35589 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 ################ # More data... # ################ /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512220184 28911386624 126251 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28233776 memory=576460758282499373 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512220184 28911386624 126251 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 4.26 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 506452 KiB [startup+2.40175 s] /proc/loadavg: 8.33 8.41 7.99 2/211 25809 /proc/meminfo: memFree=24576956/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28766288 memory=680776 CPUtime=7.79 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 20581 0 0 0 690 89 0 0 20 0 28 0 512220178 29456678912 170194 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7191572 170194 3517 1 0 7152672 0 [pid=25790/tid=25791] ppid=25788 vsize=28766288 memory=0 CPUtime=1.86 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) S 25788 25788 24340 0 -1 1077944384 9196 0 0 0 178 8 0 0 20 0 28 0 512220178 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484434027648 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28766288 memory=6791534058613427641 CPUtime=0.32 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 322 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28766288 memory=45 CPUtime=0.32 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 290 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28766288 memory=47 CPUtime=0.31 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 328 0 0 0 22 9 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28766288 memory=64 CPUtime=0.27 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 20 7 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28766288 memory=51 CPUtime=0.32 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 386 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28766288 memory=0 CPUtime=0.33 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 263 0 0 0 23 10 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 296 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28766288 memory=0 CPUtime=0.3 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 22 8 0 0 20 0 28 0 512220179 29456678912 170194 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28766288 memory=2241 CPUtime=0.04 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 28 0 512220180 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28766288 memory=2244 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482623681376 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220183 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28766288 memory=0 CPUtime=0.62 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) R 25788 25788 24340 0 -1 4202560 1672 0 0 0 62 0 0 0 20 0 28 0 512220183 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482620506368 140484413283440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) R 25788 25788 24340 0 -1 4202560 1258 0 0 0 56 1 0 0 20 0 28 0 512220183 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482619468736 140484414180729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28766288 memory=0 CPUtime=0.93 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) R 25788 25788 24340 0 -1 4202560 1772 0 0 0 93 0 0 0 20 0 28 0 512220184 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482618420376 140484411331499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) R 25788 25788 24340 0 -1 1077944384 2223 0 0 0 55 0 0 0 20 0 28 0 512220184 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482617367280 140484429798018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28766288 memory=625604 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 170194 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 7.79 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 682224 KiB [startup+2.80175 s] /proc/loadavg: 8.33 8.41 7.99 2/211 25809 /proc/meminfo: memFree=24576956/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28766288 memory=698408 CPUtime=10.96 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 21443 0 0 0 1005 91 0 0 20 0 28 0 512220178 29456678912 174602 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7191572 174602 3539 1 0 7152672 0 [pid=25790/tid=25791] ppid=25788 vsize=28766288 memory=-6293873258189987503 CPUtime=1.86 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) S 25788 25788 24340 0 -1 1077944384 9196 0 0 0 178 8 0 0 20 0 28 0 512220178 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484434027648 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28766288 memory=7523376918531162212 CPUtime=0.32 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 322 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28766288 memory=7956848352565486445 CPUtime=0.32 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 290 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28766288 memory=7230638415855315287 CPUtime=0.31 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 328 0 0 0 22 9 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28766288 memory=29421509651 CPUtime=0.27 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 20 7 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28766288 memory=140112906513075 CPUtime=0.32 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 386 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28766288 memory=280225812901120 CPUtime=0.33 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 263 0 0 0 23 10 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 296 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28766288 memory=288230574492221466 CPUtime=0.3 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 22 8 0 0 20 0 28 0 512220179 29456678912 174602 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28766288 memory=288230583166042426 CPUtime=0.04 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 28 0 512220180 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28766288 memory=13848568834296438 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482623681376 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28766288 memory=1862203868929 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28766288 memory=2351830140673 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220183 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28766288 memory=2424844584705 CPUtime=0.87 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) R 25788 25788 24340 0 -1 4202560 1909 0 0 0 87 0 0 0 20 0 28 0 512220183 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482620511712 140484411312517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28766288 memory=2429139552001 CPUtime=0.81 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) R 25788 25788 24340 0 -1 4202560 1504 0 0 0 80 1 0 0 20 0 28 0 512220183 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482619453384 140484407381649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28766288 memory=2446319421185 CPUtime=1.17 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) R 25788 25788 24340 0 -1 4202560 1835 0 0 0 117 0 0 0 20 0 28 0 512220184 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482618406624 140484412991840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28766288 memory=2450614388481 CPUtime=0.64 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) R 25788 25788 24340 0 -1 1077944384 2454 0 0 0 64 0 0 0 20 0 28 0 512220184 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482617367280 140484429798018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28766288 memory=2459204323073 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28766288 memory=2523628832513 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 174602 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 10.96 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 699856 KiB [startup+2.90175 s] /proc/loadavg: 8.33 8.41 7.99 2/211 25809 /proc/meminfo: memFree=24576956/32770624 swapFree=66935948/67108860 [pid=25788] ppid=25785 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25788/stat : 25788 (xcsp3-exec) S 25785 25788 24340 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512220177 115843072 362 33554432000 4194304 5098028 140733273969328 140733273967432 140621664424572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9752576 140733273973585 140733273973845 140733273973845 140733273976774 0 /proc/25788/statm: 28282 362 304 221 0 87 0 [pid=25790] ppid=25788 vsize=28766288 memory=707356 CPUtime=11.76 cores=0-7 /proc/25790/stat : 25790 (java) S 25788 25788 24340 0 -1 1077944320 21654 0 0 0 1085 91 0 0 20 0 28 0 512220178 29456678912 176839 33554432000 4194304 4196468 140736111778672 140736111761216 140484429786871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 /proc/25790/statm: 7191572 176839 3539 1 0 7152672 0 [pid=25790/tid=25791] ppid=25788 vsize=28766288 memory=0 CPUtime=1.86 cores=0-7 /proc/25790/task/25791/stat : 25791 (java) S 25788 25788 24340 0 -1 1077944384 9196 0 0 0 178 8 0 0 20 0 28 0 512220178 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484434027648 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25792] ppid=25788 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/25790/task/25792/stat : 25792 (java) S 25788 25788 24340 0 -1 1077944384 322 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484382407056 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25793] ppid=25788 vsize=28766288 memory=682452 CPUtime=0.32 cores=0-7 /proc/25790/task/25793/stat : 25793 (java) S 25788 25788 24340 0 -1 1077944384 290 0 0 0 22 10 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484381354256 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25794] ppid=25788 vsize=28766288 memory=0 CPUtime=0.31 cores=0-7 /proc/25790/task/25794/stat : 25794 (java) S 25788 25788 24340 0 -1 1077944384 328 0 0 0 22 9 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484380301968 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25795] ppid=25788 vsize=28766288 memory=0 CPUtime=0.27 cores=0-7 /proc/25790/task/25795/stat : 25795 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 20 7 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484379249168 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25796] ppid=25788 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/25790/task/25796/stat : 25796 (java) S 25788 25788 24340 0 -1 1077944384 386 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484378196880 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25797] ppid=25788 vsize=28766288 memory=0 CPUtime=0.33 cores=0-7 /proc/25790/task/25797/stat : 25797 (java) S 25788 25788 24340 0 -1 1077944384 263 0 0 0 23 10 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484377144080 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25798] ppid=25788 vsize=28766288 memory=0 CPUtime=0.32 cores=0-7 /proc/25790/task/25798/stat : 25798 (java) S 25788 25788 24340 0 -1 1077944384 296 0 0 0 23 9 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484376091792 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25799] ppid=25788 vsize=28766288 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/25790/task/25799/stat : 25799 (java) S 25788 25788 24340 0 -1 1077944384 268 0 0 0 22 8 0 0 20 0 28 0 512220179 29456678912 176839 33554432000 4194304 4196468 140736111778672 140484375038992 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25800] ppid=25788 vsize=28766288 memory=2532218767105 CPUtime=0.04 cores=0-7 /proc/25790/task/25800/stat : 25800 (java) S 25788 25788 24340 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 28 0 512220180 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482624735344 140484429798018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25801] ppid=25788 vsize=28766288 memory=2536513734401 CPUtime=0 cores=0-7 /proc/25790/task/25801/stat : 25801 (java) S 25788 25788 24340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482623681376 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25802] ppid=25788 vsize=28766288 memory=504924 CPUtime=0 cores=0-7 /proc/25790/task/25802/stat : 25802 (java) S 25788 25788 24340 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 512220181 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482622628976 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25803] ppid=25788 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25803/stat : 25803 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220183 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482621577296 140484429805467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25804] ppid=25788 vsize=28766288 memory=0 CPUtime=0.92 cores=0-7 /proc/25790/task/25804/stat : 25804 (java) R 25788 25788 24340 0 -1 4202560 1921 0 0 0 92 0 0 0 20 0 28 0 512220183 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482620511296 140484411311772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25805] ppid=25788 vsize=28766288 memory=2353 CPUtime=0.86 cores=0-7 /proc/25790/task/25805/stat : 25805 (java) R 25788 25788 24340 0 -1 4202560 1668 0 0 0 85 1 0 0 20 0 28 0 512220183 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482619453384 140484409955647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25806] ppid=25788 vsize=28766288 memory=0 CPUtime=1.23 cores=0-7 /proc/25790/task/25806/stat : 25806 (java) R 25788 25788 24340 0 -1 4202560 1845 0 0 0 123 0 0 0 20 0 28 0 512220184 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482618413040 140484411305227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25807] ppid=25788 vsize=28766288 memory=280225812757072 CPUtime=0.65 cores=0-7 /proc/25790/task/25807/stat : 25807 (java) R 25788 25788 24340 0 -1 1077944384 2475 0 0 0 65 0 0 0 20 0 28 0 512220184 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482617367280 140484429798018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25808] ppid=25788 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25790/task/25808/stat : 25808 (java) S 25788 25788 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482616314208 140484429797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 [pid=25790/tid=25809] ppid=25788 vsize=28766288 memory=45796 CPUtime=0 cores=0-7 /proc/25790/task/25809/stat : 25809 (java) S 25788 25788 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512220184 29456678912 176839 33554432000 4194304 4196468 140736111778672 140482615261488 140484429798018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16515072 140736111784918 140736111785094 140736111785094 140736111787983 0 Current children cumulated CPU time: 11.76 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 708804 KiB Child status: 0 Real time (s): 2.9937 CPU time (s): 12.3335 CPU user time (s): 11.4039 CPU system time (s): 0.929617 CPU usage (%): 411.983 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 708804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.4039 system time used= 0.929617 maximum resident set size= 716920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22594 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= 3662 involuntary context switches= 199 # summary of solver processes directly reported to runsolver: # pid: 25788 # total CPU time (s): 12.3335 # total CPU user time (s): 11.4039 # total CPU system time (s): 0.929617 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045371 second user time and 0.065291 second system time The end
Begin job on node147 at 2019-09-25 00:10:20 IDJOB=4406784 IDBENCH=140360 IDSOLVER=2871 FILE ID=node147/4406784-1569363064 RUNJOBID= node147-1569358595-24367 PBS_JOBID= 21705113 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-herald/Crossword-m1c-words-h2303.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 /var/tmp/evaluation-result-4406784-1569363064/watcher-4406784-1569363064 -o /var/tmp/evaluation-result-4406784-1569363064/solver-4406784-1569363064 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1029406861 HOME/instance-4406784-1569363064.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f78cb4d5ebc47069554ab66515ce573 RANDOM SEED=1029406861 node147.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.52 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.52 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.52 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.52 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: 25198956 kB MemAvailable: 31779812 kB Buffers: 155204 kB Cached: 6481188 kB SwapCached: 68688 kB Active: 3297340 kB Inactive: 3409292 kB Active(anon): 1980 kB Inactive(anon): 126000 kB Active(file): 3295360 kB Inactive(file): 3283292 kB Unevictable: 107772 kB Mlocked: 107772 kB SwapTotal: 67108860 kB SwapFree: 66935948 kB Dirty: 6564 kB Writeback: 17824 kB AnonPages: 111256 kB Mapped: 56972 kB Shmem: 49088 kB Slab: 459100 kB SReclaimable: 430664 kB SUnreclaim: 28436 kB KernelStack: 3328 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 512352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node147 at 2019-09-25 00:10:23