Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 63 | 113.593 | 15.5395 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml |
MD5SUM | 2aec32ddb698ed0594b6493531e6a3ee |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 34.6313 |
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":2},{"size":4,"count":8},{"size":5,"count":11},{"size":6,"count":3},{"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-4406959-1569351710.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406959-1569351710.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.52/1.76 c solve instance... 5.83/1.93 o -1000 10.52/2.54 o -999 10.52/2.54 o -990 11.27/2.61 o -986 11.27/2.69 o -984 12.09/2.79 o -979 12.78/2.80 o -974 12.78/2.81 o -973 12.78/2.81 o -972 12.78/2.83 o -968 12.78/2.84 o -966 12.78/2.87 o -963 13.43/2.93 o -952 13.43/2.95 o -951 14.26/3.02 o -949 14.26/3.02 o -946 14.26/3.03 o -943 15.66/3.22 o 12 16.40/3.37 o 19 17.18/3.43 o 22 18.74/3.63 o 32 18.74/3.64 o 36 21.94/4.08 o 46 23.42/4.29 o 50 32.16/5.34 o 51 32.93/5.42 o 58 33.69/5.51 o 63 113.37/15.52 s OPTIMUM FOUND 113.37/15.52 v <instantiation> 113.37/15.52 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> 113.37/15.52 v <values>1 7 3 4 5 11 0 8 2 15 9 10 6 -1 -1 16 17 23 12 18 19 20 21 22 0 1 4 5 6 7 21 2 3 10 9 8 20 -1 -1 11 12 13 19 18 17 16 15 14 6 6 -1 7 -3 3 0 9 5 7 3 2 -3 0 0 4 9 -2 -4 0 9 1 8 -3 </values> 113.37/15.52 v </instantiation>
OK 63
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 (13799 MiB free) memory of node 1: 16384 MiB (11315 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406959-1569351710/watcher-4406959-1569351710 -o /tmp/evaluation-result-4406959-1569351710/solver-4406959-1569351710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 68453753 HOME/instance-4406959-1569351710.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=18054, runsolver pid=18051 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 7.35 7.42 7.52 3/213 18075 /proc/meminfo: memFree=25701176/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28227396 memory=29140 CPUtime=0.12 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 5693 0 0 0 11 1 0 0 20 0 20 0 511439824 28904853504 7285 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7056849 7285 3145 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 16421 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 511439824 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520593604224 140520589376918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28227396 memory=140158732059117 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18061] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520538827536 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18062] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520537774736 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18063] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520536721936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18064] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520535669136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18065] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 7285 33554432000 4194304 4196468 140730300231360 140520534616336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18066] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518968204144 140520589376130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18067] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518967150112 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18068] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518966097264 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18069] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518965045584 140520589383579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18070] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 16421 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518963992944 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18071] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) R 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518962940240 140520589375189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18072] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) R 18054 18054 16421 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518961878992 140520572788813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18073] ppid=18054 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) R 18054 18054 16421 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518960832080 140520581602110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 7285 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30596 KiB [startup+0.213578 s]* /proc/loadavg: 7.35 7.42 7.52 3/213 18075 /proc/meminfo: memFree=25687824/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28227396 memory=40644 CPUtime=0.34 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 20 0 511439824 28904853504 10161 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7056849 10161 3240 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 16421 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 20 0 511439824 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520593601744 140520573445470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28227396 memory=3546496399614527136 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18061] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520538827536 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18062] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520537774736 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18063] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520536721936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18064] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520535669136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18065] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28904853504 10161 33554432000 4194304 4196468 140730300231360 140520534616336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18066] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518968204144 140520589376130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18067] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518967150112 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18068] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511439827 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518966097264 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18069] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518965045584 140520589383579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18070] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 16421 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518963992944 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18071] ppid=18054 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 16421 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518962940144 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18072] ppid=18054 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 16421 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518961887344 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18073] ppid=18054 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 16421 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518960834544 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28904853504 10161 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42100 KiB [startup+0.311479 s]* /proc/loadavg: 7.35 7.42 7.52 2/213 18075 /proc/meminfo: memFree=25680184/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28231652 memory=49412 CPUtime=0.51 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 10782 0 0 0 47 4 0 0 20 0 20 0 511439824 28909211648 12353 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7057913 12353 3292 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 16421 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 511439824 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520593598768 140520573445470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18061] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520538827536 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18062] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520537774736 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18063] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520536721936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18064] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520535669136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18065] ppid=18054 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28909211648 12418 33554432000 4194304 4196468 140730300231360 140520534616336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18066] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511439827 28909211648 12418 33554432000 4194304 4196468 140730300231360 140518968204144 140520589376130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18067] ppid=18054 vsize=28231652 memory=280317214793088 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511439827 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518967150112 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18068] ppid=18054 vsize=28231652 memory=280317214797696 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511439827 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518966097264 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18069] ppid=18054 vsize=28231652 memory=280317214802304 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518965045584 140520589383579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18070] ppid=18054 vsize=28231652 memory=280317214806912 CPUtime=0.01 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 16421 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518963992944 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18071] ppid=18054 vsize=28231652 memory=280317214811520 CPUtime=0.03 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 16421 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518962940144 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18072] ppid=18054 vsize=28231652 memory=280317214816128 CPUtime=0.02 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 16421 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518961887344 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18073] ppid=18054 vsize=28231652 memory=280317214820736 CPUtime=0.12 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 16421 0 -1 1077944384 903 0 0 0 12 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518960834544 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439830 28909211648 12425 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50868 KiB [startup+0.701024 s] /proc/loadavg: 7.35 7.42 7.52 5/213 18075 /proc/meminfo: memFree=25650048/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28233776 memory=119152 CPUtime=2.01 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 16328 0 0 0 195 6 0 0 20 0 20 0 511439824 28911386624 29788 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7058444 29788 3459 1 0 7019544 0 [pid=18056/tid=18057] ppid=18054 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 16421 0 -1 4202560 9151 0 0 0 64 4 0 0 20 0 20 0 511439824 28911386624 29788 33554432000 4194304 4196468 140730300231360 140520593600000 140520206663748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511439825 28911386624 29788 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511439825 28911386624 29788 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28233776 memory=1188 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511439825 28911386624 29788 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 ################ # More data... # ################ [pid=18056/tid=18073] ppid=18054 vsize=28834900 memory=-2895008908443675764 CPUtime=0.95 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 16421 0 -1 1077944384 5744 0 0 0 93 2 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518960834544 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28834900 memory=-7814691523512926820 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28834900 memory=-7361183220417257581 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18292] ppid=18054 vsize=28834900 memory=7681407940103534239 CPUtime=9.59 cores=0-7 /proc/18056/task/18292/stat : 18292 (java) R 18054 18054 16421 0 -1 4202560 317 0 0 0 959 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518946360472 140520214793586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18293] ppid=18054 vsize=28834900 memory=5791726317272917849 CPUtime=9.66 cores=0-7 /proc/18056/task/18293/stat : 18293 (java) R 18054 18054 16421 0 -1 4202560 101 0 0 0 966 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518947414152 140520214569934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18294] ppid=18054 vsize=28834900 memory=5791726317272917849 CPUtime=9.33 cores=0-7 /proc/18056/task/18294/stat : 18294 (java) R 18054 18054 16421 0 -1 4202560 345 0 0 0 933 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518941097992 140520215274710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18295] ppid=18054 vsize=28834900 memory=5791726317272917849 CPUtime=9.41 cores=0-7 /proc/18056/task/18295/stat : 18295 (java) R 18054 18054 16421 0 -1 4202560 702 0 0 0 941 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518940046024 140520214569774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18296] ppid=18054 vsize=28834900 memory=56 CPUtime=9.38 cores=0-7 /proc/18056/task/18296/stat : 18296 (java) R 18054 18054 16421 0 -1 4202560 1024 0 0 0 938 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518945308424 140520215275735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18297] ppid=18054 vsize=28834900 memory=8243114992657236055 CPUtime=9.53 cores=0-7 /proc/18056/task/18297/stat : 18297 (java) R 18054 18054 16421 0 -1 4202560 263 0 0 0 953 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518943202696 140520214570143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18298] ppid=18054 vsize=28834900 memory=288285580274546038 CPUtime=9.36 cores=0-7 /proc/18056/task/18298/stat : 18298 (java) R 18054 18054 16421 0 -1 4202560 559 0 0 0 936 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518938993160 140520214570021 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18299] ppid=18054 vsize=28834900 memory=-7880843606118635149 CPUtime=9.53 cores=0-7 /proc/18056/task/18299/stat : 18299 (java) R 18054 18054 16421 0 -1 4202560 328 0 0 0 953 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518944256392 140520217028907 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 110.97 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 533336 KiB [startup+15.4014 s] /proc/loadavg: 7.71 7.50 7.54 9/221 18300 /proc/meminfo: memFree=25200704/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28834900 memory=531880 CPUtime=112.57 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 52412 0 0 0 11193 64 0 0 20 0 28 0 511439824 29526937600 132970 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7208725 132970 3528 1 0 7169825 0 [pid=18056/tid=18057] ppid=18054 vsize=28834900 memory=4350565640707993699 CPUtime=1.69 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) S 18054 18054 16421 0 -1 1077944384 9683 0 0 0 163 6 0 0 20 0 28 0 511439824 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520593605760 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28834900 memory=4350565640707993699 CPUtime=0.07 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 120 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28834900 memory=3691931692968340336 CPUtime=0.07 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 121 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28834900 memory=3691931692968340336 CPUtime=0.06 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 106 0 0 0 3 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18061] ppid=18054 vsize=28834900 memory=16740 CPUtime=0.07 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 16421 0 -1 1077944384 133 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520538827536 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18062] ppid=18054 vsize=28834900 memory=7017545447313007701 CPUtime=0.07 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 16421 0 -1 1077944384 125 0 0 0 4 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520537774736 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18063] ppid=18054 vsize=28834900 memory=6944656592387989600 CPUtime=0.08 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 16421 0 -1 1077944384 149 0 0 0 4 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520536721936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18064] ppid=18054 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 16421 0 -1 1077944384 139 0 0 0 4 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520535669136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18065] ppid=18054 vsize=28834900 memory=304274648164728858 CPUtime=0.06 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 16421 0 -1 1077944384 104 0 0 0 3 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520534616336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18066] ppid=18054 vsize=28834900 memory=288230596050944315 CPUtime=0.01 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 16421 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518968204144 140520589376130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18067] ppid=18054 vsize=28834900 memory=16099273431322896 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 16421 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518967150176 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18068] ppid=18054 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 16421 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518966097280 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18069] ppid=18054 vsize=28834900 memory=519620 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518965045584 140520589383579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18070] ppid=18054 vsize=28834900 memory=1768 CPUtime=2 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 16421 0 -1 1077944384 7440 0 0 0 198 2 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518963992944 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18071] ppid=18054 vsize=28834900 memory=1398722017469774279 CPUtime=2.32 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 16421 0 -1 1077944384 5295 0 0 0 231 1 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518962940144 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18072] ppid=18054 vsize=28834900 memory=0 CPUtime=2.26 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 16421 0 -1 1077944384 11291 0 0 0 223 3 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518961887344 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18073] ppid=18054 vsize=28834900 memory=60 CPUtime=0.96 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 16421 0 -1 1077944384 5878 0 0 0 94 2 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518960834544 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28834900 memory=94 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18292] ppid=18054 vsize=28834900 memory=4 CPUtime=9.79 cores=0-7 /proc/18056/task/18292/stat : 18292 (java) R 18054 18054 16421 0 -1 4202560 319 0 0 0 979 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518946360472 140520214570083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18293] ppid=18054 vsize=28834900 memory=0 CPUtime=9.86 cores=0-7 /proc/18056/task/18293/stat : 18293 (java) R 18054 18054 16421 0 -1 4202560 102 0 0 0 986 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518947414152 140520215275760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18294] ppid=18054 vsize=28834900 memory=0 CPUtime=9.53 cores=0-7 /proc/18056/task/18294/stat : 18294 (java) R 18054 18054 16421 0 -1 4202560 347 0 0 0 953 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518941097992 140520214569951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18295] ppid=18054 vsize=28834900 memory=1456 CPUtime=9.61 cores=0-7 /proc/18056/task/18295/stat : 18295 (java) R 18054 18054 16421 0 -1 4202560 708 0 0 0 961 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518940046024 140520214569856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18296] ppid=18054 vsize=28834900 memory=2828 CPUtime=9.58 cores=0-7 /proc/18056/task/18296/stat : 18296 (java) R 18054 18054 16421 0 -1 4202560 1048 0 0 0 958 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518945310472 140520214569829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18297] ppid=18054 vsize=28834900 memory=780 CPUtime=9.73 cores=0-7 /proc/18056/task/18297/stat : 18297 (java) R 18054 18054 16421 0 -1 4202560 266 0 0 0 973 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518943202696 140520214569836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18298] ppid=18054 vsize=28834900 memory=620 CPUtime=9.56 cores=0-7 /proc/18056/task/18298/stat : 18298 (java) R 18054 18054 16421 0 -1 4202560 564 0 0 0 956 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518938993160 140520214569825 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18299] ppid=18054 vsize=28834900 memory=1496 CPUtime=9.73 cores=0-7 /proc/18056/task/18299/stat : 18299 (java) R 18054 18054 16421 0 -1 4202560 332 0 0 0 973 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518944256392 140520214570923 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 112.57 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 533336 KiB [startup+15.5014 s] /proc/loadavg: 7.71 7.50 7.54 9/221 18300 /proc/meminfo: memFree=25200704/32770624 swapFree=66959708/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511439824 115843072 364 33554432000 4194304 5098028 140723706709264 140723706707368 140104915317372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9211904 140723706712951 140723706713193 140723706713193 140723706716106 0 /proc/18054/statm: 28282 364 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28834900 memory=531880 CPUtime=113.37 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 16421 0 -1 1077944320 52416 0 0 0 11273 64 0 0 20 0 28 0 511439824 29526937600 132970 33554432000 4194304 4196468 140730300231360 140730300213904 140520589364983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 /proc/18056/statm: 7208725 132970 3528 1 0 7169825 0 [pid=18056/tid=18057] ppid=18054 vsize=28834900 memory=1456 CPUtime=1.69 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) S 18054 18054 16421 0 -1 1077944384 9683 0 0 0 163 6 0 0 20 0 28 0 511439824 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520593605760 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18058] ppid=18054 vsize=28834900 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 16421 0 -1 1077944384 120 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520541985936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18059] ppid=18054 vsize=28834900 memory=65232 CPUtime=0.07 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 16421 0 -1 1077944384 121 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520540933136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18060] ppid=18054 vsize=28834900 memory=525728 CPUtime=0.06 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 16421 0 -1 1077944384 106 0 0 0 3 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520539880336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18061] ppid=18054 vsize=28834900 memory=4420 CPUtime=0.07 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 16421 0 -1 1077944384 133 0 0 0 3 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520538827536 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18062] ppid=18054 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 16421 0 -1 1077944384 125 0 0 0 4 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520537774736 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18063] ppid=18054 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 16421 0 -1 1077944384 149 0 0 0 4 4 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520536721936 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18064] ppid=18054 vsize=28834900 memory=6656426216303648864 CPUtime=0.07 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 16421 0 -1 1077944384 139 0 0 0 4 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520535669136 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18065] ppid=18054 vsize=28834900 memory=-7233780906022726806 CPUtime=0.06 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 16421 0 -1 1077944384 104 0 0 0 3 3 0 0 20 0 28 0 511439825 29526937600 132970 33554432000 4194304 4196468 140730300231360 140520534616336 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18066] ppid=18054 vsize=28834900 memory=6944656591801717918 CPUtime=0.01 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 16421 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518968204144 140520589376130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18067] ppid=18054 vsize=28834900 memory=280317215660416 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 16421 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518967150176 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18068] ppid=18054 vsize=28834900 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 16421 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511439827 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518966097280 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18069] ppid=18054 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518965045584 140520589383579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18070] ppid=18054 vsize=28834900 memory=0 CPUtime=2 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 16421 0 -1 1077944384 7440 0 0 0 198 2 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518963992944 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18071] ppid=18054 vsize=28834900 memory=140163023226495 CPUtime=2.32 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 16421 0 -1 1077944384 5295 0 0 0 231 1 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518962940144 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18072] ppid=18054 vsize=28834900 memory=0 CPUtime=2.26 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 16421 0 -1 1077944384 11291 0 0 0 223 3 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518961887344 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18073] ppid=18054 vsize=28834900 memory=-6800859132029471843 CPUtime=0.96 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 16421 0 -1 1077944384 5878 0 0 0 94 2 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518960834544 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18074] ppid=18054 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518959783008 140520589375189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18075] ppid=18054 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 16421 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 28 0 511439830 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518958730288 140520589376130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18292] ppid=18054 vsize=28834900 memory=423544 CPUtime=9.89 cores=0-7 /proc/18056/task/18292/stat : 18292 (java) R 18054 18054 16421 0 -1 4202560 319 0 0 0 989 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518946360472 140520214570143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18293] ppid=18054 vsize=28834900 memory=280317214665184 CPUtime=9.96 cores=0-7 /proc/18056/task/18293/stat : 18293 (java) R 18054 18054 16421 0 -1 4202560 102 0 0 0 996 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518947414152 140520214569694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18294] ppid=18054 vsize=28834900 memory=6940443203498692944 CPUtime=9.63 cores=0-7 /proc/18056/task/18294/stat : 18294 (java) R 18054 18054 16421 0 -1 4202560 347 0 0 0 963 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518941097992 140520214793021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18295] ppid=18054 vsize=28834900 memory=0 CPUtime=9.7 cores=0-7 /proc/18056/task/18295/stat : 18295 (java) R 18054 18054 16421 0 -1 4202560 708 0 0 0 970 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518940046024 140520214569934 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18296] ppid=18054 vsize=28834900 memory=0 CPUtime=9.68 cores=0-7 /proc/18056/task/18296/stat : 18296 (java) R 18054 18054 16421 0 -1 4202560 1052 0 0 0 968 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518945310472 140520214611207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18297] ppid=18054 vsize=28834900 memory=3624 CPUtime=9.83 cores=0-7 /proc/18056/task/18297/stat : 18297 (java) R 18054 18054 16421 0 -1 4202560 266 0 0 0 983 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518943202696 140520215275316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18298] ppid=18054 vsize=28834900 memory=65232 CPUtime=9.66 cores=0-7 /proc/18056/task/18298/stat : 18298 (java) R 18054 18054 16421 0 -1 4202560 564 0 0 0 966 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518938993160 140520214569934 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 [pid=18056/tid=18299] ppid=18054 vsize=28834900 memory=3624 CPUtime=9.83 cores=0-7 /proc/18056/task/18299/stat : 18299 (java) R 18054 18054 16421 0 -1 4202560 332 0 0 0 983 0 0 0 20 0 28 0 511440375 29526937600 132970 33554432000 4194304 4196468 140730300231360 140518944256392 140520214569934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28213248 140730300236778 140730300236950 140730300236950 140730300239823 0 Current children cumulated CPU time: 113.37 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 533336 KiB Child status: 0 Real time (s): 15.5395 CPU time (s): 113.593 CPU user time (s): 112.932 CPU system time (s): 0.660729 CPU usage (%): 730.996 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 533336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 112.932 system time used= 0.660729 maximum resident set size= 534276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54017 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6942 involuntary context switches= 2078 # summary of solver processes directly reported to runsolver: # pid: 18054 # total CPU time (s): 113.593 # total CPU user time (s): 112.932 # total CPU system time (s): 0.660729 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.1737 second user time and 0.203217 second system time The end
Begin job on node127 at 2019-09-24 21:01:09 IDJOB=4406959 IDBENCH=128024 IDSOLVER=2871 FILE ID=node127/4406959-1569351710 RUNJOBID= node127-1569349242-16448 PBS_JOBID= 21705087 Free space on /tmp= 35920 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-8.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-4406959-1569351710/watcher-4406959-1569351710 -o /tmp/evaluation-result-4406959-1569351710/solver-4406959-1569351710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 68453753 HOME/instance-4406959-1569351710.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2aec32ddb698ed0594b6493531e6a3ee RANDOM SEED=68453753 node127.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.55 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.55 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.55 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.55 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: 25718108 kB MemAvailable: 31796556 kB Buffers: 89348 kB Cached: 6189232 kB SwapCached: 44644 kB Active: 3061388 kB Inactive: 3268180 kB Active(anon): 2464 kB Inactive(anon): 105944 kB Active(file): 3058924 kB Inactive(file): 3162236 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66959708 kB Dirty: 27296 kB Writeback: 0 kB AnonPages: 178012 kB Mapped: 57880 kB Shmem: 49032 kB Slab: 314892 kB SReclaimable: 285748 kB SUnreclaim: 29144 kB KernelStack: 3744 kB PageTables: 5564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35896 MiB End job on node127 at 2019-09-24 21:01:25