Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 29.0215 | 10.57 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1506.xml |
MD5SUM | 0e5e1a5440f053ee6c87120c72693e04 |
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 | 0.985276 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 72 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":195}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":195}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72}] |
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-4404502-1569010890.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404502-1569010890.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 26.69/10.23 c solve instance... 28.72/10.53 s SATISFIABLE 28.72/10.53 v <instantiation> 28.72/10.53 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][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] 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][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] 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][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] 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[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 28.72/10.53 v <values>25 0 2 7 11 4 3 18 7 10 0 21 4 2 0 2 7 0 8 13 4 5 4 20 11 4 17 0 2 7 8 2 0 15 0 8 17 18 2 7 4 13 0 4 2 7 17 0 18 5 0 7 14 18 0 0 2 14 7 0 11 12 0 3 0 3 3 0 8 13 8 3 4 1 8 19 0 0 23 8 14 12 4 19 17 4 13 24 11 14 13 9 8 11 1 0 18 8 3 4 18 4 17 18 2 0 20 0 0 2 1 4 6 20 4 17 8 4 4 11 0 8 1 4 0 13 0 17 2 7 8 4 13 0 13 0 13 19 18 7 18 8 4 10 2 20 0 5 14 2 0 0 17 13 3 17 4 9 0 9 0 8 2 7 4 17 0 0 6 6 17 0 21 0 0 18 2 0 17 0 19 6 17 14 12 1 0 2 0 4 11 1 4 10 4 </values> 28.72/10.53 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 (7052 MiB free) memory of node 1: 16384 MiB (8351 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404502-1569010890/watcher-4404502-1569010890 -o /var/tmp/evaluation-result-4404502-1569010890/solver-4404502-1569010890 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 269520486 HOME/instance-4404502-1569010890.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=13446, runsolver pid=13443 Current StackSize limit: 8192 KiB [startup+0.102355 s]* /proc/loadavg: 6.13 7.81 8.16 2/211 13467 /proc/meminfo: memFree=15757164/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28227396 memory=29960 CPUtime=0.12 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 5898 0 0 0 11 1 0 0 20 0 20 0 477029078 28904853504 7490 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7056849 7490 3156 1 0 7019032 0 [pid=13448/tid=13449] ppid=13446 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) S 13446 13446 11640 0 -1 1077944384 3851 0 0 0 8 1 0 0 20 0 20 0 477029078 28904853504 7490 33554432000 4194304 4196468 140736461347504 139637027763056 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28227396 memory=139940084287104 CPUtime=0 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636972993296 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636971940496 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636569397776 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636568344976 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636567292176 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029080 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636005677936 139637023541890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477029081 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636004623904 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477029081 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636003571056 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) S 13446 13446 11640 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636001466736 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) R 13446 13446 11640 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139636000405584 139637006966481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) R 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139635999361232 139637023540949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) R 13446 13446 11640 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139635998308336 139637023542678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 7490 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029084 28904853504 7490 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31408 KiB [startup+0.210484 s]* /proc/loadavg: 6.13 7.81 8.16 2/211 13467 /proc/meminfo: memFree=15744420/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28227396 memory=41212 CPUtime=0.33 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 9538 0 0 0 30 3 0 0 20 0 20 0 477029078 28904853504 10303 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7056849 10303 3283 1 0 7019032 0 [pid=13448/tid=13449] ppid=13446 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) R 13446 13446 11640 0 -1 4202560 6672 0 0 0 17 2 0 0 20 0 20 0 477029078 28904853504 10303 33554432000 4194304 4196468 140736461347504 139637027761792 139637023542678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28227396 memory=3834166888523859616 CPUtime=0 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636972993296 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636971940496 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636569397776 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636568344976 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636567292176 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477029080 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636005677936 139637023541890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477029081 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636004623904 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477029081 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636003571056 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) S 13446 13446 11640 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636001466736 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) S 13446 13446 11640 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139636000413936 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) S 13446 13446 11640 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139635999361136 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) R 13446 13446 11640 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139635998308336 139637015772133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28904853504 10303 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029084 28904853504 10303 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42660 KiB [startup+0.312407 s]* /proc/loadavg: 6.13 7.81 8.16 2/211 13467 /proc/meminfo: memFree=15737272/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28231652 memory=49572 CPUtime=0.51 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 10764 0 0 0 47 4 0 0 20 0 20 0 477029078 28909211648 12393 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7057913 12393 3317 1 0 7019032 0 [pid=13448/tid=13449] ppid=13446 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) R 13446 13446 11640 0 -1 4202560 7823 0 0 0 27 3 0 0 20 0 20 0 477029078 28909211648 12393 33554432000 4194304 4196468 140736461347504 139637027761856 139637023552669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636972993296 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636971940496 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28231652 memory=139939966710703 CPUtime=0 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636569397776 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28231652 memory=139939966713008 CPUtime=0 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636568344976 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28231652 memory=139939966715312 CPUtime=0 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) S 13446 13446 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477029079 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636567292176 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477029080 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636005677936 139637023541890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28231652 memory=279879933437584 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477029081 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636004623904 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28231652 memory=279879933444496 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477029081 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636003571056 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28231652 memory=279879933385776 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28231652 memory=279879933458320 CPUtime=0.02 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) S 13446 13446 11640 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636001466736 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28231652 memory=279879933465232 CPUtime=0.02 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) S 13446 13446 11640 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139636000413936 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28231652 memory=279879933462928 CPUtime=0.02 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) S 13446 13446 11640 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139635999361136 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28231652 memory=279879933479088 CPUtime=0.12 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) S 13446 13446 11640 0 -1 1077944384 805 0 0 0 12 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139635998308336 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28909211648 12393 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029084 28909211648 12393 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51020 KiB [startup+0.701 s] /proc/loadavg: 6.13 7.81 8.16 5/211 13467 /proc/meminfo: memFree=15691036/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28233776 memory=208368 CPUtime=1.75 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 14779 0 0 0 165 10 0 0 20 0 20 0 477029078 28911386624 52092 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7058444 52092 3457 1 0 7019544 0 [pid=13448/tid=13449] ppid=13446 vsize=28233776 memory=279879933836976 CPUtime=0.66 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) R 13446 13446 11640 0 -1 4202560 8410 0 0 0 60 6 0 0 20 0 20 0 477029078 28911386624 52092 33554432000 4194304 4196468 140736461347504 139637027765376 139636654107802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28233776 memory=139939966919536 CPUtime=0 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 477029079 28911386624 52092 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029079 28911386624 52092 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029079 28911386624 52092 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 ################ # More data... # ################ /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28911386624 757036 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28233776 memory=928 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 477029084 28911386624 757036 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 22.65 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 3029592 KiB [startup+9.70139 s] /proc/loadavg: 5.86 7.70 8.12 2/211 13468 /proc/meminfo: memFree=12751396/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28233776 memory=3235896 CPUtime=25.2 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 42859 0 0 0 1968 552 0 0 20 0 20 0 477029078 28911386624 808462 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7058444 808974 3498 1 0 7019544 0 [pid=13448/tid=13449] ppid=13446 vsize=28233776 memory=139939967317159 CPUtime=6.76 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) S 13446 13446 11640 0 -1 1077944384 12277 0 0 0 655 21 0 0 20 0 20 0 477029078 28911386624 808974 33554432000 4194304 4196468 140736461347504 139637027767920 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28233776 memory=279879934096448 CPUtime=1.92 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) R 13446 13446 11640 0 -1 4202560 2082 0 0 0 128 64 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636976151696 139637008558626 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28233776 memory=0 CPUtime=1.9 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) R 13446 13446 11640 0 -1 4202560 1903 0 0 0 123 67 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636975098896 139637008558599 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28233776 memory=0 CPUtime=1.91 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) R 13446 13446 11640 0 -1 4202560 2121 0 0 0 128 63 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636974046096 139637008558608 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28233776 memory=1448 CPUtime=1.92 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) R 13446 13446 11640 0 -1 4202560 1685 0 0 0 125 67 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636972993496 139637008558599 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28233776 memory=3032484 CPUtime=1.91 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) R 13446 13446 11640 0 -1 4202560 2092 0 0 0 126 65 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636971940696 139637008558599 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28233776 memory=6944656592455097440 CPUtime=1.91 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) R 13446 13446 11640 0 -1 4202560 1676 0 0 0 127 64 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636569397776 139637008558599 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28233776 memory=6944656592387989600 CPUtime=1.91 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) R 13446 13446 11640 0 -1 4202560 2089 0 0 0 127 64 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636568344976 139637008558590 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28233776 memory=6944656592455360604 CPUtime=1.91 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) R 13446 13446 11640 0 -1 4202560 1791 0 0 0 125 66 0 0 20 0 20 0 477029079 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636567292376 139637016627579 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28233776 memory=-7595718147998060693 CPUtime=0.93 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 4293 0 0 0 93 0 0 0 20 0 20 0 477029080 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636005676448 139637023540949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28233776 memory=3028144 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 477029081 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636004623968 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28233776 memory=1448 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 477029081 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636003571072 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28233776 memory=3028144 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28233776 memory=0 CPUtime=0.52 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) S 13446 13446 11640 0 -1 1077944384 1893 0 0 0 51 1 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636001466736 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28233776 memory=1448 CPUtime=0.56 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) S 13446 13446 11640 0 -1 1077944384 2363 0 0 0 55 1 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139636000413936 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28233776 memory=0 CPUtime=0.49 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) S 13446 13446 11640 0 -1 1077944384 2319 0 0 0 49 0 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139635999361136 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28233776 memory=0 CPUtime=0.5 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) S 13446 13446 11640 0 -1 1077944384 2921 0 0 0 49 1 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139635998308336 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28911386624 808974 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 477029084 28911386624 808974 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 25.2 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 3237344 KiB [startup+10.101 s]* /proc/loadavg: 5.86 7.70 8.12 2/212 13470 /proc/meminfo: memFree=12317496/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28233776 memory=3465888 CPUtime=26.59 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 43838 0 0 0 2042 617 0 0 20 0 20 0 477029078 28911386624 866472 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7058444 866472 3498 1 0 7019544 0 [pid=13448/tid=13449] ppid=13446 vsize=28233776 memory=6791534058613427641 CPUtime=7.03 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) R 13446 13446 11640 0 -1 4202560 12282 0 0 0 682 21 0 0 20 0 20 0 477029078 28911386624 866472 33554432000 4194304 4196468 140736461347504 139637027768496 139636655533690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28233776 memory=4872558044660077418 CPUtime=2.06 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 2190 0 0 0 134 72 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28233776 memory=2124 CPUtime=2.05 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 2011 0 0 0 129 76 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28233776 memory=500 CPUtime=2.05 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 2231 0 0 0 134 71 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28233776 memory=1556 CPUtime=2.06 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) S 13446 13446 11640 0 -1 1077944384 1823 0 0 0 132 74 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636972993296 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28233776 memory=928 CPUtime=2.04 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) S 13446 13446 11640 0 -1 1077944384 2204 0 0 0 131 73 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636971940496 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28233776 memory=1772 CPUtime=2.05 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) S 13446 13446 11640 0 -1 1077944384 1784 0 0 0 133 72 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636569397776 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28233776 memory=816 CPUtime=2.04 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) S 13446 13446 11640 0 -1 1077944384 2196 0 0 0 132 72 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636568344976 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28233776 memory=1436 CPUtime=2.05 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) S 13446 13446 11640 0 -1 1077944384 1894 0 0 0 131 74 0 0 20 0 20 0 477029079 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636567292176 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28233776 memory=1984 CPUtime=0.93 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 4324 0 0 0 93 0 0 0 20 0 20 0 477029080 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636005677936 139637023541890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28233776 memory=2580 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 477029081 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636004623968 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28233776 memory=1760 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 477029081 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636003571072 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28233776 memory=111636 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28233776 memory=800 CPUtime=0.53 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) S 13446 13446 11640 0 -1 1077944384 1893 0 0 0 52 1 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636001466736 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28233776 memory=1448 CPUtime=0.56 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) S 13446 13446 11640 0 -1 1077944384 2363 0 0 0 55 1 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139636000413936 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28233776 memory=3032484 CPUtime=0.49 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) S 13446 13446 11640 0 -1 1077944384 2320 0 0 0 49 0 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139635999361136 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28233776 memory=4252 CPUtime=0.51 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) S 13446 13446 11640 0 -1 1077944384 2961 0 0 0 50 1 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139635998308336 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28233776 memory=279879933986592 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477029083 28911386624 866472 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28233776 memory=-6368199152461293614 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 477029084 28911386624 866472 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 26.59 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 3467336 KiB [startup+10.5014 s] /proc/loadavg: 5.86 7.70 8.12 2/212 13470 /proc/meminfo: memFree=12317496/32770624 swapFree=66976740/67108860 [pid=13446] ppid=13443 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13446/stat : 13446 (xcsp3-exec) S 13443 13446 11640 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477029077 115843072 362 33554432000 4194304 5098028 140727986146720 140727986144824 140560134447740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140727986148178 140727986148437 140727986148437 140727986151366 0 /proc/13446/statm: 28282 362 304 221 0 87 0 [pid=13448] ppid=13446 vsize=28766288 memory=3467040 CPUtime=28.72 cores=0-7 /proc/13448/stat : 13448 (java) S 13446 13446 11640 0 -1 1077944320 45358 0 0 0 2254 618 0 0 20 0 28 0 477029078 29456678912 866760 33554432000 4194304 4196468 140736461347504 140736461330048 139637023530743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 /proc/13448/statm: 7191572 866760 3509 1 0 7152672 0 [pid=13448/tid=13449] ppid=13446 vsize=28766288 memory=44 CPUtime=7.17 cores=0-7 /proc/13448/task/13449/stat : 13449 (java) S 13446 13446 11640 0 -1 1077944384 12525 0 0 0 696 21 0 0 20 0 28 0 477029078 29456678912 866760 33554432000 4194304 4196468 140736461347504 139637027771520 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13450] ppid=13446 vsize=28766288 memory=6791534058613427641 CPUtime=2.06 cores=0-7 /proc/13448/task/13450/stat : 13450 (java) S 13446 13446 11640 0 -1 1077944384 2190 0 0 0 134 72 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636976151696 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13451] ppid=13446 vsize=28766288 memory=1448 CPUtime=2.05 cores=0-7 /proc/13448/task/13451/stat : 13451 (java) S 13446 13446 11640 0 -1 1077944384 2011 0 0 0 129 76 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636975098896 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13452] ppid=13446 vsize=28766288 memory=3465744 CPUtime=2.05 cores=0-7 /proc/13448/task/13452/stat : 13452 (java) S 13446 13446 11640 0 -1 1077944384 2231 0 0 0 134 71 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636974046096 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13453] ppid=13446 vsize=28766288 memory=4104 CPUtime=2.06 cores=0-7 /proc/13448/task/13453/stat : 13453 (java) S 13446 13446 11640 0 -1 1077944384 1823 0 0 0 132 74 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636972993296 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13454] ppid=13446 vsize=28766288 memory=3472328296227679313 CPUtime=2.04 cores=0-7 /proc/13448/task/13454/stat : 13454 (java) S 13446 13446 11640 0 -1 1077944384 2204 0 0 0 131 73 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636971940496 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13455] ppid=13446 vsize=28766288 memory=49 CPUtime=2.05 cores=0-7 /proc/13448/task/13455/stat : 13455 (java) S 13446 13446 11640 0 -1 1077944384 1784 0 0 0 133 72 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636569397776 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13456] ppid=13446 vsize=28766288 memory=41 CPUtime=2.04 cores=0-7 /proc/13448/task/13456/stat : 13456 (java) S 13446 13446 11640 0 -1 1077944384 2196 0 0 0 132 72 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636568344976 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13457] ppid=13446 vsize=28766288 memory=47 CPUtime=2.05 cores=0-7 /proc/13448/task/13457/stat : 13457 (java) S 13446 13446 11640 0 -1 1077944384 1894 0 0 0 131 74 0 0 20 0 28 0 477029079 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636567292176 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13458] ppid=13446 vsize=28766288 memory=6791534058613427641 CPUtime=0.94 cores=0-7 /proc/13448/task/13458/stat : 13458 (java) S 13446 13446 11640 0 -1 1077944384 4333 0 0 0 93 1 0 0 20 0 28 0 477029080 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636005677936 139637023541890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13459] ppid=13446 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/13448/task/13459/stat : 13459 (java) S 13446 13446 11640 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 477029081 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636004623968 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13460] ppid=13446 vsize=28766288 memory=279879933692064 CPUtime=0 cores=0-7 /proc/13448/task/13460/stat : 13460 (java) S 13446 13446 11640 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 477029081 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636003571072 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13461] ppid=13446 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/13448/task/13461/stat : 13461 (java) S 13446 13446 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636002519376 139637023549339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13462] ppid=13446 vsize=28766288 memory=2267316 CPUtime=0.65 cores=0-7 /proc/13448/task/13462/stat : 13462 (java) R 13446 13446 11640 0 -1 4202560 2383 0 0 0 64 1 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636001465920 139637023552090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13463] ppid=13446 vsize=28766288 memory=776 CPUtime=0.71 cores=0-7 /proc/13448/task/13463/stat : 13463 (java) R 13446 13446 11640 0 -1 4202560 2426 0 0 0 70 1 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139636000405584 139637023552090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13464] ppid=13446 vsize=28766288 memory=1564 CPUtime=0.58 cores=0-7 /proc/13448/task/13464/stat : 13464 (java) R 13446 13446 11640 0 -1 4202560 2441 0 0 0 58 0 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139635999342544 139637003184417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13465] ppid=13446 vsize=28766288 memory=6088 CPUtime=0.58 cores=0-7 /proc/13448/task/13465/stat : 13465 (java) R 13446 13446 11640 0 -1 1077944384 3198 0 0 0 57 1 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139635998308336 139637023541890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13466] ppid=13446 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/13448/task/13466/stat : 13466 (java) S 13446 13446 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477029083 29456678912 866760 33554432000 4194304 4196468 140736461347504 139635997256800 139637023540949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 [pid=13448/tid=13467] ppid=13446 vsize=28766288 memory=2828 CPUtime=0 cores=0-7 /proc/13448/task/13467/stat : 13467 (java) S 13446 13446 11640 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 477029084 29456678912 866760 33554432000 4194304 4196468 140736461347504 139635996204080 139637023541890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22966272 140736461353942 140736461354118 140736461354118 140736461357007 0 Current children cumulated CPU time: 28.72 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3468488 KiB Child status: 0 Real time (s): 10.57 CPU time (s): 29.0215 CPU user time (s): 22.8118 CPU system time (s): 6.2097 CPU usage (%): 274.566 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 3468488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.8118 system time used= 6.2097 maximum resident set size= 3468656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46461 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5057 involuntary context switches= 264 # summary of solver processes directly reported to runsolver: # pid: 13446 # total CPU time (s): 29.0215 # total CPU user time (s): 22.8118 # total CPU system time (s): 6.2097 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.090569 second user time and 0.159949 second system time The end
Begin job on node124 at 2019-09-20 22:20:49 IDJOB=4404502 IDBENCH=140060 IDSOLVER=2865 FILE ID=node124/4404502-1569010890 RUNJOBID= node124-1569005314-11667 PBS_JOBID= 21704756 Free space on /var/tmp= 13504 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.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-4404502-1569010890/watcher-4404502-1569010890 -o /var/tmp/evaluation-result-4404502-1569010890/solver-4404502-1569010890 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 269520486 HOME/instance-4404502-1569010890.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=269520486 node124.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.47 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.47 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.47 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.47 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: 15774320 kB MemAvailable: 31820500 kB Buffers: 142028 kB Cached: 15850296 kB SwapCached: 28940 kB Active: 7960276 kB Inactive: 8065920 kB Active(anon): 2876 kB Inactive(anon): 80500 kB Active(file): 7957400 kB Inactive(file): 7985420 kB Unevictable: 108080 kB Mlocked: 108080 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 32364 kB Writeback: 0 kB AnonPages: 114448 kB Mapped: 52636 kB Shmem: 40884 kB Slab: 560308 kB SReclaimable: 531820 kB SUnreclaim: 28488 kB KernelStack: 3328 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13480 MiB End job on node124 at 2019-09-20 22:21:00