Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 35 | 131.115 | 17.7855 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml |
MD5SUM | e870fb3a9053f33a7d0d8e73b49cdad7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 38.3375 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":12},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405015-1569004526.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405015-1569004526.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.33/1.76 c solve instance... 4.88/1.85 o -1000 7.24/2.13 o -998 7.24/2.14 o -993 10.90/2.66 o -992 10.90/2.67 o -984 10.90/2.69 o -977 11.65/2.71 o -976 11.65/2.75 o -972 12.36/2.90 o -969 13.11/2.91 o -968 13.11/2.92 o -964 25.78/4.54 o -961 32.13/5.33 o -960 51.15/7.72 o 18 51.92/7.85 o 27 55.01/8.22 o 29 62.97/9.24 o 35 130.53/17.77 s OPTIMUM FOUND 130.53/17.77 v <instantiation> 130.53/17.77 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> 130.53/17.77 v <values>1 2 8 -1 -1 -1 0 -1 9 10 11 17 6 -1 -1 -1 -1 23 12 18 19 20 21 22 0 1 2 -1 -1 -1 15 -1 3 4 5 6 14 -1 -1 -1 -1 7 13 12 11 10 9 8 -5 7 6 0 0 0 3 0 8 -3 4 0 1 0 0 0 0 2 4 -3 9 -3 0 5 </values> 130.53/17.77 v </instantiation>
OK 35
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13527 MiB free) memory of node 1: 16384 MiB (10529 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405015-1569004526/watcher-4405015-1569004526 -o /var/tmp/evaluation-result-4405015-1569004526/solver-4405015-1569004526 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1282616845 HOME/instance-4405015-1569004526.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10660, runsolver pid=10657 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 8.00 7.78 7.96 3/212 10681 /proc/meminfo: memFree=24616780/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28227396 memory=30176 CPUtime=0.12 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 5951 0 0 0 11 1 0 0 20 0 20 0 476391007 28904853504 7544 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7056849 7544 3144 1 0 7019032 0 [pid=10662/tid=10663] ppid=10660 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) R 10660 10660 7849 0 -1 4202560 3866 0 0 0 8 1 0 0 20 0 20 0 476391007 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599975085872 140599970864534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28227396 memory=140272353228416 CPUtime=0 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10667] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10667/stat : 10667 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599920314896 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10668] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10668/stat : 10668 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599919262608 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10669] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10669/stat : 10669 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599918209808 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10670] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10670/stat : 10670 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599917157520 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10671] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10671/stat : 10671 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 7544 33554432000 4194304 4196468 140730259094400 140599514487824 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10672] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10672/stat : 10672 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391009 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598568790128 140599970863746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10673] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10673/stat : 10673 (java) S 10660 10660 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476391010 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598567736096 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10674] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10674/stat : 10674 (java) S 10660 10660 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476391010 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598566683760 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10675] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10675/stat : 10675 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598565632080 140599970871195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10676] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10676/stat : 10676 (java) S 10660 10660 7849 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598564579952 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10677] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10677/stat : 10677 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598563527152 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10678] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10678/stat : 10678 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598562474864 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10679] ppid=10660 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) R 10660 10660 7849 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 20 0 476391012 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598561422064 140599962881893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391013 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391013 28904853504 7544 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31632 KiB [startup+0.21049 s]* /proc/loadavg: 8.00 7.78 7.96 3/212 10681 /proc/meminfo: memFree=24605288/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28227396 memory=40556 CPUtime=0.34 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 9376 0 0 0 31 3 0 0 20 0 20 0 476391007 28904853504 10139 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7056849 10139 3294 1 0 7019032 0 [pid=10662/tid=10663] ppid=10660 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) R 10660 10660 7849 0 -1 4202560 6630 0 0 0 17 2 0 0 20 0 20 0 476391007 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599975086528 140599970864534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28227396 memory=140272353238250 CPUtime=0 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10667] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10667/stat : 10667 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599920314896 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10668] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10668/stat : 10668 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599919262608 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10669] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10669/stat : 10669 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599918209808 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10670] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10670/stat : 10670 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599917157520 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10671] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10671/stat : 10671 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28904853504 10139 33554432000 4194304 4196468 140730259094400 140599514487824 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10672] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10672/stat : 10672 (java) S 10660 10660 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476391009 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598568790128 140599970863746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10673] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10673/stat : 10673 (java) S 10660 10660 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476391010 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598567736096 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10674] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10674/stat : 10674 (java) S 10660 10660 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476391010 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598566683760 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10675] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10675/stat : 10675 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598565632080 140599970871195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10676] ppid=10660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10662/task/10676/stat : 10676 (java) S 10660 10660 7849 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 476391012 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598564579952 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10677] ppid=10660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10662/task/10677/stat : 10677 (java) S 10660 10660 7849 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 476391012 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598563527152 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10678] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10678/stat : 10678 (java) S 10660 10660 7849 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 476391012 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598562474864 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10679] ppid=10660 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) R 10660 10660 7849 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 20 0 476391012 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598561421872 140599949385890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391013 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391013 28904853504 10139 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42012 KiB [startup+0.310277 s]* /proc/loadavg: 8.00 7.78 7.96 4/212 10681 /proc/meminfo: memFree=24598016/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28231652 memory=50124 CPUtime=0.52 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 10814 0 0 0 48 4 0 0 20 0 20 0 476391007 28909211648 12531 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7057913 12531 3341 1 0 7019032 0 [pid=10662/tid=10663] ppid=10660 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) R 10660 10660 7849 0 -1 4202560 7788 0 0 0 27 3 0 0 20 0 20 0 476391007 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599975083712 140599954933086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10667] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10667/stat : 10667 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599920314896 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10668] ppid=10660 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/10662/task/10668/stat : 10668 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599919262608 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10669] ppid=10660 vsize=28231652 memory=140272222696367 CPUtime=0 cores=0-7 /proc/10662/task/10669/stat : 10669 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599918209808 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10670] ppid=10660 vsize=28231652 memory=140272222698672 CPUtime=0 cores=0-7 /proc/10662/task/10670/stat : 10670 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599917157520 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10671] ppid=10660 vsize=28231652 memory=140272222700976 CPUtime=0 cores=0-7 /proc/10662/task/10671/stat : 10671 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28909211648 12531 33554432000 4194304 4196468 140730259094400 140599514487824 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10672] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10672/stat : 10672 (java) S 10660 10660 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476391009 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598568790128 140599970863746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10673] ppid=10660 vsize=28231652 memory=280544445408912 CPUtime=0 cores=0-7 /proc/10662/task/10673/stat : 10673 (java) S 10660 10660 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476391010 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598567736096 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10674] ppid=10660 vsize=28231652 memory=280544445415824 CPUtime=0 cores=0-7 /proc/10662/task/10674/stat : 10674 (java) S 10660 10660 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476391010 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598566683760 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10675] ppid=10660 vsize=28231652 memory=280544445356976 CPUtime=0 cores=0-7 /proc/10662/task/10675/stat : 10675 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391012 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598565632080 140599970871195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10676] ppid=10660 vsize=28231652 memory=280544445429648 CPUtime=0.01 cores=0-7 /proc/10662/task/10676/stat : 10676 (java) S 10660 10660 7849 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 20 0 476391012 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598564579952 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10677] ppid=10660 vsize=28231652 memory=280544445436560 CPUtime=0.03 cores=0-7 /proc/10662/task/10677/stat : 10677 (java) S 10660 10660 7849 0 -1 1077944384 154 0 0 0 3 0 0 0 20 0 20 0 476391012 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598563527152 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10678] ppid=10660 vsize=28231652 memory=280544445434256 CPUtime=0.02 cores=0-7 /proc/10662/task/10678/stat : 10678 (java) R 10660 10660 7849 0 -1 4202560 138 0 0 0 2 0 0 0 20 0 20 0 476391012 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598562465248 140599950099701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10679] ppid=10660 vsize=28231652 memory=280544445450416 CPUtime=0.13 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) S 10660 10660 7849 0 -1 1077944384 935 0 0 0 13 0 0 0 20 0 20 0 476391012 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598561422064 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476391013 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391013 28909211648 12531 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51580 KiB [startup+0.70438 s] /proc/loadavg: 8.00 7.78 7.96 5/212 10681 /proc/meminfo: memFree=24564464/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28233776 memory=117288 CPUtime=1.97 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 15871 0 0 0 191 6 0 0 20 0 20 0 476391007 28911386624 29322 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7058444 29322 3457 1 0 7019544 0 [pid=10662/tid=10663] ppid=10660 vsize=28233776 memory=280544445808304 CPUtime=0.68 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) R 10660 10660 7849 0 -1 4202560 9197 0 0 0 64 4 0 0 20 0 20 0 476391007 28911386624 29322 33554432000 4194304 4196468 140730259094400 140599975088408 140599600780053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28233776 memory=140272222905200 CPUtime=0 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28911386624 29322 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476391008 28911386624 29322 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28233776 memory=5800 CPUtime=0 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476391008 28911386624 29322 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 ################ # More data... # ################ [pid=10662/tid=10679] ppid=10660 vsize=28834900 memory=4639074098508484693 CPUtime=1.04 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) S 10660 10660 7849 0 -1 1077944384 9375 0 0 0 101 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598561422064 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28834900 memory=4639074098508484694 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28834900 memory=7018685550965191017 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 761 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10818] ppid=10660 vsize=28834900 memory=7379543162582684261 CPUtime=7.75 cores=0-7 /proc/10662/task/10818/stat : 10818 (java) R 10660 10660 7849 0 -1 4202560 369 0 0 0 775 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598539815568 140599604295328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10819] ppid=10660 vsize=28834900 memory=6298676984235774054 CPUtime=7.91 cores=0-7 /proc/10662/task/10819/stat : 10819 (java) R 10660 10660 7849 0 -1 4202560 249 0 0 0 791 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598547185528 140599603884832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10820] ppid=10660 vsize=28834900 memory=7300728970739542608 CPUtime=7.66 cores=0-7 /proc/10662/task/10820/stat : 10820 (java) R 10660 10660 7849 0 -1 4202560 379 0 0 0 766 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598541922552 140599604294197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10821] ppid=10660 vsize=28834900 memory=0 CPUtime=7.84 cores=0-7 /proc/10662/task/10821/stat : 10821 (java) R 10660 10660 7849 0 -1 4202560 423 0 0 0 784 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598545080440 140599603884832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10822] ppid=10660 vsize=28834900 memory=0 CPUtime=7.69 cores=0-7 /proc/10662/task/10822/stat : 10822 (java) R 10660 10660 7849 0 -1 4202560 286 0 0 0 769 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598540870120 140599603885043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10823] ppid=10660 vsize=28834900 memory=2319553682489906227 CPUtime=7.7 cores=0-7 /proc/10662/task/10823/stat : 10823 (java) R 10660 10660 7849 0 -1 4202560 331 0 0 0 770 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598544028024 140599603884718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10824] ppid=10660 vsize=28834900 memory=0 CPUtime=7.6 cores=0-7 /proc/10662/task/10824/stat : 10824 (java) R 10660 10660 7849 0 -1 4202560 1613 0 0 0 760 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598548237704 140599604209621 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10825] ppid=10660 vsize=28834900 memory=288230604626230233 CPUtime=7.67 cores=0-7 /proc/10662/task/10825/stat : 10825 (java) R 10660 10660 7849 0 -1 4202560 390 0 0 0 767 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598542974360 140599603885050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 126.54 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 461952 KiB [startup+17.6014 s] /proc/loadavg: 8.42 7.89 7.99 9/219 10828 /proc/meminfo: memFree=24185152/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28834900 memory=460496 CPUtime=129.74 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 60287 0 0 0 12912 62 0 0 20 0 28 0 476391007 29526937600 115124 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7208725 115124 3535 1 0 7169825 0 [pid=10662/tid=10663] ppid=10660 vsize=28834900 memory=1456 CPUtime=1.68 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) S 10660 10660 7849 0 -1 1077944384 9926 0 0 0 161 7 0 0 20 0 28 0 476391007 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599975093376 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28834900 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 265 0 0 0 5 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28834900 memory=2116 CPUtime=0.07 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 151 0 0 0 4 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28834900 memory=27904 CPUtime=0.06 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 138 0 0 0 2 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10667] ppid=10660 vsize=28834900 memory=532 CPUtime=0.06 cores=0-7 /proc/10662/task/10667/stat : 10667 (java) S 10660 10660 7849 0 -1 1077944384 158 0 0 0 3 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599920314896 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10668] ppid=10660 vsize=28834900 memory=1556 CPUtime=0.06 cores=0-7 /proc/10662/task/10668/stat : 10668 (java) S 10660 10660 7849 0 -1 1077944384 342 0 0 0 3 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599919262608 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10669] ppid=10660 vsize=28834900 memory=932 CPUtime=0.07 cores=0-7 /proc/10662/task/10669/stat : 10669 (java) S 10660 10660 7849 0 -1 1077944384 203 0 0 0 3 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599918209808 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10670] ppid=10660 vsize=28834900 memory=460492 CPUtime=0.07 cores=0-7 /proc/10662/task/10670/stat : 10670 (java) S 10660 10660 7849 0 -1 1077944384 971 0 0 0 4 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599917157520 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10671] ppid=10660 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/10662/task/10671/stat : 10671 (java) S 10660 10660 7849 0 -1 1077944384 149 0 0 0 3 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599514487824 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10672] ppid=10660 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/10662/task/10672/stat : 10672 (java) S 10660 10660 7849 0 -1 1077944384 1132 0 0 0 1 0 0 0 20 0 28 0 476391009 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598568790128 140599970863746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10673] ppid=10660 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/10662/task/10673/stat : 10673 (java) S 10660 10660 7849 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476391010 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598567736160 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10674] ppid=10660 vsize=28834900 memory=460488 CPUtime=0 cores=0-7 /proc/10662/task/10674/stat : 10674 (java) S 10660 10660 7849 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 476391010 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598566683776 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10675] ppid=10660 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10675/stat : 10675 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598565632080 140599970871195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10676] ppid=10660 vsize=28834900 memory=1424 CPUtime=2.13 cores=0-7 /proc/10662/task/10676/stat : 10676 (java) S 10660 10660 7849 0 -1 1077944384 9294 0 0 0 210 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598564579952 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10677] ppid=10660 vsize=28834900 memory=1540 CPUtime=2.36 cores=0-7 /proc/10662/task/10677/stat : 10677 (java) S 10660 10660 7849 0 -1 1077944384 9697 0 0 0 234 2 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598563527152 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10678] ppid=10660 vsize=28834900 memory=772 CPUtime=1.69 cores=0-7 /proc/10662/task/10678/stat : 10678 (java) S 10660 10660 7849 0 -1 1077944384 6845 0 0 0 166 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598562474864 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10679] ppid=10660 vsize=28834900 memory=10596 CPUtime=1.04 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) S 10660 10660 7849 0 -1 1077944384 9375 0 0 0 101 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598561422064 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28834900 memory=1708 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28834900 memory=988 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 761 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10818] ppid=10660 vsize=28834900 memory=3628 CPUtime=8.15 cores=0-7 /proc/10662/task/10818/stat : 10818 (java) R 10660 10660 7849 0 -1 4202560 371 0 0 0 815 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598539815568 140599603884776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10819] ppid=10660 vsize=28834900 memory=1456 CPUtime=8.31 cores=0-7 /proc/10662/task/10819/stat : 10819 (java) R 10660 10660 7849 0 -1 4202560 253 0 0 0 831 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598547185392 140599603884832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10820] ppid=10660 vsize=28834900 memory=459540 CPUtime=8.06 cores=0-7 /proc/10662/task/10820/stat : 10820 (java) R 10660 10660 7849 0 -1 4202560 387 0 0 0 806 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598541922552 140599603884718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10821] ppid=10660 vsize=28834900 memory=1456 CPUtime=8.24 cores=0-7 /proc/10662/task/10821/stat : 10821 (java) R 10660 10660 7849 0 -1 4202560 438 0 0 0 824 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598545080304 140599603884991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10822] ppid=10660 vsize=28834900 memory=164 CPUtime=8.09 cores=0-7 /proc/10662/task/10822/stat : 10822 (java) R 10660 10660 7849 0 -1 4202560 292 0 0 0 809 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598540870136 140599603884776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10823] ppid=10660 vsize=28834900 memory=-7088778499827004608 CPUtime=8.1 cores=0-7 /proc/10662/task/10823/stat : 10823 (java) R 10660 10660 7849 0 -1 4202560 333 0 0 0 810 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598544027736 140599603884932 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10824] ppid=10660 vsize=28834900 memory=4945125699554088323 CPUtime=8 cores=0-7 /proc/10662/task/10824/stat : 10824 (java) R 10660 10660 7849 0 -1 4202560 1615 0 0 0 800 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598548238072 140599604209171 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10825] ppid=10660 vsize=28834900 memory=-6860787125238664386 CPUtime=8.07 cores=0-7 /proc/10662/task/10825/stat : 10825 (java) R 10660 10660 7849 0 -1 4202560 397 0 0 0 807 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598542974448 140599603884749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 129.74 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 461952 KiB [startup+17.7014 s] /proc/loadavg: 8.42 7.89 7.99 9/219 10828 /proc/meminfo: memFree=24185152/32770624 swapFree=66997224/67108860 [pid=10660] ppid=10657 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/10660/stat : 10660 (xcsp3-exec) S 10657 10660 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476391006 115843072 364 33554432000 4194304 5098028 140733745579760 140733745577864 140675199468156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34635776 140733745582935 140733745583194 140733745583194 140733745586118 0 /proc/10660/statm: 28282 364 305 221 0 87 0 [pid=10662] ppid=10660 vsize=28834900 memory=460496 CPUtime=130.53 cores=0-7 /proc/10662/stat : 10662 (java) S 10660 10660 7849 0 -1 1077944320 60327 0 0 0 12991 62 0 0 20 0 28 0 476391007 29526937600 115124 33554432000 4194304 4196468 140730259094400 140730259076944 140599970852599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 /proc/10662/statm: 7208725 115124 3535 1 0 7169825 0 [pid=10662/tid=10663] ppid=10660 vsize=28834900 memory=460496 CPUtime=1.68 cores=0-7 /proc/10662/task/10663/stat : 10663 (java) S 10660 10660 7849 0 -1 1077944384 9926 0 0 0 161 7 0 0 20 0 28 0 476391007 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599975093376 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10664] ppid=10660 vsize=28834900 memory=1456 CPUtime=0.08 cores=0-7 /proc/10662/task/10664/stat : 10664 (java) S 10660 10660 7849 0 -1 1077944384 265 0 0 0 5 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599923472784 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10665] ppid=10660 vsize=28834900 memory=460492 CPUtime=0.07 cores=0-7 /proc/10662/task/10665/stat : 10665 (java) S 10660 10660 7849 0 -1 1077944384 151 0 0 0 4 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599922419984 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10666] ppid=10660 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/10662/task/10666/stat : 10666 (java) S 10660 10660 7849 0 -1 1077944384 138 0 0 0 2 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599921367696 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10667] ppid=10660 vsize=28834900 memory=1456 CPUtime=0.06 cores=0-7 /proc/10662/task/10667/stat : 10667 (java) S 10660 10660 7849 0 -1 1077944384 158 0 0 0 3 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599920314896 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10668] ppid=10660 vsize=28834900 memory=186108113734259 CPUtime=0.06 cores=0-7 /proc/10662/task/10668/stat : 10668 (java) S 10660 10660 7849 0 -1 1077944384 342 0 0 0 3 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599919262608 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10669] ppid=10660 vsize=28834900 memory=3905500701923620864 CPUtime=0.07 cores=0-7 /proc/10662/task/10669/stat : 10669 (java) S 10660 10660 7849 0 -1 1077944384 203 0 0 0 3 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599918209808 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10670] ppid=10660 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/10662/task/10670/stat : 10670 (java) S 10660 10660 7849 0 -1 1077944384 971 0 0 0 4 3 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599917157520 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10671] ppid=10660 vsize=28834900 memory=140272226731809 CPUtime=0.07 cores=0-7 /proc/10662/task/10671/stat : 10671 (java) S 10660 10660 7849 0 -1 1077944384 149 0 0 0 3 4 0 0 20 0 28 0 476391008 29526937600 115124 33554432000 4194304 4196468 140730259094400 140599514487824 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10672] ppid=10660 vsize=28834900 memory=193 CPUtime=0.01 cores=0-7 /proc/10662/task/10672/stat : 10672 (java) S 10660 10660 7849 0 -1 1077944384 1132 0 0 0 1 0 0 0 20 0 28 0 476391009 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598568790128 140599970863746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10673] ppid=10660 vsize=28834900 memory=4628981845377191286 CPUtime=0 cores=0-7 /proc/10662/task/10673/stat : 10673 (java) S 10660 10660 7849 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476391010 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598567736160 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10674] ppid=10660 vsize=28834900 memory=4561 CPUtime=0 cores=0-7 /proc/10662/task/10674/stat : 10674 (java) S 10660 10660 7849 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 476391010 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598566683776 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10675] ppid=10660 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10675/stat : 10675 (java) S 10660 10660 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598565632080 140599970871195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10676] ppid=10660 vsize=28834900 memory=538 CPUtime=2.13 cores=0-7 /proc/10662/task/10676/stat : 10676 (java) S 10660 10660 7849 0 -1 1077944384 9294 0 0 0 210 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598564579952 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10677] ppid=10660 vsize=28834900 memory=524 CPUtime=2.36 cores=0-7 /proc/10662/task/10677/stat : 10677 (java) S 10660 10660 7849 0 -1 1077944384 9697 0 0 0 234 2 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598563527152 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10678] ppid=10660 vsize=28834900 memory=527 CPUtime=1.69 cores=0-7 /proc/10662/task/10678/stat : 10678 (java) S 10660 10660 7849 0 -1 1077944384 6845 0 0 0 166 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598562474864 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10679] ppid=10660 vsize=28834900 memory=1456 CPUtime=1.04 cores=0-7 /proc/10662/task/10679/stat : 10679 (java) S 10660 10660 7849 0 -1 1077944384 9375 0 0 0 101 3 0 0 20 0 28 0 476391012 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598561422064 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10680] ppid=10660 vsize=28834900 memory=460492 CPUtime=0 cores=0-7 /proc/10662/task/10680/stat : 10680 (java) S 10660 10660 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598560368992 140599970862805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10681] ppid=10660 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/10662/task/10681/stat : 10681 (java) S 10660 10660 7849 0 -1 1077944384 761 0 0 0 0 0 0 0 20 0 28 0 476391013 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598559316272 140599970863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10818] ppid=10660 vsize=28834900 memory=612 CPUtime=8.25 cores=0-7 /proc/10662/task/10818/stat : 10818 (java) R 10660 10660 7849 0 -1 4202560 375 0 0 0 825 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598539815568 140599603884713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10819] ppid=10660 vsize=28834900 memory=1220 CPUtime=8.41 cores=0-7 /proc/10662/task/10819/stat : 10819 (java) R 10660 10660 7849 0 -1 4202560 256 0 0 0 841 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598547185528 140599603884384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10820] ppid=10660 vsize=28834900 memory=14004 CPUtime=8.16 cores=0-7 /proc/10662/task/10820/stat : 10820 (java) R 10660 10660 7849 0 -1 4202560 392 0 0 0 816 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598541922552 140599603884819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10821] ppid=10660 vsize=28834900 memory=280544445202672 CPUtime=8.34 cores=0-7 /proc/10662/task/10821/stat : 10821 (java) R 10660 10660 7849 0 -1 4202560 445 0 0 0 834 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598545080440 140599603885004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10822] ppid=10660 vsize=28834900 memory=0 CPUtime=8.18 cores=0-7 /proc/10662/task/10822/stat : 10822 (java) R 10660 10660 7849 0 -1 4202560 300 0 0 0 818 0 0 0 20 0 28 0 476391931 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598540870136 140599603884740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10823] ppid=10660 vsize=28834900 memory=140272353314193 CPUtime=8.2 cores=0-7 /proc/10662/task/10823/stat : 10823 (java) R 10660 10660 7849 0 -1 4202560 336 0 0 0 820 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598544027736 140599603884819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10824] ppid=10660 vsize=28834900 memory=1456 CPUtime=8.1 cores=0-7 /proc/10662/task/10824/stat : 10824 (java) R 10660 10660 7849 0 -1 4202560 1641 0 0 0 810 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598548238072 140599955020694 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 [pid=10662/tid=10825] ppid=10660 vsize=28834900 memory=6791534058613427641 CPUtime=8.17 cores=0-7 /proc/10662/task/10825/stat : 10825 (java) R 10660 10660 7849 0 -1 4202560 399 0 0 0 817 0 0 0 20 0 28 0 476391932 29526937600 115124 33554432000 4194304 4196468 140730259094400 140598542974584 140599604295678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8880128 140730259096540 140730259096715 140730259096715 140730259099599 0 Current children cumulated CPU time: 130.53 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 461952 KiB Child status: 0 Real time (s): 17.7855 CPU time (s): 131.115 CPU user time (s): 130.471 CPU system time (s): 0.644113 CPU usage (%): 737.202 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 461952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 130.471 system time used= 0.644113 maximum resident set size= 460576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63015 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7210 involuntary context switches= 2527 # summary of solver processes directly reported to runsolver: # pid: 10660 # total CPU time (s): 131.115 # total CPU user time (s): 130.471 # total CPU system time (s): 0.644113 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.172844 second user time and 0.247788 second system time The end
Begin job on node140 at 2019-09-20 20:34:45 IDJOB=4405015 IDBENCH=128028 IDSOLVER=2866 FILE ID=node140/4405015-1569004526 RUNJOBID= node140-1568994030-7876 PBS_JOBID= 21704714 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405015-1569004526/watcher-4405015-1569004526 -o /var/tmp/evaluation-result-4405015-1569004526/solver-4405015-1569004526 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1282616845 HOME/instance-4405015-1569004526.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e870fb3a9053f33a7d0d8e73b49cdad7 RANDOM SEED=1282616845 node140.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.43 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.43 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.43 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.43 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: 24635744 kB MemAvailable: 31854096 kB Buffers: 78196 kB Cached: 7226840 kB SwapCached: 2516 kB Active: 3630488 kB Inactive: 3682704 kB Active(anon): 2992 kB Inactive(anon): 52720 kB Active(file): 3627496 kB Inactive(file): 3629984 kB Unevictable: 106600 kB Mlocked: 106600 kB SwapTotal: 67108860 kB SwapFree: 66997224 kB Dirty: 27208 kB Writeback: 0 kB AnonPages: 47872 kB Mapped: 52004 kB Shmem: 38328 kB Slab: 417636 kB SReclaimable: 389332 kB SUnreclaim: 28304 kB KernelStack: 3728 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13484 MiB End job on node140 at 2019-09-20 20:35:03