Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 35 | 100.464 | 13.9003 |
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-4400215-1568711046.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400215-1568711046.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.57/1.79 c solve instance... 4.88/1.89 o -1000 5.58/1.99 o -997 5.58/2.00 o -994 6.35/2.04 o -993 12.55/2.86 o -984 13.30/2.92 o -980 13.30/2.94 o -977 13.30/2.94 o -976 13.30/2.98 o -972 14.87/3.15 o -969 14.87/3.15 o -968 14.87/3.16 o -964 15.55/3.24 o -10 15.55/3.25 o 6 18.66/3.64 o 27 26.55/4.60 o 29 28.11/4.82 o 31 29.74/5.06 o 35 99.77/13.89 s OPTIMUM FOUND 99.77/13.89 v <instantiation> 99.77/13.89 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> 99.77/13.89 v <values>6 0 1 9 3 4 7 13 2 8 -1 5 18 12 -1 -1 -1 11 19 20 21 22 23 17 0 19 18 15 14 13 1 2 17 16 -1 12 4 3 -1 -1 -1 11 5 6 7 8 9 10 3 -5 7 -3 2 -1 -3 2 6 8 0 3 4 2 0 0 0 0 -3 9 -3 0 5 2 </values> 99.77/13.89 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 (14712 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400215-1568711046/watcher-4400215-1568711046 -o /tmp/evaluation-result-4400215-1568711046/solver-4400215-1568711046 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1659619858 HOME/instance-4400215-1568711046.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=5106, runsolver pid=5103 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 7.72 7.71 7.86 2/212 5127 /proc/meminfo: memFree=30653980/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28227396 memory=30100 CPUtime=0.12 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 5369 0 0 0 11 1 0 0 20 0 20 0 447360346 28904853504 7525 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7056849 7525 3159 1 0 7019032 0 [pid=5108/tid=5109] ppid=5106 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) R 5106 5106 26088 0 -1 4202560 3375 0 0 0 8 0 0 0 20 0 20 0 447360346 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655575843632 140655571623318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28227396 memory=139997467518592 CPUtime=0 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5113] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5113/stat : 5113 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655488305424 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5114] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5114/stat : 5114 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655487253648 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5115] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5115/stat : 5115 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655486200848 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5116] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5116/stat : 5116 (java) S 5106 5106 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655485148048 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5117] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5117/stat : 5117 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 7525 33554432000 4194304 4196468 140731422984304 140655484095248 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5118] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5118/stat : 5118 (java) S 5106 5106 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654169950576 140655571622530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5119] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5119/stat : 5119 (java) S 5106 5106 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654168896544 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5120] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5120/stat : 5120 (java) S 5106 5106 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654167843696 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5121] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5121/stat : 5121 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654166792016 140655571629979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5122] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5122/stat : 5122 (java) S 5106 5106 26088 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654165740400 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5123] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5123/stat : 5123 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654164687600 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5124] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5124/stat : 5124 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654163634800 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5125] ppid=5106 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) R 5106 5106 26088 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654162582000 140655550543032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 7525 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31548 KiB [startup+0.210179 s]* /proc/loadavg: 7.72 7.71 7.86 2/212 5127 /proc/meminfo: memFree=30640212/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28227396 memory=41200 CPUtime=0.33 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 9027 0 0 0 31 2 0 0 20 0 20 0 447360346 28904853504 10300 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7056849 10300 3280 1 0 7019032 0 [pid=5108/tid=5109] ppid=5106 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) R 5106 5106 26088 0 -1 4202560 6194 0 0 0 18 2 0 0 20 0 20 0 447360346 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655575841104 140655564289397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28227396 memory=139997470687613 CPUtime=0 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5113] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5113/stat : 5113 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655488305424 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5114] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5114/stat : 5114 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655487253648 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5115] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5115/stat : 5115 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655486200848 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5116] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5116/stat : 5116 (java) S 5106 5106 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655485148048 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5117] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5117/stat : 5117 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28904853504 10300 33554432000 4194304 4196468 140731422984304 140655484095248 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5118] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5118/stat : 5118 (java) S 5106 5106 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654169950576 140655571622530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5119] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5119/stat : 5119 (java) S 5106 5106 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654168896544 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5120] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5120/stat : 5120 (java) S 5106 5106 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447360349 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654167843696 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5121] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5121/stat : 5121 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654166792016 140655571629979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5122] ppid=5106 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5108/task/5122/stat : 5122 (java) S 5106 5106 26088 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654165740400 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5123] ppid=5106 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5108/task/5123/stat : 5123 (java) S 5106 5106 26088 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654164687600 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5124] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5124/stat : 5124 (java) S 5106 5106 26088 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654163634800 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5125] ppid=5106 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) S 5106 5106 26088 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654162582000 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28904853504 10300 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42648 KiB [startup+0.309554 s]* /proc/loadavg: 7.72 7.71 7.86 2/212 5127 /proc/meminfo: memFree=30633436/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28231652 memory=49516 CPUtime=0.51 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 10248 0 0 0 48 3 0 0 20 0 20 0 447360346 28909211648 12379 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7057913 12379 3324 1 0 7019032 0 [pid=5108/tid=5109] ppid=5106 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) R 5106 5106 26088 0 -1 4202560 7246 0 0 0 27 2 0 0 20 0 20 0 447360346 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655575842496 140655555691870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28231652 memory=11260 CPUtime=0 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5113] ppid=5106 vsize=28231652 memory=12020 CPUtime=0 cores=0-7 /proc/5108/task/5113/stat : 5113 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655488305424 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5114] ppid=5106 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5114/stat : 5114 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655487253648 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5115] ppid=5106 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5115/stat : 5115 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655486200848 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5116] ppid=5106 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5116/stat : 5116 (java) S 5106 5106 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655485148048 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5117] ppid=5106 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5117/stat : 5117 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28909211648 12440 33554432000 4194304 4196468 140731422984304 140655484095248 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5118] ppid=5106 vsize=28231652 memory=139997344784960 CPUtime=0 cores=0-7 /proc/5108/task/5118/stat : 5118 (java) S 5106 5106 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447360349 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654169950576 140655571622530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5119] ppid=5106 vsize=28231652 memory=139997344789455 CPUtime=0 cores=0-7 /proc/5108/task/5119/stat : 5119 (java) S 5106 5106 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447360349 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654168896544 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5120] ppid=5106 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/5108/task/5120/stat : 5120 (java) S 5106 5106 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447360349 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654167843696 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5121] ppid=5106 vsize=28231652 memory=2110347951895460 CPUtime=0 cores=0-7 /proc/5108/task/5121/stat : 5121 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654166792016 140655571629979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5122] ppid=5106 vsize=28231652 memory=2110347951928324 CPUtime=0.02 cores=0-7 /proc/5108/task/5122/stat : 5122 (java) S 5106 5106 26088 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654165740400 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5123] ppid=5106 vsize=28231652 memory=2110347951900068 CPUtime=0.04 cores=0-7 /proc/5108/task/5123/stat : 5123 (java) R 5106 5106 26088 0 -1 4202560 255 0 0 0 4 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654164677712 140655551464921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5124] ppid=5106 vsize=28231652 memory=2110347951902372 CPUtime=0.01 cores=0-7 /proc/5108/task/5124/stat : 5124 (java) S 5106 5106 26088 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654163634800 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5125] ppid=5106 vsize=28231652 memory=2110347951928228 CPUtime=0.12 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) S 5106 5106 26088 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654162582000 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360352 28909211648 12440 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50964 KiB [startup+0.700918 s] /proc/loadavg: 7.72 7.71 7.86 5/212 5127 /proc/meminfo: memFree=30603624/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28233776 memory=113828 CPUtime=1.94 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 15487 0 0 0 189 5 0 0 20 0 20 0 447360346 28911386624 28457 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7058444 28457 3457 1 0 7019544 0 [pid=5108/tid=5109] ppid=5106 vsize=28233776 memory=7451044407947903084 CPUtime=0.68 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) R 5106 5106 26088 0 -1 4202560 8625 0 0 0 64 4 0 0 20 0 20 0 447360346 28911386624 28457 33554432000 4194304 4196468 140731422984304 140655575844896 140655162656231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28233776 memory=24111946400746 CPUtime=0 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28911386624 28457 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28233776 memory=279994690001248 CPUtime=0 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447360347 28911386624 28457 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28233776 memory=776 CPUtime=0 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447360347 28911386624 28457 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 ################ # More data... # ################ [pid=5108/tid=5125] ppid=5106 vsize=28769364 memory=4628420171383865741 CPUtime=1 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) S 5106 5106 26088 0 -1 1077944384 6004 0 0 0 98 2 0 0 20 0 28 0 447360352 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654162582000 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28769364 memory=8042747904882734611 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28769364 memory=43937515448308 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5274] ppid=5106 vsize=28769364 memory=288230596050944315 CPUtime=7.39 cores=0-7 /proc/5108/task/5274/stat : 5274 (java) R 5106 5106 26088 0 -1 4202560 232 0 0 0 739 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654147054040 140655169925374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5275] ppid=5106 vsize=28769364 memory=14981065810905736 CPUtime=7.44 cores=0-7 /proc/5108/task/5275/stat : 5275 (java) R 5106 5106 26088 0 -1 4202560 156 0 0 0 744 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654146002584 140655169925015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5276] ppid=5106 vsize=28769364 memory=0 CPUtime=7.45 cores=0-7 /proc/5108/task/5276/stat : 5276 (java) R 5106 5106 26088 0 -1 4202560 469 0 0 0 745 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654149161944 140655169925410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5277] ppid=5106 vsize=28769364 memory=0 CPUtime=7.55 cores=0-7 /proc/5108/task/5277/stat : 5277 (java) R 5106 5106 26088 0 -1 4202560 385 0 0 0 755 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654148109064 140655169925232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5278] ppid=5106 vsize=28769364 memory=0 CPUtime=7.65 cores=0-7 /proc/5108/task/5278/stat : 5278 (java) R 5106 5106 26088 0 -1 4202560 654 0 0 0 765 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654144950632 140655169925237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5279] ppid=5106 vsize=28769364 memory=0 CPUtime=7.61 cores=0-7 /proc/5108/task/5279/stat : 5279 (java) R 5106 5106 26088 0 -1 4202560 283 0 0 0 761 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654143896960 140655169925255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5280] ppid=5106 vsize=28769364 memory=2110347952611668 CPUtime=7.46 cores=0-7 /proc/5108/task/5280/stat : 5280 (java) R 5106 5106 26088 0 -1 4202560 311 0 0 0 746 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654141792280 140655169925346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5281] ppid=5106 vsize=28769364 memory=0 CPUtime=7.62 cores=0-7 /proc/5108/task/5281/stat : 5281 (java) R 5106 5106 26088 0 -1 4202560 314 0 0 0 762 0 0 0 20 0 28 0 447360852 29459828736 113842 33554432000 4194304 4196468 140731422984304 140654140741624 140655169925237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 91.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 456816 KiB [startup+13.6014 s] /proc/loadavg: 7.53 7.66 7.85 9/220 5281 /proc/meminfo: memFree=30229004/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28769364 memory=455380 CPUtime=98.17 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 48519 0 0 0 9763 54 0 0 20 0 28 0 447360346 29459828736 113845 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7192341 113845 3527 1 0 7153441 0 [pid=5108/tid=5109] ppid=5106 vsize=28769364 memory=2552 CPUtime=1.72 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) S 5106 5106 26088 0 -1 1077944384 9059 0 0 0 164 8 0 0 20 0 28 0 447360346 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655575852160 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28769364 memory=1760 CPUtime=0.05 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 150 0 0 0 2 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28769364 memory=776 CPUtime=0.03 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 166 0 0 0 1 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28769364 memory=1552 CPUtime=0.06 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5113] ppid=5106 vsize=28769364 memory=8076 CPUtime=0.06 cores=0-7 /proc/5108/task/5113/stat : 5113 (java) S 5106 5106 26088 0 -1 1077944384 138 0 0 0 3 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655488305424 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5114] ppid=5106 vsize=28769364 memory=4008 CPUtime=0.04 cores=0-7 /proc/5108/task/5114/stat : 5114 (java) S 5106 5106 26088 0 -1 1077944384 170 0 0 0 2 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655487253648 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5115] ppid=5106 vsize=28769364 memory=1556 CPUtime=0.06 cores=0-7 /proc/5108/task/5115/stat : 5115 (java) S 5106 5106 26088 0 -1 1077944384 110 0 0 0 3 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655486200848 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5116] ppid=5106 vsize=28769364 memory=2832 CPUtime=0.07 cores=0-7 /proc/5108/task/5116/stat : 5116 (java) S 5106 5106 26088 0 -1 1077944384 285 0 0 0 5 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655485148048 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5117] ppid=5106 vsize=28769364 memory=984 CPUtime=0.05 cores=0-7 /proc/5108/task/5117/stat : 5117 (java) S 5106 5106 26088 0 -1 1077944384 97 0 0 0 2 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655484095248 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5118] ppid=5106 vsize=28769364 memory=14012 CPUtime=0.01 cores=0-7 /proc/5108/task/5118/stat : 5118 (java) S 5106 5106 26088 0 -1 1077944384 732 0 0 0 1 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654169950576 140655571622530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5119] ppid=5106 vsize=28769364 memory=11260 CPUtime=0 cores=0-7 /proc/5108/task/5119/stat : 5119 (java) S 5106 5106 26088 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654168896608 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5120] ppid=5106 vsize=28769364 memory=3580 CPUtime=0 cores=0-7 /proc/5108/task/5120/stat : 5120 (java) S 5106 5106 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654167843712 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5121] ppid=5106 vsize=28769364 memory=31784 CPUtime=0 cores=0-7 /proc/5108/task/5121/stat : 5121 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654166792016 140655571629979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5122] ppid=5106 vsize=28769364 memory=988 CPUtime=2.22 cores=0-7 /proc/5108/task/5122/stat : 5122 (java) S 5106 5106 26088 0 -1 1077944384 5784 0 0 0 221 1 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654165740400 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5123] ppid=5106 vsize=28769364 memory=2016 CPUtime=2.6 cores=0-7 /proc/5108/task/5123/stat : 5123 (java) S 5106 5106 26088 0 -1 1077944384 8958 0 0 0 258 2 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654164687600 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5124] ppid=5106 vsize=28769364 memory=1284 CPUtime=2.45 cores=0-7 /proc/5108/task/5124/stat : 5124 (java) S 5106 5106 26088 0 -1 1077944384 7864 0 0 0 242 3 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654163634800 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5125] ppid=5106 vsize=28769364 memory=1044 CPUtime=1 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) S 5106 5106 26088 0 -1 1077944384 6004 0 0 0 98 2 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654162582000 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28769364 memory=708 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28769364 memory=9364 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5274] ppid=5106 vsize=28769364 memory=1120 CPUtime=8.17 cores=0-7 /proc/5108/task/5274/stat : 5274 (java) R 5106 5106 26088 0 -1 4202560 232 0 0 0 817 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654147054248 140655169925140 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5275] ppid=5106 vsize=28769364 memory=1448 CPUtime=8.24 cores=0-7 /proc/5108/task/5275/stat : 5275 (java) R 5106 5106 26088 0 -1 4202560 156 0 0 0 824 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654146002584 140655170593218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5276] ppid=5106 vsize=28769364 memory=2120 CPUtime=8.25 cores=0-7 /proc/5108/task/5276/stat : 5276 (java) R 5106 5106 26088 0 -1 4202560 470 0 0 0 825 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654149161496 140655170740188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5277] ppid=5106 vsize=28769364 memory=12020 CPUtime=8.33 cores=0-7 /proc/5108/task/5277/stat : 5277 (java) R 5106 5106 26088 0 -1 4202560 387 0 0 0 833 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654148108696 140655170740032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5278] ppid=5106 vsize=28769364 memory=496 CPUtime=8.45 cores=0-7 /proc/5108/task/5278/stat : 5278 (java) R 5106 5106 26088 0 -1 4202560 654 0 0 0 845 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654144950648 140655169925084 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5279] ppid=5106 vsize=28769364 memory=1560 CPUtime=8.4 cores=0-7 /proc/5108/task/5279/stat : 5279 (java) R 5106 5106 26088 0 -1 4202560 284 0 0 0 840 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654143897752 140655169925163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5280] ppid=5106 vsize=28769364 memory=928 CPUtime=8.26 cores=0-7 /proc/5108/task/5280/stat : 5280 (java) R 5106 5106 26088 0 -1 4202560 312 0 0 0 826 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654141792280 140655170487104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5281] ppid=5106 vsize=28769364 memory=1680 CPUtime=8.42 cores=0-7 /proc/5108/task/5281/stat : 5281 (java) R 5106 5106 26088 0 -1 4202560 318 0 0 0 842 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654140739032 140655169925410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 98.17 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 456828 KiB [startup+13.8014 s] /proc/loadavg: 7.53 7.66 7.85 9/220 5281 /proc/meminfo: memFree=30229004/32770624 swapFree=66926808/67108860 [pid=5106] ppid=5103 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5106/stat : 5106 (xcsp3-exec) S 5103 5106 26088 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447360346 115843072 362 33554432000 4194304 5098028 140722031193024 140722031191128 140366310367868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39641088 140722031195003 140722031195246 140722031195246 140722031198154 0 /proc/5106/statm: 28282 362 304 221 0 87 0 [pid=5108] ppid=5106 vsize=28769364 memory=455380 CPUtime=99.77 cores=0-7 /proc/5108/stat : 5108 (java) S 5106 5106 26088 0 -1 1077944320 48857 0 0 0 9923 54 0 0 20 0 28 0 447360346 29459828736 113845 33554432000 4194304 4196468 140731422984304 140731422966848 140655571611383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 /proc/5108/statm: 7192341 113845 3527 1 0 7153441 0 [pid=5108/tid=5109] ppid=5106 vsize=28769364 memory=1984 CPUtime=1.72 cores=0-7 /proc/5108/task/5109/stat : 5109 (java) S 5106 5106 26088 0 -1 1077944384 9059 0 0 0 164 8 0 0 20 0 28 0 447360346 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655575852160 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5110] ppid=5106 vsize=28769364 memory=2552 CPUtime=0.05 cores=0-7 /proc/5108/task/5110/stat : 5110 (java) S 5106 5106 26088 0 -1 1077944384 150 0 0 0 2 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655491463824 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5111] ppid=5106 vsize=28769364 memory=1760 CPUtime=0.03 cores=0-7 /proc/5108/task/5111/stat : 5111 (java) S 5106 5106 26088 0 -1 1077944384 166 0 0 0 1 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655490411024 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5112] ppid=5106 vsize=28769364 memory=55 CPUtime=0.06 cores=0-7 /proc/5108/task/5112/stat : 5112 (java) S 5106 5106 26088 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655489358224 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5113] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0.06 cores=0-7 /proc/5108/task/5113/stat : 5113 (java) S 5106 5106 26088 0 -1 1077944384 138 0 0 0 3 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655488305424 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5114] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0.04 cores=0-7 /proc/5108/task/5114/stat : 5114 (java) S 5106 5106 26088 0 -1 1077944384 170 0 0 0 2 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655487253648 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5115] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0.06 cores=0-7 /proc/5108/task/5115/stat : 5115 (java) S 5106 5106 26088 0 -1 1077944384 110 0 0 0 3 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655486200848 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5116] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0.07 cores=0-7 /proc/5108/task/5116/stat : 5116 (java) S 5106 5106 26088 0 -1 1077944384 285 0 0 0 5 2 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655485148048 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5117] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0.05 cores=0-7 /proc/5108/task/5117/stat : 5117 (java) S 5106 5106 26088 0 -1 1077944384 97 0 0 0 2 3 0 0 20 0 28 0 447360347 29459828736 113845 33554432000 4194304 4196468 140731422984304 140655484095248 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5118] ppid=5106 vsize=28769364 memory=7597132098393106257 CPUtime=0.01 cores=0-7 /proc/5108/task/5118/stat : 5118 (java) S 5106 5106 26088 0 -1 1077944384 732 0 0 0 1 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654169950576 140655571622530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5119] ppid=5106 vsize=28769364 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/5108/task/5119/stat : 5119 (java) S 5106 5106 26088 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654168896608 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5120] ppid=5106 vsize=28769364 memory=7597132098393106257 CPUtime=0 cores=0-7 /proc/5108/task/5120/stat : 5120 (java) S 5106 5106 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447360349 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654167843712 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5121] ppid=5106 vsize=28769364 memory=19540 CPUtime=0 cores=0-7 /proc/5108/task/5121/stat : 5121 (java) S 5106 5106 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654166792016 140655571629979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5122] ppid=5106 vsize=28769364 memory=-6152863159601165504 CPUtime=2.22 cores=0-7 /proc/5108/task/5122/stat : 5122 (java) S 5106 5106 26088 0 -1 1077944384 5784 0 0 0 221 1 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654165740400 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5123] ppid=5106 vsize=28769364 memory=-9001734043636558696 CPUtime=2.61 cores=0-7 /proc/5108/task/5123/stat : 5123 (java) S 5106 5106 26088 0 -1 1077944384 8958 0 0 0 259 2 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654164687600 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5124] ppid=5106 vsize=28769364 memory=4126316290023845779 CPUtime=2.45 cores=0-7 /proc/5108/task/5124/stat : 5124 (java) S 5106 5106 26088 0 -1 1077944384 7864 0 0 0 242 3 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654163634800 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5125] ppid=5106 vsize=28769364 memory=142300103 CPUtime=1 cores=0-7 /proc/5108/task/5125/stat : 5125 (java) S 5106 5106 26088 0 -1 1077944384 6341 0 0 0 98 2 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654162582000 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5126] ppid=5106 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5126/stat : 5126 (java) S 5106 5106 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654161529440 140655571621589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5127] ppid=5106 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/5108/task/5127/stat : 5127 (java) S 5106 5106 26088 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 28 0 447360352 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654160476720 140655571622530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5274] ppid=5106 vsize=28769364 memory=0 CPUtime=8.37 cores=0-7 /proc/5108/task/5274/stat : 5274 (java) R 5106 5106 26088 0 -1 4202560 232 0 0 0 837 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654147054248 140655169925323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5275] ppid=5106 vsize=28769364 memory=0 CPUtime=8.44 cores=0-7 /proc/5108/task/5275/stat : 5275 (java) R 5106 5106 26088 0 -1 4202560 156 0 0 0 844 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654146002584 140655169925410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5276] ppid=5106 vsize=28769364 memory=0 CPUtime=8.45 cores=0-7 /proc/5108/task/5276/stat : 5276 (java) R 5106 5106 26088 0 -1 4202560 470 0 0 0 845 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654149161496 140655172980531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5277] ppid=5106 vsize=28769364 memory=3 CPUtime=8.53 cores=0-7 /proc/5108/task/5277/stat : 5277 (java) R 5106 5106 26088 0 -1 4202560 387 0 0 0 853 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654148108696 140655169925396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5278] ppid=5106 vsize=28769364 memory=0 CPUtime=8.65 cores=0-7 /proc/5108/task/5278/stat : 5278 (java) R 5106 5106 26088 0 -1 4202560 654 0 0 0 865 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654144952808 140655169925351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5279] ppid=5106 vsize=28769364 memory=8179818 CPUtime=8.6 cores=0-7 /proc/5108/task/5279/stat : 5279 (java) R 5106 5106 26088 0 -1 4202560 284 0 0 0 860 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654143897752 140655169925194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5280] ppid=5106 vsize=28769364 memory=0 CPUtime=8.46 cores=0-7 /proc/5108/task/5280/stat : 5280 (java) R 5106 5106 26088 0 -1 4202560 312 0 0 0 846 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654141792280 140655169925149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 [pid=5108/tid=5281] ppid=5106 vsize=28769364 memory=0 CPUtime=8.62 cores=0-7 /proc/5108/task/5281/stat : 5281 (java) R 5106 5106 26088 0 -1 4202560 319 0 0 0 862 0 0 0 20 0 28 0 447360852 29459828736 113845 33554432000 4194304 4196468 140731422984304 140654140741976 140655169925318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140731422991344 140731422991515 140731422991515 140731422994383 0 Current children cumulated CPU time: 99.77 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 456828 KiB Child status: 0 Real time (s): 13.9003 CPU time (s): 100.464 CPU user time (s): 99.9057 CPU system time (s): 0.558658 CPU usage (%): 722.749 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 462956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 99.9057 system time used= 0.558658 maximum resident set size= 461512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51536 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6352 involuntary context switches= 1983 # summary of solver processes directly reported to runsolver: # pid: 5106 # total CPU time (s): 100.464 # total CPU user time (s): 99.9057 # total CPU system time (s): 0.558658 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.138938 second user time and 0.196546 second system time The end
Begin job on node107 at 2019-09-17 10:02:07 IDJOB=4400215 IDBENCH=128028 IDSOLVER=2855 FILE ID=node107/4400215-1568711046 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400215-1568711046/watcher-4400215-1568711046 -o /tmp/evaluation-result-4400215-1568711046/solver-4400215-1568711046 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1659619858 HOME/instance-4400215-1568711046.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e870fb3a9053f33a7d0d8e73b49cdad7 RANDOM SEED=1659619858 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30671196 kB MemAvailable: 31810544 kB Buffers: 226620 kB Cached: 1188608 kB SwapCached: 76272 kB Active: 684312 kB Inactive: 808868 kB Active(anon): 11656 kB Inactive(anon): 109076 kB Active(file): 672656 kB Inactive(file): 699792 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926808 kB Dirty: 27112 kB Writeback: 0 kB AnonPages: 172764 kB Mapped: 43000 kB Shmem: 34424 kB Slab: 194848 kB SReclaimable: 165468 kB SUnreclaim: 29380 kB KernelStack: 3760 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 10:02:21