Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 25 | 129.125 | 17.5539 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml |
MD5SUM | 0bc555941feddabd64880acf40a70a83 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 77.3481 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":1},{"size":4,"count":6},{"size":5,"count":12},{"size":6,"count":5},{"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-4404714-1569001591.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404714-1569001591.xml, -tl, 20160s, -p, 8] 0.13/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.48/1.72 c solve instance... 5.00/1.88 o -1000 8.90/2.34 o -999 15.94/3.26 o -997 16.58/3.30 o -992 18.14/3.52 o -990 20.44/3.81 o -989 20.44/3.89 o -988 21.98/4.03 o -983 21.98/4.06 o -981 23.36/4.29 o -976 26.32/4.68 o -974 29.53/5.03 o 2 31.79/5.31 o 8 32.55/5.40 o 19 40.52/6.44 o 20 45.34/7.02 o 21 50.79/7.76 o 22 53.97/8.19 o 25 128.78/17.54 s OPTIMUM FOUND 128.78/17.54 v <instantiation> 128.78/17.54 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> 128.78/17.54 v <values>6 0 1 2 3 -1 7 8 14 10 4 -1 -1 -1 20 9 15 16 -1 -1 21 22 23 17 0 17 16 15 14 -1 1 2 3 12 13 -1 -1 -1 4 11 10 9 -1 -1 5 6 7 8 -6 1 -5 5 5 0 0 8 4 7 4 0 0 0 3 1 -2 -5 0 0 -5 6 0 4 </values> 128.78/17.54 v </instantiation>
OK 25
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 (4522 MiB free) memory of node 1: 16384 MiB (4610 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404714-1569001591/watcher-4404714-1569001591 -o /var/tmp/evaluation-result-4404714-1569001591/solver-4404714-1569001591 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 551788171 HOME/instance-4404714-1569001591.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=16254, runsolver pid=16251 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 8.47 8.21 8.17 3/211 16275 /proc/meminfo: memFree=9335132/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28227396 memory=29856 CPUtime=0.13 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 5864 0 0 0 11 2 0 0 20 0 20 0 476431652 28904853504 7464 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7056849 7464 3148 1 0 7019032 0 [pid=16256/tid=16257] ppid=16254 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14242 0 -1 4202560 3774 0 0 0 8 1 0 0 20 0 20 0 476431652 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499335339440 140499331116438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28227396 memory=139798052517504 CPUtime=0 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16261] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499280567056 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16262] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499279514256 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16263] ppid=16254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499278461456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16264] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499277408656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16265] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 7464 33554432000 4194304 4196468 140735202834848 140499276355856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16266] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431654 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498513685360 140499331115650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16267] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476431655 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498512631328 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16268] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476431655 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498511578480 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16269] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431657 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498510526800 140499331123099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16270] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14242 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 476431657 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498509474160 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16271] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16271/stat : 16271 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431657 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498508421360 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16272] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16272/stat : 16272 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431657 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498507368560 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16273] ppid=16254 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) R 16254 16254 14242 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 476431657 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498506315760 140499331125850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431658 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431658 28904853504 7464 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31304 KiB [startup+0.214177 s]* /proc/loadavg: 8.47 8.21 8.17 2/211 16275 /proc/meminfo: memFree=9324512/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28227396 memory=40624 CPUtime=0.34 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 9423 0 0 0 31 3 0 0 20 0 20 0 476431652 28904853504 10156 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7056849 10156 3303 1 0 7019032 0 [pid=16256/tid=16257] ppid=16254 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14242 0 -1 4202560 6693 0 0 0 18 2 0 0 20 0 20 0 476431652 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499335339488 140499331126429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28227396 memory=288370174204229248 CPUtime=0 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16261] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499280567056 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16262] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499279514256 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16263] ppid=16254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499278461456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16264] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10156 33554432000 4194304 4196468 140735202834848 140499277408656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16265] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28904853504 10218 33554432000 4194304 4196468 140735202834848 140499276355856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16266] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476431654 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498513685360 140499331115650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16267] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476431655 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498512631328 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16268] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476431655 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498511578480 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16269] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431657 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498510526800 140499331123099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16270] ppid=16254 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14242 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 20 0 476431657 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498509474160 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16271] ppid=16254 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16256/task/16271/stat : 16271 (java) S 16254 16254 14242 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 476431657 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498508421360 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16272] ppid=16254 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/16256/task/16272/stat : 16272 (java) S 16254 16254 14242 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 476431657 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498507368560 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16273] ppid=16254 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) R 16254 16254 14242 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 20 0 476431657 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498506315760 140499331125850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431658 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431658 28904853504 10218 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42072 KiB [startup+0.310211 s]* /proc/loadavg: 8.47 8.21 8.17 4/211 16275 /proc/meminfo: memFree=9317376/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 10824 0 0 0 48 4 0 0 20 0 20 0 476431652 28909211648 12500 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7057913 12500 3352 1 0 7019032 0 [pid=16256/tid=16257] ppid=16254 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14242 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 20 0 476431652 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499335335616 140499331126429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16261] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499280567056 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16262] ppid=16254 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499279514256 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16263] ppid=16254 vsize=28231652 memory=139797897245615 CPUtime=0 cores=0-7 /proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499278461456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16264] ppid=16254 vsize=28231652 memory=139797897247920 CPUtime=0 cores=0-7 /proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499277408656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16265] ppid=16254 vsize=28231652 memory=139797897250224 CPUtime=0 cores=0-7 /proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431653 28909211648 12500 33554432000 4194304 4196468 140735202834848 140499276355856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16266] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476431654 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498513685360 140499331115650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16267] ppid=16254 vsize=28231652 memory=279595794507408 CPUtime=0 cores=0-7 /proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476431655 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498512631328 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16268] ppid=16254 vsize=28231652 memory=279595794514320 CPUtime=0 cores=0-7 /proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476431655 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498511578480 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16269] ppid=16254 vsize=28231652 memory=279595794455600 CPUtime=0 cores=0-7 /proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431657 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498510526800 140499331123099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16270] ppid=16254 vsize=28231652 memory=279595794528144 CPUtime=0.03 cores=0-7 /proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14242 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 20 0 476431657 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498509474160 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16271] ppid=16254 vsize=28231652 memory=279595794535056 CPUtime=0.02 cores=0-7 /proc/16256/task/16271/stat : 16271 (java) R 16254 16254 14242 0 -1 4202560 142 0 0 0 2 0 0 0 20 0 20 0 476431657 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498508402376 140499310351446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16272] ppid=16254 vsize=28231652 memory=279595794532752 CPUtime=0.02 cores=0-7 /proc/16256/task/16272/stat : 16272 (java) S 16254 16254 14242 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 476431657 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498507368560 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16273] ppid=16254 vsize=28231652 memory=279595794548912 CPUtime=0.12 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) S 16254 16254 14242 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 20 0 476431657 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498506315760 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431658 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476431658 28909211648 12500 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51448 KiB [startup+0.700986 s] /proc/loadavg: 8.47 8.21 8.17 5/211 16275 /proc/meminfo: memFree=9284372/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28233776 memory=120832 CPUtime=1.99 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 16739 0 0 0 193 6 0 0 20 0 20 0 476431652 28911386624 30208 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7058444 30208 3457 1 0 7019544 0 [pid=16256/tid=16257] ppid=16254 vsize=28233776 memory=279595794906800 CPUtime=0.67 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14242 0 -1 4202560 9219 0 0 0 63 4 0 0 20 0 20 0 476431652 28911386624 30208 33554432000 4194304 4196468 140735202834848 140499335339168 140498933240666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28233776 memory=139797897454448 CPUtime=0 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28911386624 30208 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476431653 28911386624 30208 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476431653 28911386624 30208 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 ################ # More data... # ################ [pid=16256/tid=16273] ppid=16254 vsize=28768336 memory=6944656592387989600 CPUtime=1.04 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) R 16254 16254 14242 0 -1 4202560 7123 0 0 0 101 3 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498506315760 140499310135014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28768336 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 826 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16420] ppid=16254 vsize=28768336 memory=6944656592455359580 CPUtime=8.79 cores=0-7 /proc/16256/task/16420/stat : 16420 (java) R 16254 16254 14242 0 -1 4202560 296 0 0 0 879 0 0 0 20 0 28 0 476432470 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498491027304 140498940644508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16421] ppid=16254 vsize=28768336 memory=279595796084752 CPUtime=8.99 cores=0-7 /proc/16256/task/16421/stat : 16421 (java) R 16254 16254 14242 0 -1 4202560 200 0 0 0 899 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498488922248 140498940644354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16422] ppid=16254 vsize=28768336 memory=288230574492221466 CPUtime=8.88 cores=0-7 /proc/16256/task/16422/stat : 16422 (java) R 16254 16254 14242 0 -1 4202560 364 0 0 0 888 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498486817368 140498940644276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16423] ppid=16254 vsize=28768336 memory=288230596050944315 CPUtime=8.99 cores=0-7 /proc/16256/task/16423/stat : 16423 (java) R 16254 16254 14242 0 -1 4202560 439 0 0 0 899 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498485764504 140498940644494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16424] ppid=16254 vsize=28768336 memory=12328 CPUtime=8.89 cores=0-7 /proc/16256/task/16424/stat : 16424 (java) R 16254 16254 14242 0 -1 4202560 208 0 0 0 889 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498489974584 140498940644486 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16425] ppid=16254 vsize=28768336 memory=500 CPUtime=8.88 cores=0-7 /proc/16256/task/16425/stat : 16425 (java) R 16254 16254 14242 0 -1 4202560 496 0 0 0 888 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498487870664 140498940644508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16426] ppid=16254 vsize=28768336 memory=1584 CPUtime=8.82 cores=0-7 /proc/16256/task/16426/stat : 16426 (java) R 16254 16254 14242 0 -1 4202560 420 0 0 0 882 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498493133072 140498942339072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16427] ppid=16254 vsize=28768336 memory=1744 CPUtime=8.77 cores=0-7 /proc/16256/task/16427/stat : 16427 (java) R 16254 16254 14242 0 -1 4202560 1103 0 0 0 877 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498492080520 140498940644508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 126.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 458368 KiB [startup+17.4015 s] /proc/loadavg: 7.92 8.08 8.13 9/219 16429 /proc/meminfo: memFree=8909084/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28768336 memory=456920 CPUtime=127.99 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 51171 0 0 0 12738 61 0 0 20 0 28 0 476431652 29458776064 114230 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7192084 114230 3528 1 0 7153184 0 [pid=16256/tid=16257] ppid=16254 vsize=28768336 memory=1996 CPUtime=1.69 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) S 16254 16254 14242 0 -1 1077944384 9781 0 0 0 161 8 0 0 20 0 28 0 476431652 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499335345280 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28768336 memory=2508 CPUtime=0.07 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 192 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28768336 memory=1532 CPUtime=0.07 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 132 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28768336 memory=836 CPUtime=0.08 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 196 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16261] ppid=16254 vsize=28768336 memory=1760 CPUtime=0.08 cores=0-7 /proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14242 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499280567056 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16262] ppid=16254 vsize=28768336 memory=111632 CPUtime=0.06 cores=0-7 /proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14242 0 -1 1077944384 258 0 0 0 3 3 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499279514256 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16263] ppid=16254 vsize=28768336 memory=804 CPUtime=0.08 cores=0-7 /proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14242 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499278461456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16264] ppid=16254 vsize=28768336 memory=1808 CPUtime=0.08 cores=0-7 /proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14242 0 -1 1077944384 240 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499277408656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16265] ppid=16254 vsize=28768336 memory=139797897150745 CPUtime=0.07 cores=0-7 /proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14242 0 -1 1077944384 147 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499276355856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16266] ppid=16254 vsize=28768336 memory=7594871429135756130 CPUtime=0.02 cores=0-7 /proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14242 0 -1 1077944384 627 0 0 0 1 1 0 0 20 0 28 0 476431654 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498513685360 140499331115650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16267] ppid=16254 vsize=28768336 memory=7378958119250649709 CPUtime=0 cores=0-7 /proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476431655 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498512631392 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16268] ppid=16254 vsize=28768336 memory=7594871429135756130 CPUtime=0 cores=0-7 /proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14242 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 476431655 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498511578496 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16269] ppid=16254 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498510526800 140499331123099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16270] ppid=16254 vsize=28768336 memory=3472468094125939513 CPUtime=1.8 cores=0-7 /proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14242 0 -1 1077944384 5764 0 0 0 179 1 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498509474160 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16271] ppid=16254 vsize=28768336 memory=6944938067429517988 CPUtime=2.27 cores=0-7 /proc/16256/task/16271/stat : 16271 (java) S 16254 16254 14242 0 -1 1077944384 9495 0 0 0 226 1 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498508421360 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16272] ppid=16254 vsize=28768336 memory=3837449090039115808 CPUtime=2.19 cores=0-7 /proc/16256/task/16272/stat : 16272 (java) S 16254 16254 14242 0 -1 1077944384 6147 0 0 0 217 2 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498507368560 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16273] ppid=16254 vsize=28768336 memory=-6932481472620962501 CPUtime=1.04 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) S 16254 16254 14242 0 -1 1077944384 7243 0 0 0 101 3 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498506315760 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16420] ppid=16254 vsize=28768336 memory=0 CPUtime=8.99 cores=0-7 /proc/16256/task/16420/stat : 16420 (java) R 16254 16254 14242 0 -1 4202560 392 0 0 0 899 0 0 0 20 0 28 0 476432470 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498491027304 140498941196685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16421] ppid=16254 vsize=28768336 memory=0 CPUtime=9.19 cores=0-7 /proc/16256/task/16421/stat : 16421 (java) R 16254 16254 14242 0 -1 4202560 240 0 0 0 919 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498488922248 140498940644531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16422] ppid=16254 vsize=28768336 memory=0 CPUtime=9.08 cores=0-7 /proc/16256/task/16422/stat : 16422 (java) R 16254 16254 14242 0 -1 4202560 478 0 0 0 908 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498486817368 140498940644276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16423] ppid=16254 vsize=28768336 memory=0 CPUtime=9.19 cores=0-7 /proc/16256/task/16423/stat : 16423 (java) R 16254 16254 14242 0 -1 4202560 554 0 0 0 919 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498485764504 140498940644198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16424] ppid=16254 vsize=28768336 memory=0 CPUtime=9.09 cores=0-7 /proc/16256/task/16424/stat : 16424 (java) R 16254 16254 14242 0 -1 4202560 244 0 0 0 909 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498489974584 140498940644222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16425] ppid=16254 vsize=28768336 memory=0 CPUtime=9.07 cores=0-7 /proc/16256/task/16425/stat : 16425 (java) R 16254 16254 14242 0 -1 4202560 600 0 0 0 907 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498487870664 140498940644472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16426] ppid=16254 vsize=28768336 memory=0 CPUtime=9.02 cores=0-7 /proc/16256/task/16426/stat : 16426 (java) R 16254 16254 14242 0 -1 4202560 463 0 0 0 902 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498493133072 140498940644171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16427] ppid=16254 vsize=28768336 memory=0 CPUtime=8.97 cores=0-7 /proc/16256/task/16427/stat : 16427 (java) R 16254 16254 14242 0 -1 4202560 1210 0 0 0 897 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498492080520 140498940643986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 127.99 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 458368 KiB [startup+17.5015 s] /proc/loadavg: 7.92 8.08 8.13 9/219 16429 /proc/meminfo: memFree=8909084/32770624 swapFree=67021900/67108860 [pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476431651 115843072 362 33554432000 4194304 5098028 140731037764896 140731037763000 139819341849212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37273600 140731037770578 140731037770837 140731037770837 140731037773766 0 /proc/16254/statm: 28282 362 304 221 0 87 0 [pid=16256] ppid=16254 vsize=28768336 memory=456920 CPUtime=128.78 cores=0-7 /proc/16256/stat : 16256 (java) S 16254 16254 14242 0 -1 1077944320 52442 0 0 0 12817 61 0 0 20 0 28 0 476431652 29458776064 114230 33554432000 4194304 4196468 140735202834848 140735202817392 140499331104503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 /proc/16256/statm: 7192084 114230 3528 1 0 7153184 0 [pid=16256/tid=16257] ppid=16254 vsize=28768336 memory=0 CPUtime=1.69 cores=0-7 /proc/16256/task/16257/stat : 16257 (java) S 16254 16254 14242 0 -1 1077944384 9781 0 0 0 161 8 0 0 20 0 28 0 476431652 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499335345280 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16258] ppid=16254 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7 /proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14242 0 -1 1077944384 192 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499283725456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16259] ppid=16254 vsize=28768336 memory=456920 CPUtime=0.07 cores=0-7 /proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14242 0 -1 1077944384 132 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499282672656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16260] ppid=16254 vsize=28768336 memory=279595795307696 CPUtime=0.08 cores=0-7 /proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14242 0 -1 1077944384 196 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499281619856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16261] ppid=16254 vsize=28768336 memory=456920 CPUtime=0.08 cores=0-7 /proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14242 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499280567056 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16262] ppid=16254 vsize=28768336 memory=435784 CPUtime=0.06 cores=0-7 /proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14242 0 -1 1077944384 258 0 0 0 3 3 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499279514256 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16263] ppid=16254 vsize=28768336 memory=2256 CPUtime=0.08 cores=0-7 /proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14242 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499278461456 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16264] ppid=16254 vsize=28768336 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14242 0 -1 1077944384 240 0 0 0 4 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499277408656 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16265] ppid=16254 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7 /proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14242 0 -1 1077944384 147 0 0 0 3 4 0 0 20 0 28 0 476431653 29458776064 114230 33554432000 4194304 4196468 140735202834848 140499276355856 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16266] ppid=16254 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14242 0 -1 1077944384 627 0 0 0 1 1 0 0 20 0 28 0 476431654 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498513685360 140499331115650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16267] ppid=16254 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476431655 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498512631392 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16268] ppid=16254 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14242 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 476431655 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498511578496 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16269] ppid=16254 vsize=28768336 memory=456920 CPUtime=0 cores=0-7 /proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498510526800 140499331123099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16270] ppid=16254 vsize=28768336 memory=8761640388318109335 CPUtime=1.81 cores=0-7 /proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14242 0 -1 1077944384 6966 0 0 0 180 1 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498509474160 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16271] ppid=16254 vsize=28768336 memory=4137293581110450563 CPUtime=2.27 cores=0-7 /proc/16256/task/16271/stat : 16271 (java) S 16254 16254 14242 0 -1 1077944384 9498 0 0 0 226 1 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498508421360 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16272] ppid=16254 vsize=28768336 memory=1448 CPUtime=2.19 cores=0-7 /proc/16256/task/16272/stat : 16272 (java) S 16254 16254 14242 0 -1 1077944384 6150 0 0 0 217 2 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498507368560 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16273] ppid=16254 vsize=28768336 memory=432348 CPUtime=1.04 cores=0-7 /proc/16256/task/16273/stat : 16273 (java) S 16254 16254 14242 0 -1 1077944384 7247 0 0 0 101 3 0 0 20 0 28 0 476431657 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498506315760 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16274] ppid=16254 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/16256/task/16274/stat : 16274 (java) S 16254 16254 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498505264224 140499331114709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16275] ppid=16254 vsize=28768336 memory=456296 CPUtime=0 cores=0-7 /proc/16256/task/16275/stat : 16275 (java) S 16254 16254 14242 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 28 0 476431658 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498504211504 140499331115650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16420] ppid=16254 vsize=28768336 memory=7378958119250649709 CPUtime=9.09 cores=0-7 /proc/16256/task/16420/stat : 16420 (java) R 16254 16254 14242 0 -1 4202560 392 0 0 0 909 0 0 0 20 0 28 0 476432470 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498491027304 140498940644276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16421] ppid=16254 vsize=28768336 memory=1448 CPUtime=9.29 cores=0-7 /proc/16256/task/16421/stat : 16421 (java) R 16254 16254 14242 0 -1 4202560 240 0 0 0 929 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498488922248 140498940644398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16422] ppid=16254 vsize=28768336 memory=456920 CPUtime=9.17 cores=0-7 /proc/16256/task/16422/stat : 16422 (java) R 16254 16254 14242 0 -1 4202560 478 0 0 0 917 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498486817368 140498940644209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16423] ppid=16254 vsize=28768336 memory=141072495837260 CPUtime=9.28 cores=0-7 /proc/16256/task/16423/stat : 16423 (java) R 16254 16254 14242 0 -1 4202560 561 0 0 0 928 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498485764504 140498940644508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16424] ppid=16254 vsize=28768336 memory=7453282923428407912 CPUtime=9.19 cores=0-7 /proc/16256/task/16424/stat : 16424 (java) R 16254 16254 14242 0 -1 4202560 244 0 0 0 919 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498489974584 140498940644385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16425] ppid=16254 vsize=28768336 memory=5793991148503983464 CPUtime=9.17 cores=0-7 /proc/16256/task/16425/stat : 16425 (java) R 16254 16254 14242 0 -1 4202560 648 0 0 0 917 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498487869896 140498940612295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16426] ppid=16254 vsize=28768336 memory=6791534058613427641 CPUtime=9.12 cores=0-7 /proc/16256/task/16426/stat : 16426 (java) R 16254 16254 14242 0 -1 4202560 467 0 0 0 912 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498493133072 140498940644508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 [pid=16256/tid=16427] ppid=16254 vsize=28768336 memory=1448 CPUtime=9.07 cores=0-7 /proc/16256/task/16427/stat : 16427 (java) R 16254 16254 14242 0 -1 4202560 1210 0 0 0 907 0 0 0 20 0 28 0 476432471 29458776064 114230 33554432000 4194304 4196468 140735202834848 140498492080520 140498940644398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140735202841558 140735202841734 140735202841734 140735202844623 0 Current children cumulated CPU time: 128.78 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 458368 KiB Child status: 0 Real time (s): 17.5539 CPU time (s): 129.125 CPU user time (s): 128.494 CPU system time (s): 0.630902 CPU usage (%): 735.59 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 458368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 128.494 system time used= 0.630902 maximum resident set size= 457320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54224 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7194 involuntary context switches= 2439 # summary of solver processes directly reported to runsolver: # pid: 16254 # total CPU time (s): 129.125 # total CPU user time (s): 128.494 # total CPU system time (s): 0.630902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.155904 second user time and 0.257478 second system time The end
Begin job on node150 at 2019-09-20 19:45:51 IDJOB=4404714 IDBENCH=127979 IDSOLVER=2865 FILE ID=node150/4404714-1569001591 RUNJOBID= node150-1568993963-14269 PBS_JOBID= 21704712 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-6.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-4404714-1569001591/watcher-4404714-1569001591 -o /var/tmp/evaluation-result-4404714-1569001591/solver-4404714-1569001591 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 551788171 HOME/instance-4404714-1569001591.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bc555941feddabd64880acf40a70a83 RANDOM SEED=551788171 node150.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.79 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.79 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.79 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.79 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: 9352260 kB MemAvailable: 31825636 kB Buffers: 169280 kB Cached: 22190092 kB SwapCached: 7944 kB Active: 11147220 kB Inactive: 11246012 kB Active(anon): 4472 kB Inactive(anon): 70272 kB Active(file): 11142748 kB Inactive(file): 11175740 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021900 kB Dirty: 26744 kB Writeback: 0 kB AnonPages: 144460 kB Mapped: 47704 kB Shmem: 32528 kB Slab: 613308 kB SReclaimable: 583348 kB SUnreclaim: 29960 kB KernelStack: 3712 kB PageTables: 6104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 19:46:08