Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 98 | 322.19 | 41.0843 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml |
MD5SUM | 28da73d1db83f7f431b4b8f6a2cf23fc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 98 |
Best CPU time to get the best result obtained on this benchmark | 169.35 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 188 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":188,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":7},{"degree":8,"count":17},{"degree":9,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407097-1569352380.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407097-1569352380.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.61/0.71 c solve instance... 2.28/0.82 o 117 2.28/0.85 o 115 2.91/0.91 o 114 3.77/1.04 o 113 3.77/1.06 o 111 4.48/1.15 o 107 12.96/2.20 o 105 27.89/4.17 o 104 28.69/4.29 o 103 29.37/4.30 o 102 29.37/4.33 o 101 29.37/4.37 o 100 30.09/4.43 o 99 209.22/26.93 o 98 321.62/41.07 s OPTIMUM FOUND 321.62/41.07 v <instantiation> 321.62/41.07 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 321.62/41.07 v <values>0 43 2 0 4 9 2 23 14 34 69 24 53 40 19 45 77 35 61 29 72 52 92 61 85 87 72 80 92 90 94 98 </values> 321.62/41.07 v </instantiation>
OK 98
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 (12535 MiB free) memory of node 1: 16384 MiB (11634 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407097-1569352380/watcher-4407097-1569352380 -o /var/tmp/evaluation-result-4407097-1569352380/solver-4407097-1569352380 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 990561627 HOME/instance-4407097-1569352380.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5222, runsolver pid=5219 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 7.97 8.24 8.21 2/213 5243 /proc/meminfo: memFree=24734344/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28227396 memory=28904 CPUtime=0.11 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 5706 0 0 0 10 1 0 0 20 0 20 0 511505784 28904853504 7226 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7056849 7226 3121 1 0 7019032 0 [pid=5224/tid=5225] ppid=5222 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) R 5222 5222 4277 0 -1 4202560 3617 0 0 0 8 1 0 0 20 0 20 0 511505784 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390531908416 140390149802835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28227396 memory=140328318117504 CPUtime=0 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5229] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5229/stat : 5229 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390477138704 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5230] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5230/stat : 5230 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390476085904 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5231] ppid=5222 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5231/stat : 5231 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390475033104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5232] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5232/stat : 5232 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390473980304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5233] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5233/stat : 5233 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 7226 33554432000 4194304 4196468 140727458731472 140390472927504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5234] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5234/stat : 5234 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388656331632 140390527687298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5235] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5235/stat : 5235 (java) S 5222 5222 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388655277600 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5236] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5236/stat : 5236 (java) S 5222 5222 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388654224752 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5237] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5237/stat : 5237 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388653173072 140390527694747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5238] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5238/stat : 5238 (java) R 5222 5222 4277 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388652120432 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5239] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5239/stat : 5239 (java) S 5222 5222 4277 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388651067632 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5240] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5240/stat : 5240 (java) R 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388650014832 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5241] ppid=5222 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) R 5222 5222 4277 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388648962032 140390513688001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 7226 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30352 KiB [startup+0.2106 s]* /proc/loadavg: 7.97 8.24 8.21 3/213 5243 /proc/meminfo: memFree=24721116/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28227396 memory=40920 CPUtime=0.34 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 9531 0 0 0 30 4 0 0 20 0 20 0 511505784 28904853504 10230 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7056849 10230 3275 1 0 7019032 0 [pid=5224/tid=5225] ppid=5222 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) R 5222 5222 4277 0 -1 4202560 6649 0 0 0 17 2 0 0 20 0 20 0 511505784 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390531905872 140390511756638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28227396 memory=140328318123653 CPUtime=0 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5229] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5229/stat : 5229 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390477138704 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5230] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5230/stat : 5230 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390476085904 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5231] ppid=5222 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5231/stat : 5231 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390475033104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5232] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5232/stat : 5232 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390473980304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5233] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5233/stat : 5233 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505785 28904853504 10230 33554432000 4194304 4196468 140727458731472 140390472927504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5234] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5234/stat : 5234 (java) S 5222 5222 4277 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388656331632 140390527687298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5235] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5235/stat : 5235 (java) S 5222 5222 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388655277600 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5236] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5236/stat : 5236 (java) S 5222 5222 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511505787 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388654224752 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5237] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5237/stat : 5237 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388653173072 140390527694747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5238] ppid=5222 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5224/task/5238/stat : 5238 (java) S 5222 5222 4277 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388652120432 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5239] ppid=5222 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5224/task/5239/stat : 5239 (java) S 5222 5222 4277 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388651067632 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5240] ppid=5222 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/5224/task/5240/stat : 5240 (java) S 5222 5222 4277 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388650014832 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5241] ppid=5222 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) S 5222 5222 4277 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388648962032 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28904853504 10230 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42368 KiB [startup+0.310288 s]* /proc/loadavg: 7.97 8.24 8.21 3/213 5243 /proc/meminfo: memFree=24715336/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28231652 memory=49680 CPUtime=0.51 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 10778 0 0 0 47 4 0 0 20 0 20 0 511505784 28909211648 12420 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7057913 12420 3363 1 0 7019032 0 [pid=5224/tid=5225] ppid=5222 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) R 5222 5222 4277 0 -1 4202560 7743 0 0 0 27 3 0 0 20 0 20 0 511505784 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390531909936 140390527698077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5229] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5229/stat : 5229 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390477138704 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5230] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5230/stat : 5230 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390476085904 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5231] ppid=5222 vsize=28231652 memory=140328191486639 CPUtime=0 cores=0-7 /proc/5224/task/5231/stat : 5231 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390475033104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5232] ppid=5222 vsize=28231652 memory=140328191488944 CPUtime=0 cores=0-7 /proc/5224/task/5232/stat : 5232 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390473980304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5233] ppid=5222 vsize=28231652 memory=140328191491248 CPUtime=0 cores=0-7 /proc/5224/task/5233/stat : 5233 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505785 28909211648 12486 33554432000 4194304 4196468 140727458731472 140390472927504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5234] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5234/stat : 5234 (java) S 5222 5222 4277 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511505787 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388656331632 140390527687298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5235] ppid=5222 vsize=28231652 memory=280656382996368 CPUtime=0 cores=0-7 /proc/5224/task/5235/stat : 5235 (java) S 5222 5222 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511505787 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388655277600 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5236] ppid=5222 vsize=28231652 memory=280656382994064 CPUtime=0 cores=0-7 /proc/5224/task/5236/stat : 5236 (java) S 5222 5222 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511505787 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388654224752 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5237] ppid=5222 vsize=28231652 memory=280656383000976 CPUtime=0 cores=0-7 /proc/5224/task/5237/stat : 5237 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388653173072 140390527694747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5238] ppid=5222 vsize=28231652 memory=280656382942256 CPUtime=0.02 cores=0-7 /proc/5224/task/5238/stat : 5238 (java) S 5222 5222 4277 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388652120432 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5239] ppid=5222 vsize=28231652 memory=280656383014800 CPUtime=0.03 cores=0-7 /proc/5224/task/5239/stat : 5239 (java) R 5222 5222 4277 0 -1 4202560 474 0 0 0 3 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388651058016 140390508376448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5240] ppid=5222 vsize=28231652 memory=280656383021712 CPUtime=0.02 cores=0-7 /proc/5224/task/5240/stat : 5240 (java) S 5222 5222 4277 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388650014832 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5241] ppid=5222 vsize=28231652 memory=280656383019408 CPUtime=0.13 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) S 5222 5222 4277 0 -1 1077944384 786 0 0 0 13 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388648962032 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505790 28909211648 12486 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51128 KiB [startup+0.700975 s] /proc/loadavg: 7.97 8.24 8.21 3/213 5243 /proc/meminfo: memFree=24696100/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28233776 memory=88216 CPUtime=1.61 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 15242 0 0 0 154 7 0 0 20 0 20 0 511505784 28911386624 22054 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7058444 22054 3456 1 0 7019544 0 [pid=5224/tid=5225] ppid=5222 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) R 5222 5222 4277 0 -1 4202560 9357 0 0 0 63 4 0 0 20 0 20 0 511505784 28911386624 22054 33554432000 4194304 4196468 140727458731472 140390531914384 140390509258046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28233776 memory=140328191697776 CPUtime=0 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28911386624 22054 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511505785 28911386624 22054 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28233776 memory=772 CPUtime=0 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511505785 28911386624 22054 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 ################ # More data... # ################ [pid=5224/tid=5241] ppid=5222 vsize=28768336 memory=7378837957675614374 CPUtime=0.88 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) S 5222 5222 4277 0 -1 1077944384 7250 0 0 0 85 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388648962032 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28768336 memory=3472468624419474064 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28768336 memory=3472468624419464122 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5359] ppid=5222 vsize=28768336 memory=8319819648064693210 CPUtime=13.5 cores=0-7 /proc/5224/task/5359/stat : 5359 (java) R 5222 5222 4277 0 -1 4202560 181 0 0 0 1350 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388634479184 140390156544777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5360] ppid=5222 vsize=28768336 memory=140328191794911 CPUtime=13.49 cores=0-7 /proc/5224/task/5360/stat : 5360 (java) R 5222 5222 4277 0 -1 4202560 143 0 0 0 1349 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388635532984 140390157319744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5361] ppid=5222 vsize=28768336 memory=280656384071632 CPUtime=13.52 cores=0-7 /proc/5224/task/5361/stat : 5361 (java) R 5222 5222 4277 0 -1 4202560 327 0 0 0 1352 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388633428040 140390157156054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5362] ppid=5222 vsize=28768336 memory=140328191793920 CPUtime=13.52 cores=0-7 /proc/5224/task/5362/stat : 5362 (java) R 5222 5222 4277 0 -1 4202560 447 0 0 0 1352 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388636586072 140390157155668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5363] ppid=5222 vsize=28768336 memory=140328191811120 CPUtime=13.41 cores=0-7 /proc/5224/task/5363/stat : 5363 (java) R 5222 5222 4277 0 -1 4202560 318 0 0 0 1341 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388631322552 140390157879518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5364] ppid=5222 vsize=28768336 memory=140328191826048 CPUtime=13.32 cores=0-7 /proc/5224/task/5364/stat : 5364 (java) R 5222 5222 4277 0 -1 4202560 245 0 0 0 1332 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388637638120 140390156749598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5365] ppid=5222 vsize=28768336 memory=140328191794016 CPUtime=13.4 cores=0-7 /proc/5224/task/5365/stat : 5365 (java) R 5222 5222 4277 0 -1 4202560 355 0 0 0 1340 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388632376376 140390157178091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5366] ppid=5222 vsize=28768336 memory=140328191794048 CPUtime=13.49 cores=0-7 /proc/5224/task/5366/stat : 5366 (java) R 5222 5222 4277 0 -1 4202560 204 0 0 0 1349 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388630273152 140390157181305 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 317.63 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246480 KiB [startup+40.9087 s] /proc/loadavg: 7.79 8.14 8.18 9/221 5366 /proc/meminfo: memFree=24515888/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28768336 memory=245032 CPUtime=320.88 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 73124 0 0 0 32053 35 0 0 20 0 28 0 511505784 29458776064 61258 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7192084 61258 3539 1 0 7153184 0 [pid=5224/tid=5225] ppid=5222 vsize=28768336 memory=662 CPUtime=0.71 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) S 5222 5222 4277 0 -1 1077944384 9656 0 0 0 67 4 0 0 20 0 28 0 511505784 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390531916928 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28768336 memory=674 CPUtime=0.02 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28768336 memory=496 CPUtime=0.03 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 198 0 0 0 3 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28768336 memory=1564 CPUtime=0.02 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 585 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5229] ppid=5222 vsize=28768336 memory=928 CPUtime=0.03 cores=0-7 /proc/5224/task/5229/stat : 5229 (java) S 5222 5222 4277 0 -1 1077944384 2120 0 0 0 2 1 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390477138704 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5230] ppid=5222 vsize=28768336 memory=1688 CPUtime=0.02 cores=0-7 /proc/5224/task/5230/stat : 5230 (java) S 5222 5222 4277 0 -1 1077944384 831 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390476085904 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5231] ppid=5222 vsize=28768336 memory=1984 CPUtime=0.03 cores=0-7 /proc/5224/task/5231/stat : 5231 (java) S 5222 5222 4277 0 -1 1077944384 1345 0 0 0 2 1 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390475033104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5232] ppid=5222 vsize=28768336 memory=2672 CPUtime=0.03 cores=0-7 /proc/5224/task/5232/stat : 5232 (java) S 5222 5222 4277 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390473980304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5233] ppid=5222 vsize=28768336 memory=1440 CPUtime=0.02 cores=0-7 /proc/5224/task/5233/stat : 5233 (java) S 5222 5222 4277 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390472927504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5234] ppid=5222 vsize=28768336 memory=784 CPUtime=0.02 cores=0-7 /proc/5224/task/5234/stat : 5234 (java) S 5222 5222 4277 0 -1 1077944384 1201 0 0 0 2 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388656331632 140390527687298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5235] ppid=5222 vsize=28768336 memory=1764 CPUtime=0 cores=0-7 /proc/5224/task/5235/stat : 5235 (java) S 5222 5222 4277 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388655277664 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5236] ppid=5222 vsize=28768336 memory=111628 CPUtime=0 cores=0-7 /proc/5224/task/5236/stat : 5236 (java) S 5222 5222 4277 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388654224768 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5237] ppid=5222 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5224/task/5237/stat : 5237 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388653173072 140390527694747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5238] ppid=5222 vsize=28768336 memory=4096 CPUtime=2.84 cores=0-7 /proc/5224/task/5238/stat : 5238 (java) S 5222 5222 4277 0 -1 1077944384 11216 0 0 0 281 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388652120432 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5239] ppid=5222 vsize=28768336 memory=1804 CPUtime=2.56 cores=0-7 /proc/5224/task/5239/stat : 5239 (java) S 5222 5222 4277 0 -1 1077944384 13178 0 0 0 253 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388651067632 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5240] ppid=5222 vsize=28768336 memory=8112282956445269571 CPUtime=2.38 cores=0-7 /proc/5224/task/5240/stat : 5240 (java) S 5222 5222 4277 0 -1 1077944384 13203 0 0 0 234 4 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388650014832 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5241] ppid=5222 vsize=28768336 memory=1060 CPUtime=0.89 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) S 5222 5222 4277 0 -1 1077944384 7615 0 0 0 86 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388648962032 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28768336 memory=740 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28768336 memory=1228 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5359] ppid=5222 vsize=28768336 memory=9564 CPUtime=13.91 cores=0-7 /proc/5224/task/5359/stat : 5359 (java) R 5222 5222 4277 0 -1 4202560 204 0 0 0 1391 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388634479184 140390157319976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5360] ppid=5222 vsize=28768336 memory=4076 CPUtime=13.9 cores=0-7 /proc/5224/task/5360/stat : 5360 (java) R 5222 5222 4277 0 -1 4202560 163 0 0 0 1390 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388635532984 140390157325934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5361] ppid=5222 vsize=28768336 memory=2836 CPUtime=13.92 cores=0-7 /proc/5224/task/5361/stat : 5361 (java) R 5222 5222 4277 0 -1 4202560 420 0 0 0 1392 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388633428040 140390157176263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5362] ppid=5222 vsize=28768336 memory=1540 CPUtime=13.93 cores=0-7 /proc/5224/task/5362/stat : 5362 (java) R 5222 5222 4277 0 -1 4202560 478 0 0 0 1393 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388636586072 140390157387317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5363] ppid=5222 vsize=28768336 memory=8112282956445269571 CPUtime=13.81 cores=0-7 /proc/5224/task/5363/stat : 5363 (java) R 5222 5222 4277 0 -1 4202560 386 0 0 0 1381 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388631322552 140390156647716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5364] ppid=5222 vsize=28768336 memory=6655300316396806240 CPUtime=13.73 cores=0-7 /proc/5224/task/5364/stat : 5364 (java) R 5222 5222 4277 0 -1 4202560 293 0 0 0 1373 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388637638120 140390156191456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5365] ppid=5222 vsize=28768336 memory=6944656592455360604 CPUtime=13.81 cores=0-7 /proc/5224/task/5365/stat : 5365 (java) R 5222 5222 4277 0 -1 4202560 391 0 0 0 1381 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388632376376 140390157154388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5366] ppid=5222 vsize=28768336 memory=0 CPUtime=13.9 cores=0-7 /proc/5224/task/5366/stat : 5366 (java) R 5222 5222 4277 0 -1 4202560 305 0 0 0 1390 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388630270712 140390156119576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 320.88 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246480 KiB [startup+41.0017 s] /proc/loadavg: 7.79 8.14 8.18 9/221 5366 /proc/meminfo: memFree=24515888/32770624 swapFree=66997044/67108860 [pid=5222] ppid=5219 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5222/stat : 5222 (xcsp3-exec) S 5219 5222 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511505784 115843072 362 33554432000 4194304 5098028 140720515902336 140720515900440 140324498350716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35102720 140720515908434 140720515908693 140720515908693 140720515911622 0 /proc/5222/statm: 28282 362 304 221 0 87 0 [pid=5224] ppid=5222 vsize=28768336 memory=245032 CPUtime=321.62 cores=0-7 /proc/5224/stat : 5224 (java) S 5222 5222 4277 0 -1 1077944320 73127 0 0 0 32127 35 0 0 20 0 28 0 511505784 29458776064 61258 33554432000 4194304 4196468 140727458731472 140727458714016 140390527676151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 /proc/5224/statm: 7192084 61258 3539 1 0 7153184 0 [pid=5224/tid=5225] ppid=5222 vsize=28768336 memory=245032 CPUtime=0.71 cores=0-7 /proc/5224/task/5225/stat : 5225 (java) S 5222 5222 4277 0 -1 1077944384 9656 0 0 0 67 4 0 0 20 0 28 0 511505784 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390531916928 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5226] ppid=5222 vsize=28768336 memory=246532 CPUtime=0.02 cores=0-7 /proc/5224/task/5226/stat : 5226 (java) S 5222 5222 4277 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390480297104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5227] ppid=5222 vsize=28768336 memory=245032 CPUtime=0.03 cores=0-7 /proc/5224/task/5227/stat : 5227 (java) S 5222 5222 4277 0 -1 1077944384 198 0 0 0 3 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390479244304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5228] ppid=5222 vsize=28768336 memory=1448 CPUtime=0.02 cores=0-7 /proc/5224/task/5228/stat : 5228 (java) S 5222 5222 4277 0 -1 1077944384 585 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390478191504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5229] ppid=5222 vsize=28768336 memory=4049052965681574193 CPUtime=0.03 cores=0-7 /proc/5224/task/5229/stat : 5229 (java) S 5222 5222 4277 0 -1 1077944384 2120 0 0 0 2 1 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390477138704 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5230] ppid=5222 vsize=28768336 memory=1448 CPUtime=0.02 cores=0-7 /proc/5224/task/5230/stat : 5230 (java) S 5222 5222 4277 0 -1 1077944384 831 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390476085904 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5231] ppid=5222 vsize=28768336 memory=140328191501425 CPUtime=0.03 cores=0-7 /proc/5224/task/5231/stat : 5231 (java) S 5222 5222 4277 0 -1 1077944384 1345 0 0 0 2 1 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390475033104 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5232] ppid=5222 vsize=28768336 memory=140328191794080 CPUtime=0.03 cores=0-7 /proc/5224/task/5232/stat : 5232 (java) S 5222 5222 4277 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390473980304 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5233] ppid=5222 vsize=28768336 memory=55 CPUtime=0.02 cores=0-7 /proc/5224/task/5233/stat : 5233 (java) S 5222 5222 4277 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 28 0 511505785 29458776064 61258 33554432000 4194304 4196468 140727458731472 140390472927504 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5234] ppid=5222 vsize=28768336 memory=590024537936196130 CPUtime=0.02 cores=0-7 /proc/5224/task/5234/stat : 5234 (java) S 5222 5222 4277 0 -1 1077944384 1201 0 0 0 2 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388656331632 140390527687298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5235] ppid=5222 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/5224/task/5235/stat : 5235 (java) S 5222 5222 4277 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388655277664 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5236] ppid=5222 vsize=28768336 memory=241356 CPUtime=0 cores=0-7 /proc/5224/task/5236/stat : 5236 (java) S 5222 5222 4277 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511505787 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388654224768 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5237] ppid=5222 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/5224/task/5237/stat : 5237 (java) S 5222 5222 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388653173072 140390527694747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5238] ppid=5222 vsize=28768336 memory=1 CPUtime=2.84 cores=0-7 /proc/5224/task/5238/stat : 5238 (java) S 5222 5222 4277 0 -1 1077944384 11216 0 0 0 281 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388652120432 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5239] ppid=5222 vsize=28768336 memory=1060 CPUtime=2.56 cores=0-7 /proc/5224/task/5239/stat : 5239 (java) S 5222 5222 4277 0 -1 1077944384 13178 0 0 0 253 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388651067632 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5240] ppid=5222 vsize=28768336 memory=740 CPUtime=2.38 cores=0-7 /proc/5224/task/5240/stat : 5240 (java) S 5222 5222 4277 0 -1 1077944384 13203 0 0 0 234 4 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388650014832 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5241] ppid=5222 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7 /proc/5224/task/5241/stat : 5241 (java) S 5222 5222 4277 0 -1 1077944384 7615 0 0 0 86 3 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388648962032 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5242] ppid=5222 vsize=28768336 memory=9023629670928638048 CPUtime=0 cores=0-7 /proc/5224/task/5242/stat : 5242 (java) S 5222 5222 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388647910496 140390527686357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5243] ppid=5222 vsize=28768336 memory=-7101718590825193272 CPUtime=0 cores=0-7 /proc/5224/task/5243/stat : 5243 (java) S 5222 5222 4277 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 28 0 511505790 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388646857776 140390527687298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5359] ppid=5222 vsize=28768336 memory=246548 CPUtime=14 cores=0-7 /proc/5224/task/5359/stat : 5359 (java) R 5222 5222 4277 0 -1 4202560 204 0 0 0 1400 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388634479184 140390157180318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5360] ppid=5222 vsize=28768336 memory=671 CPUtime=13.99 cores=0-7 /proc/5224/task/5360/stat : 5360 (java) R 5222 5222 4277 0 -1 4202560 163 0 0 0 1399 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388635532984 140390156192121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5361] ppid=5222 vsize=28768336 memory=1448 CPUtime=14.02 cores=0-7 /proc/5224/task/5361/stat : 5361 (java) R 5222 5222 4277 0 -1 4202560 420 0 0 0 1402 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388633428040 140390157318900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5362] ppid=5222 vsize=28768336 memory=245032 CPUtime=14.02 cores=0-7 /proc/5224/task/5362/stat : 5362 (java) R 5222 5222 4277 0 -1 4202560 479 0 0 0 1402 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388636586072 140390156191456 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5363] ppid=5222 vsize=28768336 memory=1732 CPUtime=13.9 cores=0-7 /proc/5224/task/5363/stat : 5363 (java) R 5222 5222 4277 0 -1 4202560 387 0 0 0 1390 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388631322552 140390157387598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5364] ppid=5222 vsize=28768336 memory=6128 CPUtime=13.82 cores=0-7 /proc/5224/task/5364/stat : 5364 (java) R 5222 5222 4277 0 -1 4202560 293 0 0 0 1382 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388637638120 140390157320339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5365] ppid=5222 vsize=28768336 memory=772 CPUtime=13.9 cores=0-7 /proc/5224/task/5365/stat : 5365 (java) R 5222 5222 4277 0 -1 4202560 391 0 0 0 1390 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388632376376 140390156191758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 [pid=5224/tid=5366] ppid=5222 vsize=28768336 memory=1448 CPUtime=13.99 cores=0-7 /proc/5224/task/5366/stat : 5366 (java) R 5222 5222 4277 0 -1 4202560 306 0 0 0 1399 0 0 0 20 0 28 0 511508477 29458776064 61258 33554432000 4194304 4196468 140727458731472 140388630270712 140390157155622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727458735062 140727458735238 140727458735238 140727458738127 0 Current children cumulated CPU time: 321.62 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 246480 KiB Child status: 0 Real time (s): 41.0843 CPU time (s): 322.19 CPU user time (s): 321.817 CPU system time (s): 0.372814 CPU usage (%): 784.215 Max. virtual memory (cumulated for all children) (KiB): 28883168 Max. memory (cumulated for all children) (KiB): 249820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 321.817 system time used= 0.372814 maximum resident set size= 250672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74799 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8094 involuntary context switches= 4933 # summary of solver processes directly reported to runsolver: # pid: 5222 # total CPU time (s): 322.19 # total CPU user time (s): 321.817 # total CPU system time (s): 0.372814 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.301589 second user time and 0.531834 second system time The end
Begin job on node126 at 2019-09-24 21:12:22 IDJOB=4407097 IDBENCH=130150 IDSOLVER=2871 FILE ID=node126/4407097-1569352380 RUNJOBID= node126-1569349500-4304 PBS_JOBID= 21705090 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-05.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407097-1569352380/watcher-4407097-1569352380 -o /var/tmp/evaluation-result-4407097-1569352380/solver-4407097-1569352380 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 990561627 HOME/instance-4407097-1569352380.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28da73d1db83f7f431b4b8f6a2cf23fc RANDOM SEED=990561627 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24749908 kB MemAvailable: 31845680 kB Buffers: 96084 kB Cached: 7230056 kB SwapCached: 7620 kB Active: 3625296 kB Inactive: 3711320 kB Active(anon): 2192 kB Inactive(anon): 58520 kB Active(file): 3623104 kB Inactive(file): 3652800 kB Unevictable: 109440 kB Mlocked: 109440 kB SwapTotal: 67108860 kB SwapFree: 66997044 kB Dirty: 26012 kB Writeback: 0 kB AnonPages: 78824 kB Mapped: 54332 kB Shmem: 41624 kB Slab: 276404 kB SReclaimable: 248328 kB SUnreclaim: 28076 kB KernelStack: 3456 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-24 21:13:03