Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 75 | 361.926 | 46.1444 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml |
MD5SUM | 1a36b9c979418634ede1d2fbb3d1d330 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 75 |
Best CPU time to get the best result obtained on this benchmark | 70.2833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 347 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":347,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":5},{"degree":8,"count":40},{"degree":9,"count":9},{"degree":10,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":60,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"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-4393927-1568431317.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393927-1568431317.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.12/0.81 c solve instance... 4.98/1.25 o 346 4.98/1.26 o 90 4.98/1.29 o 89 5.64/1.40 o 85 6.28/1.47 o 84 7.04/1.54 o 82 7.86/1.64 o 81 8.63/1.75 o 80 25.20/3.83 o 79 26.84/4.07 o 78 51.33/7.12 o 77 73.51/9.90 o 76 347.41/44.38 o 75 361.80/46.12 s OPTIMUM FOUND 361.80/46.12 v <instantiation> 361.80/46.12 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] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 361.80/46.12 v <values>0 0 0 0 7 5 6 10 15 15 5 13 12 16 21 23 7 26 22 32 11 26 14 30 13 17 26 29 24 32 43 42 24 24 39 25 39 42 48 34 43 47 39 34 53 55 47 56 60 64 61 61 53 55 56 66 63 63 65 73 69 75 </values> 361.80/46.12 v </instantiation>
OK 75
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 (11885 MiB free) memory of node 1: 16384 MiB (15546 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393927-1568431317/watcher-4393927-1568431317 -o /tmp/evaluation-result-4393927-1568431317/solver-4393927-1568431317 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 549390297 HOME/instance-4393927-1568431317.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=5249, runsolver pid=5246 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 6.30 4.67 4.18 2/212 5270 /proc/meminfo: memFree=28073028/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28227388 memory=29940 CPUtime=0.12 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 5960 0 0 0 11 1 0 0 20 0 20 0 419396566 28904845312 7485 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7056847 7485 3121 1 0 7019032 0 [pid=5251/tid=5252] ppid=5249 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) R 5249 5249 4292 0 -1 4202560 3870 0 0 0 8 0 0 0 20 0 20 0 419396566 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575674885936 140575303041729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28227388 memory=139757906237056 CPUtime=0 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5256] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5256/stat : 5256 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575218973840 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5257] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5257/stat : 5257 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575217920272 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5258] ppid=5249 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5258/stat : 5258 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575216867728 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5259] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5259/stat : 5259 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575215815184 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5260] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5260/stat : 5260 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 7485 33554432000 4194304 4196468 140724674369968 140575214762640 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5261] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5261/stat : 5261 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573799168496 140575670663810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5262] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5262/stat : 5262 (java) S 5249 5249 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573798114720 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5263] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5263/stat : 5263 (java) S 5249 5249 4292 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573797062128 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5264] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5264/stat : 5264 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573796010704 140575670671259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5265] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5265/stat : 5265 (java) S 5249 5249 4292 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573794957296 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5266] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5266/stat : 5266 (java) S 5249 5249 4292 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573793904752 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5267] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5267/stat : 5267 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573792852208 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5268] ppid=5249 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) R 5249 5249 4292 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573791799664 140575649133496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 7485 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31396 KiB [startup+0.210654 s]* /proc/loadavg: 6.30 4.67 4.18 3/212 5270 /proc/meminfo: memFree=28060768/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28227388 memory=40708 CPUtime=0.33 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 9419 0 0 0 30 3 0 0 20 0 20 0 419396566 28904845312 10177 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7056847 10177 3296 1 0 7019032 0 [pid=5251/tid=5252] ppid=5249 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) R 5249 5249 4292 0 -1 4202560 6671 0 0 0 18 2 0 0 20 0 20 0 419396566 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575674885392 140575670664598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28227388 memory=139757906246788 CPUtime=0 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5256] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5256/stat : 5256 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575218973840 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5257] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5257/stat : 5257 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575217920272 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5258] ppid=5249 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5258/stat : 5258 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575216867728 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5259] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5259/stat : 5259 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575215815184 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5260] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5260/stat : 5260 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28904845312 10177 33554432000 4194304 4196468 140724674369968 140575214762640 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5261] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5261/stat : 5261 (java) S 5249 5249 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573799168496 140575670663810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5262] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5262/stat : 5262 (java) S 5249 5249 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573798114720 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5263] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5263/stat : 5263 (java) S 5249 5249 4292 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419396569 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573797062128 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5264] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5264/stat : 5264 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573796010704 140575670671259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5265] ppid=5249 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5251/task/5265/stat : 5265 (java) S 5249 5249 4292 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573794957296 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5266] ppid=5249 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5251/task/5266/stat : 5266 (java) S 5249 5249 4292 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573793904752 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5267] ppid=5249 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/5251/task/5267/stat : 5267 (java) S 5249 5249 4292 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573792852208 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5268] ppid=5249 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) R 5249 5249 4292 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573791799472 140575649637328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28904845312 10177 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42164 KiB [startup+0.310661 s]* /proc/loadavg: 6.30 4.67 4.18 4/212 5270 /proc/meminfo: memFree=28054008/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28231644 memory=49968 CPUtime=0.53 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 10882 0 0 0 48 5 0 0 20 0 20 0 419396566 28909203456 12492 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7057911 12492 3351 1 0 7019032 0 [pid=5251/tid=5252] ppid=5249 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) R 5249 5249 4292 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 20 0 419396566 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575674884992 140575670674589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5256] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5256/stat : 5256 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575218973840 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5257] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5257/stat : 5257 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575217920272 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5258] ppid=5249 vsize=28231644 memory=139757766142639 CPUtime=0 cores=0-7 /proc/5251/task/5258/stat : 5258 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575216867728 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5259] ppid=5249 vsize=28231644 memory=139757766144944 CPUtime=0 cores=0-7 /proc/5251/task/5259/stat : 5259 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575215815184 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5260] ppid=5249 vsize=28231644 memory=139757766147248 CPUtime=0 cores=0-7 /proc/5251/task/5260/stat : 5260 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396567 28909203456 12492 33554432000 4194304 4196468 140724674369968 140575214762640 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5261] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5261/stat : 5261 (java) S 5249 5249 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419396569 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573799168496 140575670663810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5262] ppid=5249 vsize=28231644 memory=279515532308368 CPUtime=0 cores=0-7 /proc/5251/task/5262/stat : 5262 (java) S 5249 5249 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419396569 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573798114720 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5263] ppid=5249 vsize=28231644 memory=279515532306064 CPUtime=0 cores=0-7 /proc/5251/task/5263/stat : 5263 (java) S 5249 5249 4292 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419396569 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573797062128 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5264] ppid=5249 vsize=28231644 memory=279515532312976 CPUtime=0 cores=0-7 /proc/5251/task/5264/stat : 5264 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573796010704 140575670671259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5265] ppid=5249 vsize=28231644 memory=279515532254256 CPUtime=0.02 cores=0-7 /proc/5251/task/5265/stat : 5265 (java) R 5249 5249 4292 0 -1 4202560 516 0 0 0 2 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573794957296 140575652196752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5266] ppid=5249 vsize=28231644 memory=279515532326800 CPUtime=0.02 cores=0-7 /proc/5251/task/5266/stat : 5266 (java) S 5249 5249 4292 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573793904752 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5267] ppid=5249 vsize=28231644 memory=279515532333712 CPUtime=0.02 cores=0-7 /proc/5251/task/5267/stat : 5267 (java) S 5249 5249 4292 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573792852208 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5268] ppid=5249 vsize=28231644 memory=279515532331408 CPUtime=0.12 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) S 5249 5249 4292 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573791799664 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419396572 28909203456 12492 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51424 KiB [startup+0.700973 s] /proc/loadavg: 6.30 4.67 4.18 5/212 5270 /proc/meminfo: memFree=28034400/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28233768 memory=90836 CPUtime=1.67 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 15434 0 0 0 160 7 0 0 20 0 20 0 419396566 28911378432 22709 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7058442 22709 3454 1 0 7019544 0 [pid=5251/tid=5252] ppid=5249 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) R 5249 5249 4292 0 -1 4202560 9348 0 0 0 63 4 0 0 20 0 20 0 419396566 28911378432 22709 33554432000 4194304 4196468 140724674369968 140575674890736 140575670664598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28233768 memory=139757766353776 CPUtime=0 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28911378432 22709 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419396567 28911378432 22709 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28233768 memory=776 CPUtime=0 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419396567 28911378432 22709 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 ################ # More data... # ################ [pid=5251/tid=5268] ppid=5249 vsize=28768328 memory=932 CPUtime=1.17 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) S 5249 5249 4292 0 -1 1077944384 11912 0 0 0 114 3 0 0 20 0 28 0 419396572 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573791799664 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28768328 memory=1980 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419396572 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28768328 memory=2428 CPUtime=0.01 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1693 0 0 0 0 1 0 0 20 0 28 0 419396572 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5377] ppid=5249 vsize=28768328 memory=1608 CPUtime=1.18 cores=0-7 /proc/5251/task/5377/stat : 5377 (java) R 5249 5249 4292 0 -1 4202560 95 0 0 0 118 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573776280328 140575308603624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5378] ppid=5249 vsize=28768328 memory=908 CPUtime=1.19 cores=0-7 /proc/5251/task/5378/stat : 5378 (java) R 5249 5249 4292 0 -1 4202560 17 0 0 0 119 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573777334664 140575304745125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5379] ppid=5249 vsize=28768328 memory=1440 CPUtime=1.19 cores=0-7 /proc/5251/task/5379/stat : 5379 (java) R 5249 5249 4292 0 -1 4202560 53 0 0 0 119 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573778386480 140575310675862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5380] ppid=5249 vsize=28768328 memory=1760 CPUtime=1.17 cores=0-7 /proc/5251/task/5380/stat : 5380 (java) R 5249 5249 4292 0 -1 4202560 24 0 0 0 117 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573775230736 140575310715985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5381] ppid=5249 vsize=28768328 memory=111632 CPUtime=1.2 cores=0-7 /proc/5251/task/5381/stat : 5381 (java) R 5249 5249 4292 0 -1 4202560 17 0 0 0 120 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573774176080 140575311086195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5382] ppid=5249 vsize=28768328 memory=800 CPUtime=1.2 cores=0-7 /proc/5251/task/5382/stat : 5382 (java) R 5249 5249 4292 0 -1 4202560 27 0 0 0 120 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573773123336 140575312404496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5383] ppid=5249 vsize=28768328 memory=1808 CPUtime=1.12 cores=0-7 /proc/5251/task/5383/stat : 5383 (java) R 5249 5249 4292 0 -1 4202560 17 0 0 0 112 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573772070992 140575311161443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5384] ppid=5249 vsize=28768328 memory=924 CPUtime=1.18 cores=0-7 /proc/5251/task/5384/stat : 5384 (java) R 5249 5249 4292 0 -1 4202560 19 0 0 0 118 0 0 0 20 0 28 0 419401005 29458767872 66608 33554432000 4194304 4196468 140724674369968 140573771018208 140575304743861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 357.74 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 267888 KiB [startup+46.0014 s]* /proc/loadavg: 7.41 5.20 4.39 10/220 5384 /proc/meminfo: memFree=27833636/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28768328 memory=266636 CPUtime=360.99 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 114635 0 0 0 36027 72 0 0 20 0 28 0 419396566 29458767872 66659 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7192082 66659 3532 1 0 7153184 0 [pid=5251/tid=5252] ppid=5249 vsize=28768328 memory=1456 CPUtime=0.82 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) S 5249 5249 4292 0 -1 1077944384 9774 0 0 0 77 5 0 0 20 0 28 0 419396566 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575674893440 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28768328 memory=4126316290023845779 CPUtime=0.1 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 586 0 0 0 6 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28768328 memory=280108 CPUtime=0.11 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 1217 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28768328 memory=279515533181504 CPUtime=0.11 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 870 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5256] ppid=5249 vsize=28768328 memory=6656426216303648864 CPUtime=0.11 cores=0-7 /proc/5251/task/5256/stat : 5256 (java) S 5249 5249 4292 0 -1 1077944384 625 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575218973840 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5257] ppid=5249 vsize=28768328 memory=6944656592455360604 CPUtime=0.12 cores=0-7 /proc/5251/task/5257/stat : 5257 (java) S 5249 5249 4292 0 -1 1077944384 1520 0 0 0 8 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575217920272 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5258] ppid=5249 vsize=28768328 memory=6943526294502006880 CPUtime=0.11 cores=0-7 /proc/5251/task/5258/stat : 5258 (java) S 5249 5249 4292 0 -1 1077944384 365 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575216867728 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5259] ppid=5249 vsize=28768328 memory=6872598998417432672 CPUtime=0.12 cores=0-7 /proc/5251/task/5259/stat : 5259 (java) S 5249 5249 4292 0 -1 1077944384 1699 0 0 0 8 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575215815184 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5260] ppid=5249 vsize=28768328 memory=6944656575208382560 CPUtime=0.1 cores=0-7 /proc/5251/task/5260/stat : 5260 (java) S 5249 5249 4292 0 -1 1077944384 650 0 0 0 7 3 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575214762640 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5261] ppid=5249 vsize=28768328 memory=6656426216303648864 CPUtime=0.06 cores=0-7 /proc/5251/task/5261/stat : 5261 (java) S 5249 5249 4292 0 -1 1077944384 2523 0 0 0 5 1 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573799168496 140575670663810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5262] ppid=5249 vsize=28768328 memory=4206186544037388384 CPUtime=0 cores=0-7 /proc/5251/task/5262/stat : 5262 (java) S 5249 5249 4292 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573798114784 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5263] ppid=5249 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/5251/task/5263/stat : 5263 (java) S 5249 5249 4292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573797062144 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5264] ppid=5249 vsize=28768328 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/5251/task/5264/stat : 5264 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573796010704 140575670671259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5265] ppid=5249 vsize=28768328 memory=6656426216303648864 CPUtime=4.38 cores=0-7 /proc/5251/task/5265/stat : 5265 (java) S 5249 5249 4292 0 -1 1077944384 23001 0 0 0 434 4 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573794957296 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5266] ppid=5249 vsize=28768328 memory=-7385037615208631145 CPUtime=4.68 cores=0-7 /proc/5251/task/5266/stat : 5266 (java) S 5249 5249 4292 0 -1 1077944384 19249 0 0 0 463 5 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573793904752 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5267] ppid=5249 vsize=28768328 memory=1400237504561912195 CPUtime=4.26 cores=0-7 /proc/5251/task/5267/stat : 5267 (java) S 5249 5249 4292 0 -1 1077944384 20485 0 0 0 422 4 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573792852208 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5268] ppid=5249 vsize=28768328 memory=8112282956445269571 CPUtime=1.17 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) S 5249 5249 4292 0 -1 1077944384 11914 0 0 0 114 3 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573791799664 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28768328 memory=272476 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28768328 memory=1660 CPUtime=0.01 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1695 0 0 0 0 1 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5377] ppid=5249 vsize=28768328 memory=1398722017469774279 CPUtime=1.57 cores=0-7 /proc/5251/task/5377/stat : 5377 (java) R 5249 5249 4292 0 -1 4202560 215 0 0 0 157 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573776281432 140575312404169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5378] ppid=5249 vsize=28768328 memory=4126316290023845779 CPUtime=1.6 cores=0-7 /proc/5251/task/5378/stat : 5378 (java) R 5249 5249 4292 0 -1 4202560 50 0 0 0 160 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573777334664 140575310983999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5379] ppid=5249 vsize=28768328 memory=15823304585906089 CPUtime=1.6 cores=0-7 /proc/5251/task/5379/stat : 5379 (java) R 5249 5249 4292 0 -1 4202560 310 0 0 0 160 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573778386616 140575311105063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5380] ppid=5249 vsize=28768328 memory=496 CPUtime=1.58 cores=0-7 /proc/5251/task/5380/stat : 5380 (java) R 5249 5249 4292 0 -1 4202560 101 0 0 0 158 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573775230736 140575310986596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5381] ppid=5249 vsize=28768328 memory=1560 CPUtime=1.61 cores=0-7 /proc/5251/task/5381/stat : 5381 (java) R 5249 5249 4292 0 -1 4202560 39 0 0 0 161 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573774176216 140575308603613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5382] ppid=5249 vsize=28768328 memory=21348 CPUtime=1.61 cores=0-7 /proc/5251/task/5382/stat : 5382 (java) R 5249 5249 4292 0 -1 4202560 45 0 0 0 161 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573773123336 140575304745416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5383] ppid=5249 vsize=28768328 memory=12024 CPUtime=1.53 cores=0-7 /proc/5251/task/5383/stat : 5383 (java) R 5249 5249 4292 0 -1 4202560 45 0 0 0 153 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573772070992 140575310715552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5384] ppid=5249 vsize=28768328 memory=2120 CPUtime=1.59 cores=0-7 /proc/5251/task/5384/stat : 5384 (java) R 5249 5249 4292 0 -1 4202560 103 0 0 0 159 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573771018936 140575312320095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 360.99 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 268092 KiB [startup+46.1114 s] /proc/loadavg: 7.41 5.20 4.39 10/220 5384 /proc/meminfo: memFree=27833636/32770624 swapFree=66999932/67108860 [pid=5249] ppid=5246 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5249/stat : 5249 (xcsp3-exec) S 5246 5249 4292 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419396566 115843072 364 33554432000 4194304 5098028 140724368406496 140724368404600 140065827086972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27500544 140724368413558 140724368413801 140724368413801 140724368416714 0 /proc/5249/statm: 28282 364 305 221 0 87 0 [pid=5251] ppid=5249 vsize=28768328 memory=266636 CPUtime=361.8 cores=0-7 /proc/5251/stat : 5251 (java) S 5249 5249 4292 0 -1 1077944320 115043 0 0 0 36108 72 0 0 20 0 28 0 419396566 29458767872 66659 33554432000 4194304 4196468 140724674369968 140724674352512 140575670652663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 /proc/5251/statm: 7192082 66659 3532 1 0 7153184 0 [pid=5251/tid=5252] ppid=5249 vsize=28768328 memory=275032 CPUtime=0.82 cores=0-7 /proc/5251/task/5252/stat : 5252 (java) S 5249 5249 4292 0 -1 1077944384 9774 0 0 0 77 5 0 0 20 0 28 0 419396566 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575674893440 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5253] ppid=5249 vsize=28768328 memory=280108 CPUtime=0.1 cores=0-7 /proc/5251/task/5253/stat : 5253 (java) S 5249 5249 4292 0 -1 1077944384 586 0 0 0 6 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575623273232 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5254] ppid=5249 vsize=28768328 memory=266412 CPUtime=0.11 cores=0-7 /proc/5251/task/5254/stat : 5254 (java) S 5249 5249 4292 0 -1 1077944384 1217 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575221078928 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5255] ppid=5249 vsize=28768328 memory=288230621803970871 CPUtime=0.11 cores=0-7 /proc/5251/task/5255/stat : 5255 (java) S 5249 5249 4292 0 -1 1077944384 870 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575220026384 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5256] ppid=5249 vsize=28768328 memory=8112282956445269571 CPUtime=0.11 cores=0-7 /proc/5251/task/5256/stat : 5256 (java) S 5249 5249 4292 0 -1 1077944384 625 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575218973840 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5257] ppid=5249 vsize=28768328 memory=12024 CPUtime=0.12 cores=0-7 /proc/5251/task/5257/stat : 5257 (java) S 5249 5249 4292 0 -1 1077944384 1520 0 0 0 8 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575217920272 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5258] ppid=5249 vsize=28768328 memory=14012 CPUtime=0.11 cores=0-7 /proc/5251/task/5258/stat : 5258 (java) S 5249 5249 4292 0 -1 1077944384 365 0 0 0 7 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575216867728 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5259] ppid=5249 vsize=28768328 memory=1456 CPUtime=0.12 cores=0-7 /proc/5251/task/5259/stat : 5259 (java) S 5249 5249 4292 0 -1 1077944384 1699 0 0 0 8 4 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575215815184 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5260] ppid=5249 vsize=28768328 memory=2832 CPUtime=0.1 cores=0-7 /proc/5251/task/5260/stat : 5260 (java) S 5249 5249 4292 0 -1 1077944384 650 0 0 0 7 3 0 0 20 0 28 0 419396567 29458767872 66659 33554432000 4194304 4196468 140724674369968 140575214762640 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5261] ppid=5249 vsize=28768328 memory=1712 CPUtime=0.06 cores=0-7 /proc/5251/task/5261/stat : 5261 (java) S 5249 5249 4292 0 -1 1077944384 2523 0 0 0 5 1 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573799168496 140575670663810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5262] ppid=5249 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5262/stat : 5262 (java) S 5249 5249 4292 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573798114784 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5263] ppid=5249 vsize=28768328 memory=20804 CPUtime=0 cores=0-7 /proc/5251/task/5263/stat : 5263 (java) S 5249 5249 4292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 419396569 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573797062144 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5264] ppid=5249 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5251/task/5264/stat : 5264 (java) S 5249 5249 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573796010704 140575670671259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5265] ppid=5249 vsize=28768328 memory=0 CPUtime=4.38 cores=0-7 /proc/5251/task/5265/stat : 5265 (java) S 5249 5249 4292 0 -1 1077944384 23001 0 0 0 434 4 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573794957296 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5266] ppid=5249 vsize=28768328 memory=279515532525408 CPUtime=4.68 cores=0-7 /proc/5251/task/5266/stat : 5266 (java) S 5249 5249 4292 0 -1 1077944384 19249 0 0 0 463 5 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573793904752 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5267] ppid=5249 vsize=28768328 memory=-7243148899578843288 CPUtime=4.26 cores=0-7 /proc/5251/task/5267/stat : 5267 (java) S 5249 5249 4292 0 -1 1077944384 20485 0 0 0 422 4 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573792852208 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5268] ppid=5249 vsize=28768328 memory=7233390587966481211 CPUtime=1.17 cores=0-7 /proc/5251/task/5268/stat : 5268 (java) S 5249 5249 4292 0 -1 1077944384 12070 0 0 0 114 3 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573791799664 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5269] ppid=5249 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/5251/task/5269/stat : 5269 (java) S 5249 5249 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573790747360 140575670662869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5270] ppid=5249 vsize=28768328 memory=1456 CPUtime=0.01 cores=0-7 /proc/5251/task/5270/stat : 5270 (java) S 5249 5249 4292 0 -1 1077944384 1899 0 0 0 0 1 0 0 20 0 28 0 419396572 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573789694896 140575670663810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5377] ppid=5249 vsize=28768328 memory=1456 CPUtime=1.67 cores=0-7 /proc/5251/task/5377/stat : 5377 (java) R 5249 5249 4292 0 -1 4202560 215 0 0 0 167 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573776281432 140575310716074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5378] ppid=5249 vsize=28768328 memory=266416 CPUtime=1.7 cores=0-7 /proc/5251/task/5378/stat : 5378 (java) R 5249 5249 4292 0 -1 4202560 50 0 0 0 170 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573777334664 140575312403952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5379] ppid=5249 vsize=28768328 memory=0 CPUtime=1.7 cores=0-7 /proc/5251/task/5379/stat : 5379 (java) R 5249 5249 4292 0 -1 4202560 333 0 0 0 170 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573778388728 140575310675357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5380] ppid=5249 vsize=28768328 memory=3580 CPUtime=1.68 cores=0-7 /proc/5251/task/5380/stat : 5380 (java) R 5249 5249 4292 0 -1 4202560 104 0 0 0 168 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573775230624 140575310987422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5381] ppid=5249 vsize=28768328 memory=3580 CPUtime=1.71 cores=0-7 /proc/5251/task/5381/stat : 5381 (java) R 5249 5249 4292 0 -1 4202560 39 0 0 0 171 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573774176216 140575311086338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5382] ppid=5249 vsize=28768328 memory=40620 CPUtime=1.71 cores=0-7 /proc/5251/task/5382/stat : 5382 (java) R 5249 5249 4292 0 -1 4202560 47 0 0 0 171 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573773123336 140575310358342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5383] ppid=5249 vsize=28768328 memory=988 CPUtime=1.63 cores=0-7 /proc/5251/task/5383/stat : 5383 (java) R 5249 5249 4292 0 -1 4202560 65 0 0 0 163 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573772070880 140575312400949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 [pid=5251/tid=5384] ppid=5249 vsize=28768328 memory=2020 CPUtime=1.69 cores=0-7 /proc/5251/task/5384/stat : 5384 (java) R 5249 5249 4292 0 -1 4202560 103 0 0 0 169 0 0 0 20 0 28 0 419401005 29458767872 66659 33554432000 4194304 4196468 140724674369968 140573771018936 140575310715747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18542592 140724674376682 140724674376854 140724674376854 140724674379727 0 Current children cumulated CPU time: 361.8 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 268092 KiB Child status: 0 Real time (s): 46.1444 CPU time (s): 361.926 CPU user time (s): 361.182 CPU system time (s): 0.743568 CPU usage (%): 784.333 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 308352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 361.182 system time used= 0.743568 maximum resident set size= 307912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116356 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9886 involuntary context switches= 6197 # summary of solver processes directly reported to runsolver: # pid: 5249 # total CPU time (s): 361.926 # total CPU user time (s): 361.182 # total CPU system time (s): 0.743568 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.414523 second user time and 0.541266 second system time The end
Begin job on node123 at 2019-09-14 05:21:18 IDJOB=4393927 IDBENCH=128523 IDSOLVER=2841 FILE ID=node123/4393927-1568431317 RUNJOBID= node123-1568427739-4319 PBS_JOBID= 21702298 Free space on /tmp= 59184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-46-08.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-4393927-1568431317/watcher-4393927-1568431317 -o /tmp/evaluation-result-4393927-1568431317/solver-4393927-1568431317 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 549390297 HOME/instance-4393927-1568431317.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a36b9c979418634ede1d2fbb3d1d330 RANDOM SEED=549390297 node123.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.49 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.49 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.49 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.49 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: 28090680 kB MemAvailable: 31873544 kB Buffers: 149112 kB Cached: 3898748 kB SwapCached: 7380 kB Active: 1246688 kB Inactive: 2814400 kB Active(anon): 4676 kB Inactive(anon): 49600 kB Active(file): 1242012 kB Inactive(file): 2764800 kB Unevictable: 107224 kB Mlocked: 107224 kB SwapTotal: 67108860 kB SwapFree: 66999932 kB Dirty: 26048 kB Writeback: 0 kB AnonPages: 113440 kB Mapped: 44628 kB Shmem: 32684 kB Slab: 213544 kB SReclaimable: 183776 kB SUnreclaim: 29768 kB KernelStack: 3376 kB PageTables: 5540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498168 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 59156 MiB End job on node123 at 2019-09-14 05:22:04