Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 0 | 141.282 | 18.9303 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml |
MD5SUM | 7aff4fe352a8c3fb8c4e8479cd8d4369 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 44.8839 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 64 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 49 |
Distribution of domain sizes | [{"size":2,"count":15},{"size":49,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":2,"count":17},{"degree":3,"count":32},{"degree":4,"count":15},{"degree":15,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":2,"count":48},{"arity":3,"count":15},{"arity":49,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 63 |
Distribution of constraint types | [{"type":"intension","count":63},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400166-1568711114.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400166-1568711114.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 5.43/1.62 c solve instance... 15.97/3.15 o 7 15.97/3.16 o 6 16.34/3.23 o 5 64.06/9.26 o 4 76.00/10.73 o 3 82.35/11.55 o 2 135.58/18.28 o 1 141.13/18.91 o 0 141.13/18.91 s OPTIMUM FOUND 141.13/18.91 v <instantiation> 141.13/18.91 v <list>q x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] </list> 141.13/18.91 v <values>18 48 39 24 19 6 11 20 33 18 5 10 1 14 23 8 21 36 45 30 43 28 37 42 29 44 35 22 17 12 3 16 7 2 15 0 9 4 13 26 31 46 41 32 27 40 25 34 47 38 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 141.13/18.91 v </instantiation>
OK 0
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 (13919 MiB free) memory of node 1: 16384 MiB (15718 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400166-1568711114/watcher-4400166-1568711114 -o /tmp/evaluation-result-4400166-1568711114/solver-4400166-1568711114 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1676043644 HOME/instance-4400166-1568711114.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 Current StackSize limit: 8192 KiB solver pid=4206, runsolver pid=4203 [startup+0.10016 s]* /proc/loadavg: 8.03 8.09 8.11 2/213 4227 /proc/meminfo: memFree=30334108/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28227396 memory=27592 CPUtime=0.12 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 5924 0 0 0 11 1 0 0 20 0 20 0 447025286 28904853504 6898 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7056849 6898 3117 1 0 7019032 0 [pid=4208/tid=4209] ppid=4206 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) R 4206 4206 27783 0 -1 4202560 3804 0 0 0 8 1 0 0 20 0 20 0 447025286 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285881754944 140285877534102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28227396 memory=140658823886464 CPUtime=0 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285377603104 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285259670896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) S 4206 4206 27783 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285255460976 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) R 4206 4206 27783 0 -1 4202560 382 0 0 0 1 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285254408176 140285861832624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 6898 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29040 KiB [startup+0.210296 s]* /proc/loadavg: 8.03 8.09 8.11 3/213 4227 /proc/meminfo: memFree=30321388/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28227396 memory=39868 CPUtime=0.33 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 9708 0 0 0 29 4 0 0 20 0 20 0 447025286 28904853504 9967 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7056849 9967 3307 1 0 7019032 0 [pid=4208/tid=4209] ppid=4206 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) R 4206 4206 27783 0 -1 4202560 6740 0 0 0 17 2 0 0 20 0 20 0 447025286 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285881751888 140285877544093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28227396 memory=140658823910842 CPUtime=0 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285377603104 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447025289 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285259670896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 327 0 0 0 3 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) S 4206 4206 27783 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285255460976 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) S 4206 4206 27783 0 -1 1077944384 874 0 0 0 7 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285254408176 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28904853504 9967 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41316 KiB [startup+0.309532 s]* /proc/loadavg: 8.03 8.09 8.11 3/213 4227 /proc/meminfo: memFree=30316180/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28231652 memory=48620 CPUtime=0.51 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 11033 0 0 0 47 4 0 0 20 0 20 0 447025286 28909211648 12155 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7057913 12155 3350 1 0 7019032 0 [pid=4208/tid=4209] ppid=4206 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) R 4206 4206 27783 0 -1 4202560 7801 0 0 0 27 2 0 0 20 0 20 0 447025286 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285881753280 140285870200181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28231652 memory=2124 CPUtime=0 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28231652 memory=25996 CPUtime=0 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447025289 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447025289 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285377603104 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28231652 memory=2111009309750180 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447025289 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285259670896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28231652 memory=2111009309783044 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28231652 memory=2111009309754788 CPUtime=0.01 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28231652 memory=2111009309757092 CPUtime=0.04 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 337 0 0 0 4 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28231652 memory=2111009309759396 CPUtime=0.01 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) R 4206 4206 27783 0 -1 4202560 179 0 0 0 1 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285255460976 140285861060544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28231652 memory=2111009309782948 CPUtime=0.12 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) R 4206 4206 27783 0 -1 4202560 1065 0 0 0 12 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285254403904 140285877543514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025292 28909211648 12155 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50068 KiB [startup+0.701002 s] /proc/loadavg: 8.03 8.09 8.11 6/213 4227 /proc/meminfo: memFree=30297796/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28235652 memory=101116 CPUtime=1.86 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 20408 0 0 0 179 7 0 0 20 0 20 0 447025286 28913307648 25279 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7058913 25279 3451 1 0 7020013 0 [pid=4208/tid=4209] ppid=4206 vsize=28235652 memory=0 CPUtime=0.68 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) R 4206 4206 27783 0 -1 4202560 9166 0 0 0 65 3 0 0 20 0 20 0 447025286 28913307648 25279 33554432000 4194304 4196468 140731815685920 140285881759280 140285517027171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28235652 memory=281317405352816 CPUtime=0 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447025287 28913307648 25279 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28235652 memory=140658702852976 CPUtime=0 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447025287 28913307648 25279 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28235652 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447025287 28913307648 25279 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 ################ # More data... # ################ /proc/4208/task/4284/stat : 4284 (java) R 4206 4206 27783 0 -1 4202560 332 0 0 0 591 0 0 0 20 0 28 0 447026442 29458776064 71057 33554432000 4194304 4196468 140731815685920 140285243322808 140285522476945 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4285] ppid=4206 vsize=28768336 memory=-5153075247754915967 CPUtime=5.94 cores=0-7 /proc/4208/task/4285/stat : 4285 (java) R 4206 4206 27783 0 -1 4202560 164 0 0 0 594 0 0 0 20 0 28 0 447026442 29458776064 71057 33554432000 4194304 4196468 140731815685920 140285038285096 140285521986270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 130.8 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 285676 KiB [startup+18.4012 s] /proc/loadavg: 8.29 8.13 8.13 9/221 4285 /proc/meminfo: memFree=30078692/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28768336 memory=283688 CPUtime=137.14 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 67610 0 0 0 13675 39 0 0 20 0 28 0 447025286 29458776064 70922 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7192084 70922 3541 1 0 7153184 0 [pid=4208/tid=4209] ppid=4206 vsize=28768336 memory=8112282956445269571 CPUtime=1.6 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) S 4206 4206 27783 0 -1 1077944384 10871 0 0 0 154 6 0 0 20 0 28 0 447025286 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285881762944 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28768336 memory=3512 CPUtime=0.03 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 269 0 0 0 2 1 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28768336 memory=48612 CPUtime=0.04 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 1411 0 0 0 3 1 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28768336 memory=2020 CPUtime=0.02 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 405 0 0 0 1 1 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 256 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28768336 memory=284228 CPUtime=0.04 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 538 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 234 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28768336 memory=263584 CPUtime=0.04 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 239 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28768336 memory=284228 CPUtime=0.01 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 884 0 0 0 1 0 0 0 20 0 28 0 447025289 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28768336 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285377603168 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285259670912 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28768336 memory=6944656575208382560 CPUtime=2.72 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 10801 0 0 0 270 2 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28768336 memory=6944656592387989600 CPUtime=3 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 8375 0 0 0 298 2 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28768336 memory=6944656592387989600 CPUtime=2.75 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) S 4206 4206 27783 0 -1 1077944384 12979 0 0 0 272 3 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285255460976 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28768336 memory=284212 CPUtime=0.92 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) S 4206 4206 27783 0 -1 1077944384 10748 0 0 0 91 1 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285254408176 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28768336 memory=263584 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70922 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 137.14 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 285136 KiB [startup+18.8012 s] /proc/loadavg: 8.29 8.13 8.13 9/221 4285 /proc/meminfo: memFree=30078692/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28768336 memory=283756 CPUtime=140.34 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 67691 0 0 0 13995 39 0 0 20 0 28 0 447025286 29458776064 70939 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7192084 70939 3541 1 0 7153184 0 [pid=4208/tid=4209] ppid=4206 vsize=28768336 memory=281314587497393 CPUtime=1.6 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) S 4206 4206 27783 0 -1 1077944384 10871 0 0 0 154 6 0 0 20 0 28 0 447025286 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285881762944 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28768336 memory=140658703520316 CPUtime=0.03 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 269 0 0 0 2 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28768336 memory=281317407041248 CPUtime=0.04 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 1411 0 0 0 3 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28768336 memory=7811021134776331110 CPUtime=0.02 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 405 0 0 0 1 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28768336 memory=4125408659006710887 CPUtime=0.04 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 256 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 538 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 234 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 239 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 884 0 0 0 1 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285377603168 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285259670912 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28768336 memory=4 CPUtime=2.72 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 10801 0 0 0 270 2 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28768336 memory=1 CPUtime=3 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 8375 0 0 0 298 2 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28768336 memory=0 CPUtime=2.75 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) S 4206 4206 27783 0 -1 1077944384 12979 0 0 0 272 3 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285255460976 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) S 4206 4206 27783 0 -1 1077944384 10748 0 0 0 91 1 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285254408176 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28768336 memory=272 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 140.34 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 285204 KiB [startup+18.9012 s] /proc/loadavg: 8.29 8.13 8.13 9/221 4285 /proc/meminfo: memFree=30078692/32770624 swapFree=66917056/67108860 [pid=4206] ppid=4203 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/4206/stat : 4206 (xcsp3-exec) S 4203 4206 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447025286 115843072 362 33554432000 4194304 5098028 140720855204176 140720855202280 140565008151164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23592960 140720855212923 140720855213166 140720855213166 140720855216074 0 /proc/4206/statm: 28282 362 304 221 0 87 0 [pid=4208] ppid=4206 vsize=28768336 memory=283756 CPUtime=141.13 cores=0-7 /proc/4208/stat : 4208 (java) S 4206 4206 27783 0 -1 1077944320 67693 0 0 0 14074 39 0 0 20 0 28 0 447025286 29458776064 70939 33554432000 4194304 4196468 140731815685920 140731815668464 140285877522167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 /proc/4208/statm: 7192084 70939 3541 1 0 7153184 0 [pid=4208/tid=4209] ppid=4206 vsize=28768336 memory=283756 CPUtime=1.6 cores=0-7 /proc/4208/task/4209/stat : 4209 (java) S 4206 4206 27783 0 -1 1077944384 10871 0 0 0 154 6 0 0 20 0 28 0 447025286 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285881762944 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4210] ppid=4206 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7 /proc/4208/task/4210/stat : 4210 (java) S 4206 4206 27783 0 -1 1077944384 269 0 0 0 2 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285847235728 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4211] ppid=4206 vsize=28768336 memory=284212 CPUtime=0.04 cores=0-7 /proc/4208/task/4211/stat : 4211 (java) S 4206 4206 27783 0 -1 1077944384 1411 0 0 0 3 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285427911696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4212] ppid=4206 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/4208/task/4212/stat : 4212 (java) S 4206 4206 27783 0 -1 1077944384 405 0 0 0 1 1 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285426858896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4213] ppid=4206 vsize=28768336 memory=7738141209136883281 CPUtime=0.04 cores=0-7 /proc/4208/task/4213/stat : 4213 (java) S 4206 4206 27783 0 -1 1077944384 256 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285425806096 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4214] ppid=4206 vsize=28768336 memory=282708 CPUtime=0.04 cores=0-7 /proc/4208/task/4214/stat : 4214 (java) S 4206 4206 27783 0 -1 1077944384 538 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285424753296 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4215] ppid=4206 vsize=28768336 memory=7230645025961766505 CPUtime=0.04 cores=0-7 /proc/4208/task/4215/stat : 4215 (java) S 4206 4206 27783 0 -1 1077944384 234 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285423700496 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4216] ppid=4206 vsize=28768336 memory=284212 CPUtime=0.04 cores=0-7 /proc/4208/task/4216/stat : 4216 (java) S 4206 4206 27783 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285422647696 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4217] ppid=4206 vsize=28768336 memory=48612 CPUtime=0.04 cores=0-7 /proc/4208/task/4217/stat : 4217 (java) S 4206 4206 27783 0 -1 1077944384 239 0 0 0 2 2 0 0 20 0 28 0 447025287 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285421594896 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4218] ppid=4206 vsize=28768336 memory=284212 CPUtime=0.01 cores=0-7 /proc/4208/task/4218/stat : 4218 (java) S 4206 4206 27783 0 -1 1077944384 884 0 0 0 1 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285378657136 140285877533314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4219] ppid=4206 vsize=28768336 memory=253796 CPUtime=0 cores=0-7 /proc/4208/task/4219/stat : 4219 (java) S 4206 4206 27783 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285377603168 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4220] ppid=4206 vsize=28768336 memory=1228 CPUtime=0 cores=0-7 /proc/4208/task/4220/stat : 4220 (java) S 4206 4206 27783 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447025289 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285259670912 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4221] ppid=4206 vsize=28768336 memory=14008 CPUtime=0 cores=0-7 /proc/4208/task/4221/stat : 4221 (java) S 4206 4206 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285258619216 140285877540763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4222] ppid=4206 vsize=28768336 memory=7100839861465685612 CPUtime=2.72 cores=0-7 /proc/4208/task/4222/stat : 4222 (java) S 4206 4206 27783 0 -1 1077944384 10801 0 0 0 270 2 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285257566576 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4223] ppid=4206 vsize=28768336 memory=3054156605268465310 CPUtime=3 cores=0-7 /proc/4208/task/4223/stat : 4223 (java) S 4206 4206 27783 0 -1 1077944384 8375 0 0 0 298 2 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285256513776 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4224] ppid=4206 vsize=28768336 memory=3473041813373886965 CPUtime=2.75 cores=0-7 /proc/4208/task/4224/stat : 4224 (java) S 4206 4206 27783 0 -1 1077944384 12979 0 0 0 272 3 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285255460976 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4225] ppid=4206 vsize=28768336 memory=1448 CPUtime=0.92 cores=0-7 /proc/4208/task/4225/stat : 4225 (java) S 4206 4206 27783 0 -1 1077944384 10748 0 0 0 91 1 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285254408176 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4226] ppid=4206 vsize=28768336 memory=257228 CPUtime=0 cores=0-7 /proc/4208/task/4226/stat : 4226 (java) S 4206 4206 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285253356640 140285877532373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 [pid=4208/tid=4227] ppid=4206 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4208/task/4227/stat : 4227 (java) S 4206 4206 27783 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 28 0 447025292 29458776064 70939 33554432000 4194304 4196468 140731815685920 140285252303920 140285877533314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25829376 140731815687152 140731815687323 140731815687323 140731815690191 0 Current children cumulated CPU time: 141.13 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 285204 KiB Child status: 0 Real time (s): 18.9303 CPU time (s): 141.282 CPU user time (s): 140.867 CPU system time (s): 0.414649 CPU usage (%): 746.328 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 285676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 140.867 system time used= 0.414649 maximum resident set size= 284228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69392 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5819 involuntary context switches= 2426 # summary of solver processes directly reported to runsolver: # pid: 4206 # total CPU time (s): 141.282 # total CPU user time (s): 140.867 # total CPU system time (s): 0.414649 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.158934 second user time and 0.256526 second system time The end
Begin job on node147 at 2019-09-17 11:04:31 IDJOB=4400166 IDBENCH=130611 IDSOLVER=2855 FILE ID=node147/4400166-1568711114 RUNJOBID= node147-1568700717-27810 PBS_JOBID= 21703903 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-07.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-4400166-1568711114/watcher-4400166-1568711114 -o /tmp/evaluation-result-4400166-1568711114/solver-4400166-1568711114 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1676043644 HOME/instance-4400166-1568711114.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7aff4fe352a8c3fb8c4e8479cd8d4369 RANDOM SEED=1676043644 node147.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.52 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.52 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.52 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.52 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: 30348940 kB MemAvailable: 31803188 kB Buffers: 115084 kB Cached: 1630884 kB SwapCached: 87660 kB Active: 939028 kB Inactive: 897756 kB Active(anon): 6388 kB Inactive(anon): 133772 kB Active(file): 932640 kB Inactive(file): 763984 kB Unevictable: 108644 kB Mlocked: 108644 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 26168 kB Writeback: 0 kB AnonPages: 113216 kB Mapped: 48724 kB Shmem: 40920 kB Slab: 175828 kB SReclaimable: 146920 kB SUnreclaim: 28908 kB KernelStack: 3424 kB PageTables: 5556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506728 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-17 11:04:50