Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 63 | 99.8017 | 13.8264 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml |
MD5SUM | 2aec32ddb698ed0594b6493531e6a3ee |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 35.9576 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":11},{"size":6,"count":3},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
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-4400059-1568711044.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400059-1568711044.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.75/1.83 c solve instance... 5.40/1.95 o -1000 7.69/2.29 o 0 8.45/2.31 o 12 12.42/2.84 o 14 14.86/3.13 o 22 17.87/3.55 o 31 19.42/3.72 o 32 20.90/3.90 o 63 99.68/13.81 s OPTIMUM FOUND 99.68/13.81 v <instantiation> 99.68/13.81 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] 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] p[20] p[21] p[22] p[23] 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] g[20] g[21] g[22] g[23] </list> 99.68/13.81 v <values>1 7 3 4 5 11 0 8 2 15 9 10 6 -1 -1 16 17 23 12 18 19 20 21 22 0 1 4 5 6 7 21 2 3 10 9 8 20 -1 -1 11 12 13 19 18 17 16 15 14 6 6 -1 7 -3 3 0 9 5 7 3 2 -3 0 0 4 9 -2 -4 0 9 1 8 -3 </values> 99.68/13.81 v </instantiation>
OK 63
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 (14785 MiB free) memory of node 1: 16384 MiB (15682 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400059-1568711044/watcher-4400059-1568711044 -o /tmp/evaluation-result-4400059-1568711044/solver-4400059-1568711044 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 201624172 HOME/instance-4400059-1568711044.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=9314, runsolver pid=9311 [startup+0.10016 s]* /proc/loadavg: 7.75 8.03 7.84 2/211 9335 /proc/meminfo: memFree=31181292/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28227396 memory=29840 CPUtime=0.12 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 5930 0 0 0 11 1 0 0 20 0 20 0 447361428 28904853504 7460 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7056849 7460 3118 1 0 7019032 0 [pid=9316/tid=9317] ppid=9314 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) R 9314 9314 1890 0 -1 4202560 3858 0 0 0 8 0 0 0 20 0 20 0 447361428 28904853504 7460 33554432000 4194304 4196468 140724152229472 140297004129280 140296999910806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28227396 memory=14831347360994968 CPUtime=0 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9321] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9321/stat : 9321 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296548628752 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9322] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9322/stat : 9322 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296547576976 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9323] ppid=9314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9323/stat : 9323 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296546524176 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9324] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9324/stat : 9324 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296545471376 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9325] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9325/stat : 9325 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 7460 33554432000 4194304 4196468 140724152229472 140296544418576 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9326] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9326/stat : 9326 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361430 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295714564464 140296999910018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9327] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9327/stat : 9327 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447361431 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295713510432 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9328] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9328/stat : 9328 (java) S 9314 9314 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447361431 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295712457584 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9329] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9329/stat : 9329 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361433 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295594436432 140296999917467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9330] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9330/stat : 9330 (java) S 9314 9314 1890 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 447361433 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295593384816 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9331] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9331/stat : 9331 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361433 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295592332016 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9332] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9332/stat : 9332 (java) S 9314 9314 1890 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447361433 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295591279216 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9333] ppid=9314 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) R 9314 9314 1890 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 447361433 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295590226416 140296999920218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361434 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361434 28904853504 7460 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31288 KiB [startup+0.210209 s]* /proc/loadavg: 7.75 8.03 7.84 4/211 9335 /proc/meminfo: memFree=31168248/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28227396 memory=41348 CPUtime=0.33 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 447361428 28904853504 10337 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7056849 10337 3305 1 0 7019032 0 [pid=9316/tid=9317] ppid=9314 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) R 9314 9314 1890 0 -1 4202560 6690 0 0 0 17 2 0 0 20 0 20 0 447361428 28904853504 10337 33554432000 4194304 4196468 140724152229472 140297004132816 140296999910806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28227396 memory=3833603447181940384 CPUtime=0 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9321] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9321/stat : 9321 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296548628752 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9322] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9322/stat : 9322 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296547576976 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9323] ppid=9314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9323/stat : 9323 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296546524176 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9324] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9324/stat : 9324 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296545471376 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9325] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9325/stat : 9325 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28904853504 10337 33554432000 4194304 4196468 140724152229472 140296544418576 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9326] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9326/stat : 9326 (java) S 9314 9314 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447361430 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295714564464 140296999910018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9327] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9327/stat : 9327 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447361431 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295713510432 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9328] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9328/stat : 9328 (java) S 9314 9314 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447361431 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295712457584 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9329] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9329/stat : 9329 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361433 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295594436432 140296999917467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9330] ppid=9314 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9316/task/9330/stat : 9330 (java) S 9314 9314 1890 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 447361433 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295593384816 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9331] ppid=9314 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9316/task/9331/stat : 9331 (java) S 9314 9314 1890 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 447361433 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295592332016 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9332] ppid=9314 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9316/task/9332/stat : 9332 (java) S 9314 9314 1890 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 447361433 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295591279216 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9333] ppid=9314 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) R 9314 9314 1890 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 447361433 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295590226416 140296978848663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361434 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361434 28904853504 10337 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42796 KiB [startup+0.309573 s]* /proc/loadavg: 7.45 7.96 7.82 4/211 9335 /proc/meminfo: memFree=31160492/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28231652 memory=50192 CPUtime=0.52 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 10891 0 0 0 48 4 0 0 20 0 20 0 447361428 28909211648 12548 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7057913 12548 3342 1 0 7019032 0 [pid=9316/tid=9317] ppid=9314 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) R 9314 9314 1890 0 -1 4202560 7836 0 0 0 27 2 0 0 20 0 20 0 447361428 28909211648 12548 33554432000 4194304 4196468 140724152229472 140297004129984 140296983979358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9321] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9321/stat : 9321 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296548628752 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9322] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9322/stat : 9322 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296547576976 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9323] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9323/stat : 9323 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296546524176 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9324] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9324/stat : 9324 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296545471376 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9325] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9325/stat : 9325 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28909211648 12548 33554432000 4194304 4196468 140724152229472 140296544418576 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9326] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9326/stat : 9326 (java) S 9314 9314 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447361430 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295714564464 140296999910018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9327] ppid=9314 vsize=28231652 memory=281104804420992 CPUtime=0 cores=0-7 /proc/9316/task/9327/stat : 9327 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447361431 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295713510432 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9328] ppid=9314 vsize=28231652 memory=281104804425600 CPUtime=0 cores=0-7 /proc/9316/task/9328/stat : 9328 (java) S 9314 9314 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447361431 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295712457584 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9329] ppid=9314 vsize=28231652 memory=281104804430208 CPUtime=0 cores=0-7 /proc/9316/task/9329/stat : 9329 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361433 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295594436432 140296999917467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9330] ppid=9314 vsize=28231652 memory=281104804434816 CPUtime=0.02 cores=0-7 /proc/9316/task/9330/stat : 9330 (java) R 9314 9314 1890 0 -1 4202560 428 0 0 0 2 0 0 0 20 0 20 0 447361433 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295593365832 140296985023586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9331] ppid=9314 vsize=28231652 memory=281104804439424 CPUtime=0.03 cores=0-7 /proc/9316/task/9331/stat : 9331 (java) S 9314 9314 1890 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 20 0 447361433 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295592332016 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9332] ppid=9314 vsize=28231652 memory=281104804444032 CPUtime=0.02 cores=0-7 /proc/9316/task/9332/stat : 9332 (java) S 9314 9314 1890 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 447361433 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295591279216 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9333] ppid=9314 vsize=28231652 memory=281104804448640 CPUtime=0.12 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) S 9314 9314 1890 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 447361433 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295590226416 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361434 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361434 28909211648 12548 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51640 KiB [startup+0.700922 s] /proc/loadavg: 7.45 7.96 7.82 5/211 9335 /proc/meminfo: memFree=31128740/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28233776 memory=116364 CPUtime=1.97 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 16153 0 0 0 191 6 0 0 20 0 20 0 447361428 28911386624 29091 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7058444 29091 3454 1 0 7019544 0 [pid=9316/tid=9317] ppid=9314 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) R 9314 9314 1890 0 -1 4202560 9165 0 0 0 64 3 0 0 20 0 20 0 447361428 28911386624 29091 33554432000 4194304 4196468 140724152229472 140297004131888 140296603815937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447361429 28911386624 29091 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447361429 28911386624 29091 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447361429 28911386624 29091 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 ################ # More data... # ################ [pid=9316/tid=9333] ppid=9314 vsize=28768336 memory=988 CPUtime=0.98 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) S 9314 9314 1890 0 -1 1077944384 6107 0 0 0 97 1 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295590226416 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28768336 memory=430972 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9400] ppid=9314 vsize=28768336 memory=431820 CPUtime=8.52 cores=0-7 /proc/9316/task/9400/stat : 9400 (java) R 9314 9314 1890 0 -1 4202560 431 0 0 0 852 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295503047304 140296607521759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9401] ppid=9314 vsize=28768336 memory=6048 CPUtime=8.74 cores=0-7 /proc/9316/task/9401/stat : 9401 (java) R 9314 9314 1890 0 -1 4202560 254 0 0 0 874 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295504101176 140296607567847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9402] ppid=9314 vsize=28768336 memory=7552 CPUtime=8.54 cores=0-7 /proc/9316/task/9402/stat : 9402 (java) R 9314 9314 1890 0 -1 4202560 370 0 0 0 854 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295505154552 140296608214388 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9403] ppid=9314 vsize=28768336 memory=2832 CPUtime=8.61 cores=0-7 /proc/9316/task/9403/stat : 9403 (java) R 9314 9314 1890 0 -1 4202560 716 0 0 0 860 1 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295506209288 140296607567905 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9404] ppid=9314 vsize=28768336 memory=1084 CPUtime=8.68 cores=0-7 /proc/9316/task/9404/stat : 9404 (java) R 9314 9314 1890 0 -1 4202560 451 0 0 0 868 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295508312504 140296607568209 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9405] ppid=9314 vsize=28768336 memory=8112282956445269571 CPUtime=8.57 cores=0-7 /proc/9316/task/9405/stat : 9405 (java) R 9314 9314 1890 0 -1 4202560 478 0 0 0 857 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295509364600 140296607567689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9406] ppid=9314 vsize=28768336 memory=14048 CPUtime=8.48 cores=0-7 /proc/9316/task/9406/stat : 9406 (java) R 9314 9314 1890 0 -1 4202560 1217 0 0 0 848 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295501996024 140296607568040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9407] ppid=9314 vsize=28768336 memory=2241 CPUtime=8.52 cores=0-7 /proc/9316/task/9407/stat : 9407 (java) R 9314 9314 1890 0 -1 4202560 498 0 0 0 852 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295507259008 140296608113148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 91.71 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 433280 KiB [startup+13.602 s] /proc/loadavg: 7.53 7.96 7.82 9/219 9407 /proc/meminfo: memFree=30779028/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28768336 memory=431832 CPUtime=98.09 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 46741 0 0 0 9765 44 0 0 20 0 28 0 447361428 29458776064 107958 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7192084 107958 3522 1 0 7153184 0 [pid=9316/tid=9317] ppid=9314 vsize=28768336 memory=180551835207886 CPUtime=1.74 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) S 9314 9314 1890 0 -1 1077944384 9546 0 0 0 168 6 0 0 20 0 28 0 447361428 29458776064 107958 33554432000 4194304 4196468 140724152229472 140297004139648 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28768336 memory=180551835207887 CPUtime=0.05 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 103 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28768336 memory=180551835198562 CPUtime=0.04 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9321] ppid=9314 vsize=28768336 memory=180551835207879 CPUtime=0.02 cores=0-7 /proc/9316/task/9321/stat : 9321 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296548628752 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9322] ppid=9314 vsize=28768336 memory=2308 CPUtime=0.04 cores=0-7 /proc/9316/task/9322/stat : 9322 (java) S 9314 9314 1890 0 -1 1077944384 40 0 0 0 3 1 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296547576976 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9323] ppid=9314 vsize=28768336 memory=4516 CPUtime=0.04 cores=0-7 /proc/9316/task/9323/stat : 9323 (java) S 9314 9314 1890 0 -1 1077944384 117 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296546524176 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9324] ppid=9314 vsize=28768336 memory=6724 CPUtime=0.05 cores=0-7 /proc/9316/task/9324/stat : 9324 (java) S 9314 9314 1890 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296545471376 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9325] ppid=9314 vsize=28768336 memory=8932 CPUtime=0.05 cores=0-7 /proc/9316/task/9325/stat : 9325 (java) S 9314 9314 1890 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296544418576 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9326] ppid=9314 vsize=28768336 memory=11140 CPUtime=0.01 cores=0-7 /proc/9316/task/9326/stat : 9326 (java) S 9314 9314 1890 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 28 0 447361430 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295714564464 140296999910018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9327] ppid=9314 vsize=28768336 memory=13348 CPUtime=0 cores=0-7 /proc/9316/task/9327/stat : 9327 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447361431 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295713510496 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9328] ppid=9314 vsize=28768336 memory=56 CPUtime=0 cores=0-7 /proc/9316/task/9328/stat : 9328 (java) S 9314 9314 1890 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447361431 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295712457600 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9329] ppid=9314 vsize=28768336 memory=-2605811476043407915 CPUtime=0 cores=0-7 /proc/9316/task/9329/stat : 9329 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295594436432 140296999917467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9330] ppid=9314 vsize=28768336 memory=7681421203011431829 CPUtime=2.16 cores=0-7 /proc/9316/task/9330/stat : 9330 (java) S 9314 9314 1890 0 -1 1077944384 5721 0 0 0 214 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295593384816 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9331] ppid=9314 vsize=28768336 memory=3616 CPUtime=2.12 cores=0-7 /proc/9316/task/9331/stat : 9331 (java) S 9314 9314 1890 0 -1 1077944384 6206 0 0 0 210 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295592332016 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9332] ppid=9314 vsize=28768336 memory=0 CPUtime=2.27 cores=0-7 /proc/9316/task/9332/stat : 9332 (java) S 9314 9314 1890 0 -1 1077944384 9584 0 0 0 225 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295591279216 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9333] ppid=9314 vsize=28768336 memory=6656426216303648864 CPUtime=0.98 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) S 9314 9314 1890 0 -1 1077944384 6107 0 0 0 97 1 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295590226416 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28768336 memory=-6873162000112450758 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28768336 memory=-3756611412707075625 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9400] ppid=9314 vsize=28768336 memory=8546823402028195750 CPUtime=9.32 cores=0-7 /proc/9316/task/9400/stat : 9400 (java) R 9314 9314 1890 0 -1 4202560 456 0 0 0 932 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295503047304 140296607568101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9401] ppid=9314 vsize=28768336 memory=-3284643825843719562 CPUtime=9.54 cores=0-7 /proc/9316/task/9401/stat : 9401 (java) R 9314 9314 1890 0 -1 4202560 306 0 0 0 954 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295504101176 140296607568232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9402] ppid=9314 vsize=28768336 memory=8112282956445269571 CPUtime=9.34 cores=0-7 /proc/9316/task/9402/stat : 9402 (java) R 9314 9314 1890 0 -1 4202560 406 0 0 0 934 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295505154552 140296608113004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9403] ppid=9314 vsize=28768336 memory=2315026083219190757 CPUtime=9.39 cores=0-7 /proc/9316/task/9403/stat : 9403 (java) R 9314 9314 1890 0 -1 4202560 762 0 0 0 938 1 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295506209288 140296607567984 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9404] ppid=9314 vsize=28768336 memory=3047711553320166262 CPUtime=9.48 cores=0-7 /proc/9316/task/9404/stat : 9404 (java) R 9314 9314 1890 0 -1 4202560 618 0 0 0 948 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295508312504 140296608111271 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9405] ppid=9314 vsize=28768336 memory=7824336315716348491 CPUtime=9.37 cores=0-7 /proc/9316/task/9405/stat : 9405 (java) R 9314 9314 1890 0 -1 4202560 540 0 0 0 937 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295509364600 140296607568232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9406] ppid=9314 vsize=28768336 memory=-8412652169205224307 CPUtime=9.27 cores=0-7 /proc/9316/task/9406/stat : 9406 (java) R 9314 9314 1890 0 -1 4202560 1354 0 0 0 927 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295501996024 140296607568111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9407] ppid=9314 vsize=28768336 memory=7306081470636972134 CPUtime=9.32 cores=0-7 /proc/9316/task/9407/stat : 9407 (java) R 9314 9314 1890 0 -1 4202560 532 0 0 0 932 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295507259008 140296607567718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 98.09 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 433280 KiB [startup+13.802 s] /proc/loadavg: 7.53 7.96 7.82 9/219 9407 /proc/meminfo: memFree=30779028/32770624 swapFree=66977424/67108860 [pid=9314] ppid=9311 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9314/stat : 9314 (xcsp3-exec) S 9311 9314 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447361427 115843072 362 33554432000 4194304 5098028 140724571368416 140724571366520 140124563403388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16830464 140724571370364 140724571370606 140724571370606 140724571373514 0 /proc/9314/statm: 28282 362 304 221 0 87 0 [pid=9316] ppid=9314 vsize=28768336 memory=431832 CPUtime=99.68 cores=0-7 /proc/9316/stat : 9316 (java) S 9314 9314 1890 0 -1 1077944320 46771 0 0 0 9924 44 0 0 20 0 28 0 447361428 29458776064 107958 33554432000 4194304 4196468 140724152229472 140724152212016 140296999898871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 /proc/9316/statm: 7192084 107958 3522 1 0 7153184 0 [pid=9316/tid=9317] ppid=9314 vsize=28768336 memory=5860421630859767397 CPUtime=1.74 cores=0-7 /proc/9316/task/9317/stat : 9317 (java) S 9314 9314 1890 0 -1 1077944384 9546 0 0 0 168 6 0 0 20 0 28 0 447361428 29458776064 107958 33554432000 4194304 4196468 140724152229472 140297004139648 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9318] ppid=9314 vsize=28768336 memory=8514701219781834910 CPUtime=0.05 cores=0-7 /proc/9316/task/9318/stat : 9318 (java) S 9314 9314 1890 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296919751312 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9319] ppid=9314 vsize=28768336 memory=7307482170856467557 CPUtime=0.04 cores=0-7 /proc/9316/task/9319/stat : 9319 (java) S 9314 9314 1890 0 -1 1077944384 103 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296550734352 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9320] ppid=9314 vsize=28768336 memory=7667495349390692692 CPUtime=0.04 cores=0-7 /proc/9316/task/9320/stat : 9320 (java) S 9314 9314 1890 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296549681552 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9321] ppid=9314 vsize=28768336 memory=7667495349390692692 CPUtime=0.02 cores=0-7 /proc/9316/task/9321/stat : 9321 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296548628752 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9322] ppid=9314 vsize=28768336 memory=6048 CPUtime=0.04 cores=0-7 /proc/9316/task/9322/stat : 9322 (java) S 9314 9314 1890 0 -1 1077944384 40 0 0 0 3 1 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296547576976 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9323] ppid=9314 vsize=28768336 memory=7552 CPUtime=0.04 cores=0-7 /proc/9316/task/9323/stat : 9323 (java) S 9314 9314 1890 0 -1 1077944384 117 0 0 0 2 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296546524176 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9324] ppid=9314 vsize=28768336 memory=2832 CPUtime=0.05 cores=0-7 /proc/9316/task/9324/stat : 9324 (java) S 9314 9314 1890 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296545471376 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9325] ppid=9314 vsize=28768336 memory=1084 CPUtime=0.05 cores=0-7 /proc/9316/task/9325/stat : 9325 (java) S 9314 9314 1890 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 28 0 447361429 29458776064 107958 33554432000 4194304 4196468 140724152229472 140296544418576 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9326] ppid=9314 vsize=28768336 memory=14012 CPUtime=0.01 cores=0-7 /proc/9316/task/9326/stat : 9326 (java) S 9314 9314 1890 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 28 0 447361430 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295714564464 140296999910018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9327] ppid=9314 vsize=28768336 memory=14048 CPUtime=0 cores=0-7 /proc/9316/task/9327/stat : 9327 (java) S 9314 9314 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447361431 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295713510496 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9328] ppid=9314 vsize=28768336 memory=25324 CPUtime=0 cores=0-7 /proc/9316/task/9328/stat : 9328 (java) S 9314 9314 1890 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447361431 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295712457600 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9329] ppid=9314 vsize=28768336 memory=2120 CPUtime=0 cores=0-7 /proc/9316/task/9329/stat : 9329 (java) S 9314 9314 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295594436432 140296999917467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9330] ppid=9314 vsize=28768336 memory=532 CPUtime=2.16 cores=0-7 /proc/9316/task/9330/stat : 9330 (java) S 9314 9314 1890 0 -1 1077944384 5721 0 0 0 214 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295593384816 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9331] ppid=9314 vsize=28768336 memory=1564 CPUtime=2.12 cores=0-7 /proc/9316/task/9331/stat : 9331 (java) S 9314 9314 1890 0 -1 1077944384 6206 0 0 0 210 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295592332016 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9332] ppid=9314 vsize=28768336 memory=924 CPUtime=2.27 cores=0-7 /proc/9316/task/9332/stat : 9332 (java) S 9314 9314 1890 0 -1 1077944384 9584 0 0 0 225 2 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295591279216 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9333] ppid=9314 vsize=28768336 memory=1676 CPUtime=0.98 cores=0-7 /proc/9316/task/9333/stat : 9333 (java) S 9314 9314 1890 0 -1 1077944384 6107 0 0 0 97 1 0 0 20 0 28 0 447361433 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295590226416 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9334] ppid=9314 vsize=28768336 memory=1808 CPUtime=0 cores=0-7 /proc/9316/task/9334/stat : 9334 (java) S 9314 9314 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295589173856 140296999909077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9335] ppid=9314 vsize=28768336 memory=920 CPUtime=0 cores=0-7 /proc/9316/task/9335/stat : 9335 (java) S 9314 9314 1890 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 28 0 447361434 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295588121136 140296999910018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9400] ppid=9314 vsize=28768336 memory=4748 CPUtime=9.52 cores=0-7 /proc/9316/task/9400/stat : 9400 (java) R 9314 9314 1890 0 -1 4202560 456 0 0 0 952 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295503047304 140296980722977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9401] ppid=9314 vsize=28768336 memory=1440 CPUtime=9.74 cores=0-7 /proc/9316/task/9401/stat : 9401 (java) R 9314 9314 1890 0 -1 4202560 306 0 0 0 974 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295504101176 140296607567892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9402] ppid=9314 vsize=28768336 memory=912 CPUtime=9.54 cores=0-7 /proc/9316/task/9402/stat : 9402 (java) R 9314 9314 1890 0 -1 4202560 406 0 0 0 954 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295505154552 140296607568154 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9403] ppid=9314 vsize=28768336 memory=1984 CPUtime=9.59 cores=0-7 /proc/9316/task/9403/stat : 9403 (java) R 9314 9314 1890 0 -1 4202560 762 0 0 0 958 1 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295506209288 140296607568280 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9404] ppid=9314 vsize=28768336 memory=2480 CPUtime=9.68 cores=0-7 /proc/9316/task/9404/stat : 9404 (java) R 9314 9314 1890 0 -1 4202560 618 0 0 0 968 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295508312504 140296610530851 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9405] ppid=9314 vsize=28768336 memory=1416 CPUtime=9.57 cores=0-7 /proc/9316/task/9405/stat : 9405 (java) R 9314 9314 1890 0 -1 4202560 540 0 0 0 957 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295509364600 140296601047527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9406] ppid=9314 vsize=28768336 memory=1716 CPUtime=9.47 cores=0-7 /proc/9316/task/9406/stat : 9406 (java) R 9314 9314 1890 0 -1 4202560 1354 0 0 0 947 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295501996024 140296608112441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 [pid=9316/tid=9407] ppid=9314 vsize=28768336 memory=692 CPUtime=9.52 cores=0-7 /proc/9316/task/9407/stat : 9407 (java) R 9314 9314 1890 0 -1 4202560 562 0 0 0 952 0 0 0 20 0 28 0 447361818 29458776064 107958 33554432000 4194304 4196468 140724152229472 140295507259008 140296607568232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13553664 140724152234992 140724152235163 140724152235163 140724152238031 0 Current children cumulated CPU time: 99.68 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 433280 KiB Child status: 0 Real time (s): 13.8264 CPU time (s): 99.8017 CPU user time (s): 99.3344 CPU system time (s): 0.467352 CPU usage (%): 721.818 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 435532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 99.3344 system time used= 0.467352 maximum resident set size= 434200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48616 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5461 involuntary context switches= 1827 # summary of solver processes directly reported to runsolver: # pid: 9314 # total CPU time (s): 99.8017 # total CPU user time (s): 99.3344 # total CPU system time (s): 0.467352 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.121752 second user time and 0.211696 second system time The end
Begin job on node104 at 2019-09-17 09:53:45 IDJOB=4400059 IDBENCH=128024 IDSOLVER=2855 FILE ID=node104/4400059-1568711044 RUNJOBID= node104-1568696629-1917 PBS_JOBID= 21703905 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-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 /tmp/evaluation-result-4400059-1568711044/watcher-4400059-1568711044 -o /tmp/evaluation-result-4400059-1568711044/solver-4400059-1568711044 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 201624172 HOME/instance-4400059-1568711044.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2aec32ddb698ed0594b6493531e6a3ee RANDOM SEED=201624172 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 31198916 kB MemAvailable: 31853372 kB Buffers: 107788 kB Cached: 835652 kB SwapCached: 32284 kB Active: 634456 kB Inactive: 346628 kB Active(anon): 5668 kB Inactive(anon): 80732 kB Active(file): 628788 kB Inactive(file): 265896 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 66977424 kB Dirty: 26972 kB Writeback: 0 kB AnonPages: 150536 kB Mapped: 48696 kB Shmem: 40496 kB Slab: 182184 kB SReclaimable: 151216 kB SUnreclaim: 30968 kB KernelStack: 3728 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58984 MiB End job on node104 at 2019-09-17 09:53:59