Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 35 | 108.233 | 14.8584 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml |
MD5SUM | e870fb3a9053f33a7d0d8e73b49cdad7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 37.85 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":12},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399915-1568707735.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399915-1568707735.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.60/1.77 c solve instance... 5.09/1.86 o -1000 7.49/2.11 o -998 7.49/2.12 o -993 10.50/2.59 o -992 11.29/2.60 o -984 11.29/2.62 o -977 11.29/2.63 o -976 11.29/2.66 o -972 12.81/2.86 o -969 12.81/2.88 o -968 12.81/2.88 o -964 13.56/2.90 o 6 13.56/2.93 o 13 13.56/3.00 o 14 14.39/3.03 o 16 14.39/3.05 o 17 14.39/3.11 o 25 17.24/3.40 o 27 17.24/3.45 o 35 107.94/14.83 s OPTIMUM FOUND 107.94/14.83 v <instantiation> 107.94/14.83 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 107.94/14.83 v <values>6 0 1 9 3 4 12 -1 2 8 -1 5 18 -1 -1 -1 -1 11 19 20 21 22 23 17 0 17 16 13 12 11 1 -1 15 14 -1 10 2 -1 -1 -1 -1 9 3 4 5 6 7 8 3 -5 7 -3 2 -1 1 0 6 8 0 3 4 0 0 0 0 0 -3 9 -3 0 5 2 </values> 107.94/14.83 v </instantiation>
OK 35
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 (10671 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399915-1568707735/watcher-4399915-1568707735 -o /tmp/evaluation-result-4399915-1568707735/solver-4399915-1568707735 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1335677896 HOME/instance-4399915-1568707735.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=28234, runsolver pid=28231 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 8.78 8.36 8.31 3/211 28255 /proc/meminfo: memFree=26760192/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28227396 memory=28908 CPUtime=0.13 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 5706 0 0 0 11 2 0 0 20 0 20 0 447012166 28904853504 7227 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7056849 7227 3121 1 0 7019032 0 [pid=28236/tid=28237] ppid=28234 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) R 28234 28234 21699 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 447012166 28904853504 7227 33554432000 4194304 4196468 140727062416240 140129066897696 140129062677910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28227396 memory=140634819466880 CPUtime=0 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28241] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28241/stat : 28241 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128610535696 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28242] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28242/stat : 28242 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128609483920 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28243] ppid=28234 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28243/stat : 28243 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128608431120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28244] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28244/stat : 28244 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128607378320 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28245] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28245/stat : 28245 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128606325520 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28246] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28246/stat : 28246 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128179063152 140129062677122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28247] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28247/stat : 28247 (java) S 28234 28234 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128178009120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28248] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28248/stat : 28248 (java) S 28234 28234 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128176956272 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28249] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28249/stat : 28249 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128175904592 140129062684571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28250] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28250/stat : 28250 (java) R 28234 28234 21699 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128174852976 140129047482477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28251] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28251/stat : 28251 (java) S 28234 28234 21699 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128173800176 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28252] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28252/stat : 28252 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128172747376 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28253] ppid=28234 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) R 28234 28234 21699 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128171694576 140129048037264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 7227 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30364 KiB [startup+0.210564 s]* /proc/loadavg: 8.78 8.36 8.31 3/211 28255 /proc/meminfo: memFree=26747556/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28227396 memory=40352 CPUtime=0.33 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 9351 0 0 0 30 3 0 0 20 0 20 0 447012166 28904853504 10088 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7056849 10088 3260 1 0 7019032 0 [pid=28236/tid=28237] ppid=28234 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) R 28234 28234 21699 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 20 0 447012166 28904853504 10088 33554432000 4194304 4196468 140727062416240 140129066897200 140129062687901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28227396 memory=288371010971178624 CPUtime=0 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28241] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28241/stat : 28241 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128610535696 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28242] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28242/stat : 28242 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128609483920 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28243] ppid=28234 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28243/stat : 28243 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128608431120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28244] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28244/stat : 28244 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128607378320 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28245] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28245/stat : 28245 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012167 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128606325520 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28246] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28246/stat : 28246 (java) S 28234 28234 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128179063152 140129062677122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28247] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28247/stat : 28247 (java) S 28234 28234 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128178009120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28248] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28248/stat : 28248 (java) S 28234 28234 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447012169 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128176956272 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28249] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28249/stat : 28249 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128175904592 140129062684571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28250] ppid=28234 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28236/task/28250/stat : 28250 (java) S 28234 28234 21699 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128174852976 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28251] ppid=28234 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28236/task/28251/stat : 28251 (java) S 28234 28234 21699 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128173800176 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28252] ppid=28234 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/28236/task/28252/stat : 28252 (java) S 28234 28234 21699 0 -1 1077944384 131 0 0 0 2 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128172747376 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28253] ppid=28234 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) S 28234 28234 21699 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128171694576 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28904853504 10088 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41808 KiB [startup+0.310347 s]* /proc/loadavg: 8.78 8.36 8.31 3/211 28255 /proc/meminfo: memFree=26739912/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28231652 memory=50060 CPUtime=0.52 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 10873 0 0 0 48 4 0 0 20 0 20 0 447012166 28909211648 12515 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7057913 12515 3354 1 0 7019032 0 [pid=28236/tid=28237] ppid=28234 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) R 28234 28234 21699 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 20 0 447012166 28909211648 12515 33554432000 4194304 4196468 140727062416240 140129066897088 140129062687901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28241] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28241/stat : 28241 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128610535696 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28242] ppid=28234 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/28236/task/28242/stat : 28242 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128609483920 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28243] ppid=28234 vsize=28231652 memory=140634677670831 CPUtime=0 cores=0-7 /proc/28236/task/28243/stat : 28243 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128608431120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28244] ppid=28234 vsize=28231652 memory=140634677673136 CPUtime=0 cores=0-7 /proc/28236/task/28244/stat : 28244 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128607378320 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28245] ppid=28234 vsize=28231652 memory=140634677675440 CPUtime=0 cores=0-7 /proc/28236/task/28245/stat : 28245 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012167 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128606325520 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28246] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28246/stat : 28246 (java) S 28234 28234 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447012169 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128179063152 140129062677122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28247] ppid=28234 vsize=28231652 memory=281269355357840 CPUtime=0 cores=0-7 /proc/28236/task/28247/stat : 28247 (java) S 28234 28234 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447012169 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128178009120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28248] ppid=28234 vsize=28231652 memory=281269355364752 CPUtime=0 cores=0-7 /proc/28236/task/28248/stat : 28248 (java) S 28234 28234 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447012169 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128176956272 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28249] ppid=28234 vsize=28231652 memory=281269355305904 CPUtime=0 cores=0-7 /proc/28236/task/28249/stat : 28249 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128175904592 140129062684571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28250] ppid=28234 vsize=28231652 memory=281269355378576 CPUtime=0.03 cores=0-7 /proc/28236/task/28250/stat : 28250 (java) R 28234 28234 21699 0 -1 4202560 474 0 0 0 3 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128174843360 140129047791360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28251] ppid=28234 vsize=28231652 memory=281269355385488 CPUtime=0.02 cores=0-7 /proc/28236/task/28251/stat : 28251 (java) S 28234 28234 21699 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128173800176 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28252] ppid=28234 vsize=28231652 memory=281269355383184 CPUtime=0.03 cores=0-7 /proc/28236/task/28252/stat : 28252 (java) S 28234 28234 21699 0 -1 1077944384 180 0 0 0 3 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128172747376 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28253] ppid=28234 vsize=28231652 memory=281269355399344 CPUtime=0.12 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) S 28234 28234 21699 0 -1 1077944384 935 0 0 0 12 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128171694576 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012172 28909211648 12515 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51516 KiB [startup+0.700945 s] /proc/loadavg: 8.78 8.36 8.31 6/211 28255 /proc/meminfo: memFree=26707260/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28233776 memory=114448 CPUtime=1.96 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 16219 0 0 0 189 7 0 0 20 0 20 0 447012166 28911386624 28612 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7058444 28612 3455 1 0 7019544 0 [pid=28236/tid=28237] ppid=28234 vsize=28233776 memory=281269355757232 CPUtime=0.68 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) R 28234 28234 21699 0 -1 4202560 9126 0 0 0 64 4 0 0 20 0 20 0 447012166 28911386624 28612 33554432000 4194304 4196468 140727062416240 140129066902736 140128694795456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28233776 memory=140634677879664 CPUtime=0 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447012167 28911386624 28612 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28911386624 28612 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28233776 memory=6004 CPUtime=0 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447012167 28911386624 28612 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 ################ # More data... # ################ [pid=28236/tid=28253] ppid=28234 vsize=28834900 memory=1752 CPUtime=0.99 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) S 28234 28234 21699 0 -1 1077944384 7940 0 0 0 96 3 0 0 20 0 28 0 447012172 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128171694576 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28834900 memory=1056 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28834900 memory=1556 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28408] ppid=28234 vsize=28834900 memory=11632 CPUtime=9.89 cores=0-7 /proc/28236/task/28408/stat : 28408 (java) R 28234 28234 21699 0 -1 4202560 453 0 0 0 989 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128155114728 140128700896519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28409] ppid=28234 vsize=28834900 memory=1732 CPUtime=9.81 cores=0-7 /proc/28236/task/28409/stat : 28409 (java) R 28234 28234 21699 0 -1 4202560 231 0 0 0 981 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128149851784 140128701636408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28410] ppid=28234 vsize=28834900 memory=1088 CPUtime=9.99 cores=0-7 /proc/28236/task/28410/stat : 28410 (java) R 28234 28234 21699 0 -1 4202560 611 0 0 0 999 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128158273800 140128700896611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28411] ppid=28234 vsize=28834900 memory=988 CPUtime=9.78 cores=0-7 /proc/28236/task/28411/stat : 28411 (java) R 28234 28234 21699 0 -1 4202560 459 0 0 0 978 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128153010096 140128700896446 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28412] ppid=28234 vsize=28834900 memory=780 CPUtime=9.65 cores=0-7 /proc/28236/task/28412/stat : 28412 (java) R 28234 28234 21699 0 -1 4202560 515 0 0 0 965 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128157221176 140128700896073 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28413] ppid=28234 vsize=28834900 memory=6004 CPUtime=9.51 cores=0-7 /proc/28236/task/28413/stat : 28413 (java) R 28234 28234 21699 0 -1 4202560 1168 0 0 0 951 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128156168328 140128700896616 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28414] ppid=28234 vsize=28834900 memory=624 CPUtime=9.7 cores=0-7 /proc/28236/task/28414/stat : 28414 (java) R 28234 28234 21699 0 -1 4202560 1125 0 0 0 970 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128150904840 140128700896817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28415] ppid=28234 vsize=28834900 memory=4004 CPUtime=9.7 cores=0-7 /proc/28236/task/28415/stat : 28415 (java) R 28234 28234 21699 0 -1 4202560 366 0 0 0 970 0 0 0 20 0 28 0 447012511 29526937600 116506 33554432000 4194304 4196468 140727062416240 140128154062440 140128700896332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 98.37 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467480 KiB [startup+14.4019 s] /proc/loadavg: 8.68 8.36 8.31 10/219 28417 /proc/meminfo: memFree=26321552/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28834900 memory=466032 CPUtime=104.74 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 59637 0 0 0 10406 68 0 0 20 0 28 0 447012166 29526937600 116508 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7208725 116508 3528 1 0 7169825 0 [pid=28236/tid=28237] ppid=28234 vsize=28834900 memory=1944740 CPUtime=1.69 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) S 28234 28234 21699 0 -1 1077944384 9510 0 0 0 161 8 0 0 20 0 28 0 447012166 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129066906752 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28834900 memory=281269355169216 CPUtime=0.08 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 101 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28834900 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 126 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28241] ppid=28234 vsize=28834900 memory=1752 CPUtime=0.08 cores=0-7 /proc/28236/task/28241/stat : 28241 (java) S 28234 28234 21699 0 -1 1077944384 133 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128610535696 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28242] ppid=28234 vsize=28834900 memory=1056 CPUtime=0.07 cores=0-7 /proc/28236/task/28242/stat : 28242 (java) S 28234 28234 21699 0 -1 1077944384 168 0 0 0 3 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128609483920 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28243] ppid=28234 vsize=28834900 memory=1556 CPUtime=0.07 cores=0-7 /proc/28236/task/28243/stat : 28243 (java) S 28234 28234 21699 0 -1 1077944384 146 0 0 0 3 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128608431120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28244] ppid=28234 vsize=28834900 memory=3620 CPUtime=0.08 cores=0-7 /proc/28236/task/28244/stat : 28244 (java) S 28234 28234 21699 0 -1 1077944384 159 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128607378320 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28245] ppid=28234 vsize=28834900 memory=48132 CPUtime=0.08 cores=0-7 /proc/28236/task/28245/stat : 28245 (java) S 28234 28234 21699 0 -1 1077944384 155 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128606325520 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28246] ppid=28234 vsize=28834900 memory=1988 CPUtime=0.01 cores=0-7 /proc/28236/task/28246/stat : 28246 (java) S 28234 28234 21699 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128179063152 140129062677122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28247] ppid=28234 vsize=28834900 memory=988 CPUtime=0 cores=0-7 /proc/28236/task/28247/stat : 28247 (java) S 28234 28234 21699 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128178009184 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28248] ppid=28234 vsize=28834900 memory=1428 CPUtime=0 cores=0-7 /proc/28236/task/28248/stat : 28248 (java) S 28234 28234 21699 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128176956288 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28249] ppid=28234 vsize=28834900 memory=1752 CPUtime=0 cores=0-7 /proc/28236/task/28249/stat : 28249 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128175904592 140129062684571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28250] ppid=28234 vsize=28834900 memory=1056 CPUtime=2.15 cores=0-7 /proc/28236/task/28250/stat : 28250 (java) S 28234 28234 21699 0 -1 1077944384 12589 0 0 0 213 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128174852976 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28251] ppid=28234 vsize=28834900 memory=281269355768336 CPUtime=2.72 cores=0-7 /proc/28236/task/28251/stat : 28251 (java) S 28234 28234 21699 0 -1 1077944384 7498 0 0 0 270 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128173800176 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28252] ppid=28234 vsize=28834900 memory=140634678445808 CPUtime=2.27 cores=0-7 /proc/28236/task/28252/stat : 28252 (java) S 28234 28234 21699 0 -1 1077944384 10037 0 0 0 225 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128172747376 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28253] ppid=28234 vsize=28834900 memory=0 CPUtime=1.01 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) S 28234 28234 21699 0 -1 1077944384 8547 0 0 0 97 4 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128171694576 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28834900 memory=769 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28834900 memory=7306916055891837008 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28408] ppid=28234 vsize=28834900 memory=288288878790705998 CPUtime=10.69 cores=0-7 /proc/28236/task/28408/stat : 28408 (java) R 28234 28234 21699 0 -1 4202560 454 0 0 0 1069 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128155114728 140128700896664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28409] ppid=28234 vsize=28834900 memory=3921885831014409248 CPUtime=10.61 cores=0-7 /proc/28236/task/28409/stat : 28409 (java) R 28234 28234 21699 0 -1 4202560 232 0 0 0 1061 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128149851784 140128700896231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28410] ppid=28234 vsize=28834900 memory=281269355840400 CPUtime=10.79 cores=0-7 /proc/28236/task/28410/stat : 28410 (java) R 28234 28234 21699 0 -1 4202560 611 0 0 0 1079 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128158276504 140128700896593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28411] ppid=28234 vsize=28834900 memory=1556 CPUtime=10.55 cores=0-7 /proc/28236/task/28411/stat : 28411 (java) R 28234 28234 21699 0 -1 4202560 476 0 0 0 1055 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128153010096 140128701520472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28412] ppid=28234 vsize=28834900 memory=11632 CPUtime=10.44 cores=0-7 /proc/28236/task/28412/stat : 28412 (java) R 28234 28234 21699 0 -1 4202560 515 0 0 0 1044 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128157221176 140128701520396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28413] ppid=28234 vsize=28834900 memory=1732 CPUtime=10.28 cores=0-7 /proc/28236/task/28413/stat : 28413 (java) R 28234 28234 21699 0 -1 4202560 1169 0 0 0 1028 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128156168200 140128701352001 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28414] ppid=28234 vsize=28834900 memory=1088 CPUtime=10.5 cores=0-7 /proc/28236/task/28414/stat : 28414 (java) R 28234 28234 21699 0 -1 4202560 1127 0 0 0 1050 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128150903576 140128700896270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28415] ppid=28234 vsize=28834900 memory=988 CPUtime=10.5 cores=0-7 /proc/28236/task/28415/stat : 28415 (java) R 28234 28234 21699 0 -1 4202560 384 0 0 0 1050 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128154064504 140128700896368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 104.74 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467488 KiB [startup+14.8019 s] /proc/loadavg: 8.68 8.36 8.31 10/219 28417 /proc/meminfo: memFree=26321552/32770624 swapFree=66941544/67108860 [pid=28234] ppid=28231 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28234/stat : 28234 (xcsp3-exec) S 28231 28234 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447012166 115843072 364 33554432000 4194304 5098028 140726597863424 140726597861528 139854438777468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140726597870453 140726597870697 140726597870697 140726597873610 0 /proc/28234/statm: 28282 364 305 221 0 87 0 [pid=28236] ppid=28234 vsize=28834900 memory=466032 CPUtime=107.94 cores=0-7 /proc/28236/stat : 28236 (java) S 28234 28234 21699 0 -1 1077944320 59701 0 0 0 10726 68 0 0 20 0 28 0 447012166 29526937600 116508 33554432000 4194304 4196468 140727062416240 140727062398784 140129062665975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 /proc/28236/statm: 7208725 116508 3528 1 0 7169825 0 [pid=28236/tid=28237] ppid=28234 vsize=28834900 memory=0 CPUtime=1.69 cores=0-7 /proc/28236/task/28237/stat : 28237 (java) S 28234 28234 21699 0 -1 1077944384 9510 0 0 0 161 8 0 0 20 0 28 0 447012166 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129066906752 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28238] ppid=28234 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/28236/task/28238/stat : 28238 (java) S 28234 28234 21699 0 -1 1077944384 101 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129015286416 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28239] ppid=28234 vsize=28834900 memory=447014381 CPUtime=0.06 cores=0-7 /proc/28236/task/28239/stat : 28239 (java) S 28234 28234 21699 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140129014233616 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28240] ppid=28234 vsize=28834900 memory=281269355155248 CPUtime=0.08 cores=0-7 /proc/28236/task/28240/stat : 28240 (java) S 28234 28234 21699 0 -1 1077944384 126 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128611588496 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28241] ppid=28234 vsize=28834900 memory=466024 CPUtime=0.08 cores=0-7 /proc/28236/task/28241/stat : 28241 (java) S 28234 28234 21699 0 -1 1077944384 133 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128610535696 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28242] ppid=28234 vsize=28834900 memory=1804 CPUtime=0.07 cores=0-7 /proc/28236/task/28242/stat : 28242 (java) S 28234 28234 21699 0 -1 1077944384 168 0 0 0 3 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128609483920 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28243] ppid=28234 vsize=28834900 memory=920 CPUtime=0.07 cores=0-7 /proc/28236/task/28243/stat : 28243 (java) S 28234 28234 21699 0 -1 1077944384 146 0 0 0 3 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128608431120 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28244] ppid=28234 vsize=28834900 memory=4444 CPUtime=0.08 cores=0-7 /proc/28236/task/28244/stat : 28244 (java) S 28234 28234 21699 0 -1 1077944384 159 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128607378320 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28245] ppid=28234 vsize=28834900 memory=4100 CPUtime=0.08 cores=0-7 /proc/28236/task/28245/stat : 28245 (java) S 28234 28234 21699 0 -1 1077944384 155 0 0 0 4 4 0 0 20 0 28 0 447012167 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128606325520 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28246] ppid=28234 vsize=28834900 memory=1412 CPUtime=0.01 cores=0-7 /proc/28236/task/28246/stat : 28246 (java) S 28234 28234 21699 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128179063152 140129062677122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28247] ppid=28234 vsize=28834900 memory=3004 CPUtime=0 cores=0-7 /proc/28236/task/28247/stat : 28247 (java) S 28234 28234 21699 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128178009184 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28248] ppid=28234 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/28236/task/28248/stat : 28248 (java) S 28234 28234 21699 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447012169 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128176956288 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28249] ppid=28234 vsize=28834900 memory=466024 CPUtime=0 cores=0-7 /proc/28236/task/28249/stat : 28249 (java) S 28234 28234 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128175904592 140129062684571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28250] ppid=28234 vsize=28834900 memory=6791534058613427641 CPUtime=2.15 cores=0-7 /proc/28236/task/28250/stat : 28250 (java) S 28234 28234 21699 0 -1 1077944384 12589 0 0 0 213 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128174852976 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28251] ppid=28234 vsize=28834900 memory=7364016932781124711 CPUtime=2.72 cores=0-7 /proc/28236/task/28251/stat : 28251 (java) S 28234 28234 21699 0 -1 1077944384 7498 0 0 0 270 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128173800176 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28252] ppid=28234 vsize=28834900 memory=3620439273593661292 CPUtime=2.27 cores=0-7 /proc/28236/task/28252/stat : 28252 (java) S 28234 28234 21699 0 -1 1077944384 10074 0 0 0 225 2 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128172747376 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28253] ppid=28234 vsize=28834900 memory=6224375351458556003 CPUtime=1.01 cores=0-7 /proc/28236/task/28253/stat : 28253 (java) S 28234 28234 21699 0 -1 1077944384 8547 0 0 0 97 4 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128171694576 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28254] ppid=28234 vsize=28834900 memory=3833194824922655847 CPUtime=0 cores=0-7 /proc/28236/task/28254/stat : 28254 (java) S 28234 28234 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128170642016 140129062676181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28255] ppid=28234 vsize=28834900 memory=303430223234596890 CPUtime=0 cores=0-7 /proc/28236/task/28255/stat : 28255 (java) S 28234 28234 21699 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 28 0 447012172 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128169589296 140129062677122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28408] ppid=28234 vsize=28834900 memory=288230583166042426 CPUtime=11.09 cores=0-7 /proc/28236/task/28408/stat : 28408 (java) R 28234 28234 21699 0 -1 4202560 457 0 0 0 1109 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128155114728 140128700896231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28409] ppid=28234 vsize=28834900 memory=13847469322668657 CPUtime=11.01 cores=0-7 /proc/28236/task/28409/stat : 28409 (java) R 28234 28234 21699 0 -1 4202560 234 0 0 0 1101 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128149851784 140128700896616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28410] ppid=28234 vsize=28834900 memory=1385 CPUtime=11.19 cores=0-7 /proc/28236/task/28410/stat : 28410 (java) R 28234 28234 21699 0 -1 4202560 613 0 0 0 1119 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128158276504 140128700896616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28411] ppid=28234 vsize=28834900 memory=1 CPUtime=10.95 cores=0-7 /proc/28236/task/28411/stat : 28411 (java) R 28234 28234 21699 0 -1 4202560 478 0 0 0 1095 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128153010096 140128700896118 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28412] ppid=28234 vsize=28834900 memory=0 CPUtime=10.84 cores=0-7 /proc/28236/task/28412/stat : 28412 (java) R 28234 28234 21699 0 -1 4202560 517 0 0 0 1084 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128157221176 140128700896468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28413] ppid=28234 vsize=28834900 memory=0 CPUtime=10.68 cores=0-7 /proc/28236/task/28413/stat : 28413 (java) R 28234 28234 21699 0 -1 4202560 1183 0 0 0 1068 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128156169160 140128700896664 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28414] ppid=28234 vsize=28834900 memory=2385 CPUtime=10.9 cores=0-7 /proc/28236/task/28414/stat : 28414 (java) R 28234 28234 21699 0 -1 4202560 1128 0 0 0 1090 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128150903576 140128700896616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 [pid=28236/tid=28415] ppid=28234 vsize=28834900 memory=1143 CPUtime=10.9 cores=0-7 /proc/28236/task/28415/stat : 28415 (java) R 28234 28234 21699 0 -1 4202560 385 0 0 0 1090 0 0 0 20 0 28 0 447012511 29526937600 116508 33554432000 4194304 4196468 140727062416240 140128154064504 140128700896294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20631552 140727062422506 140727062422678 140727062422678 140727062425551 0 Current children cumulated CPU time: 107.94 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467488 KiB Child status: 0 Real time (s): 14.8584 CPU time (s): 108.233 CPU user time (s): 107.531 CPU system time (s): 0.701253 CPU usage (%): 728.424 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 471320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 107.531 system time used= 0.701253 maximum resident set size= 469864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61551 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6718 involuntary context switches= 2200 # summary of solver processes directly reported to runsolver: # pid: 28234 # total CPU time (s): 108.233 # total CPU user time (s): 107.531 # total CPU system time (s): 0.701253 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.144373 second user time and 0.213804 second system time The end
Begin job on node149 at 2019-09-17 10:08:17 IDJOB=4399915 IDBENCH=128028 IDSOLVER=2854 FILE ID=node149/4399915-1568707735 RUNJOBID= node149-1568700680-21726 PBS_JOBID= 21703901 Free space on /tmp= 61420 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399915-1568707735/watcher-4399915-1568707735 -o /tmp/evaluation-result-4399915-1568707735/solver-4399915-1568707735 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1335677896 HOME/instance-4399915-1568707735.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e870fb3a9053f33a7d0d8e73b49cdad7 RANDOM SEED=1335677896 node149.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.81 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.81 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.81 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.81 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: 26776656 kB MemAvailable: 31840792 kB Buffers: 112984 kB Cached: 5252904 kB SwapCached: 61056 kB Active: 2425880 kB Inactive: 3002248 kB Active(anon): 4412 kB Inactive(anon): 106216 kB Active(file): 2421468 kB Inactive(file): 2896032 kB Unevictable: 111204 kB Mlocked: 111204 kB SwapTotal: 67108860 kB SwapFree: 66941544 kB Dirty: 27072 kB Writeback: 0 kB AnonPages: 113348 kB Mapped: 48672 kB Shmem: 40000 kB Slab: 154384 kB SReclaimable: 124944 kB SUnreclaim: 29440 kB KernelStack: 3440 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506652 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: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-17 10:08:32