Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 79 | 218.768 | 28.8435 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml |
MD5SUM | 0bc86e74ae8fed70a43ec92abb2586e2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 79 |
Best CPU time to get the best result obtained on this benchmark | 47.7083 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":13},{"size":6,"count":2},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
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-4405011-1569004522.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4405011-1569004522.xml, -tl, 2016s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 5.07/1.94 c solve instance... 5.58/2.04 o -1000 15.78/3.40 o -944 33.27/5.56 o -942 45.26/7.11 o -939 49.15/7.55 o -936 50.76/7.74 o -935 53.21/8.08 o -924 59.44/8.80 o -920 59.44/8.81 o 61 60.14/8.98 o 62 60.14/9.00 o 63 60.97/9.05 o 68 66.39/9.72 o 70 81.50/11.68 o 71 83.86/11.99 o 72 83.86/11.99 o 78 106.12/14.73 o 79 218.53/28.83 s OPTIMUM FOUND 218.53/28.83 v <instantiation> 218.53/28.83 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] 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] p[24] 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] g[24] </list> 218.53/28.83 v <values>5 0 1 2 3 10 7 12 9 4 11 6 17 8 -1 20 15 16 13 18 21 22 23 24 19 0 23 22 21 20 1 4 5 18 19 2 3 6 17 -1 9 8 7 16 15 10 11 12 13 14 0 -3 2 5 5 7 5 5 9 5 7 4 5 -2 0 7 2 9 3 1 3 -3 5 3 -5 </values> 218.53/28.83 v </instantiation>
OK 79
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 (7411 MiB free) memory of node 1: 16384 MiB (6441 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405011-1569004522/watcher-4405011-1569004522 -o /var/tmp/evaluation-result-4405011-1569004522/solver-4405011-1569004522 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 45977953 HOME/instance-4405011-1569004522.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=27400, runsolver pid=27397 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 8.59 7.96 8.04 2/212 27421 /proc/meminfo: memFree=14170172/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28227396 memory=28816 CPUtime=0.12 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 5687 0 0 0 11 1 0 0 20 0 20 0 476394070 28904853504 7204 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7056849 7204 3120 1 0 7019032 0 [pid=27402/tid=27403] ppid=27400 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) R 27400 27400 16074 0 -1 4202560 3630 0 0 0 8 1 0 0 20 0 20 0 476394070 28904853504 7204 33554432000 4194304 4196468 140731986336032 139936118113712 139936113902170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28227396 memory=140327251830400 CPUtime=0 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27407] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27407/stat : 27407 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935662107664 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27408] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27408/stat : 27408 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935661054352 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27409] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27409/stat : 27409 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935660001552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27410] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27410/stat : 27410 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935658949264 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27411] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27411/stat : 27411 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 7204 33554432000 4194304 4196468 140731986336032 139935657896464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27412] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27412/stat : 27412 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394072 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934376544880 139936113891970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27413] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27413/stat : 27413 (java) S 27400 27400 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476394073 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934375490848 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27414] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27414/stat : 27414 (java) S 27400 27400 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476394073 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934374438512 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27415] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27415/stat : 27415 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934373386832 139936113899419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27416] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27416/stat : 27416 (java) R 27400 27400 16074 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934372333680 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27417] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27417/stat : 27417 (java) R 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934371280880 139936113891970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27418] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27418/stat : 27418 (java) S 27400 27400 16074 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934370228592 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27419] ppid=27400 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) R 27400 27400 16074 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934369175792 139936113892758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394076 28904853504 7204 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30268 KiB [startup+0.210684 s]* /proc/loadavg: 8.59 7.96 8.04 3/212 27421 /proc/meminfo: memFree=14158192/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28227396 memory=41576 CPUtime=0.33 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 9572 0 0 0 29 4 0 0 20 0 20 0 476394070 28904853504 10394 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7056849 10394 3312 1 0 7019032 0 [pid=27402/tid=27403] ppid=27400 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) R 27400 27400 16074 0 -1 4202560 6634 0 0 0 17 2 0 0 20 0 20 0 476394070 28904853504 10394 33554432000 4194304 4196468 140731986336032 139936118112736 139936097961310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28227396 memory=3762679258741434016 CPUtime=0 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27407] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27407/stat : 27407 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935662107664 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27408] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27408/stat : 27408 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935661054352 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27409] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27409/stat : 27409 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935660001552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27410] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27410/stat : 27410 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935658949264 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27411] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27411/stat : 27411 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28904853504 10394 33554432000 4194304 4196468 140731986336032 139935657896464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27412] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27412/stat : 27412 (java) S 27400 27400 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476394072 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934376544880 139936113891970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27413] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27413/stat : 27413 (java) S 27400 27400 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476394073 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934375490848 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27414] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27414/stat : 27414 (java) S 27400 27400 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476394073 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934374438512 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27415] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27415/stat : 27415 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934373386832 139936113899419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27416] ppid=27400 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27402/task/27416/stat : 27416 (java) S 27400 27400 16074 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934372333680 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27417] ppid=27400 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27402/task/27417/stat : 27417 (java) S 27400 27400 16074 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934371280880 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27418] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27418/stat : 27418 (java) S 27400 27400 16074 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934370228592 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27419] ppid=27400 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) R 27400 27400 16074 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934369175600 139936113902170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394075 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394076 28904853504 10394 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 43028 KiB [startup+0.310381 s]* /proc/loadavg: 8.59 7.96 8.04 3/212 27421 /proc/meminfo: memFree=14152340/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28231652 memory=49416 CPUtime=0.51 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 10710 0 0 0 46 5 0 0 20 0 20 0 476394070 28909211648 12354 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7057913 12354 3341 1 0 7019032 0 [pid=27402/tid=27403] ppid=27400 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) R 27400 27400 16074 0 -1 4202560 7685 0 0 0 26 3 0 0 20 0 20 0 476394070 28909211648 12354 33554432000 4194304 4196468 140731986336032 139936118117776 139936113902170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27407] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27407/stat : 27407 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935662107664 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27408] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27408/stat : 27408 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935661054352 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27409] ppid=27400 vsize=28231652 memory=140327117744815 CPUtime=0 cores=0-7 /proc/27402/task/27409/stat : 27409 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935660001552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27410] ppid=27400 vsize=28231652 memory=140327117747120 CPUtime=0 cores=0-7 /proc/27402/task/27410/stat : 27410 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935658949264 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27411] ppid=27400 vsize=28231652 memory=140327117749424 CPUtime=0 cores=0-7 /proc/27402/task/27411/stat : 27411 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28909211648 12354 33554432000 4194304 4196468 140731986336032 139935657896464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27412] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27412/stat : 27412 (java) S 27400 27400 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476394072 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934376544880 139936113891970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27413] ppid=27400 vsize=28231652 memory=280654235512720 CPUtime=0 cores=0-7 /proc/27402/task/27413/stat : 27413 (java) S 27400 27400 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476394073 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934375490848 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27414] ppid=27400 vsize=28231652 memory=280654235510416 CPUtime=0 cores=0-7 /proc/27402/task/27414/stat : 27414 (java) S 27400 27400 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476394073 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934374438512 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27415] ppid=27400 vsize=28231652 memory=280654235517328 CPUtime=0 cores=0-7 /proc/27402/task/27415/stat : 27415 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934373386832 139936113899419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27416] ppid=27400 vsize=28231652 memory=280654235458608 CPUtime=0.02 cores=0-7 /proc/27402/task/27416/stat : 27416 (java) S 27400 27400 16074 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934372333680 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27417] ppid=27400 vsize=28231652 memory=280654235531152 CPUtime=0.03 cores=0-7 /proc/27402/task/27417/stat : 27417 (java) R 27400 27400 16074 0 -1 4202560 354 0 0 0 3 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934371270800 139936113902170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27418] ppid=27400 vsize=28231652 memory=280654235538064 CPUtime=0.01 cores=0-7 /proc/27402/task/27418/stat : 27418 (java) R 27400 27400 16074 0 -1 4202560 156 0 0 0 1 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934370220048 139936099562262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27419] ppid=27400 vsize=28231652 memory=280654235535760 CPUtime=0.12 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) R 27400 27400 16074 0 -1 4202560 808 0 0 0 12 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934369175792 139936113892758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394075 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394076 28909211648 12354 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50868 KiB [startup+0.701016 s] /proc/loadavg: 8.59 7.96 8.04 5/212 27421 /proc/meminfo: memFree=14121972/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28233776 memory=120404 CPUtime=1.91 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 16153 0 0 0 183 8 0 0 20 0 20 0 476394070 28911386624 30101 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7058444 30101 3447 1 0 7019544 0 [pid=27402/tid=27403] ppid=27400 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) R 27400 27400 16074 0 -1 4202560 9179 0 0 0 62 5 0 0 20 0 20 0 476394070 28911386624 30101 33554432000 4194304 4196468 140731986336032 139936118118432 139935751246732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28233776 memory=140327117955952 CPUtime=0 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476394071 28911386624 30101 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476394071 28911386624 30101 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476394071 28911386624 30101 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 ################ # More data... # ################ [pid=27402/tid=27419] ppid=27400 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) S 27400 27400 16074 0 -1 1077944384 6873 0 0 0 91 1 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934369175792 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 28 0 476394076 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27560] ppid=27400 vsize=28768336 memory=0 CPUtime=13.27 cores=0-7 /proc/27402/task/27560/stat : 27560 (java) R 27400 27400 16074 0 -1 4202560 326 0 0 0 1327 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934355754040 139935758860225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27561] ppid=27400 vsize=28768336 memory=0 CPUtime=13.26 cores=0-7 /proc/27402/task/27561/stat : 27561 (java) R 27400 27400 16074 0 -1 4202560 190 0 0 0 1326 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934351544776 139935758860252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27562] ppid=27400 vsize=28768336 memory=0 CPUtime=13.27 cores=0-7 /proc/27402/task/27562/stat : 27562 (java) R 27400 27400 16074 0 -1 4202560 372 0 0 0 1327 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934354702904 139935758860378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27563] ppid=27400 vsize=28768336 memory=0 CPUtime=13.25 cores=0-7 /proc/27402/task/27563/stat : 27563 (java) R 27400 27400 16074 0 -1 4202560 550 0 0 0 1325 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934348388152 139935758860378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27564] ppid=27400 vsize=28768336 memory=0 CPUtime=13.23 cores=0-7 /proc/27402/task/27564/stat : 27564 (java) R 27400 27400 16074 0 -1 4202560 499 0 0 0 1323 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934350491720 139935758860281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27565] ppid=27400 vsize=28768336 memory=0 CPUtime=13.27 cores=0-7 /proc/27402/task/27565/stat : 27565 (java) R 27400 27400 16074 0 -1 4202560 830 0 0 0 1327 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934352598696 139935758860373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27566] ppid=27400 vsize=28768336 memory=2110677726039924 CPUtime=12.91 cores=0-7 /proc/27402/task/27566/stat : 27566 (java) R 27400 27400 16074 0 -1 4202560 129 0 0 0 1291 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934349442648 139935758860221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27567] ppid=27400 vsize=28768336 memory=0 CPUtime=13.22 cores=0-7 /proc/27402/task/27567/stat : 27567 (java) R 27400 27400 16074 0 -1 4202560 478 0 0 0 1322 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934353651784 139935758859633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 212.26 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 467620 KiB [startup+28.4018 s] /proc/loadavg: 7.98 7.85 7.99 11/219 27567 /proc/meminfo: memFree=13734060/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28768336 memory=466168 CPUtime=215.33 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 48805 0 0 0 21466 67 0 0 20 0 28 0 476394070 29458776064 116542 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7192084 116542 3527 1 0 7153184 0 [pid=27402/tid=27403] ppid=27400 vsize=28768336 memory=4104 CPUtime=1.86 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) S 27400 27400 16074 0 -1 1077944384 9869 0 0 0 178 8 0 0 20 0 28 0 476394070 29458776064 116542 33554432000 4194304 4196468 140731986336032 139936118121600 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28768336 memory=3472328296227679313 CPUtime=0.08 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 132 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28768336 memory=280654236559936 CPUtime=0.08 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 203 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28768336 memory=7306316804797196914 CPUtime=0.07 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 193 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27407] ppid=27400 vsize=28768336 memory=7594587674001172330 CPUtime=0.08 cores=0-7 /proc/27402/task/27407/stat : 27407 (java) S 27400 27400 16074 0 -1 1077944384 203 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935662107664 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27408] ppid=27400 vsize=28768336 memory=7594587674001172330 CPUtime=0.07 cores=0-7 /proc/27402/task/27408/stat : 27408 (java) S 27400 27400 16074 0 -1 1077944384 185 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935661054352 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27409] ppid=27400 vsize=28768336 memory=7883944108235712103 CPUtime=0.07 cores=0-7 /proc/27402/task/27409/stat : 27409 (java) S 27400 27400 16074 0 -1 1077944384 234 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935660001552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27410] ppid=27400 vsize=28768336 memory=7811044310603950144 CPUtime=0.07 cores=0-7 /proc/27402/task/27410/stat : 27410 (java) S 27400 27400 16074 0 -1 1077944384 184 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935658949264 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27411] ppid=27400 vsize=28768336 memory=7811044310603950144 CPUtime=0.07 cores=0-7 /proc/27402/task/27411/stat : 27411 (java) S 27400 27400 16074 0 -1 1077944384 111 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935657896464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27412] ppid=27400 vsize=28768336 memory=7811044310603950144 CPUtime=0.01 cores=0-7 /proc/27402/task/27412/stat : 27412 (java) S 27400 27400 16074 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 28 0 476394072 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934376544880 139936113891970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27413] ppid=27400 vsize=28768336 memory=5859296744211238992 CPUtime=0 cores=0-7 /proc/27402/task/27413/stat : 27413 (java) S 27400 27400 16074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476394073 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934375490912 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27414] ppid=27400 vsize=28768336 memory=12024 CPUtime=0 cores=0-7 /proc/27402/task/27414/stat : 27414 (java) S 27400 27400 16074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476394073 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934374438528 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27415] ppid=27400 vsize=28768336 memory=2120 CPUtime=0 cores=0-7 /proc/27402/task/27415/stat : 27415 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934373386832 139936113899419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27416] ppid=27400 vsize=28768336 memory=6791534058613427641 CPUtime=2.17 cores=0-7 /proc/27402/task/27416/stat : 27416 (java) S 27400 27400 16074 0 -1 1077944384 8026 0 0 0 215 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934372333680 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27417] ppid=27400 vsize=28768336 memory=0 CPUtime=2.01 cores=0-7 /proc/27402/task/27417/stat : 27417 (java) S 27400 27400 16074 0 -1 1077944384 6395 0 0 0 199 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934371280880 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27418] ppid=27400 vsize=28768336 memory=0 CPUtime=1.98 cores=0-7 /proc/27402/task/27418/stat : 27418 (java) S 27400 27400 16074 0 -1 1077944384 4862 0 0 0 196 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934370228592 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27419] ppid=27400 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) S 27400 27400 16074 0 -1 1077944384 6873 0 0 0 91 1 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934369175792 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 28 0 476394076 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27560] ppid=27400 vsize=28768336 memory=0 CPUtime=13.65 cores=0-7 /proc/27402/task/27560/stat : 27560 (java) R 27400 27400 16074 0 -1 4202560 328 0 0 0 1365 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934355754040 139935760954638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27561] ppid=27400 vsize=28768336 memory=0 CPUtime=13.64 cores=0-7 /proc/27402/task/27561/stat : 27561 (java) R 27400 27400 16074 0 -1 4202560 192 0 0 0 1364 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934351544776 139935759639816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27562] ppid=27400 vsize=28768336 memory=0 CPUtime=13.65 cores=0-7 /proc/27402/task/27562/stat : 27562 (java) R 27400 27400 16074 0 -1 4202560 373 0 0 0 1365 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934354702904 139935758860378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27563] ppid=27400 vsize=28768336 memory=0 CPUtime=13.63 cores=0-7 /proc/27402/task/27563/stat : 27563 (java) R 27400 27400 16074 0 -1 4202560 563 0 0 0 1363 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934348388152 139935759051709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27564] ppid=27400 vsize=28768336 memory=0 CPUtime=13.61 cores=0-7 /proc/27402/task/27564/stat : 27564 (java) R 27400 27400 16074 0 -1 4202560 504 0 0 0 1361 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934350491720 139935758860051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27565] ppid=27400 vsize=28768336 memory=0 CPUtime=13.65 cores=0-7 /proc/27402/task/27565/stat : 27565 (java) R 27400 27400 16074 0 -1 4202560 835 0 0 0 1365 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934352598696 139935758859943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27566] ppid=27400 vsize=28768336 memory=0 CPUtime=13.29 cores=0-7 /proc/27402/task/27566/stat : 27566 (java) R 27400 27400 16074 0 -1 4202560 131 0 0 0 1329 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934349442648 139935759639876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27567] ppid=27400 vsize=28768336 memory=1452 CPUtime=13.61 cores=0-7 /proc/27402/task/27567/stat : 27567 (java) R 27400 27400 16074 0 -1 4202560 505 0 0 0 1361 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934353651784 139935758860019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 215.33 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 467620 KiB [startup+28.8018 s] /proc/loadavg: 7.98 7.85 7.99 11/219 27567 /proc/meminfo: memFree=13734060/32770624 swapFree=66972364/67108860 [pid=27400] ppid=27397 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27400/stat : 27400 (xcsp3-exec) S 27397 27400 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476394069 115843072 363 33554432000 4194304 5098028 140737474413328 140737474411432 139640142348924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12296192 140737474417497 140737474417754 140737474417754 140737474420678 0 /proc/27400/statm: 28282 363 304 221 0 87 0 [pid=27402] ppid=27400 vsize=28768336 memory=466168 CPUtime=218.53 cores=0-7 /proc/27402/stat : 27402 (java) S 27400 27400 16074 0 -1 1077944320 48805 0 0 0 21786 67 0 0 20 0 28 0 476394070 29458776064 116542 33554432000 4194304 4196468 140731986336032 140731986318576 139936113880823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 /proc/27402/statm: 7192084 116542 3527 1 0 7153184 0 [pid=27402/tid=27403] ppid=27400 vsize=28768336 memory=1452 CPUtime=1.86 cores=0-7 /proc/27402/task/27403/stat : 27403 (java) S 27400 27400 16074 0 -1 1077944384 9869 0 0 0 178 8 0 0 20 0 28 0 476394070 29458776064 116542 33554432000 4194304 4196468 140731986336032 139936118121600 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27404] ppid=27400 vsize=28768336 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/27402/task/27404/stat : 27404 (java) S 27400 27400 16074 0 -1 1077944384 132 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935665265552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27405] ppid=27400 vsize=28768336 memory=5996 CPUtime=0.08 cores=0-7 /proc/27402/task/27405/stat : 27405 (java) S 27400 27400 16074 0 -1 1077944384 203 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935664212752 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27406] ppid=27400 vsize=28768336 memory=14012 CPUtime=0.07 cores=0-7 /proc/27402/task/27406/stat : 27406 (java) S 27400 27400 16074 0 -1 1077944384 193 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935663160464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27407] ppid=27400 vsize=28768336 memory=3612 CPUtime=0.08 cores=0-7 /proc/27402/task/27407/stat : 27407 (java) S 27400 27400 16074 0 -1 1077944384 203 0 0 0 3 5 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935662107664 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27408] ppid=27400 vsize=28768336 memory=466168 CPUtime=0.07 cores=0-7 /proc/27402/task/27408/stat : 27408 (java) S 27400 27400 16074 0 -1 1077944384 185 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935661054352 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27409] ppid=27400 vsize=28768336 memory=1552 CPUtime=0.07 cores=0-7 /proc/27402/task/27409/stat : 27409 (java) S 27400 27400 16074 0 -1 1077944384 234 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935660001552 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27410] ppid=27400 vsize=28768336 memory=1040 CPUtime=0.07 cores=0-7 /proc/27402/task/27410/stat : 27410 (java) S 27400 27400 16074 0 -1 1077944384 184 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935658949264 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27411] ppid=27400 vsize=28768336 memory=3644 CPUtime=0.07 cores=0-7 /proc/27402/task/27411/stat : 27411 (java) S 27400 27400 16074 0 -1 1077944384 111 0 0 0 3 4 0 0 20 0 28 0 476394071 29458776064 116542 33554432000 4194304 4196468 140731986336032 139935657896464 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27412] ppid=27400 vsize=28768336 memory=780 CPUtime=0.01 cores=0-7 /proc/27402/task/27412/stat : 27412 (java) S 27400 27400 16074 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 28 0 476394072 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934376544880 139936113891970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27413] ppid=27400 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/27402/task/27413/stat : 27413 (java) S 27400 27400 16074 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476394073 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934375490912 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27414] ppid=27400 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/27402/task/27414/stat : 27414 (java) S 27400 27400 16074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476394073 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934374438528 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27415] ppid=27400 vsize=28768336 memory=466168 CPUtime=0 cores=0-7 /proc/27402/task/27415/stat : 27415 (java) S 27400 27400 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934373386832 139936113899419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27416] ppid=27400 vsize=28768336 memory=1672 CPUtime=2.17 cores=0-7 /proc/27402/task/27416/stat : 27416 (java) S 27400 27400 16074 0 -1 1077944384 8026 0 0 0 215 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934372333680 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27417] ppid=27400 vsize=28768336 memory=780 CPUtime=2.01 cores=0-7 /proc/27402/task/27417/stat : 27417 (java) S 27400 27400 16074 0 -1 1077944384 6395 0 0 0 199 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934371280880 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27418] ppid=27400 vsize=28768336 memory=1436 CPUtime=1.98 cores=0-7 /proc/27402/task/27418/stat : 27418 (java) S 27400 27400 16074 0 -1 1077944384 4862 0 0 0 196 2 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934370228592 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27419] ppid=27400 vsize=28768336 memory=1984 CPUtime=0.92 cores=0-7 /proc/27402/task/27419/stat : 27419 (java) S 27400 27400 16074 0 -1 1077944384 6873 0 0 0 91 1 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934369175792 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27420] ppid=27400 vsize=28768336 memory=2424 CPUtime=0 cores=0-7 /proc/27402/task/27420/stat : 27420 (java) S 27400 27400 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476394075 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934368123744 139936113891029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27421] ppid=27400 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/27402/task/27421/stat : 27421 (java) S 27400 27400 16074 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 28 0 476394076 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934367071024 139936113891970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27560] ppid=27400 vsize=28768336 memory=1452 CPUtime=14.05 cores=0-7 /proc/27402/task/27560/stat : 27560 (java) R 27400 27400 16074 0 -1 4202560 328 0 0 0 1405 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934355754040 139935758860430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27561] ppid=27400 vsize=28768336 memory=466168 CPUtime=14.04 cores=0-7 /proc/27402/task/27561/stat : 27561 (java) R 27400 27400 16074 0 -1 4202560 192 0 0 0 1404 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934351544776 139935758860373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27562] ppid=27400 vsize=28768336 memory=0 CPUtime=14.05 cores=0-7 /proc/27402/task/27562/stat : 27562 (java) R 27400 27400 16074 0 -1 4202560 373 0 0 0 1405 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934354702904 139935758860378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27563] ppid=27400 vsize=28768336 memory=0 CPUtime=14.03 cores=0-7 /proc/27402/task/27563/stat : 27563 (java) R 27400 27400 16074 0 -1 4202560 563 0 0 0 1403 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934348388152 139935758860378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27564] ppid=27400 vsize=28768336 memory=0 CPUtime=14.01 cores=0-7 /proc/27402/task/27564/stat : 27564 (java) R 27400 27400 16074 0 -1 4202560 504 0 0 0 1401 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934350491720 139935758860032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27565] ppid=27400 vsize=28768336 memory=0 CPUtime=14.05 cores=0-7 /proc/27402/task/27565/stat : 27565 (java) R 27400 27400 16074 0 -1 4202560 835 0 0 0 1405 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934352598696 139935755272727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27566] ppid=27400 vsize=28768336 memory=0 CPUtime=13.68 cores=0-7 /proc/27402/task/27566/stat : 27566 (java) R 27400 27400 16074 0 -1 4202560 131 0 0 0 1368 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934349442648 139935758860208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 [pid=27402/tid=27567] ppid=27400 vsize=28768336 memory=0 CPUtime=14.01 cores=0-7 /proc/27402/task/27567/stat : 27567 (java) R 27400 27400 16074 0 -1 4202560 505 0 0 0 1401 0 0 0 20 0 28 0 476395543 29458776064 116542 33554432000 4194304 4196468 140731986336032 139934353651784 139935758860168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9916416 140731986338780 140731986338955 140731986338955 140731986341839 0 Current children cumulated CPU time: 218.53 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 467620 KiB Child status: 0 Real time (s): 28.8435 CPU time (s): 218.768 CPU user time (s): 218.079 CPU system time (s): 0.689011 CPU usage (%): 758.468 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 467620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 218.079 system time used= 0.689011 maximum resident set size= 466212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50378 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6871 involuntary context switches= 3274 # summary of solver processes directly reported to runsolver: # pid: 27400 # total CPU time (s): 218.768 # total CPU user time (s): 218.079 # total CPU system time (s): 0.689011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.240833 second user time and 0.41451 second system time The end
Begin job on node117 at 2019-09-20 20:34:39 IDJOB=4405011 IDBENCH=128027 IDSOLVER=2866 FILE ID=node117/4405011-1569004522 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405011-1569004522/watcher-4405011-1569004522 -o /var/tmp/evaluation-result-4405011-1569004522/solver-4405011-1569004522 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 45977953 HOME/instance-4405011-1569004522.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bc86e74ae8fed70a43ec92abb2586e2 RANDOM SEED=45977953 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 14186216 kB MemAvailable: 31831364 kB Buffers: 146584 kB Cached: 17404308 kB SwapCached: 27748 kB Active: 8700036 kB Inactive: 8884184 kB Active(anon): 5516 kB Inactive(anon): 68852 kB Active(file): 8694520 kB Inactive(file): 8815332 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972364 kB Dirty: 26704 kB Writeback: 0 kB AnonPages: 114728 kB Mapped: 47884 kB Shmem: 32520 kB Slab: 591972 kB SReclaimable: 563756 kB SUnreclaim: 28216 kB KernelStack: 3440 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-20 20:35:08