Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 20 | 32.478 | 4.9456 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
MD5SUM | cc4f118531160cfe6c95c1294546deff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 13.7433 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 4 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404590-1569001610.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404590-1569001610.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.07/1.31 c solve instance... 4.77/1.46 o -1000 7.83/1.85 o -992 7.83/1.88 o -991 7.83/1.88 o -989 7.83/1.89 o -984 8.63/1.91 o 2 9.44/2.05 o 9 13.24/2.54 o 11 13.24/2.56 o 13 14.04/2.68 o 18 15.57/2.80 o 19 15.57/2.86 o 20 32.21/4.93 s OPTIMUM FOUND 32.21/4.93 v <instantiation> 32.21/4.93 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] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] </list> 32.21/4.93 v <values>1 2 3 8 -1 0 -1 12 7 -1 5 -1 13 14 19 10 15 16 17 18 0 1 2 3 -1 15 -1 5 4 -1 14 -1 6 7 8 13 12 11 10 9 -5 0 -2 5 0 1 0 3 2 0 -2 0 -4 2 4 3 6 3 2 2 </values> 32.21/4.93 v </instantiation>
OK 20
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 (4522 MiB free) memory of node 1: 16384 MiB (4610 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404590-1569001610/watcher-4404590-1569001610 -o /var/tmp/evaluation-result-4404590-1569001610/solver-4404590-1569001610 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1892781750 HOME/instance-4404590-1569001610.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=16501, runsolver pid=16498 Current StackSize limit: 8192 KiB [startup+0.100149 s]* /proc/loadavg: 7.92 8.08 8.13 2/211 16522 /proc/meminfo: memFree=9335724/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28227396 memory=29352 CPUtime=0.12 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 5742 0 0 0 11 1 0 0 20 0 20 0 476433514 28904853504 7338 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7056849 7338 3159 1 0 7019032 0 [pid=16503/tid=16504] ppid=16501 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) R 16501 16501 14242 0 -1 4202560 3695 0 0 0 8 0 0 0 20 0 20 0 476433514 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115832512992 140115828303005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28227396 memory=140180003288704 CPUtime=0 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16508] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16508/stat : 16508 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115376376464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16509] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16509/stat : 16509 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115375323920 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16510] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16510/stat : 16510 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115374271376 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16511] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16511/stat : 16511 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115373218832 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16512] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16512/stat : 16512 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115372166288 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16513] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16513/stat : 16513 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115329361904 140115828292226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16514] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16514/stat : 16514 (java) S 16501 16501 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115328308128 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16515] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16515/stat : 16515 (java) S 16501 16501 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115327255536 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16516] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16516/stat : 16516 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115326204112 140115828299675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16517] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16517/stat : 16517 (java) S 16501 16501 14242 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115325151728 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16518] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16518/stat : 16518 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115324099184 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16519] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16519/stat : 16519 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115004484336 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16520] ppid=16501 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) R 16501 16501 14242 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115003431792 140115806902929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 7338 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30804 KiB [startup+0.210205 s]* /proc/loadavg: 7.92 8.08 8.13 2/211 16522 /proc/meminfo: memFree=9323596/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28227396 memory=40760 CPUtime=0.33 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 9387 0 0 0 30 3 0 0 20 0 20 0 476433514 28904853504 10190 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7056849 10190 3298 1 0 7019032 0 [pid=16503/tid=16504] ppid=16501 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) R 16501 16501 14242 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 20 0 476433514 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115832514640 140115464493776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28227396 memory=288370556155000448 CPUtime=0 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16508] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16508/stat : 16508 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115376376464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16509] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16509/stat : 16509 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115375323920 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16510] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16510/stat : 16510 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115374271376 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16511] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16511/stat : 16511 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115373218832 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16512] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16512/stat : 16512 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115372166288 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16513] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16513/stat : 16513 (java) S 16501 16501 14242 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115329361904 140115828292226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16514] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16514/stat : 16514 (java) S 16501 16501 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115328308128 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16515] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16515/stat : 16515 (java) S 16501 16501 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433517 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115327255536 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16516] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16516/stat : 16516 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115326204112 140115828299675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16517] ppid=16501 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16503/task/16517/stat : 16517 (java) R 16501 16501 14242 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115325151728 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16518] ppid=16501 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16503/task/16518/stat : 16518 (java) S 16501 16501 14242 0 -1 1077944384 71 0 0 0 2 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115324099184 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16519] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16519/stat : 16519 (java) S 16501 16501 14242 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115004484336 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16520] ppid=16501 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) R 16501 16501 14242 0 -1 4202560 799 0 0 0 7 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115003431600 140115812361566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28904853504 10190 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42212 KiB [startup+0.309553 s]* /proc/loadavg: 7.92 8.08 8.13 4/211 16522 /proc/meminfo: memFree=9316700/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28231652 memory=49980 CPUtime=0.51 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 10871 0 0 0 47 4 0 0 20 0 20 0 476433514 28909211648 12495 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7057913 12495 3339 1 0 7019032 0 [pid=16503/tid=16504] ppid=16501 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) R 16501 16501 14242 0 -1 4202560 7743 0 0 0 27 3 0 0 20 0 20 0 476433514 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115832514864 140115812361566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16508] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16508/stat : 16508 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115376376464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16509] ppid=16501 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/16503/task/16509/stat : 16509 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115375323920 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16510] ppid=16501 vsize=28231652 memory=140179880899503 CPUtime=0 cores=0-7 /proc/16503/task/16510/stat : 16510 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115374271376 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16511] ppid=16501 vsize=28231652 memory=140179880901808 CPUtime=0 cores=0-7 /proc/16503/task/16511/stat : 16511 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115373218832 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16512] ppid=16501 vsize=28231652 memory=140179880904112 CPUtime=0 cores=0-7 /proc/16503/task/16512/stat : 16512 (java) S 16501 16501 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433515 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115372166288 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16513] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16513/stat : 16513 (java) S 16501 16501 14242 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476433517 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115329361904 140115828292226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16514] ppid=16501 vsize=28231652 memory=280359761815184 CPUtime=0 cores=0-7 /proc/16503/task/16514/stat : 16514 (java) S 16501 16501 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433517 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115328308128 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16515] ppid=16501 vsize=28231652 memory=280359761822096 CPUtime=0 cores=0-7 /proc/16503/task/16515/stat : 16515 (java) S 16501 16501 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433517 28909211648 12495 33554432000 4194304 4196468 140734246010784 140115327255536 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16516] ppid=16501 vsize=28231652 memory=280359761763376 CPUtime=0 cores=0-7 /proc/16503/task/16516/stat : 16516 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115326204112 140115828299675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16517] ppid=16501 vsize=28231652 memory=280359761835920 CPUtime=0.03 cores=0-7 /proc/16503/task/16517/stat : 16517 (java) S 16501 16501 14242 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115325151728 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16518] ppid=16501 vsize=28231652 memory=280359761842832 CPUtime=0.02 cores=0-7 /proc/16503/task/16518/stat : 16518 (java) S 16501 16501 14242 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115324099184 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16519] ppid=16501 vsize=28231652 memory=280359761840528 CPUtime=0.02 cores=0-7 /proc/16503/task/16519/stat : 16519 (java) R 16501 16501 14242 0 -1 4202560 191 0 0 0 2 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115004474336 140115813407199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16520] ppid=16501 vsize=28231652 memory=280359761856688 CPUtime=0.12 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) S 16501 16501 14242 0 -1 1077944384 972 0 0 0 12 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115003431792 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433520 28909211648 12522 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51432 KiB [startup+0.70101 s] /proc/loadavg: 7.92 8.08 8.13 5/211 16522 /proc/meminfo: memFree=9286128/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28233776 memory=103724 CPUtime=1.93 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 16610 0 0 0 186 7 0 0 20 0 20 0 476433514 28911386624 25931 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7058444 25931 3451 1 0 7019544 0 [pid=16503/tid=16504] ppid=16501 vsize=28233776 memory=280359762214576 CPUtime=0.67 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) R 16501 16501 14242 0 -1 4202560 9194 0 0 0 63 4 0 0 20 0 20 0 476433514 28911386624 25931 33554432000 4194304 4196468 140734246010784 140115832517680 140115464639360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28233776 memory=140179881108336 CPUtime=0 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28911386624 25931 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28911386624 25931 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433515 28911386624 25931 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 ################ # More data... # ################ [pid=16503/tid=16520] ppid=16501 vsize=28834900 memory=10 CPUtime=0.92 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) R 16501 16501 14242 0 -1 1077944384 3225 0 0 0 90 2 0 0 20 0 28 0 476433520 29526937600 93913 33554432000 4194304 4196468 140734246010784 140115003431792 140115828292226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28834900 memory=280359762719488 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93913 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93913 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16619] ppid=16501 vsize=28834900 memory=0 CPUtime=1.48 cores=0-7 /proc/16503/task/16619/stat : 16619 (java) R 16501 16501 14242 0 -1 4202560 22 0 0 0 148 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140113861385512 140115471724014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16620] ppid=16501 vsize=28834900 memory=0 CPUtime=1.48 cores=0-7 /proc/16503/task/16620/stat : 16620 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 148 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140114989195304 140115472755146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16621] ppid=16501 vsize=28834900 memory=0 CPUtime=1.51 cores=0-7 /proc/16503/task/16621/stat : 16621 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 151 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140113863492312 140115472223499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16622] ppid=16501 vsize=28834900 memory=0 CPUtime=1.39 cores=0-7 /proc/16503/task/16622/stat : 16622 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 139 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140114988144792 140115472223012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16623] ppid=16501 vsize=28834900 memory=0 CPUtime=1.43 cores=0-7 /proc/16503/task/16623/stat : 16623 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 143 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140113864545304 140115472221671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16624] ppid=16501 vsize=28834900 memory=0 CPUtime=1.51 cores=0-7 /proc/16503/task/16624/stat : 16624 (java) R 16501 16501 14242 0 -1 4202560 22 0 0 0 151 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140113862441720 140115472223271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16625] ppid=16501 vsize=28834900 memory=10386932588801 CPUtime=1.48 cores=0-7 /proc/16503/task/16625/stat : 16625 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 148 0 0 0 20 0 28 0 476433800 29526937600 93913 33554432000 4194304 4196468 140734246010784 140114990249480 140115472223012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16626] ppid=16501 vsize=28834900 memory=112690573 CPUtime=1.39 cores=0-7 /proc/16503/task/16626/stat : 16626 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 139 0 0 0 20 0 28 0 476433801 29526937600 93913 33554432000 4194304 4196468 140734246010784 140113859281104 140115472223197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 28.2 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 377104 KiB [startup+4.8018 s] /proc/loadavg: 8.17 8.13 8.14 9/219 16626 /proc/meminfo: memFree=8991400/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28834900 memory=375696 CPUtime=31.4 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 22892 0 0 0 3103 37 0 0 20 0 28 0 476433514 29526937600 93924 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7208725 93924 3526 1 0 7169825 0 [pid=16503/tid=16504] ppid=16501 vsize=28834900 memory=70871255384316 CPUtime=1.26 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) S 16501 16501 14242 0 -1 1077944384 9495 0 0 0 120 6 0 0 20 0 28 0 476433514 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115832521856 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28834900 memory=70871255384317 CPUtime=0.02 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 61 0 0 0 1 1 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28834900 memory=70871255384318 CPUtime=0.04 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 61 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16508] ppid=16501 vsize=28834900 memory=0 CPUtime=0.04 cores=0-7 /proc/16503/task/16508/stat : 16508 (java) S 16501 16501 14242 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115376376464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16509] ppid=16501 vsize=28834900 memory=2241 CPUtime=0.03 cores=0-7 /proc/16503/task/16509/stat : 16509 (java) S 16501 16501 14242 0 -1 1077944384 89 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115375323920 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16510] ppid=16501 vsize=28834900 memory=2244 CPUtime=0.04 cores=0-7 /proc/16503/task/16510/stat : 16510 (java) S 16501 16501 14242 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115374271376 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16511] ppid=16501 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/16503/task/16511/stat : 16511 (java) S 16501 16501 14242 0 -1 1077944384 80 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115373218832 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16512] ppid=16501 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/16503/task/16512/stat : 16512 (java) S 16501 16501 14242 0 -1 1077944384 85 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115372166288 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16513] ppid=16501 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/16503/task/16513/stat : 16513 (java) S 16501 16501 14242 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115329361904 140115828292226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16514] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16514/stat : 16514 (java) S 16501 16501 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115328308192 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16515] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16515/stat : 16515 (java) S 16501 16501 14242 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115327255552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16516] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16516/stat : 16516 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115326204112 140115828299675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16517] ppid=16501 vsize=28834900 memory=0 CPUtime=1.6 cores=0-7 /proc/16503/task/16517/stat : 16517 (java) S 16501 16501 14242 0 -1 1077944384 2123 0 0 0 160 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115325151728 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16518] ppid=16501 vsize=28834900 memory=0 CPUtime=1.7 cores=0-7 /proc/16503/task/16518/stat : 16518 (java) S 16501 16501 14242 0 -1 1077944384 1968 0 0 0 170 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115324099184 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16519] ppid=16501 vsize=28834900 memory=0 CPUtime=1.65 cores=0-7 /proc/16503/task/16519/stat : 16519 (java) S 16501 16501 14242 0 -1 1077944384 1788 0 0 0 165 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115004484336 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16520] ppid=16501 vsize=28834900 memory=0 CPUtime=0.92 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) S 16501 16501 14242 0 -1 1077944384 3231 0 0 0 90 2 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115003431792 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16619] ppid=16501 vsize=28834900 memory=280359762098240 CPUtime=1.88 cores=0-7 /proc/16503/task/16619/stat : 16619 (java) R 16501 16501 14242 0 -1 4202560 22 0 0 0 188 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113861385512 140115472223148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16620] ppid=16501 vsize=28834900 memory=315533668791877947 CPUtime=1.88 cores=0-7 /proc/16503/task/16620/stat : 16620 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 188 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114989195304 140115472223214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16621] ppid=16501 vsize=28834900 memory=15816698942982814 CPUtime=1.91 cores=0-7 /proc/16503/task/16621/stat : 16621 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 191 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113863492312 140115471724211 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16622] ppid=16501 vsize=28834900 memory=6944656592387989600 CPUtime=1.79 cores=0-7 /proc/16503/task/16622/stat : 16622 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 179 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114988143480 140115472223494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16623] ppid=16501 vsize=28834900 memory=-7740096080597194087 CPUtime=1.83 cores=0-7 /proc/16503/task/16623/stat : 16623 (java) R 16501 16501 14242 0 -1 4202560 21 0 0 0 183 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113864545304 140115472472609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16624] ppid=16501 vsize=28834900 memory=6442216070833333605 CPUtime=1.89 cores=0-7 /proc/16503/task/16624/stat : 16624 (java) R 16501 16501 14242 0 -1 4202560 22 0 0 0 189 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113862439512 140115472223406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16625] ppid=16501 vsize=28834900 memory=0 CPUtime=1.85 cores=0-7 /proc/16503/task/16625/stat : 16625 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 185 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114990249976 140115472223395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16626] ppid=16501 vsize=28834900 memory=0 CPUtime=1.79 cores=0-7 /proc/16503/task/16626/stat : 16626 (java) R 16501 16501 14242 0 -1 4202560 23 0 0 0 179 0 0 0 20 0 28 0 476433801 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113859282856 140115472223510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 31.4 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 377148 KiB [startup+4.9018 s] /proc/loadavg: 8.17 8.13 8.14 9/219 16626 /proc/meminfo: memFree=8991400/32770624 swapFree=67021900/67108860 [pid=16501] ppid=16498 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16501/stat : 16501 (xcsp3-exec) S 16498 16501 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476433514 115843072 363 33554432000 4194304 5098028 140732958308032 140732958306136 140423802077820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35258368 140732958315345 140732958315605 140732958315605 140732958318534 0 /proc/16501/statm: 28282 363 304 221 0 87 0 [pid=16503] ppid=16501 vsize=28834900 memory=375696 CPUtime=32.21 cores=0-7 /proc/16503/stat : 16503 (java) S 16501 16501 14242 0 -1 1077944320 23045 0 0 0 3183 38 0 0 20 0 28 0 476433514 29526937600 93924 33554432000 4194304 4196468 140734246010784 140734245993328 140115828281079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 /proc/16503/statm: 7208725 93924 3526 1 0 7169825 0 [pid=16503/tid=16504] ppid=16501 vsize=28834900 memory=375696 CPUtime=1.26 cores=0-7 /proc/16503/task/16504/stat : 16504 (java) S 16501 16501 14242 0 -1 1077944384 9495 0 0 0 120 6 0 0 20 0 28 0 476433514 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115832521856 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16505] ppid=16501 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/16503/task/16505/stat : 16505 (java) S 16501 16501 14242 0 -1 1077944384 61 0 0 0 1 1 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115793561872 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16506] ppid=16501 vsize=28834900 memory=375696 CPUtime=0.04 cores=0-7 /proc/16503/task/16506/stat : 16506 (java) S 16501 16501 14242 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115378481552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16507] ppid=16501 vsize=28834900 memory=280359761635968 CPUtime=0.03 cores=0-7 /proc/16503/task/16507/stat : 16507 (java) S 16501 16501 14242 0 -1 1077944384 61 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115377429008 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16508] ppid=16501 vsize=28834900 memory=6944656592455359580 CPUtime=0.04 cores=0-7 /proc/16503/task/16508/stat : 16508 (java) S 16501 16501 14242 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115376376464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16509] ppid=16501 vsize=28834900 memory=6791534058613427641 CPUtime=0.03 cores=0-7 /proc/16503/task/16509/stat : 16509 (java) S 16501 16501 14242 0 -1 1077944384 89 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115375323920 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16510] ppid=16501 vsize=28834900 memory=13798 CPUtime=0.04 cores=0-7 /proc/16503/task/16510/stat : 16510 (java) S 16501 16501 14242 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115374271376 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16511] ppid=16501 vsize=28834900 memory=3135787 CPUtime=0.03 cores=0-7 /proc/16503/task/16511/stat : 16511 (java) S 16501 16501 14242 0 -1 1077944384 80 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115373218832 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16512] ppid=16501 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/16503/task/16512/stat : 16512 (java) S 16501 16501 14242 0 -1 1077944384 85 0 0 0 1 2 0 0 20 0 28 0 476433515 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115372166288 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16513] ppid=16501 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/16503/task/16513/stat : 16513 (java) S 16501 16501 14242 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115329361904 140115828292226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16514] ppid=16501 vsize=28834900 memory=280359761953744 CPUtime=0 cores=0-7 /proc/16503/task/16514/stat : 16514 (java) S 16501 16501 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115328308192 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16515] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16515/stat : 16515 (java) S 16501 16501 14242 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476433517 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115327255552 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16516] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16516/stat : 16516 (java) S 16501 16501 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115326204112 140115828299675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16517] ppid=16501 vsize=28834900 memory=280359762392880 CPUtime=1.6 cores=0-7 /proc/16503/task/16517/stat : 16517 (java) S 16501 16501 14242 0 -1 1077944384 2123 0 0 0 160 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115325151728 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16518] ppid=16501 vsize=28834900 memory=0 CPUtime=1.7 cores=0-7 /proc/16503/task/16518/stat : 16518 (java) S 16501 16501 14242 0 -1 1077944384 1968 0 0 0 170 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115324099184 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16519] ppid=16501 vsize=28834900 memory=6791534058613427641 CPUtime=1.65 cores=0-7 /proc/16503/task/16519/stat : 16519 (java) S 16501 16501 14242 0 -1 1077944384 1788 0 0 0 165 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115004484336 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16520] ppid=16501 vsize=28834900 memory=0 CPUtime=0.92 cores=0-7 /proc/16503/task/16520/stat : 16520 (java) S 16501 16501 14242 0 -1 1077944384 3231 0 0 0 90 2 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115003431792 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16521] ppid=16501 vsize=28834900 memory=4 CPUtime=0 cores=0-7 /proc/16503/task/16521/stat : 16521 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115002378464 140115828291285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16522] ppid=16501 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/16503/task/16522/stat : 16522 (java) S 16501 16501 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433520 29526937600 93924 33554432000 4194304 4196468 140734246010784 140115001326000 140115828292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16619] ppid=16501 vsize=28834900 memory=6053494 CPUtime=1.98 cores=0-7 /proc/16503/task/16619/stat : 16619 (java) R 16501 16501 14242 0 -1 4202560 52 0 0 0 198 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113861385512 140115472287705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16620] ppid=16501 vsize=28834900 memory=0 CPUtime=1.98 cores=0-7 /proc/16503/task/16620/stat : 16620 (java) R 16501 16501 14242 0 -1 4202560 33 0 0 0 198 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114989195304 140115472223292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16621] ppid=16501 vsize=28834900 memory=1452 CPUtime=2.01 cores=0-7 /proc/16503/task/16621/stat : 16621 (java) R 16501 16501 14242 0 -1 4202560 26 0 0 0 201 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113863492312 140115472223262 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16622] ppid=16501 vsize=28834900 memory=254436 CPUtime=1.89 cores=0-7 /proc/16503/task/16622/stat : 16622 (java) R 16501 16501 14242 0 -1 4202560 36 0 0 0 189 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114988143480 140115472223510 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16623] ppid=16501 vsize=28834900 memory=8257237230052613020 CPUtime=1.93 cores=0-7 /proc/16503/task/16623/stat : 16623 (java) R 16501 16501 14242 0 -1 4202560 45 0 0 0 193 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113864545304 140115472223280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16624] ppid=16501 vsize=28834900 memory=-7233780906022726806 CPUtime=2 cores=0-7 /proc/16503/task/16624/stat : 16624 (java) R 16501 16501 14242 0 -1 4202560 42 0 0 0 199 1 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113862439512 140115473198838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16625] ppid=16501 vsize=28834900 memory=-7384994778349281184 CPUtime=1.95 cores=0-7 /proc/16503/task/16625/stat : 16625 (java) R 16501 16501 14242 0 -1 4202560 61 0 0 0 195 0 0 0 20 0 28 0 476433800 29526937600 93924 33554432000 4194304 4196468 140734246010784 140114990249976 140115472223851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 [pid=16503/tid=16626] ppid=16501 vsize=28834900 memory=7681905605394137914 CPUtime=1.89 cores=0-7 /proc/16503/task/16626/stat : 16626 (java) R 16501 16501 14242 0 -1 4202560 34 0 0 0 189 0 0 0 20 0 28 0 476433801 29526937600 93924 33554432000 4194304 4196468 140734246010784 140113859282856 140115472223086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33251328 140734246015958 140734246016134 140734246016134 140734246019023 0 Current children cumulated CPU time: 32.21 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 377148 KiB Child status: 0 Real time (s): 4.9456 CPU time (s): 32.478 CPU user time (s): 32.0824 CPU system time (s): 0.395643 CPU usage (%): 656.705 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 377148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.0824 system time used= 0.395643 maximum resident set size= 376928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23860 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4898 involuntary context switches= 775 # summary of solver processes directly reported to runsolver: # pid: 16501 # total CPU time (s): 32.478 # total CPU user time (s): 32.0824 # total CPU system time (s): 0.395643 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.054866 second user time and 0.096223 second system time The end
Begin job on node150 at 2019-09-20 19:46:09 IDJOB=4404590 IDBENCH=127982 IDSOLVER=2865 FILE ID=node150/4404590-1569001610 RUNJOBID= node150-1568993963-14269 PBS_JOBID= 21704712 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-8.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-4404590-1569001610/watcher-4404590-1569001610 -o /var/tmp/evaluation-result-4404590-1569001610/solver-4404590-1569001610 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1892781750 HOME/instance-4404590-1569001610.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff RANDOM SEED=1892781750 node150.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.79 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.79 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.79 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.79 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: 9352856 kB MemAvailable: 31825932 kB Buffers: 169324 kB Cached: 22190128 kB SwapCached: 7944 kB Active: 11146664 kB Inactive: 11246356 kB Active(anon): 4572 kB Inactive(anon): 70272 kB Active(file): 11142092 kB Inactive(file): 11176084 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021900 kB Dirty: 26648 kB Writeback: 0 kB AnonPages: 190108 kB Mapped: 47944 kB Shmem: 32528 kB Slab: 613560 kB SReclaimable: 583360 kB SUnreclaim: 30200 kB KernelStack: 3712 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 19:46:15