Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 32 | 11.2036 | 2.11908 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml |
MD5SUM | 5d7a010bf2d95efed7f70b0fa6bbffad |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 1.37412 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 54 |
Number of constraints | 73 |
Number of domains | 19 |
Minimum domain size | 4 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":2},{"size":19,"count":36}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":18},{"degree":19,"count":17},{"degree":20,"count":1},{"degree":21,"count":18}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":36},{"arity":18,"count":18},{"arity":19,"count":18}] |
Number of extensional constraints | 36 |
Number of intensional constraints | 19 |
Distribution of constraint types | [{"type":"extension","count":36},{"type":"intension","count":19},{"type":"count","count":18}] |
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-4404580-1569001657.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404580-1569001657.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.77/1.13 c solve instance... 4.36/1.27 o -1000 5.09/1.39 o -994 5.85/1.40 o -993 5.85/1.42 o -983 5.85/1.45 o 6 7.32/1.60 o 11 7.32/1.61 o 12 8.91/1.86 o 14 8.91/1.86 o 16 9.65/1.94 o 22 9.65/1.98 o 29 10.48/2.02 o 32 10.48/2.09 s OPTIMUM FOUND 10.48/2.09 v <instantiation> 10.48/2.09 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] 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] 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] </list> 10.48/2.09 v <values>1 2 8 4 5 11 0 -1 9 3 16 10 6 12 13 14 15 -1 0 1 2 5 6 7 15 -1 3 4 9 8 14 13 12 11 10 -1 -1 1 1 1 4 2 3 0 1 5 -1 9 3 -2 2 1 3 0 </values> 10.48/2.09 v </instantiation>
OK 32
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 (4523 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-4404580-1569001657/watcher-4404580-1569001657 -o /var/tmp/evaluation-result-4404580-1569001657/solver-4404580-1569001657 -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 85181484 HOME/instance-4404580-1569001657.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=17223, runsolver pid=17220 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 7.71 8.00 8.10 3/211 17244 /proc/meminfo: memFree=9336632/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28227396 memory=28688 CPUtime=0.12 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 5660 0 0 0 11 1 0 0 20 0 20 0 476438230 28904853504 7172 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7056849 7172 3115 1 0 7019032 0 [pid=17225/tid=17226] ppid=17223 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) R 17223 17223 14242 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253595338544 140253180597440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28227396 memory=140389701211776 CPUtime=0 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 7172 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17235] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17235/stat : 17235 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438233 28904853504 7172 33554432000 4194304 4196468 140723408836560 140252706609904 140253591120514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438233 28904853504 7172 33554432000 4194304 4196468 140723408836560 140252705556128 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) S 17223 17223 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438234 28904853504 7172 33554432000 4194304 4196468 140723408836560 140252704503024 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252703451600 140253591127963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) R 17223 17223 14242 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252702390352 140253583346494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17240] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17240/stat : 17240 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252701346160 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17241] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17241/stat : 17241 (java) S 17223 17223 14242 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252700293104 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) R 17223 17223 14242 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252699240560 140253569600615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17243] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17243/stat : 17243 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252698188768 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17244] ppid=17223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17244/stat : 17244 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 7238 33554432000 4194304 4196468 140723408836560 140252697136304 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30140 KiB [startup+0.210118 s]* /proc/loadavg: 7.71 8.00 8.10 4/211 17244 /proc/meminfo: memFree=9322828/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28227396 memory=41056 CPUtime=0.33 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 476438230 28904853504 10264 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7056849 10264 3299 1 0 7019032 0 [pid=17225/tid=17226] ppid=17223 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) R 17223 17223 14242 0 -1 4202560 6640 0 0 0 17 2 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253595342816 140253591121302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28227396 memory=288370765852923520 CPUtime=0 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28904853504 10264 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17235] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17235/stat : 17235 (java) S 17223 17223 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476438233 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252706609904 140253591120514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438233 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252705556128 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) S 17223 17223 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438234 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252704503024 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252703451600 140253591127963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) S 17223 17223 14242 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252702398704 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17240] ppid=17223 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17225/task/17240/stat : 17240 (java) S 17223 17223 14242 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252701346160 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17241] ppid=17223 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17225/task/17241/stat : 17241 (java) S 17223 17223 14242 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252700293104 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) R 17223 17223 14242 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252699240560 140253591121302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17243] ppid=17223 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17243/stat : 17243 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252698188768 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17244] ppid=17223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17244/stat : 17244 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28904853504 10264 33554432000 4194304 4196468 140723408836560 140252697136304 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42508 KiB [startup+0.309545 s]* /proc/loadavg: 7.71 8.00 8.10 3/211 17244 /proc/meminfo: memFree=9315048/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28231652 memory=49448 CPUtime=0.51 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 10811 0 0 0 47 4 0 0 20 0 20 0 476438230 28909211648 12362 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7057913 12362 3333 1 0 7019032 0 [pid=17225/tid=17226] ppid=17223 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) R 17223 17223 14242 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253595343152 140253575189854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28231652 memory=140389596099503 CPUtime=0 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28231652 memory=140389596101808 CPUtime=0 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28231652 memory=140389596104112 CPUtime=0 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28909211648 12362 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17235] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17235/stat : 17235 (java) S 17223 17223 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476438233 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252706609904 140253591120514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28231652 memory=280779192215184 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476438233 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252705556128 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28231652 memory=280779192222096 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) S 17223 17223 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476438234 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252704503024 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28231652 memory=280779192163376 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252703451600 140253591127963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28231652 memory=280779192235920 CPUtime=0.02 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) S 17223 17223 14242 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252702398704 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17240] ppid=17223 vsize=28231652 memory=280779192242832 CPUtime=0.02 cores=0-7 /proc/17225/task/17240/stat : 17240 (java) S 17223 17223 14242 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252701346160 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17241] ppid=17223 vsize=28231652 memory=280779192240528 CPUtime=0.02 cores=0-7 /proc/17225/task/17241/stat : 17241 (java) S 17223 17223 14242 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252700293104 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28231652 memory=280779192256688 CPUtime=0.12 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) S 17223 17223 14242 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252699240560 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17243] ppid=17223 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17243/stat : 17243 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252698188768 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17244] ppid=17223 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17244/stat : 17244 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438236 28909211648 12362 33554432000 4194304 4196468 140723408836560 140252697136304 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50900 KiB [startup+0.700955 s] /proc/loadavg: 7.26 7.90 8.06 6/211 17244 /proc/meminfo: memFree=9288620/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28233776 memory=98272 CPUtime=2.01 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 16223 0 0 0 195 6 0 0 20 0 20 0 476438230 28911386624 24568 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7058444 24568 3461 1 0 7019544 0 [pid=17225/tid=17226] ppid=17223 vsize=28233776 memory=280779192614576 CPUtime=0.68 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) R 17223 17223 14242 0 -1 4202560 9443 0 0 0 64 4 0 0 20 0 20 0 476438231 28911386624 24568 33554432000 4194304 4196468 140723408836560 140253595347488 140253575189854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28233776 memory=140389596308336 CPUtime=0 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476438231 28911386624 24568 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28911386624 24568 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476438231 28911386624 24568 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 ################ # More data... # ################ [startup+1.60134 s] /proc/loadavg: 7.26 7.90 8.06 2/211 17244 /proc/meminfo: memFree=9150860/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28768336 memory=252800 CPUtime=7.32 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 20729 0 0 0 712 20 0 0 20 0 28 0 476438230 29458776064 63200 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7192084 63200 3495 1 0 7153184 0 [pid=17225/tid=17226] ppid=17223 vsize=28768336 memory=6944656592455359580 CPUtime=1.1 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) S 17223 17223 14242 0 -1 1077944384 9583 0 0 0 105 5 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253595350144 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28768336 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28768336 memory=1452 CPUtime=0.02 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28768336 memory=3648 CPUtime=0.02 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28768336 memory=42040 CPUtime=0.01 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28768336 memory=1040 CPUtime=0.01 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28768336 memory=2084 CPUtime=0.03 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28768336 memory=1480 CPUtime=0.02 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28768336 memory=3880 CPUtime=0.02 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 476438231 29458776064 63200 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17235] ppid=17223 vsize=28768336 memory=7712 CPUtime=0 cores=0-7 /proc/17225/task/17235/stat : 17235 (java) S 17223 17223 14242 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 476438233 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252706609904 140253591120514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476438233 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252705556192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28768336 memory=1172 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) S 17223 17223 14242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476438234 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252704503040 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28768336 memory=6316 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252703451600 140253591127963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28768336 memory=164 CPUtime=1 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) R 17223 17223 14242 0 -1 4202560 1876 0 0 0 100 0 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252702385248 140253574595632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17240] ppid=17223 vsize=28768336 memory=-9001734013606258791 CPUtime=1.03 cores=0-7 /proc/17225/task/17240/stat : 17240 (java) R 17223 17223 14242 0 -1 4202560 1328 0 0 0 102 1 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252701335952 140253570764577 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17241] ppid=17223 vsize=28768336 memory=-7384994778349281184 CPUtime=1.01 cores=0-7 /proc/17225/task/17241/stat : 17241 (java) R 17223 17223 14242 0 -1 4202560 1868 0 0 0 101 0 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252700279424 140253574584443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28768336 memory=-8990767739041718176 CPUtime=0.76 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) R 17223 17223 14242 0 -1 4202560 3151 0 0 0 75 1 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252699240560 140253583346494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17243] ppid=17223 vsize=28768336 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/17225/task/17243/stat : 17243 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252698188768 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17244] ppid=17223 vsize=28768336 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/17225/task/17244/stat : 17244 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438236 29458776064 63200 33554432000 4194304 4196468 140723408836560 140252697136304 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 7.32 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 254252 KiB [startup+2.00092 s]* /proc/loadavg: 7.26 7.90 8.06 11/218 17339 /proc/meminfo: memFree=9107764/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28769364 memory=258108 CPUtime=10.48 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 22943 0 0 0 1027 21 0 0 20 0 27 0 476438230 29459828736 64527 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7192341 64527 3516 1 0 7153441 0 [pid=17225/tid=17226] ppid=17223 vsize=28769364 memory=6791534058613427641 CPUtime=1.1 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) S 17223 17223 14242 0 -1 1077944384 9585 0 0 0 105 5 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253595350144 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28769364 memory=4126316290023845779 CPUtime=0.02 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 476438231 29459828736 64527 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17235] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17235/stat : 17235 (java) S 17223 17223 14242 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 476438233 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252706609904 140253591120514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476438233 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252705556192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28769364 memory=3976735856566481207 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) S 17223 17223 14242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476438234 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252704503040 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28769364 memory=3473455226993850424 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252703451600 140253591127963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28769364 memory=0 CPUtime=1.34 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) R 17223 17223 14242 0 -1 4202560 2284 0 0 0 134 0 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252702397376 140253576031224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17240] ppid=17223 vsize=28769364 memory=7302979670957975658 CPUtime=1.34 cores=0-7 /proc/17225/task/17240/stat : 17240 (java) R 17223 17223 14242 0 -1 4202560 1562 0 0 0 133 1 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252701332576 140253572287295 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17241] ppid=17223 vsize=28769364 memory=7590655979367786604 CPUtime=1.3 cores=0-7 /proc/17225/task/17241/stat : 17241 (java) R 17223 17223 14242 0 -1 4202560 2592 0 0 0 130 0 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252700278608 140253576235321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28769364 memory=7236547281622689387 CPUtime=0.79 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) R 17223 17223 14242 0 -1 1077944384 3210 0 0 0 78 1 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252699240560 140253591120514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17243] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17243/stat : 17243 (java) S 17223 17223 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252698188768 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17244] ppid=17223 vsize=28769364 memory=-1 CPUtime=0 cores=0-7 /proc/17225/task/17244/stat : 17244 (java) S 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476438236 29459828736 64527 33554432000 4194304 4196468 140723408836560 140252697136304 140253591120514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17333] ppid=17223 vsize=28769364 memory=-1 CPUtime=0.02 cores=0-7 /proc/17225/task/17333/stat : 17333 (java) R 17223 17223 14242 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251628383016 140253188034814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17334] ppid=17223 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/17225/task/17334/stat : 17334 (java) R 17223 17223 14242 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251624174016 140253188034683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17335] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17335/stat : 17335 (java) R 17223 17223 14242 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251627336000 140253188035035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17336] ppid=17223 vsize=28769364 memory=280779192654720 CPUtime=0 cores=0-7 /proc/17225/task/17336/stat : 17336 (java) S 17223 17223 14242 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251626282928 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17337] ppid=17223 vsize=28769364 memory=7599388386692169796 CPUtime=0.01 cores=0-7 /proc/17225/task/17337/stat : 17337 (java) R 17223 17223 14242 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251622068232 140253188034814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17338] ppid=17223 vsize=28769364 memory=288288870183994062 CPUtime=0 cores=0-7 /proc/17225/task/17338/stat : 17338 (java) R 17223 17223 14242 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251623127880 140253188034805 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17339] ppid=17223 vsize=28769364 memory=288230376155199493 CPUtime=0 cores=0-7 /proc/17225/task/17339/stat : 17339 (java) R 17223 17223 14242 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 28 0 476438429 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251625233760 140253591119573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17340] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17340/stat : 17340 (java) R 17223 17223 14242 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 28 0 476438431 29459828736 64527 33554432000 4194304 4196468 140723408836560 140251626282560 140253583849217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 10.48 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 259560 KiB [startup+2.11049 s] /proc/loadavg: 7.26 7.90 8.06 11/218 17339 /proc/meminfo: memFree=9107764/32770624 swapFree=67021900/67108860 [pid=17223] ppid=17220 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17223/stat : 17223 (xcsp3-exec) S 17220 17223 14242 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476438230 115843072 363 33554432000 4194304 5098028 140727599437152 140727599435256 140406886408828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9973760 140727599444819 140727599445077 140727599445077 140727599448006 0 /proc/17223/statm: 28282 363 304 221 0 87 0 [pid=17225] ppid=17223 vsize=28769364 memory=256116 CPUtime=11.18 cores=0-7 /proc/17225/stat : 17225 (java) S 17223 17223 14242 0 -1 1077944320 23188 0 0 0 1097 21 0 0 20 0 21 0 476438230 29459828736 64029 33554432000 4194304 4196468 140723408836560 140723408819104 140253591109367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 /proc/17225/statm: 7192341 64029 3517 1 0 7153441 0 [pid=17225/tid=17226] ppid=17223 vsize=28769364 memory=6943526294502006880 CPUtime=1.11 cores=0-7 /proc/17225/task/17226/stat : 17226 (java) S 17223 17223 14242 0 -1 1077944384 9589 0 0 0 106 5 0 0 20 0 21 0 476438231 29459828736 64029 33554432000 4194304 4196468 140723408836560 140253595352208 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17227] ppid=17223 vsize=28769364 memory=6944656592455097440 CPUtime=0.02 cores=0-7 /proc/17225/task/17227/stat : 17227 (java) S 17223 17223 14242 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 21 0 476438231 29459828736 64029 33554432000 4194304 4196468 140723408836560 140253510962192 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17228] ppid=17223 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/17225/task/17228/stat : 17228 (java) S 17223 17223 14242 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 20 0 476438231 29459828736 64029 33554432000 4194304 4196468 140723408836560 140253509909648 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17229] ppid=17223 vsize=28769364 memory=140389701230913 CPUtime=0.02 cores=0-7 /proc/17225/task/17229/stat : 17229 (java) S 17223 17223 14242 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 20 0 476438231 29459828736 64029 33554432000 4194304 4196468 140723408836560 140253508856592 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17230] ppid=17223 vsize=28769364 memory=7669739482686449764 CPUtime=0.01 cores=0-7 /proc/17225/task/17230/stat : 17230 (java) S 17223 17223 14242 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 20 0 476438231 29459828736 64029 33554432000 4194304 4196468 140723408836560 140253507804048 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17231] ppid=17223 vsize=28769364 memory=7957689449132282197 CPUtime=0.01 cores=0-7 /proc/17225/task/17231/stat : 17231 (java) S 17223 17223 14242 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 19 0 476438231 29459828736 64001 33554432000 4194304 4196468 140723408836560 140253506750992 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17232] ppid=17223 vsize=28769364 memory=7445132329714410065 CPUtime=0.03 cores=0-7 /proc/17225/task/17232/stat : 17232 (java) S 17223 17223 14242 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 19 0 476438231 29459828736 64001 33554432000 4194304 4196468 140723408836560 140253505698448 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17233] ppid=17223 vsize=28769364 memory=56 CPUtime=0.02 cores=0-7 /proc/17225/task/17233/stat : 17233 (java) S 17223 17223 14242 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 19 0 476438231 29459828736 64001 33554432000 4194304 4196468 140723408836560 140253504645392 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17234] ppid=17223 vsize=28769364 memory=13798 CPUtime=0.02 cores=0-7 /proc/17225/task/17234/stat : 17234 (java) S 17223 17223 14242 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 19 0 476438231 29459828736 64001 33554432000 4194304 4196468 140723408836560 140253503592848 140253591119573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17236] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17236/stat : 17236 (java) S 17223 17223 14242 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 476438233 29459828736 64028 33554432000 4194304 4196468 140723408836560 140252705556192 140253591119573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17237] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17237/stat : 17237 (java) R 17223 17223 14242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 476438234 29459828736 64175 33554432000 4194304 4196468 140723408836560 140252704503040 140253591119573 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17238] ppid=17223 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17225/task/17238/stat : 17238 (java) R 17223 17223 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 476438236 29459828736 64254 33554432000 4194304 4196468 140723408836560 140252703451248 140253591119573 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17239] ppid=17223 vsize=28769364 memory=0 CPUtime=1.39 cores=0-7 /proc/17225/task/17239/stat : 17239 (java) R 17223 17223 14242 0 -1 1077944384 2300 0 0 0 139 0 0 0 20 0 11 0 476438236 29459828736 64274 33554432000 4194304 4196468 140723408836560 140252702379104 140253591119573 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 [pid=17225/tid=17242] ppid=17223 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7 /proc/17225/task/17242/stat : 17242 (java) R 17223 17223 14242 0 -1 4203588 3216 0 0 0 79 1 0 0 20 0 2 0 476438236 29459828736 64327 33554432000 4194304 4196468 140723408836560 140252699236432 140253591119573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39751680 140723408839638 140723408839814 140723408839814 140723408842703 0 Current children cumulated CPU time: 11.18 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 257568 KiB Child status: 0 Real time (s): 2.11908 CPU time (s): 11.2036 CPU user time (s): 10.9803 CPU system time (s): 0.223257 CPU usage (%): 528.701 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 259560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.9803 system time used= 0.223257 maximum resident set size= 258780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23751 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3849 involuntary context switches= 229 # summary of solver processes directly reported to runsolver: # pid: 17223 # total CPU time (s): 11.2036 # total CPU user time (s): 10.9803 # total CPU system time (s): 0.223257 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.033923 second user time and 0.068907 second system time The end
Begin job on node150 at 2019-09-20 19:46:57 IDJOB=4404580 IDBENCH=128005 IDSOLVER=2865 FILE ID=node150/4404580-1569001657 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-18-3-6-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-4404580-1569001657/watcher-4404580-1569001657 -o /var/tmp/evaluation-result-4404580-1569001657/solver-4404580-1569001657 -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 85181484 HOME/instance-4404580-1569001657.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5d7a010bf2d95efed7f70b0fa6bbffad RANDOM SEED=85181484 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: 9354376 kB MemAvailable: 31827380 kB Buffers: 169436 kB Cached: 22189772 kB SwapCached: 7944 kB Active: 11147112 kB Inactive: 11246284 kB Active(anon): 5064 kB Inactive(anon): 70272 kB Active(file): 11142048 kB Inactive(file): 11176012 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021900 kB Dirty: 26260 kB Writeback: 0 kB AnonPages: 152876 kB Mapped: 47800 kB Shmem: 32528 kB Slab: 613460 kB SReclaimable: 583404 kB SUnreclaim: 30056 kB KernelStack: 3712 kB PageTables: 6140 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: 83968 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:59