Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 20 | 35.7096 | 5.34483 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
MD5SUM | cc4f118531160cfe6c95c1294546deff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 13.7083 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 4 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404890-1569004436.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404890-1569004436.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.02/1.30 c solve instance... 4.74/1.46 o -1000 6.25/1.69 o -992 6.25/1.69 o -991 6.25/1.70 o -989 7.07/1.72 o -984 7.07/1.74 o 2 8.56/2.01 o 9 13.35/2.59 o 11 14.10/2.60 o 13 14.85/2.79 o 18 15.67/2.88 o 20 35.46/5.33 s OPTIMUM FOUND 35.46/5.33 v <instantiation> 35.46/5.33 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] </list> 35.46/5.33 v <values>1 2 3 8 -1 0 -1 12 7 -1 5 -1 13 14 19 10 15 16 17 18 0 1 2 3 -1 15 -1 5 4 -1 14 -1 6 7 8 13 12 11 10 9 -5 0 -2 5 0 1 0 3 2 0 -2 0 -4 2 4 3 6 3 2 2 </values> 35.46/5.33 v </instantiation>
OK 20
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (7411 MiB free) memory of node 1: 16384 MiB (6442 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404890-1569004436/watcher-4404890-1569004436 -o /var/tmp/evaluation-result-4404890-1569004436/solver-4404890-1569004436 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 919754273 HOME/instance-4404890-1569004436.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=26419, runsolver pid=26416 [startup+0.100135 s]* /proc/loadavg: 8.30 7.75 7.98 2/212 26440 /proc/meminfo: memFree=14169528/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=28227396 memory=29360 CPUtime=0.13 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 5818 0 0 0 11 2 0 0 20 0 20 0 476385411 28904853504 7340 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7056849 7340 3120 1 0 7019032 0 [pid=26421/tid=26422] ppid=26419 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) R 26419 26419 16074 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 20 0 476385411 28904853504 7340 33554432000 4194304 4196468 140737290749200 140528215149696 140528192310266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=28227396 memory=140615074870912 CPUtime=0 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26426] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26426/stat : 26426 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527759292816 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26427] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26427/stat : 26427 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527758240784 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26428] ppid=26419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26428/stat : 26428 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527757188240 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26429] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26429/stat : 26429 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527756135184 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26430] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26430/stat : 26430 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 7340 33554432000 4194304 4196468 140737290749200 140527755082640 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26431] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26431/stat : 26431 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526811113712 140528210926210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26432] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26432/stat : 26432 (java) S 26419 26419 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526810059936 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26433] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26433/stat : 26433 (java) S 26419 26419 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526809006832 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26434] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26434/stat : 26434 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526807955408 140528210933659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26435] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26435/stat : 26435 (java) S 26419 26419 16074 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526806903536 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26436] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26436/stat : 26436 (java) S 26419 26419 16074 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526805850992 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26437] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26437/stat : 26437 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526804797936 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26438] ppid=26419 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) R 26419 26419 16074 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526803745392 140528210936410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 7340 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30816 KiB [startup+0.210685 s]* /proc/loadavg: 8.30 7.75 7.98 2/212 26440 /proc/meminfo: memFree=14156572/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=28227396 memory=41284 CPUtime=0.34 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 9556 0 0 0 30 4 0 0 20 0 20 0 476385411 28904853504 10321 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7056849 10321 3310 1 0 7019032 0 [pid=26421/tid=26422] ppid=26419 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) R 26419 26419 16074 0 -1 4202560 6704 0 0 0 17 3 0 0 20 0 20 0 476385411 28904853504 10321 33554432000 4194304 4196468 140737290749200 140528215147792 140528210926998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=28227396 memory=3762679546564474528 CPUtime=0 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26426] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26426/stat : 26426 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527759292816 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26427] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26427/stat : 26427 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527758240784 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26428] ppid=26419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26428/stat : 26428 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527757188240 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26429] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26429/stat : 26429 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527756135184 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26430] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26430/stat : 26430 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385412 28904853504 10321 33554432000 4194304 4196468 140737290749200 140527755082640 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26431] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26431/stat : 26431 (java) S 26419 26419 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526811113712 140528210926210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26432] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26432/stat : 26432 (java) S 26419 26419 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526810059936 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26433] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26433/stat : 26433 (java) S 26419 26419 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476385414 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526809006832 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26434] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26434/stat : 26434 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526807955408 140528210933659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26435] ppid=26419 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26421/task/26435/stat : 26435 (java) S 26419 26419 16074 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526806903536 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26436] ppid=26419 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26421/task/26436/stat : 26436 (java) S 26419 26419 16074 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526805850992 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26437] ppid=26419 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/26421/task/26437/stat : 26437 (java) S 26419 26419 16074 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526804797936 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26438] ppid=26419 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) R 26419 26419 16074 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526803745200 140528210926998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28904853504 10321 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42740 KiB [startup+0.31045 s]* /proc/loadavg: 8.30 7.75 7.98 3/212 26440 /proc/meminfo: memFree=14149312/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=28231652 memory=49576 CPUtime=0.51 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 10754 0 0 0 46 5 0 0 20 0 20 0 476385411 28909211648 12394 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7057913 12394 3345 1 0 7019032 0 [pid=26421/tid=26422] ppid=26419 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) R 26419 26419 16074 0 -1 4202560 7827 0 0 0 26 3 0 0 20 0 20 0 476385411 28909211648 12394 33554432000 4194304 4196468 140737290749200 140528215146176 140528194995550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12394 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12394 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26426] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26426/stat : 26426 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527759292816 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26427] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26427/stat : 26427 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527758240784 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26428] ppid=26419 vsize=28231652 memory=140614947662511 CPUtime=0 cores=0-7 /proc/26421/task/26428/stat : 26428 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527757188240 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26429] ppid=26419 vsize=28231652 memory=140614947664816 CPUtime=0 cores=0-7 /proc/26421/task/26429/stat : 26429 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527756135184 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26430] ppid=26419 vsize=28231652 memory=140614947667120 CPUtime=0 cores=0-7 /proc/26421/task/26430/stat : 26430 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385412 28909211648 12421 33554432000 4194304 4196468 140737290749200 140527755082640 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26431] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26431/stat : 26431 (java) S 26419 26419 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476385414 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526811113712 140528210926210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26432] ppid=26419 vsize=28231652 memory=281229895348112 CPUtime=0 cores=0-7 /proc/26421/task/26432/stat : 26432 (java) S 26419 26419 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476385414 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526810059936 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26433] ppid=26419 vsize=28231652 memory=281229895345808 CPUtime=0 cores=0-7 /proc/26421/task/26433/stat : 26433 (java) S 26419 26419 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476385414 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526809006832 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26434] ppid=26419 vsize=28231652 memory=281229895352720 CPUtime=0 cores=0-7 /proc/26421/task/26434/stat : 26434 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526807955408 140528210933659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26435] ppid=26419 vsize=28231652 memory=281229895294000 CPUtime=0.02 cores=0-7 /proc/26421/task/26435/stat : 26435 (java) S 26419 26419 16074 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526806903536 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26436] ppid=26419 vsize=28231652 memory=281229895366544 CPUtime=0.02 cores=0-7 /proc/26421/task/26436/stat : 26436 (java) S 26419 26419 16074 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526805850992 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26437] ppid=26419 vsize=28231652 memory=281229895373456 CPUtime=0.02 cores=0-7 /proc/26421/task/26437/stat : 26437 (java) S 26419 26419 16074 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526804797936 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26438] ppid=26419 vsize=28231652 memory=281229895371152 CPUtime=0.12 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) S 26419 26419 16074 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526803745392 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476385417 28909211648 12421 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51032 KiB [startup+0.701043 s] /proc/loadavg: 8.30 7.75 7.98 5/212 26440 /proc/meminfo: memFree=14119200/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=28233776 memory=104060 CPUtime=1.96 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 16685 0 0 0 189 7 0 0 20 0 20 0 476385411 28911386624 26015 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7058444 26015 3459 1 0 7019544 0 [pid=26421/tid=26422] ppid=26419 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) R 26419 26419 16074 0 -1 4202560 9285 0 0 0 63 4 0 0 20 0 20 0 476385411 28911386624 26015 33554432000 4194304 4196468 140737290749200 140528215153136 140527852605543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=28233776 memory=140614947873648 CPUtime=0 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28911386624 26015 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28911386624 26015 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476385412 28911386624 26015 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 ################ # More data... # ################ [pid=26421/tid=26438] ppid=26419 vsize=29035620 memory=2358 CPUtime=0.89 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) S 26419 26419 16074 0 -1 1077944384 4216 0 0 0 88 1 0 0 20 0 28 0 476385417 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526803745392 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=29035620 memory=353 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=29035620 memory=13 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) R 26419 26419 16074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26529] ppid=26419 vsize=29035620 memory=0 CPUtime=1.86 cores=0-7 /proc/26421/task/26529/stat : 26529 (java) R 26419 26419 16074 0 -1 4202560 51 0 0 0 186 0 0 0 20 0 28 0 476385700 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526778744056 140527855969579 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26530] ppid=26419 vsize=29035620 memory=168 CPUtime=1.84 cores=0-7 /proc/26421/task/26530/stat : 26530 (java) R 26419 26419 16074 0 -1 4202560 43 0 0 0 184 0 0 0 20 0 28 0 476385700 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526784007848 140527855765494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26531] ppid=26419 vsize=29035620 memory=6944656592455097440 CPUtime=1.79 cores=0-7 /proc/26421/task/26531/stat : 26531 (java) R 26419 26419 16074 0 -1 4202560 103 0 0 0 179 0 0 0 20 0 28 0 476385700 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526780850552 140527855765457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26532] ppid=26419 vsize=29035620 memory=-8102431393132624720 CPUtime=1.82 cores=0-7 /proc/26421/task/26532/stat : 26532 (java) R 26419 26419 16074 0 -1 4202560 151 0 0 0 182 0 0 0 20 0 28 0 476385700 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526782958120 140527855969609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26533] ppid=26419 vsize=29035620 memory=-8102431393132624720 CPUtime=1.73 cores=0-7 /proc/26421/task/26533/stat : 26533 (java) R 26419 26419 16074 0 -1 4202560 78 0 0 0 173 0 0 0 20 0 28 0 476385702 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526781903560 140527855765306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26534] ppid=26419 vsize=29035620 memory=-8412661042877600627 CPUtime=1.81 cores=0-7 /proc/26421/task/26534/stat : 26534 (java) R 26419 26419 16074 0 -1 4202560 48 0 0 0 181 0 0 0 20 0 28 0 476385702 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526789271816 140527855765355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26535] ppid=26419 vsize=29035620 memory=-7310165311724740915 CPUtime=1.83 cores=0-7 /proc/26421/task/26535/stat : 26535 (java) R 26419 26419 16074 0 -1 4202560 162 0 0 0 183 0 0 0 20 0 28 0 476385702 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526786115800 140527855765340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26536] ppid=26419 vsize=29035620 memory=140615074885137 CPUtime=1.72 cores=0-7 /proc/26421/task/26536/stat : 26536 (java) R 26419 26419 16074 0 -1 4202560 87 0 0 0 172 0 0 0 20 0 28 0 476385702 29732474880 96284 33554432000 4194304 4196468 140737290749200 140526779796872 140527855969488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 31.47 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 386592 KiB [startup+5.20192 s] /proc/loadavg: 8.36 7.77 7.99 9/220 26537 /proc/meminfo: memFree=13814972/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=29035620 memory=385552 CPUtime=34.65 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 28082 0 0 0 3435 30 0 0 20 0 28 0 476385411 29732474880 96388 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7258905 96388 3525 1 0 7220005 0 [pid=26421/tid=26422] ppid=26419 vsize=29035620 memory=2984909 CPUtime=1.25 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) S 26419 26419 16074 0 -1 1077944384 9580 0 0 0 119 6 0 0 20 0 28 0 476385411 29732474880 96388 33554432000 4194304 4196468 140737290749200 140528215155840 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=29035620 memory=8377424916951425120 CPUtime=0.04 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 74 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=29035620 memory=-6586668835053300886 CPUtime=0.03 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=29035620 memory=-7966001734536614954 CPUtime=0.04 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26426] ppid=26419 vsize=29035620 memory=-7812193691855986592 CPUtime=0.04 cores=0-7 /proc/26421/task/26426/stat : 26426 (java) S 26419 26419 16074 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527759292816 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26427] ppid=26419 vsize=29035620 memory=7681407940103534239 CPUtime=0.03 cores=0-7 /proc/26421/task/26427/stat : 26427 (java) S 26419 26419 16074 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527758240784 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26428] ppid=26419 vsize=29035620 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/26421/task/26428/stat : 26428 (java) S 26419 26419 16074 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527757188240 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26429] ppid=26419 vsize=29035620 memory=1404222122299264374 CPUtime=0.04 cores=0-7 /proc/26421/task/26429/stat : 26429 (java) S 26419 26419 16074 0 -1 1077944384 104 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527756135184 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26430] ppid=26419 vsize=29035620 memory=8514726395715349656 CPUtime=0.03 cores=0-7 /proc/26421/task/26430/stat : 26430 (java) S 26419 26419 16074 0 -1 1077944384 77 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96388 33554432000 4194304 4196468 140737290749200 140527755082640 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26431] ppid=26419 vsize=29035620 memory=-3761991693426146123 CPUtime=0.01 cores=0-7 /proc/26421/task/26431/stat : 26431 (java) S 26419 26419 16074 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 28 0 476385414 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526811113712 140528210926210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26432] ppid=26419 vsize=29035620 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/26421/task/26432/stat : 26432 (java) S 26419 26419 16074 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476385414 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526810060000 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26433] ppid=26419 vsize=29035620 memory=7306052883368667490 CPUtime=0 cores=0-7 /proc/26421/task/26433/stat : 26433 (java) S 26419 26419 16074 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476385414 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526809006848 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26434] ppid=26419 vsize=29035620 memory=56 CPUtime=0 cores=0-7 /proc/26421/task/26434/stat : 26434 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526807955408 140528210933659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26435] ppid=26419 vsize=29035620 memory=0 CPUtime=1.75 cores=0-7 /proc/26421/task/26435/stat : 26435 (java) S 26419 26419 16074 0 -1 1077944384 2732 0 0 0 175 0 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526806903536 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26436] ppid=26419 vsize=29035620 memory=0 CPUtime=1.87 cores=0-7 /proc/26421/task/26436/stat : 26436 (java) S 26419 26419 16074 0 -1 1077944384 3057 0 0 0 186 1 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526805850992 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26437] ppid=26419 vsize=29035620 memory=0 CPUtime=1.66 cores=0-7 /proc/26421/task/26437/stat : 26437 (java) S 26419 26419 16074 0 -1 1077944384 2481 0 0 0 166 0 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526804797936 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26438] ppid=26419 vsize=29035620 memory=0 CPUtime=0.89 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) S 26419 26419 16074 0 -1 1077944384 4221 0 0 0 88 1 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526803745392 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=29035620 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=29035620 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) S 26419 26419 16074 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26529] ppid=26419 vsize=29035620 memory=0 CPUtime=2.26 cores=0-7 /proc/26421/task/26529/stat : 26529 (java) R 26419 26419 16074 0 -1 4202560 89 0 0 0 226 0 0 0 20 0 28 0 476385700 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526778743520 140527855765430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26530] ppid=26419 vsize=29035620 memory=0 CPUtime=2.24 cores=0-7 /proc/26421/task/26530/stat : 26530 (java) R 26419 26419 16074 0 -1 4202560 64 0 0 0 224 0 0 0 20 0 28 0 476385700 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526784007712 140527855765684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26531] ppid=26419 vsize=29035620 memory=0 CPUtime=2.19 cores=0-7 /proc/26421/task/26531/stat : 26531 (java) R 26419 26419 16074 0 -1 4202560 158 0 0 0 219 0 0 0 20 0 28 0 476385700 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526780850624 140527855765553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26532] ppid=26419 vsize=29035620 memory=0 CPUtime=2.21 cores=0-7 /proc/26421/task/26532/stat : 26532 (java) R 26419 26419 16074 0 -1 4202560 201 0 0 0 221 0 0 0 20 0 28 0 476385700 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526782955904 140527855765530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26533] ppid=26419 vsize=29035620 memory=0 CPUtime=2.12 cores=0-7 /proc/26421/task/26533/stat : 26533 (java) R 26419 26419 16074 0 -1 4202560 151 0 0 0 212 0 0 0 20 0 28 0 476385702 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526781902848 140527855765530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26534] ppid=26419 vsize=29035620 memory=0 CPUtime=2.21 cores=0-7 /proc/26421/task/26534/stat : 26534 (java) R 26419 26419 16074 0 -1 4202560 100 0 0 0 221 0 0 0 20 0 28 0 476385702 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526789271264 140527849465144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26535] ppid=26419 vsize=29035620 memory=0 CPUtime=2.21 cores=0-7 /proc/26421/task/26535/stat : 26535 (java) R 26419 26419 16074 0 -1 4202560 355 0 0 0 221 0 0 0 20 0 28 0 476385702 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526786113416 140527855765457 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26536] ppid=26419 vsize=29035620 memory=0 CPUtime=2.11 cores=0-7 /proc/26421/task/26536/stat : 26536 (java) R 26419 26419 16074 0 -1 4202560 106 0 0 0 211 0 0 0 20 0 28 0 476385702 29732474880 96388 33554432000 4194304 4196468 140737290749200 140526779797560 140527855765596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 34.65 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 387008 KiB [startup+5.30192 s] /proc/loadavg: 8.36 7.77 7.99 9/220 26537 /proc/meminfo: memFree=13814972/32770624 swapFree=66972364/67108860 [pid=26419] ppid=26416 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26419/stat : 26419 (xcsp3-exec) S 26416 26419 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476385411 115843072 364 33554432000 4194304 5098028 140737136724176 140737136722280 140409319211644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27865088 140737136726872 140737136727130 140737136727130 140737136730054 0 /proc/26419/statm: 28282 364 305 221 0 87 0 [pid=26421] ppid=26419 vsize=29035620 memory=385660 CPUtime=35.46 cores=0-7 /proc/26421/stat : 26421 (java) S 26419 26419 16074 0 -1 1077944320 29218 0 0 0 3515 31 0 0 20 0 28 0 476385411 29732474880 96415 33554432000 4194304 4196468 140737290749200 140737290731744 140528210915063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 /proc/26421/statm: 7258905 96415 3525 1 0 7220005 0 [pid=26421/tid=26422] ppid=26419 vsize=29035620 memory=125 CPUtime=1.25 cores=0-7 /proc/26421/task/26422/stat : 26422 (java) S 26419 26419 16074 0 -1 1077944384 9580 0 0 0 119 6 0 0 20 0 28 0 476385411 29732474880 96415 33554432000 4194304 4196468 140737290749200 140528215155840 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26423] ppid=26419 vsize=29035620 memory=56 CPUtime=0.04 cores=0-7 /proc/26421/task/26423/stat : 26423 (java) S 26419 26419 16074 0 -1 1077944384 74 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527762450960 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26424] ppid=26419 vsize=29035620 memory=13877 CPUtime=0.03 cores=0-7 /proc/26421/task/26424/stat : 26424 (java) S 26419 26419 16074 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527761398416 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26425] ppid=26419 vsize=29035620 memory=26822 CPUtime=0.04 cores=0-7 /proc/26421/task/26425/stat : 26425 (java) S 26419 26419 16074 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527760345360 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26426] ppid=26419 vsize=29035620 memory=0 CPUtime=0.04 cores=0-7 /proc/26421/task/26426/stat : 26426 (java) S 26419 26419 16074 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527759292816 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26427] ppid=26419 vsize=29035620 memory=164 CPUtime=0.03 cores=0-7 /proc/26421/task/26427/stat : 26427 (java) S 26419 26419 16074 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527758240784 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26428] ppid=26419 vsize=29035620 memory=7649399384248170034 CPUtime=0.02 cores=0-7 /proc/26421/task/26428/stat : 26428 (java) S 26419 26419 16074 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527757188240 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26429] ppid=26419 vsize=29035620 memory=7649399388543137330 CPUtime=0.04 cores=0-7 /proc/26421/task/26429/stat : 26429 (java) S 26419 26419 16074 0 -1 1077944384 104 0 0 0 2 2 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527756135184 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26430] ppid=26419 vsize=29035620 memory=7649399392838104626 CPUtime=0.03 cores=0-7 /proc/26421/task/26430/stat : 26430 (java) S 26419 26419 16074 0 -1 1077944384 77 0 0 0 2 1 0 0 20 0 28 0 476385412 29732474880 96415 33554432000 4194304 4196468 140737290749200 140527755082640 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26431] ppid=26419 vsize=29035620 memory=7649399397133071922 CPUtime=0.01 cores=0-7 /proc/26421/task/26431/stat : 26431 (java) S 26419 26419 16074 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 28 0 476385414 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526811113712 140528210926210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26432] ppid=26419 vsize=29035620 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26432/stat : 26432 (java) S 26419 26419 16074 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476385414 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526810060000 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26433] ppid=26419 vsize=29035620 memory=2241 CPUtime=0 cores=0-7 /proc/26421/task/26433/stat : 26433 (java) S 26419 26419 16074 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476385414 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526809006848 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26434] ppid=26419 vsize=29035620 memory=2244 CPUtime=0 cores=0-7 /proc/26421/task/26434/stat : 26434 (java) S 26419 26419 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526807955408 140528210933659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26435] ppid=26419 vsize=29035620 memory=0 CPUtime=1.75 cores=0-7 /proc/26421/task/26435/stat : 26435 (java) S 26419 26419 16074 0 -1 1077944384 2884 0 0 0 175 0 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526806903536 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26436] ppid=26419 vsize=29035620 memory=0 CPUtime=1.87 cores=0-7 /proc/26421/task/26436/stat : 26436 (java) S 26419 26419 16074 0 -1 1077944384 3057 0 0 0 186 1 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526805850992 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26437] ppid=26419 vsize=29035620 memory=5621 CPUtime=1.7 cores=0-7 /proc/26421/task/26437/stat : 26437 (java) R 26419 26419 16074 0 -1 4202560 3253 0 0 0 169 1 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526804798232 140528190162419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26438] ppid=26419 vsize=29035620 memory=2228 CPUtime=0.9 cores=0-7 /proc/26421/task/26438/stat : 26438 (java) S 26419 26419 16074 0 -1 1077944384 4354 0 0 0 89 1 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526803745392 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26439] ppid=26419 vsize=29035620 memory=0 CPUtime=0 cores=0-7 /proc/26421/task/26439/stat : 26439 (java) S 26419 26419 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526802692576 140528210925269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26440] ppid=26419 vsize=29035620 memory=281229895981024 CPUtime=0 cores=0-7 /proc/26421/task/26440/stat : 26440 (java) S 26419 26419 16074 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 28 0 476385417 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526801640112 140528210926210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26529] ppid=26419 vsize=29035620 memory=0 CPUtime=2.36 cores=0-7 /proc/26421/task/26529/stat : 26529 (java) R 26419 26419 16074 0 -1 4202560 91 0 0 0 236 0 0 0 20 0 28 0 476385700 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526778743288 140527858443413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26530] ppid=26419 vsize=29035620 memory=0 CPUtime=2.34 cores=0-7 /proc/26421/task/26530/stat : 26530 (java) R 26419 26419 16074 0 -1 4202560 82 0 0 0 234 0 0 0 20 0 28 0 476385700 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526784007712 140527855765516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26531] ppid=26419 vsize=29035620 memory=189 CPUtime=2.26 cores=0-7 /proc/26421/task/26531/stat : 26531 (java) R 26419 26419 16074 0 -1 4202560 159 0 0 0 226 0 0 0 20 0 28 0 476385700 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526780850936 140527855765351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26532] ppid=26419 vsize=29035620 memory=192 CPUtime=2.31 cores=0-7 /proc/26421/task/26532/stat : 26532 (java) R 26419 26419 16074 0 -1 4202560 248 0 0 0 231 0 0 0 20 0 28 0 476385700 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526782956040 140527855765399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26533] ppid=26419 vsize=29035620 memory=183 CPUtime=2.22 cores=0-7 /proc/26421/task/26533/stat : 26533 (java) R 26419 26419 16074 0 -1 4202560 152 0 0 0 222 0 0 0 20 0 28 0 476385702 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526781902848 140527855765553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26534] ppid=26419 vsize=29035620 memory=191 CPUtime=2.31 cores=0-7 /proc/26421/task/26534/stat : 26534 (java) R 26419 26419 16074 0 -1 4202560 101 0 0 0 231 0 0 0 20 0 28 0 476385702 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526789271264 140527855765306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26535] ppid=26419 vsize=29035620 memory=193 CPUtime=2.31 cores=0-7 /proc/26421/task/26535/stat : 26535 (java) R 26419 26419 16074 0 -1 4202560 359 0 0 0 231 0 0 0 20 0 28 0 476385702 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526786113416 140527855765417 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 [pid=26421/tid=26536] ppid=26419 vsize=29035620 memory=182 CPUtime=2.21 cores=0-7 /proc/26421/task/26536/stat : 26536 (java) R 26419 26419 16074 0 -1 4202560 111 0 0 0 221 0 0 0 20 0 28 0 476385702 29732474880 96415 33554432000 4194304 4196468 140737290749200 140526779796240 140527855765368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140737290752988 140737290753163 140737290753163 140737290756047 0 Current children cumulated CPU time: 35.46 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 387116 KiB Child status: 0 Real time (s): 5.34483 CPU time (s): 35.7096 CPU user time (s): 35.3854 CPU system time (s): 0.324192 CPU usage (%): 668.115 Max. virtual memory (cumulated for all children) (KiB): 29148748 Max. memory (cumulated for all children) (KiB): 387116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.3854 system time used= 0.324192 maximum resident set size= 385712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30522 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= 4820 involuntary context switches= 876 # summary of solver processes directly reported to runsolver: # pid: 26419 # total CPU time (s): 35.7096 # total CPU user time (s): 35.3854 # total CPU system time (s): 0.324192 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.076175 second user time and 0.095868 second system time The end
Begin job on node117 at 2019-09-20 20:33:12 IDJOB=4404890 IDBENCH=127982 IDSOLVER=2866 FILE ID=node117/4404890-1569004436 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-8.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404890-1569004436/watcher-4404890-1569004436 -o /var/tmp/evaluation-result-4404890-1569004436/solver-4404890-1569004436 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 919754273 HOME/instance-4404890-1569004436.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff RANDOM SEED=919754273 node117.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.75 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.75 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.75 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.75 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: 14186804 kB MemAvailable: 31831300 kB Buffers: 146416 kB Cached: 17404056 kB SwapCached: 27748 kB Active: 8698776 kB Inactive: 8884152 kB Active(anon): 4904 kB Inactive(anon): 68852 kB Active(file): 8693872 kB Inactive(file): 8815300 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972364 kB Dirty: 26652 kB Writeback: 0 kB AnonPages: 169052 kB Mapped: 48612 kB Shmem: 32520 kB Slab: 592524 kB SReclaimable: 563784 kB SUnreclaim: 28740 kB KernelStack: 3728 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-20 20:33:18