Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 30.9789 | 24.3398 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-064.xml |
MD5SUM | 019f4b77ddc0f15b2fea5bd490d99eee |
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 | 5.1842 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 64 |
Maximum domain size | 4096 |
Distribution of domain sizes | [{"size":64,"count":64},{"size":4096,"count":64}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":64},{"degree":4,"count":63},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":64},{"arity":32,"count":6},{"arity":64,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 65 |
Distribution of constraint types | [{"type":"intension","count":65},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
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-4406679-1569346022.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406679-1569346022.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 26.34/23.66 c solve instance... 30.54/24.25 s SATISFIABLE 30.54/24.25 v <instantiation> 30.54/24.25 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] </list> 30.54/24.25 v <values>1 3 6 8 9 18 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 55 58 59 60 61 62 63 64 2 4 5 7 10 11 12 13 14 15 16 17 19 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 56 57 1 9 36 64 81 324 400 441 484 529 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 3025 3364 3481 3600 3721 3844 3969 4096 4 16 25 49 100 121 144 169 196 225 256 289 361 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3136 3249 </values> 30.54/24.25 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 (12307 MiB free) memory of node 1: 16384 MiB (12318 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406679-1569346022/watcher-4406679-1569346022 -o /var/tmp/evaluation-result-4406679-1569346022/solver-4406679-1569346022 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4406679-1569346022.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=31063, runsolver pid=31060 Current StackSize limit: 8192 KiB [startup+0.100123 s]* /proc/loadavg: 8.01 7.47 6.79 3/211 31084 /proc/meminfo: memFree=25199188/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28227396 memory=29040 CPUtime=0.12 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 510543983 28904853504 7260 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7056849 7260 3155 1 0 7019032 0 [pid=31065/tid=31066] ppid=31063 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) R 31063 31063 28266 0 -1 4202560 3603 0 0 0 8 1 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532894937736 140532890717590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28227396 memory=140076496373376 CPUtime=0 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31070] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31070/stat : 31070 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532807400336 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31071] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31071/stat : 31071 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532438391312 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31072] ppid=31063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31072/stat : 31072 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532437338768 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31073] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28904853504 7260 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543986 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531605379824 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510543986 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531604326048 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510543987 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531603272944 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531602221520 140532890724251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) S 31063 31063 28266 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531601168624 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) R 31063 31063 28266 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531600116080 140532874115711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531280766960 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) R 31063 31063 28266 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531279709456 140532870012972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31084] ppid=31063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31084/stat : 31084 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 7260 33554432000 4194304 4196468 140735397262768 140531277610160 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30488 KiB [startup+0.213979 s]* /proc/loadavg: 8.01 7.47 6.79 2/211 31084 /proc/meminfo: memFree=25186952/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28227396 memory=40332 CPUtime=0.34 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 9370 0 0 0 32 2 0 0 20 0 20 0 510543983 28904853504 10083 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7056849 10083 3245 1 0 7019032 0 [pid=31065/tid=31066] ppid=31063 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) R 31063 31063 28266 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532894937232 140532874786142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28227396 memory=288370452648085120 CPUtime=0 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31070] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31070/stat : 31070 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532807400336 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31071] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31071/stat : 31071 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532438391312 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31072] ppid=31063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31072/stat : 31072 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532437338768 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31073] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28904853504 10083 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510543986 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531605379824 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510543986 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531604326048 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510543987 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531603272944 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531602221520 140532890724251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) S 31063 31063 28266 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531601168624 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) S 31063 31063 28266 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531600116080 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) R 31063 31063 28266 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531280766960 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) S 31063 31063 28266 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531279714416 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31084] ppid=31063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31084/stat : 31084 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28904853504 10083 33554432000 4194304 4196468 140735397262768 140531277610160 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41780 KiB [startup+0.3105 s]* /proc/loadavg: 8.01 7.47 6.79 4/211 31084 /proc/meminfo: memFree=25180156/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28231652 memory=49688 CPUtime=0.52 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 10868 0 0 0 49 3 0 0 20 0 20 0 510543983 28909211648 12422 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7057913 12422 3324 1 0 7019032 0 [pid=31065/tid=31066] ppid=31063 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) R 31063 31063 28266 0 -1 4202560 7796 0 0 0 27 3 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532894939440 140532890727581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31070] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31070/stat : 31070 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532807400336 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31071] ppid=31063 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31065/task/31071/stat : 31071 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532438391312 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31072] ppid=31063 vsize=28231652 memory=140076399031215 CPUtime=0 cores=0-7 /proc/31065/task/31072/stat : 31072 (java) S 31063 31063 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510543984 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532437338768 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31073] ppid=31063 vsize=28231652 memory=140076399033520 CPUtime=0 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28231652 memory=140076399035824 CPUtime=0 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543985 28909211648 12422 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510543986 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531605379824 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28231652 memory=280152798078608 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510543986 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531604326048 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28231652 memory=280152798085520 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510543987 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531603272944 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28231652 memory=280152798026800 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531602221520 140532890724251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28231652 memory=280152798099344 CPUtime=0.04 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) R 31063 31063 28266 0 -1 4202560 653 0 0 0 4 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531601158736 140532872250240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28231652 memory=280152798106256 CPUtime=0.01 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) S 31063 31063 28266 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531600116080 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28231652 memory=280152798103952 CPUtime=0.03 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) S 31063 31063 28266 0 -1 1077944384 93 0 0 0 3 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531280766960 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28231652 memory=280152798120112 CPUtime=0.13 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) S 31063 31063 28266 0 -1 1077944384 956 0 0 0 13 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531279714416 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31084] ppid=31063 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31065/task/31084/stat : 31084 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510543989 28909211648 12422 33554432000 4194304 4196468 140735397262768 140531277610160 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51136 KiB [startup+0.701043 s] /proc/loadavg: 8.01 7.47 6.79 5/211 31084 /proc/meminfo: memFree=25157936/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28233776 memory=189492 CPUtime=1.42 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 14476 0 0 0 134 8 0 0 20 0 20 0 510543983 28911386624 47373 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7058444 47373 3469 1 0 7019544 0 [pid=31065/tid=31066] ppid=31063 vsize=28233776 memory=280152798478000 CPUtime=0.67 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) R 31063 31063 28266 0 -1 4202560 9153 0 0 0 62 5 0 0 20 0 20 0 510543984 28911386624 47373 33554432000 4194304 4196468 140735397262768 140532894943744 140532490593009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28233776 memory=140076399240048 CPUtime=0 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510543984 28911386624 47373 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510543984 28911386624 47373 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28233776 memory=1716 CPUtime=0 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510543984 28911386624 47373 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 ################ # More data... # ################ [pid=31065/tid=31073] ppid=31063 vsize=28768336 memory=280152798050624 CPUtime=0.17 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 154 0 0 0 12 5 0 0 20 0 28 0 510543985 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28768336 memory=8514726395715350149 CPUtime=0.16 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 143 0 0 0 12 4 0 0 20 0 28 0 510543985 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28768336 memory=6576565900033959059 CPUtime=0.01 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 2767 0 0 0 1 0 0 0 20 0 28 0 510543986 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531605379824 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28768336 memory=3047711591806967692 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510543986 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531604326112 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28768336 memory=280152797872368 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510543987 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531603272960 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531602221520 140532890724251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28768336 memory=3644 CPUtime=0.38 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) S 31063 31063 28266 0 -1 1077944384 2218 0 0 0 38 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531601168624 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28768336 memory=780 CPUtime=0.38 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) S 31063 31063 28266 0 -1 1077944384 1792 0 0 0 38 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531600116080 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28768336 memory=2832 CPUtime=0.37 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) S 31063 31063 28266 0 -1 1077944384 1689 0 0 0 36 1 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531280766960 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28768336 memory=1716 CPUtime=0.59 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) S 31063 31063 28266 0 -1 1077944384 5236 0 0 0 59 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531279714416 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28768336 memory=1200 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31084] ppid=31063 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31084/stat : 31084 (java) S 31063 31063 28266 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531277610160 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31088] ppid=31063 vsize=28768336 memory=0 CPUtime=0.3 cores=0-7 /proc/31065/task/31088/stat : 31088 (java) R 31063 31063 28266 0 -1 4202560 116 0 0 0 30 0 0 0 20 0 28 0 510546350 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531268627168 140532493828187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31089] ppid=31063 vsize=28768336 memory=0 CPUtime=0.31 cores=0-7 /proc/31065/task/31089/stat : 31089 (java) R 31063 31063 28266 0 -1 4202560 60 0 0 0 31 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531265477648 140532493827496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31090] ppid=31063 vsize=28768336 memory=0 CPUtime=0.28 cores=0-7 /proc/31065/task/31090/stat : 31090 (java) R 31063 31063 28266 0 -1 4202560 49 0 0 0 28 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531264428200 140532493828355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31091] ppid=31063 vsize=28768336 memory=0 CPUtime=0.31 cores=0-7 /proc/31065/task/31091/stat : 31091 (java) R 31063 31063 28266 0 -1 4202560 101 0 0 0 31 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531195694104 140532493828347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31093] ppid=31063 vsize=28768336 memory=0 CPUtime=0.3 cores=0-7 /proc/31065/task/31093/stat : 31093 (java) R 31063 31063 28266 0 -1 4202560 53 0 0 0 30 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531194644088 140532493809936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31094] ppid=31063 vsize=28768336 memory=3978701783356747039 CPUtime=0.31 cores=0-7 /proc/31065/task/31094/stat : 31094 (java) R 31063 31063 28266 0 -1 4202560 51 0 0 0 31 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531193588504 140532493809918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31095] ppid=31063 vsize=28768336 memory=7885618647264285542 CPUtime=0.34 cores=0-7 /proc/31065/task/31095/stat : 31095 (java) R 31063 31063 28266 0 -1 4202560 77 0 0 0 34 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531192533648 140532493809914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31096] ppid=31063 vsize=28768336 memory=-5936723262782079792 CPUtime=0.28 cores=0-7 /proc/31065/task/31096/stat : 31096 (java) R 31063 31063 28266 0 -1 4202560 41 0 0 0 28 0 0 0 20 0 28 0 510546351 29458776064 1113989 33554432000 4194304 4196468 140735397262768 140531191482336 140532493809925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 29.12 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 4457404 KiB [startup+24.2061 s] /proc/loadavg: 5.48 6.92 6.63 9/219 31096 /proc/meminfo: memFree=20768412/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28768336 memory=4459592 CPUtime=30.54 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 37187 0 0 0 2938 116 0 0 20 0 28 0 510543983 29458776064 1114898 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7192084 1114898 3494 1 0 7153184 0 [pid=31065/tid=31066] ppid=31063 vsize=28768336 memory=4137290303932963203 CPUtime=23.42 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) S 31063 31063 28266 0 -1 1077944384 17894 0 0 0 2277 65 0 0 20 0 28 0 510543984 29458776064 1114898 33554432000 4194304 4196468 140735397262768 140532894946432 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28768336 memory=6944656591801719708 CPUtime=0.17 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 349 0 0 0 11 6 0 0 20 0 28 0 510543984 29458776064 1114898 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28768336 memory=6944656425123290226 CPUtime=0.17 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 278 0 0 0 11 6 0 0 20 0 28 0 510543984 29458776064 1114898 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28768336 memory=4206468019014099040 CPUtime=0.17 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 120 0 0 0 12 5 0 0 20 0 28 0 510543984 29458776064 1114964 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31070] ppid=31063 vsize=28768336 memory=288230591772754244 CPUtime=0.18 cores=0-7 /proc/31065/task/31070/stat : 31070 (java) S 31063 31063 28266 0 -1 1077944384 163 0 0 0 12 6 0 0 20 0 28 0 510543984 29458776064 1114964 33554432000 4194304 4196468 140735397262768 140532807400336 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31071] ppid=31063 vsize=28768336 memory=14135537107735265 CPUtime=0.17 cores=0-7 /proc/31065/task/31071/stat : 31071 (java) S 31063 31063 28266 0 -1 1077944384 202 0 0 0 12 5 0 0 20 0 28 0 510543984 29458776064 1114964 33554432000 4194304 4196468 140735397262768 140532438391312 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31072] ppid=31063 vsize=28768336 memory=29421930613 CPUtime=0.17 cores=0-7 /proc/31065/task/31072/stat : 31072 (java) S 31063 31063 28266 0 -1 1077944384 174 0 0 0 12 5 0 0 20 0 28 0 510543984 29458776064 1114964 33554432000 4194304 4196468 140735397262768 140532437338768 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31073] ppid=31063 vsize=28768336 memory=29421930613 CPUtime=0.17 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 154 0 0 0 12 5 0 0 20 0 28 0 510543985 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28768336 memory=29421930613 CPUtime=0.16 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 143 0 0 0 12 4 0 0 20 0 28 0 510543985 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28768336 memory=29421930613 CPUtime=0.01 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 2772 0 0 0 1 0 0 0 20 0 28 0 510543986 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531605379824 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28768336 memory=29421930613 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510543986 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531604326112 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28768336 memory=65 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510543987 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531603272960 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531602221520 140532890724251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28768336 memory=6944656592387989600 CPUtime=0.44 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) R 31063 31063 28266 0 -1 4202560 2768 0 0 0 44 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531601154720 140532875610897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28768336 memory=6943526294502006880 CPUtime=0.45 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) R 31063 31063 28266 0 -1 4202560 2299 0 0 0 45 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531600097016 140532871405952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28768336 memory=3472328296227746685 CPUtime=0.42 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) R 31063 31063 28266 0 -1 4202560 1931 0 0 0 41 1 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531280752136 140532871885274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28768336 memory=-3535470213243961690 CPUtime=0.65 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) S 31063 31063 28266 0 -1 1077944384 5759 0 0 0 65 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531279712208 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28768336 memory=667680 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31084] ppid=31063 vsize=28768336 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/31065/task/31084/stat : 31084 (java) S 31063 31063 28266 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 510543989 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531277610160 140532890716802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31088] ppid=31063 vsize=28768336 memory=-6369387732215973279 CPUtime=0.47 cores=0-7 /proc/31065/task/31088/stat : 31088 (java) R 31063 31063 28266 0 -1 4202560 118 0 0 0 47 0 0 0 20 0 28 0 510546350 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531268627088 140532487632704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31089] ppid=31063 vsize=28768336 memory=-7966001734536614954 CPUtime=0.47 cores=0-7 /proc/31065/task/31089/stat : 31089 (java) R 31063 31063 28266 0 -1 4202560 65 0 0 0 47 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531265478680 140532493819667 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31090] ppid=31063 vsize=28768336 memory=-7812193691855986592 CPUtime=0.43 cores=0-7 /proc/31065/task/31090/stat : 31090 (java) S 31063 31063 28266 0 -1 1077944384 51 0 0 0 43 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531264428032 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31091] ppid=31063 vsize=28768336 memory=-7088785026380002758 CPUtime=0.45 cores=0-7 /proc/31065/task/31091/stat : 31091 (java) S 31063 31063 28266 0 -1 1077944384 103 0 0 0 45 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531195697120 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31093] ppid=31063 vsize=28768336 memory=7305489920547044204 CPUtime=0.43 cores=0-7 /proc/31065/task/31093/stat : 31093 (java) R 31063 31063 28266 0 -1 4202560 54 0 0 0 43 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531194642176 140532494021726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31094] ppid=31063 vsize=28768336 memory=-6876588627878687573 CPUtime=0.45 cores=0-7 /proc/31065/task/31094/stat : 31094 (java) R 31063 31063 28266 0 -1 1077944384 142 0 0 0 45 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531193589392 140532890715861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31095] ppid=31063 vsize=28768336 memory=4137287014106042739 CPUtime=0.47 cores=0-7 /proc/31065/task/31095/stat : 31095 (java) S 31063 31063 28266 0 -1 1077944384 241 0 0 0 47 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531192537360 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31096] ppid=31063 vsize=28768336 memory=4209357772117481859 CPUtime=0.44 cores=0-7 /proc/31065/task/31096/stat : 31096 (java) R 31063 31063 28266 0 -1 4202560 43 0 0 0 44 0 0 0 20 0 28 0 510546351 29458776064 1115030 33554432000 4194304 4196468 140735397262768 140531191487424 140532487664740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 30.54 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 4461040 KiB [startup+24.3012 s] /proc/loadavg: 5.48 6.92 6.63 9/219 31096 /proc/meminfo: memFree=20768412/32770624 swapFree=66974400/67108860 [pid=31063] ppid=31060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31063/stat : 31063 (xcsp3-exec) S 31060 31063 28266 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510543983 115843072 362 33554432000 4194304 5098028 140725202992768 140725202990872 140519681770108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28954624 140725202994001 140725202994261 140725202994261 140725202997190 0 /proc/31063/statm: 28282 362 304 221 0 87 0 [pid=31065] ppid=31063 vsize=28768336 memory=4467644 CPUtime=30.94 cores=0-7 /proc/31065/stat : 31065 (java) S 31063 31063 28266 0 -1 1077944320 39355 0 0 0 2977 117 0 0 20 0 19 0 510543983 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140735397245312 140532890705655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 /proc/31065/statm: 7192084 1116911 3496 1 0 7153184 0 [pid=31065/tid=31066] ppid=31063 vsize=28768336 memory=1448 CPUtime=23.43 cores=0-7 /proc/31065/task/31066/stat : 31066 (java) S 31063 31063 28266 0 -1 1077944384 17922 0 0 0 2278 65 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532894948496 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31067] ppid=31063 vsize=28768336 memory=4443484 CPUtime=0.17 cores=0-7 /proc/31065/task/31067/stat : 31067 (java) S 31063 31063 28266 0 -1 1077944384 349 0 0 0 11 6 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532810558480 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31068] ppid=31063 vsize=28768336 memory=4443484 CPUtime=0.17 cores=0-7 /proc/31065/task/31068/stat : 31068 (java) S 31063 31063 28266 0 -1 1077944384 278 0 0 0 11 6 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532809505936 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31069] ppid=31063 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7 /proc/31065/task/31069/stat : 31069 (java) S 31063 31063 28266 0 -1 1077944384 120 0 0 0 12 5 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532808452880 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31070] ppid=31063 vsize=28768336 memory=280152799003392 CPUtime=0.18 cores=0-7 /proc/31065/task/31070/stat : 31070 (java) S 31063 31063 28266 0 -1 1077944384 163 0 0 0 12 6 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532807400336 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31071] ppid=31063 vsize=28768336 memory=164 CPUtime=0.17 cores=0-7 /proc/31065/task/31071/stat : 31071 (java) S 31063 31063 28266 0 -1 1077944384 202 0 0 0 12 5 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532438391312 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31072] ppid=31063 vsize=28768336 memory=140076399686688 CPUtime=0.17 cores=0-7 /proc/31065/task/31072/stat : 31072 (java) S 31063 31063 28266 0 -1 1077944384 174 0 0 0 12 5 0 0 20 0 19 0 510543984 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532437338768 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31073] ppid=31063 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7 /proc/31065/task/31073/stat : 31073 (java) S 31063 31063 28266 0 -1 1077944384 154 0 0 0 12 5 0 0 20 0 19 0 510543985 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532436285712 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31074] ppid=31063 vsize=28768336 memory=0 CPUtime=0.16 cores=0-7 /proc/31065/task/31074/stat : 31074 (java) S 31063 31063 28266 0 -1 1077944384 143 0 0 0 12 4 0 0 20 0 19 0 510543985 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140532435233168 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31075] ppid=31063 vsize=28768336 memory=780 CPUtime=0.02 cores=0-7 /proc/31065/task/31075/stat : 31075 (java) S 31063 31063 28266 0 -1 1077944384 2773 0 0 0 2 0 0 0 20 0 19 0 510543986 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531605380032 140532890716802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31076] ppid=31063 vsize=28768336 memory=1436 CPUtime=0 cores=0-7 /proc/31065/task/31076/stat : 31076 (java) S 31063 31063 28266 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 510543986 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531604326112 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31077] ppid=31063 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/31065/task/31077/stat : 31077 (java) S 31063 31063 28266 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 510543987 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531603272960 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31078] ppid=31063 vsize=28768336 memory=4385816 CPUtime=0 cores=0-7 /proc/31065/task/31078/stat : 31078 (java) S 31063 31063 28266 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531602220288 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31079] ppid=31063 vsize=28768336 memory=140080791340671 CPUtime=0.47 cores=0-7 /proc/31065/task/31079/stat : 31079 (java) S 31063 31063 28266 0 -1 1077944384 2777 0 0 0 47 0 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531601155104 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31080] ppid=31063 vsize=28768336 memory=0 CPUtime=0.55 cores=0-7 /proc/31065/task/31080/stat : 31080 (java) R 31063 31063 28266 0 -1 4202560 3852 0 0 0 54 1 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531600102104 140532872231224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31081] ppid=31063 vsize=28768336 memory=1448 CPUtime=0.45 cores=0-7 /proc/31065/task/31081/stat : 31081 (java) S 31063 31063 28266 0 -1 1077944384 2122 0 0 0 44 1 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531280751952 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31082] ppid=31063 vsize=28768336 memory=4455928 CPUtime=0.67 cores=0-7 /proc/31065/task/31082/stat : 31082 (java) S 31063 31063 28266 0 -1 1077944384 5941 0 0 0 67 0 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531279709776 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 [pid=31065/tid=31083] ppid=31063 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/31065/task/31083/stat : 31083 (java) S 31063 31063 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 510543989 29458776064 1116911 33554432000 4194304 4196468 140735397262768 140531278662624 140532890715861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20754432 140735397270486 140735397270662 140735397270662 140735397273551 0 Current children cumulated CPU time: 30.94 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 4469092 KiB Child status: 0 Real time (s): 24.3398 CPU time (s): 30.9789 CPU user time (s): 29.7827 CPU system time (s): 1.19614 CPU usage (%): 127.276 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 4469092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.7827 system time used= 1.19614 maximum resident set size= 4468988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40034 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5203 involuntary context switches= 168 # summary of solver processes directly reported to runsolver: # pid: 31063 # total CPU time (s): 30.9789 # total CPU user time (s): 29.7827 # total CPU system time (s): 1.19614 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.135975 second user time and 0.363587 second system time The end
Begin job on node117 at 2019-09-24 19:26:18 IDJOB=4406679 IDBENCH=122918 IDSOLVER=2871 FILE ID=node117/4406679-1569346022 RUNJOBID= node117-1569335935-28293 PBS_JOBID= 21705066 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-064.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-4406679-1569346022/watcher-4406679-1569346022 -o /var/tmp/evaluation-result-4406679-1569346022/solver-4406679-1569346022 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4406679-1569346022.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee RANDOM SEED=1428284258 node117.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.75 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.75 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.75 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.75 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: 25218136 kB MemAvailable: 31824316 kB Buffers: 119076 kB Cached: 6537600 kB SwapCached: 27860 kB Active: 3281812 kB Inactive: 3407308 kB Active(anon): 3736 kB Inactive(anon): 80016 kB Active(file): 3278076 kB Inactive(file): 3327292 kB Unevictable: 107640 kB Mlocked: 107640 kB SwapTotal: 67108860 kB SwapFree: 66974400 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 113488 kB Mapped: 54448 kB Shmem: 42736 kB Slab: 458068 kB SReclaimable: 429272 kB SUnreclaim: 28796 kB KernelStack: 3344 kB PageTables: 5216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515044 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: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-24 19:26:43