Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 262 | 152.189 | 19.8341 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-1.xml |
MD5SUM | 3747a76ad44ca32161ac6cfee5e9d7cb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262 |
Best CPU time to get the best result obtained on this benchmark | 28.3402 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 4 |
Maximum domain size | 362 |
Distribution of domain sizes | [{"size":4,"count":5},{"size":5,"count":45},{"size":362,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404848-1569002862.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404848-1569002862.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.52/0.76 c solve instance... 2.68/0.94 o 361 2.68/1.00 o 338 3.40/1.05 o 329 3.40/1.06 o 310 4.74/1.25 o 306 6.34/1.41 o 295 6.34/1.48 o 286 6.34/1.49 o 280 9.33/1.87 o 276 26.80/4.03 o 275 28.99/4.32 o 274 30.59/4.56 o 270 30.59/4.56 o 269 30.59/4.57 o 267 31.35/4.67 o 266 36.12/5.31 o 265 52.70/7.31 o 263 56.74/7.87 o 262 152.15/19.80 s OPTIMUM FOUND 152.15/19.80 v <instantiation> 152.15/19.80 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 152.15/19.80 v <values>0 21 103 145 179 7 61 68 158 225 2 21 64 104 142 0 87 158 181 222 0 59 103 161 247 262 247 225 262 262 19 81 38 32 83 52 6 90 64 22 15 8 1 35 83 87 71 21 33 40 55 42 55 86 15 0 2 1 4 3 4 0 3 2 1 2 0 3 4 1 1 0 3 4 2 3 4 2 0 1 0 103 21 179 145 61 225 158 68 7 21 142 2 64 104 87 0 222 158 181 161 247 103 0 59 </values> 152.15/19.80 v </instantiation>
OK 262
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 (7414 MiB free) memory of node 1: 16384 MiB (6444 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404848-1569002862/watcher-4404848-1569002862 -o /var/tmp/evaluation-result-4404848-1569002862/solver-4404848-1569002862 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1176074798 HOME/instance-4404848-1569002862.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=21873, runsolver pid=21870 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 8.82 8.53 8.30 2/213 21894 /proc/meminfo: memFree=14170584/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28227396 memory=32208 CPUtime=0.12 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 5435 0 0 0 11 1 0 0 20 0 20 0 476228054 28904853504 8052 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7056849 8052 3142 1 0 7019032 0 [pid=21875/tid=21876] ppid=21873 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) R 21873 21873 16074 0 -1 4202560 3353 0 0 0 8 0 0 0 20 0 20 0 476228054 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683657750320 139683653538973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28227396 memory=139693117879936 CPUtime=0 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21880] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21880/stat : 21880 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683201813648 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21881] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21881/stat : 21881 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683200760080 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21882] ppid=21873 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21882/stat : 21882 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683199707536 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21883] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21883/stat : 21883 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683198654992 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21884] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21884/stat : 21884 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 8052 33554432000 4194304 4196468 140736484598224 139683197602448 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21885] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21885/stat : 21885 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682769684976 139683653528194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21886] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21886/stat : 21886 (java) S 21873 21873 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682768631200 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21887] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21887/stat : 21887 (java) S 21873 21873 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682767578608 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21888] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21888/stat : 21888 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682766527184 139683653535643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21889] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) S 21873 21873 16074 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682765473776 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) S 21873 21873 16074 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682762316144 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 8052 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33660 KiB [startup+0.210714 s]* /proc/loadavg: 8.82 8.53 8.30 3/213 21894 /proc/meminfo: memFree=14159252/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28227396 memory=43128 CPUtime=0.33 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 9011 0 0 0 30 3 0 0 20 0 20 0 476228054 28904853504 10782 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7056849 10782 3269 1 0 7019032 0 [pid=21875/tid=21876] ppid=21873 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) R 21873 21873 16074 0 -1 4202560 6172 0 0 0 17 2 0 0 20 0 20 0 476228054 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683657748960 139683653528982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28227396 memory=4120990768107042464 CPUtime=0 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21880] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21880/stat : 21880 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683201813648 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21881] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21881/stat : 21881 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683200760080 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21882] ppid=21873 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21882/stat : 21882 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683199707536 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21883] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21883/stat : 21883 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683198654992 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21884] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21884/stat : 21884 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228055 28904853504 10782 33554432000 4194304 4196468 140736484598224 139683197602448 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21885] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21885/stat : 21885 (java) S 21873 21873 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682769684976 139683653528194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21886] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21886/stat : 21886 (java) S 21873 21873 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682768631200 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21887] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21887/stat : 21887 (java) S 21873 21873 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476228057 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682767578608 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21888] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21888/stat : 21888 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682766527184 139683653535643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21889] ppid=21873 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) S 21873 21873 16074 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682765473776 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) S 21873 21873 16074 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) R 21873 21873 16074 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682762316144 139683653538394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28904853504 10782 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44580 KiB [startup+0.310529 s]* /proc/loadavg: 8.82 8.53 8.30 3/213 21894 /proc/meminfo: memFree=14152240/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28231652 memory=51884 CPUtime=0.52 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 10317 0 0 0 48 4 0 0 20 0 20 0 476228054 28909211648 12971 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7057913 12971 3348 1 0 7019032 0 [pid=21875/tid=21876] ppid=21873 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) R 21873 21873 16074 0 -1 4202560 7298 0 0 0 27 2 0 0 20 0 20 0 476228054 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683657748160 139683637597564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21880] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21880/stat : 21880 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683201813648 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21881] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21881/stat : 21881 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683200760080 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21882] ppid=21873 vsize=28231652 memory=139693006088879 CPUtime=0 cores=0-7 /proc/21875/task/21882/stat : 21882 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683199707536 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21883] ppid=21873 vsize=28231652 memory=139693006091184 CPUtime=0 cores=0-7 /proc/21875/task/21883/stat : 21883 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683198654992 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21884] ppid=21873 vsize=28231652 memory=139693006093488 CPUtime=0 cores=0-7 /proc/21875/task/21884/stat : 21884 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228055 28909211648 12971 33554432000 4194304 4196468 140736484598224 139683197602448 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21885] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21885/stat : 21885 (java) S 21873 21873 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476228057 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682769684976 139683653528194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21886] ppid=21873 vsize=28231652 memory=279386012200848 CPUtime=0 cores=0-7 /proc/21875/task/21886/stat : 21886 (java) S 21873 21873 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476228057 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682768631200 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21887] ppid=21873 vsize=28231652 memory=279386012198544 CPUtime=0 cores=0-7 /proc/21875/task/21887/stat : 21887 (java) S 21873 21873 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476228057 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682767578608 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21888] ppid=21873 vsize=28231652 memory=279386012205456 CPUtime=0 cores=0-7 /proc/21875/task/21888/stat : 21888 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682766527184 139683653535643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21889] ppid=21873 vsize=28231652 memory=279386012146736 CPUtime=0.03 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) R 21873 21873 16074 0 -1 4202560 567 0 0 0 3 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682765464160 139683636902488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28231652 memory=279386012219280 CPUtime=0.02 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) S 21873 21873 16074 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28231652 memory=279386012226192 CPUtime=0.02 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28231652 memory=279386012223888 CPUtime=0.12 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) S 21873 21873 16074 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682762316144 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228060 28909211648 12971 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53336 KiB [startup+0.703007 s] /proc/loadavg: 8.82 8.53 8.30 5/213 21894 /proc/meminfo: memFree=14138492/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28233776 memory=84308 CPUtime=1.52 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 14243 0 0 0 145 7 0 0 20 0 20 0 476228054 28911386624 21077 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7058444 21077 3452 1 0 7019544 0 [pid=21875/tid=21876] ppid=21873 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) R 21873 21873 16074 0 -1 4202560 8945 0 0 0 64 4 0 0 20 0 20 0 476228054 28911386624 21077 33554432000 4194304 4196468 140736484598224 139683657749568 139683653538394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28233776 memory=139693006300016 CPUtime=0 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28911386624 21077 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476228055 28911386624 21077 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476228055 28911386624 21077 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 ################ # More data... # ################ [pid=21875/tid=21889] ppid=21873 vsize=28968028 memory=780 CPUtime=2.97 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) S 21873 21873 16074 0 -1 1077944384 13641 0 0 0 293 4 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682765473776 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28968028 memory=2832 CPUtime=3.14 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) S 21873 21873 16074 0 -1 1077944384 13678 0 0 0 309 5 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28968028 memory=1716 CPUtime=3.12 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 13774 0 0 0 308 4 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28968028 memory=2241 CPUtime=0.88 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) S 21873 21873 16074 0 -1 1077944384 9390 0 0 0 86 2 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682762316144 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28968028 memory=2244 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28968028 memory=0 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 766 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22039] ppid=21873 vsize=28968028 memory=139693006289793 CPUtime=11.18 cores=0-7 /proc/21875/task/22039/stat : 22039 (java) R 21873 21873 16074 0 -1 4202560 300 0 0 0 1118 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682745736904 139683299387456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22040] ppid=21873 vsize=28968028 memory=0 CPUtime=11.12 cores=0-7 /proc/21875/task/22040/stat : 22040 (java) R 21873 21873 16074 0 -1 4202560 330 0 0 0 1112 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682739425648 139683300380358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22041] ppid=21873 vsize=28968028 memory=3612 CPUtime=11.24 cores=0-7 /proc/21875/task/22041/stat : 22041 (java) R 21873 21873 16074 0 -1 4202560 497 0 0 0 1124 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682748894560 139683297177519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22042] ppid=21873 vsize=28968028 memory=43400 CPUtime=11.13 cores=0-7 /proc/21875/task/22042/stat : 22042 (java) R 21873 21873 16074 0 -1 4202560 834 0 0 0 1113 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682742579400 139683298627152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22043] ppid=21873 vsize=28968028 memory=14012 CPUtime=11.24 cores=0-7 /proc/21875/task/22043/stat : 22043 (java) R 21873 21873 16074 0 -1 4202560 701 0 0 0 1124 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682747842264 139683295933715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22044] ppid=21873 vsize=28968028 memory=19504 CPUtime=11.2 cores=0-7 /proc/21875/task/22044/stat : 22044 (java) R 21873 21873 16074 0 -1 4202560 603 0 0 0 1120 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682741526440 139683297696273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22045] ppid=21873 vsize=28968028 memory=12024 CPUtime=11.19 cores=0-7 /proc/21875/task/22045/stat : 22045 (java) R 21873 21873 16074 0 -1 4202560 227 0 0 0 1119 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682671223336 139683300352928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22046] ppid=21873 vsize=28968028 memory=2120 CPUtime=11.18 cores=0-7 /proc/21875/task/22046/stat : 22046 (java) R 21873 21873 16074 0 -1 4202560 533 0 0 0 1118 0 0 0 20 0 28 0 476228841 29663260672 60674 33554432000 4194304 4196468 140736484598224 139682744684104 139683298764997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 147.32 s Current children cumulated vsize: 29081156 KiB Current children cumulated memory: 244148 KiB [startup+19.6042 s] /proc/loadavg: 8.84 8.56 8.31 9/219 22047 /proc/meminfo: memFree=13959236/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28968028 memory=240644 CPUtime=150.53 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 76572 0 0 0 15013 40 0 0 20 0 28 0 476228054 29663260672 60161 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7242007 60161 3535 1 0 7203107 0 [pid=21875/tid=21876] ppid=21873 vsize=28968028 memory=254444 CPUtime=0.76 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) S 21873 21873 16074 0 -1 1077944384 9149 0 0 0 72 4 0 0 20 0 28 0 476228054 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683657757824 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28968028 memory=11624 CPUtime=0.03 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28968028 memory=740 CPUtime=0.03 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28968028 memory=0 CPUtime=0.03 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 1920 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21880] ppid=21873 vsize=28968028 memory=1090 CPUtime=0.03 cores=0-7 /proc/21875/task/21880/stat : 21880 (java) S 21873 21873 16074 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683201813648 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21881] ppid=21873 vsize=28968028 memory=1084 CPUtime=0.04 cores=0-7 /proc/21875/task/21881/stat : 21881 (java) S 21873 21873 16074 0 -1 1077944384 216 0 0 0 3 1 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683200760080 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21882] ppid=21873 vsize=28968028 memory=5620 CPUtime=0.03 cores=0-7 /proc/21875/task/21882/stat : 21882 (java) S 21873 21873 16074 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683199707536 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21883] ppid=21873 vsize=28968028 memory=2228 CPUtime=0.03 cores=0-7 /proc/21875/task/21883/stat : 21883 (java) S 21873 21873 16074 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683198654992 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21884] ppid=21873 vsize=28968028 memory=0 CPUtime=0.02 cores=0-7 /proc/21875/task/21884/stat : 21884 (java) S 21873 21873 16074 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683197602448 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21885] ppid=21873 vsize=28968028 memory=112 CPUtime=0.02 cores=0-7 /proc/21875/task/21885/stat : 21885 (java) S 21873 21873 16074 0 -1 1077944384 985 0 0 0 2 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682769684976 139683653528194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21886] ppid=21873 vsize=28968028 memory=608 CPUtime=0 cores=0-7 /proc/21875/task/21886/stat : 21886 (java) S 21873 21873 16074 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682768631264 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21887] ppid=21873 vsize=28968028 memory=1484 CPUtime=0 cores=0-7 /proc/21875/task/21887/stat : 21887 (java) S 21873 21873 16074 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682767578608 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21888] ppid=21873 vsize=28968028 memory=689 CPUtime=0 cores=0-7 /proc/21875/task/21888/stat : 21888 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682766527184 139683653535643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21889] ppid=21873 vsize=28968028 memory=17227 CPUtime=2.97 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) S 21873 21873 16074 0 -1 1077944384 13641 0 0 0 293 4 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682765473776 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28968028 memory=2358 CPUtime=3.14 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) S 21873 21873 16074 0 -1 1077944384 13678 0 0 0 309 5 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28968028 memory=353 CPUtime=3.12 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 13774 0 0 0 308 4 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28968028 memory=13 CPUtime=0.88 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) S 21873 21873 16074 0 -1 1077944384 9567 0 0 0 86 2 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682762316144 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28968028 memory=1436 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28968028 memory=1984 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 766 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22039] ppid=21873 vsize=28968028 memory=2424 CPUtime=11.58 cores=0-7 /proc/21875/task/22039/stat : 22039 (java) R 21873 21873 16074 0 -1 4202560 304 0 0 0 1158 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682745740984 139683299391711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22040] ppid=21873 vsize=28968028 memory=1764 CPUtime=11.52 cores=0-7 /proc/21875/task/22040/stat : 22040 (java) R 21873 21873 16074 0 -1 4202560 332 0 0 0 1152 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682739422376 139683295934704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22041] ppid=21873 vsize=28968028 memory=111636 CPUtime=11.64 cores=0-7 /proc/21875/task/22041/stat : 22041 (java) R 21873 21873 16074 0 -1 4202560 505 0 0 0 1164 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682748897808 140736484944264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22042] ppid=21873 vsize=28968028 memory=804 CPUtime=11.53 cores=0-7 /proc/21875/task/22042/stat : 22042 (java) R 21873 21873 16074 0 -1 4202560 838 0 0 0 1153 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682742579112 139683300592768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22043] ppid=21873 vsize=28968028 memory=1804 CPUtime=11.64 cores=0-7 /proc/21875/task/22043/stat : 22043 (java) R 21873 21873 16074 0 -1 4202560 702 0 0 0 1164 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682747846384 139683300349143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22044] ppid=21873 vsize=28968028 memory=920 CPUtime=11.6 cores=0-7 /proc/21875/task/22044/stat : 22044 (java) R 21873 21873 16074 0 -1 4202560 611 0 0 0 1160 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682741525680 139683297695472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22045] ppid=21873 vsize=28968028 memory=4948 CPUtime=11.59 cores=0-7 /proc/21875/task/22045/stat : 22045 (java) R 21873 21873 16074 0 -1 4202560 233 0 0 0 1159 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682671219448 139683297361883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22046] ppid=21873 vsize=28968028 memory=4104 CPUtime=11.58 cores=0-7 /proc/21875/task/22046/stat : 22046 (java) R 21873 21873 16074 0 -1 4202560 537 0 0 0 1158 0 0 0 20 0 28 0 476228841 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682744684824 139683293453516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 150.53 s Current children cumulated vsize: 29081156 KiB Current children cumulated memory: 242096 KiB [startup+19.807 s] /proc/loadavg: 8.84 8.56 8.31 9/219 22047 /proc/meminfo: memFree=13959236/32770624 swapFree=66972356/67108860 [pid=21873] ppid=21870 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21873/stat : 21873 (xcsp3-exec) S 21870 21873 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476228054 115843072 363 33554432000 4194304 5098028 140736572112896 140736572111000 140440324883068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31174656 140736572117847 140736572118106 140736572118106 140736572121030 0 /proc/21873/statm: 28282 363 304 221 0 87 0 [pid=21875] ppid=21873 vsize=28968028 memory=240644 CPUtime=152.15 cores=0-7 /proc/21875/stat : 21875 (java) S 21873 21873 16074 0 -1 1077944320 76667 0 0 0 15175 40 0 0 20 0 28 0 476228054 29663260672 60161 33554432000 4194304 4196468 140736484598224 140736484580768 139683653517047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 /proc/21875/statm: 7242007 60161 3535 1 0 7203107 0 [pid=21875/tid=21876] ppid=21873 vsize=28968028 memory=0 CPUtime=0.76 cores=0-7 /proc/21875/task/21876/stat : 21876 (java) R 21873 21873 16074 0 -1 4202560 9176 0 0 0 72 4 0 0 20 0 28 0 476228054 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683657757824 139683653528982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21877] ppid=21873 vsize=28968028 memory=0 CPUtime=0.03 cores=0-7 /proc/21875/task/21877/stat : 21877 (java) S 21873 21873 16074 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683612277520 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21878] ppid=21873 vsize=28968028 memory=780 CPUtime=0.03 cores=0-7 /proc/21875/task/21878/stat : 21878 (java) S 21873 21873 16074 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683203918736 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21879] ppid=21873 vsize=28968028 memory=2832 CPUtime=0.03 cores=0-7 /proc/21875/task/21879/stat : 21879 (java) S 21873 21873 16074 0 -1 1077944384 1920 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683202866192 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21880] ppid=21873 vsize=28968028 memory=1716 CPUtime=0.03 cores=0-7 /proc/21875/task/21880/stat : 21880 (java) S 21873 21873 16074 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683201813648 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21881] ppid=21873 vsize=28968028 memory=1200 CPUtime=0.04 cores=0-7 /proc/21875/task/21881/stat : 21881 (java) S 21873 21873 16074 0 -1 1077944384 216 0 0 0 3 1 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683200760080 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21882] ppid=21873 vsize=28968028 memory=5996 CPUtime=0.03 cores=0-7 /proc/21875/task/21882/stat : 21882 (java) S 21873 21873 16074 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683199707536 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21883] ppid=21873 vsize=28968028 memory=14012 CPUtime=0.03 cores=0-7 /proc/21875/task/21883/stat : 21883 (java) S 21873 21873 16074 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683198654992 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21884] ppid=21873 vsize=28968028 memory=19504 CPUtime=0.02 cores=0-7 /proc/21875/task/21884/stat : 21884 (java) S 21873 21873 16074 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 28 0 476228055 29663260672 60161 33554432000 4194304 4196468 140736484598224 139683197602448 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21885] ppid=21873 vsize=28968028 memory=12024 CPUtime=0.02 cores=0-7 /proc/21875/task/21885/stat : 21885 (java) S 21873 21873 16074 0 -1 1077944384 987 0 0 0 2 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682769684976 139683653528194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21886] ppid=21873 vsize=28968028 memory=2120 CPUtime=0 cores=0-7 /proc/21875/task/21886/stat : 21886 (java) S 21873 21873 16074 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682768631264 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21887] ppid=21873 vsize=28968028 memory=500 CPUtime=0 cores=0-7 /proc/21875/task/21887/stat : 21887 (java) S 21873 21873 16074 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476228057 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682767578608 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21888] ppid=21873 vsize=28968028 memory=1556 CPUtime=0 cores=0-7 /proc/21875/task/21888/stat : 21888 (java) S 21873 21873 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682766527184 139683653535643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21889] ppid=21873 vsize=28968028 memory=924 CPUtime=2.97 cores=0-7 /proc/21875/task/21889/stat : 21889 (java) S 21873 21873 16074 0 -1 1077944384 13641 0 0 0 293 4 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682765473776 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21890] ppid=21873 vsize=28968028 memory=1672 CPUtime=3.14 cores=0-7 /proc/21875/task/21890/stat : 21890 (java) R 21873 21873 16074 0 -1 1077944384 13678 0 0 0 309 5 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682764421232 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21891] ppid=21873 vsize=28968028 memory=780 CPUtime=3.12 cores=0-7 /proc/21875/task/21891/stat : 21891 (java) S 21873 21873 16074 0 -1 1077944384 13774 0 0 0 308 4 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682763368688 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21892] ppid=21873 vsize=28968028 memory=245776 CPUtime=0.88 cores=0-7 /proc/21875/task/21892/stat : 21892 (java) R 21873 21873 16074 0 -1 4202560 9567 0 0 0 86 2 0 0 20 0 28 0 476228060 29663260672 60161 33554432000 4194304 4196468 140736484598224 139682762316144 139683653528982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21893] ppid=21873 vsize=28968028 memory=1452 CPUtime=0 cores=0-7 /proc/21875/task/21893/stat : 21893 (java) S 21873 21873 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60144 33554432000 4194304 4196468 140736484598224 139682761263840 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=21894] ppid=21873 vsize=28968028 memory=250876 CPUtime=0 cores=0-7 /proc/21875/task/21894/stat : 21894 (java) S 21873 21873 16074 0 -1 1077944384 766 0 0 0 0 0 0 0 20 0 28 0 476228060 29663260672 60144 33554432000 4194304 4196468 140736484598224 139682760211376 139683653528194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22039] ppid=21873 vsize=28968028 memory=0 CPUtime=11.78 cores=0-7 /proc/21875/task/22039/stat : 22039 (java) S 21873 21873 16074 0 -1 1077944384 323 0 0 0 1178 0 0 0 20 0 27 0 476228841 29663260672 60144 33554432000 4194304 4196468 140736484598224 139682745744048 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22040] ppid=21873 vsize=28968028 memory=2542 CPUtime=11.72 cores=0-7 /proc/21875/task/22040/stat : 22040 (java) S 21873 21873 16074 0 -1 1077944384 351 0 0 0 1172 0 0 0 20 0 27 0 476228841 29663260672 60127 33554432000 4194304 4196468 140736484598224 139682739428144 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22041] ppid=21873 vsize=28968028 memory=3 CPUtime=11.84 cores=0-7 /proc/21875/task/22041/stat : 22041 (java) R 21873 21873 16074 0 -1 4202560 514 0 0 0 1184 0 0 0 20 0 27 0 476228841 29663260672 60110 33554432000 4194304 4196468 140736484598224 139682748900144 139683653528982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22043] ppid=21873 vsize=28968028 memory=1377 CPUtime=11.85 cores=0-7 /proc/21875/task/22043/stat : 22043 (java) S 21873 21873 16074 0 -1 1077944384 702 0 0 0 1185 0 0 0 20 0 27 0 476228841 29663260672 60110 33554432000 4194304 4196468 140736484598224 139682747848496 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 [pid=21875/tid=22045] ppid=21873 vsize=28968028 memory=4420 CPUtime=11.79 cores=0-7 /proc/21875/task/22045/stat : 22045 (java) S 21873 21873 16074 0 -1 1077944384 255 0 0 0 1179 0 0 0 20 0 25 0 476228841 29663260672 60093 33554432000 4194304 4196468 140736484598224 139682671225264 139683653527253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32223232 140736484606940 140736484607115 140736484607115 140736484609999 0 Current children cumulated CPU time: 152.15 s Current children cumulated vsize: 29081156 KiB Current children cumulated memory: 242096 KiB Child status: 0 Real time (s): 19.8341 CPU time (s): 152.189 CPU user time (s): 151.765 CPU system time (s): 0.423572 CPU usage (%): 767.306 Max. virtual memory (cumulated for all children) (KiB): 29081156 Max. memory (cumulated for all children) (KiB): 281744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.765 system time used= 0.423572 maximum resident set size= 280296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77753 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8478 involuntary context switches= 2822 # summary of solver processes directly reported to runsolver: # pid: 21873 # total CPU time (s): 152.189 # total CPU user time (s): 151.765 # total CPU system time (s): 0.423572 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.208741 second user time and 0.2417 second system time The end
Begin job on node117 at 2019-09-20 20:06:59 IDJOB=4404848 IDBENCH=115810 IDSOLVER=2866 FILE ID=node117/4404848-1569002862 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-1.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-4404848-1569002862/watcher-4404848-1569002862 -o /var/tmp/evaluation-result-4404848-1569002862/solver-4404848-1569002862 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1176074798 HOME/instance-4404848-1569002862.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb RANDOM SEED=1176074798 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: 14192468 kB MemAvailable: 31833968 kB Buffers: 144700 kB Cached: 17402420 kB SwapCached: 27744 kB Active: 8698088 kB Inactive: 8881524 kB Active(anon): 4556 kB Inactive(anon): 68840 kB Active(file): 8693532 kB Inactive(file): 8812684 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972356 kB Dirty: 26000 kB Writeback: 0 kB AnonPages: 123684 kB Mapped: 47948 kB Shmem: 32512 kB Slab: 592236 kB SReclaimable: 563744 kB SUnreclaim: 28492 kB KernelStack: 3744 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 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-20 20:07:19