Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 32 | 233.086 | 30.0442 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-15.xml |
MD5SUM | cca0fe077f2d073d0e0e51ff08e17328 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 22.5937 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 150 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":60},{"size":9,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":26}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":60},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":26}] |
Number of extensional constraints | 90 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":90},{"type":"sum","count":60}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400111-1568709562.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400111-1568709562.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.67/0.73 c solve instance... 1.67/0.77 o 0 1.67/0.78 o 4 1.67/0.79 o 6 2.21/0.80 o 8 2.21/0.82 o 17 2.21/0.83 o 19 2.21/0.85 o 20 2.89/0.97 o 26 4.51/1.15 o 27 5.99/1.36 o 28 8.38/1.66 o 30 37.58/5.39 o 31 39.90/5.67 o 32 232.88/30.03 s OPTIMUM FOUND 232.88/30.03 v <instantiation> 232.88/30.03 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] </list> 232.88/30.03 v <values>1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 2 2 2 2 2 4 2 2 2 2 3 2 4 2 2 3 4 4 4 3 4 3 4 4 2 6 3 5 3 4 4 3 4 3 4 4 4 3 5 3 6 2 4 4 3 2 2 4 2 2 2 2 2 4 2 3 2 2 2 2 </values> 232.88/30.03 v </instantiation>
OK 32
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 (14716 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400111-1568709562/watcher-4400111-1568709562 -o /tmp/evaluation-result-4400111-1568709562/solver-4400111-1568709562 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 849663748 HOME/instance-4400111-1568709562.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30941, runsolver pid=30938 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 8.33 8.30 8.23 3/210 30962 /proc/meminfo: memFree=30658160/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28227396 memory=28940 CPUtime=0.12 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 5636 0 0 0 10 2 0 0 20 0 20 0 447212037 28904853504 7235 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7056849 7235 3158 1 0 7019032 0 [pid=30943/tid=30944] ppid=30941 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) R 30941 30941 26088 0 -1 4202560 3591 0 0 0 8 1 0 0 20 0 20 0 447212037 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671592938528 139671588715926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28227396 memory=288370736071624320 CPUtime=0 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30948] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30948/stat : 30948 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671538166416 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30949] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30949/stat : 30949 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671537113872 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30950] ppid=30941 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30950/stat : 30950 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671536061328 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30951] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30951/stat : 30951 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671535008784 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30952] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30952/stat : 30952 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 7235 33554432000 4194304 4196468 140728272814080 139671533956240 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30953] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30953/stat : 30953 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212039 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670637791216 139671588715138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30954] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30954/stat : 30954 (java) S 30941 30941 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447212040 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670636737440 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30955] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30955/stat : 30955 (java) S 30941 30941 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447212040 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670635684848 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30956] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30956/stat : 30956 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670634633424 139671588722587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30957] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30957/stat : 30957 (java) S 30941 30941 26088 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670633581040 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30958] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30958/stat : 30958 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670632528496 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30959] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30959/stat : 30959 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670631475952 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30960] ppid=30941 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) R 30941 30941 26088 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 7235 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30392 KiB [startup+0.210083 s]* /proc/loadavg: 8.33 8.30 8.23 2/210 30962 /proc/meminfo: memFree=30645324/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28227396 memory=40744 CPUtime=0.33 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 9364 0 0 0 30 3 0 0 20 0 20 0 447212037 28904853504 10186 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7056849 10186 3299 1 0 7019032 0 [pid=30943/tid=30944] ppid=30941 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) R 30941 30941 26088 0 -1 4202560 6598 0 0 0 17 2 0 0 20 0 20 0 447212037 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671592933712 139671588725917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28227396 memory=10923 CPUtime=0 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28227396 memory=140359919938921 CPUtime=0 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30948] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30948/stat : 30948 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671538166416 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30949] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30949/stat : 30949 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671537113872 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30950] ppid=30941 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30950/stat : 30950 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671536061328 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30951] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30951/stat : 30951 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671535008784 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30952] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30952/stat : 30952 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212038 28904853504 10186 33554432000 4194304 4196468 140728272814080 139671533956240 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30953] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30953/stat : 30953 (java) S 30941 30941 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447212039 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670637791216 139671588715138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30954] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30954/stat : 30954 (java) S 30941 30941 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447212040 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670636737440 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30955] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30955/stat : 30955 (java) S 30941 30941 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447212040 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670635684848 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30956] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30956/stat : 30956 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670634633424 139671588722587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30957] ppid=30941 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30943/task/30957/stat : 30957 (java) S 30941 30941 26088 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670633581040 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30958] ppid=30941 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30943/task/30958/stat : 30958 (java) S 30941 30941 26088 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670632528496 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30959] ppid=30941 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30943/task/30959/stat : 30959 (java) S 30941 30941 26088 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670631475952 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30960] ppid=30941 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) S 30941 30941 26088 0 -1 1077944384 802 0 0 0 7 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28904853504 10186 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42196 KiB [startup+0.309496 s]* /proc/loadavg: 8.33 8.30 8.23 3/210 30962 /proc/meminfo: memFree=30639368/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28231652 memory=49696 CPUtime=0.52 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 10791 0 0 0 48 4 0 0 20 0 20 0 447212037 28909211648 12424 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7057913 12424 3347 1 0 7019032 0 [pid=30943/tid=30944] ppid=30941 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) R 30941 30941 26088 0 -1 4202560 7692 0 0 0 27 3 0 0 20 0 20 0 447212037 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671592935104 139671572784478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30948] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30948/stat : 30948 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671538166416 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30949] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30949/stat : 30949 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671537113872 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30950] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30950/stat : 30950 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671536061328 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30951] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30951/stat : 30951 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671535008784 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30952] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30952/stat : 30952 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212038 28909211648 12424 33554432000 4194304 4196468 140728272814080 139671533956240 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30953] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30953/stat : 30953 (java) S 30941 30941 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447212039 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670637791216 139671588715138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30954] ppid=30941 vsize=28231652 memory=280719599541632 CPUtime=0 cores=0-7 /proc/30943/task/30954/stat : 30954 (java) S 30941 30941 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447212040 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670636737440 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30955] ppid=30941 vsize=28231652 memory=280719599546240 CPUtime=0 cores=0-7 /proc/30943/task/30955/stat : 30955 (java) S 30941 30941 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447212040 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670635684848 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30956] ppid=30941 vsize=28231652 memory=280719599550848 CPUtime=0 cores=0-7 /proc/30943/task/30956/stat : 30956 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670634633424 139671588722587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30957] ppid=30941 vsize=28231652 memory=280719599555456 CPUtime=0.03 cores=0-7 /proc/30943/task/30957/stat : 30957 (java) R 30941 30941 26088 0 -1 4202560 603 0 0 0 3 0 0 0 20 0 20 0 447212043 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670633581040 139671569404288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30958] ppid=30941 vsize=28231652 memory=280719599560064 CPUtime=0.01 cores=0-7 /proc/30943/task/30958/stat : 30958 (java) S 30941 30941 26088 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 447212043 28909211648 12424 33554432000 4194304 4196468 140728272814080 139670632528496 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30959] ppid=30941 vsize=28231652 memory=280719599564672 CPUtime=0.03 cores=0-7 /proc/30943/task/30959/stat : 30959 (java) S 30941 30941 26088 0 -1 1077944384 110 0 0 0 3 0 0 0 20 0 20 0 447212043 28909211648 12462 33554432000 4194304 4196468 140728272814080 139670631475952 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30960] ppid=30941 vsize=28231652 memory=280719599569280 CPUtime=0.12 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) S 30941 30941 26088 0 -1 1077944384 958 0 0 0 12 0 0 0 20 0 20 0 447212043 28909211648 12462 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447212043 28909211648 12462 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212043 28909211648 12462 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51148 KiB [startup+0.70088 s] /proc/loadavg: 8.33 8.30 8.23 2/210 30962 /proc/meminfo: memFree=30626508/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28233776 memory=92456 CPUtime=1.67 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 16956 0 0 0 160 7 0 0 20 0 20 0 447212037 28911386624 23114 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7058444 23114 3456 1 0 7019544 0 [pid=30943/tid=30944] ppid=30941 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) R 30941 30941 26088 0 -1 4202560 9150 0 0 0 64 4 0 0 20 0 20 0 447212037 28911386624 23114 33554432000 4194304 4196468 140728272814080 139671592939648 139671212469530 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28233776 memory=140359799972736 CPUtime=0 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28911386624 23114 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447212038 28911386624 23114 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447212038 28911386624 23114 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 ################ # More data... # ################ [pid=30943/tid=30960] ppid=30941 vsize=28901464 memory=9364 CPUtime=0.78 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) S 30941 30941 26088 0 -1 1077944384 5718 0 0 0 77 1 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31069] ppid=30941 vsize=28901464 memory=0 CPUtime=22.79 cores=0-7 /proc/30943/task/31069/stat : 31069 (java) R 30941 30941 26088 0 -1 4202560 423 0 0 0 2279 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670619100736 139671573042816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31070] ppid=30941 vsize=28901464 memory=0 CPUtime=22.72 cores=0-7 /proc/30943/task/31070/stat : 31070 (java) R 30941 30941 26088 0 -1 4202560 381 0 0 0 2272 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670616993696 139671218780231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31071] ppid=30941 vsize=28901464 memory=0 CPUtime=22.88 cores=0-7 /proc/30943/task/31071/stat : 31071 (java) R 30941 30941 26088 0 -1 4202560 1418 0 0 0 2288 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670615941680 139671218409813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31072] ppid=30941 vsize=28901464 memory=0 CPUtime=22.7 cores=0-7 /proc/30943/task/31072/stat : 31072 (java) R 30941 30941 26088 0 -1 4202560 1181 0 0 0 2270 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670613836528 139671218447616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31073] ppid=30941 vsize=28901464 memory=0 CPUtime=22.8 cores=0-7 /proc/30943/task/31073/stat : 31073 (java) R 30941 30941 26088 0 -1 4202560 451 0 0 0 2280 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670607532352 139671218108304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31074] ppid=30941 vsize=28901464 memory=0 CPUtime=22.72 cores=0-7 /proc/30943/task/31074/stat : 31074 (java) R 30941 30941 26088 0 -1 4202560 766 0 0 0 2272 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670612783936 139671213544360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31075] ppid=30941 vsize=28901464 memory=0 CPUtime=22.72 cores=0-7 /proc/30943/task/31075/stat : 31075 (java) R 30941 30941 26088 0 -1 4202560 963 0 0 0 2272 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670618046488 139671219877905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31076] ppid=30941 vsize=28901464 memory=0 CPUtime=22.82 cores=0-7 /proc/30943/task/31076/stat : 31076 (java) R 30941 30941 26088 0 -1 4202560 443 0 0 0 2282 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670608584872 139671218780940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 223.47 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 174680 KiB [startup+29.6107 s] /proc/loadavg: 8.28 8.29 8.23 9/218 31077 /proc/meminfo: memFree=30514140/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28901464 memory=173228 CPUtime=229.74 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 51482 0 0 0 22945 29 0 0 20 0 28 0 447212037 29595099136 43307 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7225366 43307 3531 1 0 7186466 0 [pid=30943/tid=30944] ppid=30941 vsize=28901464 memory=8514726395714825349 CPUtime=0.73 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) S 30941 30941 26088 0 -1 1077944384 9378 0 0 0 69 4 0 0 20 0 28 0 447212037 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671592944768 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28901464 memory=4713745541279610410 CPUtime=0.06 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 349 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28901464 memory=-8253362762722141311 CPUtime=0.07 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 470 0 0 0 6 1 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28901464 memory=-8707038579349950309 CPUtime=0.08 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 708 0 0 0 7 1 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30948] ppid=30941 vsize=28901464 memory=-6520471753822164382 CPUtime=0.06 cores=0-7 /proc/30943/task/30948/stat : 30948 (java) S 30941 30941 26088 0 -1 1077944384 737 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671538166416 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30949] ppid=30941 vsize=28901464 memory=8514701219730522529 CPUtime=0.06 cores=0-7 /proc/30943/task/30949/stat : 30949 (java) S 30941 30941 26088 0 -1 1077944384 578 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671537113872 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30950] ppid=30941 vsize=28901464 memory=-8341965534556230502 CPUtime=0.06 cores=0-7 /proc/30943/task/30950/stat : 30950 (java) S 30941 30941 26088 0 -1 1077944384 338 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671536061328 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30951] ppid=30941 vsize=28901464 memory=7822038051842261661 CPUtime=0.07 cores=0-7 /proc/30943/task/30951/stat : 30951 (java) S 30941 30941 26088 0 -1 1077944384 620 0 0 0 7 0 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671535008784 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30952] ppid=30941 vsize=28901464 memory=9047017150487036571 CPUtime=0.07 cores=0-7 /proc/30943/task/30952/stat : 30952 (java) S 30941 30941 26088 0 -1 1077944384 1384 0 0 0 6 1 0 0 20 0 28 0 447212038 29595099136 43307 33554432000 4194304 4196468 140728272814080 139671533956240 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30953] ppid=30941 vsize=28901464 memory=-8412656567318647667 CPUtime=0.08 cores=0-7 /proc/30943/task/30953/stat : 30953 (java) S 30941 30941 26088 0 -1 1077944384 1678 0 0 0 7 1 0 0 20 0 28 0 447212039 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670637791216 139671588715138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30954] ppid=30941 vsize=28901464 memory=4427205132082312746 CPUtime=0 cores=0-7 /proc/30943/task/30954/stat : 30954 (java) S 30941 30941 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447212040 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670636737504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30955] ppid=30941 vsize=28901464 memory=31716 CPUtime=0 cores=0-7 /proc/30943/task/30955/stat : 30955 (java) S 30941 30941 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447212040 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670635684848 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30956] ppid=30941 vsize=28901464 memory=988 CPUtime=0 cores=0-7 /proc/30943/task/30956/stat : 30956 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670634633424 139671588722587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30957] ppid=30941 vsize=28901464 memory=2016 CPUtime=1.13 cores=0-7 /proc/30943/task/30957/stat : 30957 (java) S 30941 30941 26088 0 -1 1077944384 5267 0 0 0 112 1 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670633581040 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30958] ppid=30941 vsize=28901464 memory=1284 CPUtime=1.26 cores=0-7 /proc/30943/task/30958/stat : 30958 (java) S 30941 30941 26088 0 -1 1077944384 6351 0 0 0 125 1 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670632528496 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30959] ppid=30941 vsize=28901464 memory=1044 CPUtime=1.27 cores=0-7 /proc/30943/task/30959/stat : 30959 (java) S 30941 30941 26088 0 -1 1077944384 6507 0 0 0 126 1 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670631475952 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30960] ppid=30941 vsize=28901464 memory=708 CPUtime=0.78 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) S 30941 30941 26088 0 -1 1077944384 5742 0 0 0 77 1 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28901464 memory=9364 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28901464 memory=1120 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31069] ppid=30941 vsize=28901464 memory=776 CPUtime=23.59 cores=0-7 /proc/30943/task/31069/stat : 31069 (java) R 30941 30941 26088 0 -1 4202560 424 0 0 0 2359 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670619098288 139671218699203 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31070] ppid=30941 vsize=28901464 memory=1552 CPUtime=23.51 cores=0-7 /proc/30943/task/31070/stat : 31070 (java) R 30941 30941 26088 0 -1 4202560 382 0 0 0 2351 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670616993584 139671218409651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31071] ppid=30941 vsize=28901464 memory=8076 CPUtime=23.68 cores=0-7 /proc/30943/task/31071/stat : 31071 (java) R 30941 30941 26088 0 -1 4202560 1419 0 0 0 2368 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670615941880 139671215682447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31072] ppid=30941 vsize=28901464 memory=4008 CPUtime=23.5 cores=0-7 /proc/30943/task/31072/stat : 31072 (java) R 30941 30941 26088 0 -1 4202560 1181 0 0 0 2350 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670613836488 139671215682854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31073] ppid=30941 vsize=28901464 memory=1556 CPUtime=23.53 cores=0-7 /proc/30943/task/31073/stat : 31073 (java) R 30941 30941 26088 0 -1 4202560 453 0 0 0 2353 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670607528888 139671218410050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31074] ppid=30941 vsize=28901464 memory=2832 CPUtime=23.46 cores=0-7 /proc/30943/task/31074/stat : 31074 (java) R 30941 30941 26088 0 -1 4202560 768 0 0 0 2346 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670612784024 139671218407809 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31075] ppid=30941 vsize=28901464 memory=984 CPUtime=23.51 cores=0-7 /proc/30943/task/31075/stat : 31075 (java) R 30941 30941 26088 0 -1 4202560 963 0 0 0 2351 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670618048976 139671218108647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31076] ppid=30941 vsize=28901464 memory=14012 CPUtime=23.61 cores=0-7 /proc/30943/task/31076/stat : 31076 (java) R 30941 30941 26088 0 -1 4202560 444 0 0 0 2361 0 0 0 20 0 28 0 447212604 29595099136 43307 33554432000 4194304 4196468 140728272814080 139670608580920 140728272873686 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 229.74 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 174680 KiB [startup+30.0017 s]* /proc/loadavg: 8.28 8.29 8.23 9/218 31077 /proc/meminfo: memFree=30514140/32770624 swapFree=66926784/67108860 [pid=30941] ppid=30938 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30941/stat : 30941 (xcsp3-exec) S 30938 30941 26088 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447212036 115843072 363 33554432000 4194304 5098028 140726815720928 140726815719032 140095767761532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20217856 140726815728508 140726815728750 140726815728750 140726815731658 0 /proc/30941/statm: 28282 363 304 221 0 87 0 [pid=30943] ppid=30941 vsize=28901464 memory=173340 CPUtime=232.88 cores=0-7 /proc/30943/stat : 30943 (java) S 30941 30941 26088 0 -1 1077944320 51493 0 0 0 23259 29 0 0 20 0 28 0 447212037 29595099136 43335 33554432000 4194304 4196468 140728272814080 140728272796624 139671588703991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 /proc/30943/statm: 7225366 43335 3531 1 0 7186466 0 [pid=30943/tid=30944] ppid=30941 vsize=28901464 memory=8317482817917895235 CPUtime=0.73 cores=0-7 /proc/30943/task/30944/stat : 30944 (java) S 30941 30941 26088 0 -1 1077944384 9378 0 0 0 69 4 0 0 20 0 28 0 447212037 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671592944768 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30945] ppid=30941 vsize=28901464 memory=0 CPUtime=0.06 cores=0-7 /proc/30943/task/30945/stat : 30945 (java) S 30941 30941 26088 0 -1 1077944384 349 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671541324048 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30946] ppid=30941 vsize=28901464 memory=2161 CPUtime=0.07 cores=0-7 /proc/30943/task/30946/stat : 30946 (java) S 30941 30941 26088 0 -1 1077944384 470 0 0 0 6 1 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671540271504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30947] ppid=30941 vsize=28901464 memory=2153 CPUtime=0.08 cores=0-7 /proc/30943/task/30947/stat : 30947 (java) S 30941 30941 26088 0 -1 1077944384 710 0 0 0 7 1 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671539218960 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30948] ppid=30941 vsize=28901464 memory=2169 CPUtime=0.07 cores=0-7 /proc/30943/task/30948/stat : 30948 (java) S 30941 30941 26088 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671538166416 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30949] ppid=30941 vsize=28901464 memory=280719331263954 CPUtime=0.06 cores=0-7 /proc/30943/task/30949/stat : 30949 (java) S 30941 30941 26088 0 -1 1077944384 579 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671537113872 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30950] ppid=30941 vsize=28901464 memory=7016671349533276567 CPUtime=0.06 cores=0-7 /proc/30943/task/30950/stat : 30950 (java) S 30941 30941 26088 0 -1 1077944384 338 0 0 0 6 0 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671536061328 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30951] ppid=30941 vsize=28901464 memory=4206468019030876256 CPUtime=0.07 cores=0-7 /proc/30943/task/30951/stat : 30951 (java) S 30941 30941 26088 0 -1 1077944384 621 0 0 0 7 0 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671535008784 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30952] ppid=30941 vsize=28901464 memory=-7533229591096565664 CPUtime=0.07 cores=0-7 /proc/30943/task/30952/stat : 30952 (java) S 30941 30941 26088 0 -1 1077944384 1387 0 0 0 6 1 0 0 20 0 28 0 447212038 29595099136 43335 33554432000 4194304 4196468 140728272814080 139671533956240 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30953] ppid=30941 vsize=28901464 memory=-9001727377965607015 CPUtime=0.08 cores=0-7 /proc/30943/task/30953/stat : 30953 (java) S 30941 30941 26088 0 -1 1077944384 1678 0 0 0 7 1 0 0 20 0 28 0 447212039 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670637791216 139671588715138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30954] ppid=30941 vsize=28901464 memory=-7812736537705029536 CPUtime=0 cores=0-7 /proc/30943/task/30954/stat : 30954 (java) S 30941 30941 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447212040 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670636737504 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30955] ppid=30941 vsize=28901464 memory=18256 CPUtime=0 cores=0-7 /proc/30943/task/30955/stat : 30955 (java) S 30941 30941 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447212040 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670635684848 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30956] ppid=30941 vsize=28901464 memory=1452 CPUtime=0 cores=0-7 /proc/30943/task/30956/stat : 30956 (java) S 30941 30941 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670634633424 139671588722587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30957] ppid=30941 vsize=28901464 memory=6791534058613427641 CPUtime=1.13 cores=0-7 /proc/30943/task/30957/stat : 30957 (java) S 30941 30941 26088 0 -1 1077944384 5267 0 0 0 112 1 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670633581040 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30958] ppid=30941 vsize=28901464 memory=6944656592387989600 CPUtime=1.26 cores=0-7 /proc/30943/task/30958/stat : 30958 (java) S 30941 30941 26088 0 -1 1077944384 6351 0 0 0 125 1 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670632528496 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30959] ppid=30941 vsize=28901464 memory=6944656592387989600 CPUtime=1.27 cores=0-7 /proc/30943/task/30959/stat : 30959 (java) S 30941 30941 26088 0 -1 1077944384 6507 0 0 0 126 1 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670631475952 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30960] ppid=30941 vsize=28901464 memory=6655300316396793914 CPUtime=0.78 cores=0-7 /proc/30943/task/30960/stat : 30960 (java) S 30941 30941 26088 0 -1 1077944384 5742 0 0 0 77 1 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670630423408 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30961] ppid=30941 vsize=28901464 memory=6944652177228967994 CPUtime=0 cores=0-7 /proc/30943/task/30961/stat : 30961 (java) S 30941 30941 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670629370080 139671588714197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=30962] ppid=30941 vsize=28901464 memory=6931104011863090534 CPUtime=0 cores=0-7 /proc/30943/task/30962/stat : 30962 (java) S 30941 30941 26088 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 28 0 447212043 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670628317616 139671588715138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31069] ppid=30941 vsize=28901464 memory=6943526294502006832 CPUtime=23.99 cores=0-7 /proc/30943/task/31069/stat : 31069 (java) R 30941 30941 26088 0 -1 4202560 424 0 0 0 2399 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670619098288 139671218409499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31070] ppid=30941 vsize=28901464 memory=6656426216303648816 CPUtime=23.91 cores=0-7 /proc/30943/task/31070/stat : 31070 (java) R 30941 30941 26088 0 -1 4202560 383 0 0 0 2391 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670616997744 139671220428696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31071] ppid=30941 vsize=28901464 memory=5787213827382272544 CPUtime=24.08 cores=0-7 /proc/30943/task/31071/stat : 31071 (java) R 30941 30941 26088 0 -1 4202560 1420 0 0 0 2408 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670615941656 139671218779646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31072] ppid=30941 vsize=28901464 memory=7649399362840846675 CPUtime=23.9 cores=0-7 /proc/30943/task/31072/stat : 31072 (java) R 30941 30941 26088 0 -1 4202560 1181 0 0 0 2390 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670613836464 139671215683087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31073] ppid=30941 vsize=28901464 memory=2608 CPUtime=23.92 cores=0-7 /proc/30943/task/31073/stat : 31073 (java) R 30941 30941 26088 0 -1 4202560 453 0 0 0 2392 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670607531088 139671218602277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31074] ppid=30941 vsize=28901464 memory=6154848828556269427 CPUtime=23.84 cores=0-7 /proc/30943/task/31074/stat : 31074 (java) R 30941 30941 26088 0 -1 4202560 768 0 0 0 2384 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670612787744 139671221200538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31075] ppid=30941 vsize=28901464 memory=6944656592387989600 CPUtime=23.91 cores=0-7 /proc/30943/task/31075/stat : 31075 (java) R 30941 30941 26088 0 -1 4202560 963 0 0 0 2391 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670618046648 139671219910641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 [pid=30943/tid=31076] ppid=30941 vsize=28901464 memory=7668592670415020372 CPUtime=24 cores=0-7 /proc/30943/task/31076/stat : 31076 (java) R 30941 30941 26088 0 -1 4202560 446 0 0 0 2400 0 0 0 20 0 28 0 447212604 29595099136 43335 33554432000 4194304 4196468 140728272814080 139670608580984 139671218700079 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32235520 140728272823280 140728272823451 140728272823451 140728272826319 0 Current children cumulated CPU time: 232.88 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 174792 KiB Child status: 0 Real time (s): 30.0442 CPU time (s): 233.086 CPU user time (s): 232.78 CPU system time (s): 0.305912 CPU usage (%): 775.809 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 216548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 232.78 system time used= 0.305912 maximum resident set size= 218060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52748 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11135 involuntary context switches= 3228 # summary of solver processes directly reported to runsolver: # pid: 30941 # total CPU time (s): 233.086 # total CPU user time (s): 232.78 # total CPU system time (s): 0.305912 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.318041 second user time and 0.342506 second system time The end
Begin job on node107 at 2019-09-17 09:37:24 IDJOB=4400111 IDBENCH=115956 IDSOLVER=2855 FILE ID=node107/4400111-1568709562 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-15.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400111-1568709562/watcher-4400111-1568709562 -o /tmp/evaluation-result-4400111-1568709562/solver-4400111-1568709562 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 849663748 HOME/instance-4400111-1568709562.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cca0fe077f2d073d0e0e51ff08e17328 RANDOM SEED=849663748 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30674516 kB MemAvailable: 31811508 kB Buffers: 226076 kB Cached: 1187180 kB SwapCached: 76296 kB Active: 682188 kB Inactive: 808192 kB Active(anon): 11064 kB Inactive(anon): 109076 kB Active(file): 671124 kB Inactive(file): 699116 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926784 kB Dirty: 26148 kB Writeback: 0 kB AnonPages: 112556 kB Mapped: 42704 kB Shmem: 34400 kB Slab: 195000 kB SReclaimable: 165172 kB SUnreclaim: 29828 kB KernelStack: 3392 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 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: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:37:54