Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 32 | 10.6548 | 2.1906 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml |
MD5SUM | 5d7a010bf2d95efed7f70b0fa6bbffad |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 1.40566 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 54 |
Number of constraints | 73 |
Number of domains | 19 |
Minimum domain size | 4 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":2},{"size":19,"count":36}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":18},{"degree":19,"count":17},{"degree":20,"count":1},{"degree":21,"count":18}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":36},{"arity":18,"count":18},{"arity":19,"count":18}] |
Number of extensional constraints | 36 |
Number of intensional constraints | 19 |
Distribution of constraint types | [{"type":"extension","count":36},{"type":"intension","count":19},{"type":"count","count":18}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394420-1568430733.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394420-1568430733.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 3.18/1.16 c solve instance... 3.56/1.28 o -1000 5.03/1.42 o 6 6.58/1.63 o 7 6.58/1.68 o 24 8.88/1.98 o 29 9.46/2.01 o 32 10.23/2.17 s OPTIMUM FOUND 10.23/2.17 v <instantiation> 10.23/2.17 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] </list> 10.23/2.17 v <values>1 2 8 4 5 11 0 -1 9 3 16 10 6 12 13 14 15 -1 0 1 2 5 6 7 15 -1 3 4 9 8 14 13 12 11 10 -1 -1 1 1 1 4 2 3 0 1 5 -1 9 3 -2 2 1 3 0 </values> 10.23/2.17 v </instantiation>
OK 32
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14736 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394420-1568430733/watcher-4394420-1568430733 -o /tmp/evaluation-result-4394420-1568430733/solver-4394420-1568430733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1656313222 HOME/instance-4394420-1568430733.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19875, runsolver pid=19872 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 6.28 4.72 4.29 2/211 19896 /proc/meminfo: memFree=30610668/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28227388 memory=27380 CPUtime=0.12 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 5805 0 0 0 11 1 0 0 20 0 20 0 419327903 28904845312 6845 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7056847 6845 3121 1 0 7019032 0 [pid=19877/tid=19878] ppid=19875 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) R 19875 19875 12749 0 -1 4202560 3665 0 0 0 8 0 0 0 20 0 20 0 419327903 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948727465280 139948723244438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28227388 memory=140573877159085 CPUtime=0 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948271974800 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948270922768 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948269870224 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948268817168 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948267764624 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327905 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948224342256 139948723243650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419327906 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948223288480 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327906 28904845312 6845 33554432000 4194304 4196468 140733640667808 139948222235376 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) S 19875 19875 12749 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947701033712 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) R 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947699981168 139948723243650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) S 19875 19875 12749 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947698928112 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) R 19875 19875 12749 0 -1 4202560 402 0 0 0 1 0 0 0 20 0 20 0 419327908 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947697875568 139948706408869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327909 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327909 28904845312 6845 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28832 KiB [startup+0.210113 s]* /proc/loadavg: 6.28 4.72 4.29 2/211 19896 /proc/meminfo: memFree=30597016/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28227388 memory=39772 CPUtime=0.33 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 9714 0 0 0 31 2 0 0 20 0 20 0 419327903 28904845312 9943 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7056847 9943 3306 1 0 7019032 0 [pid=19877/tid=19878] ppid=19875 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) R 19875 19875 12749 0 -1 4202560 6683 0 0 0 18 2 0 0 20 0 20 0 419327903 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948727470528 139948362547680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28227388 memory=3904822156694521504 CPUtime=0 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948271974800 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948270922768 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948269870224 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948268817168 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948267764624 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419327905 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948224342256 139948723243650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419327906 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948223288480 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327906 28904845312 9943 33554432000 4194304 4196468 140733640667808 139948222235376 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) R 19875 19875 12749 0 -1 4202560 546 0 0 0 2 0 0 0 20 0 20 0 419327908 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947701033712 139948706718567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) S 19875 19875 12749 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 419327908 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947699981168 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) S 19875 19875 12749 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 419327908 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947698928112 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) R 19875 19875 12749 0 -1 4202560 924 0 0 0 7 0 0 0 20 0 20 0 419327908 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947697869456 139948723244438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327909 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327909 28904845312 9943 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41224 KiB [startup+0.309604 s]* /proc/loadavg: 6.28 4.72 4.29 3/211 19896 /proc/meminfo: memFree=30579600/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28231644 memory=48640 CPUtime=0.51 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 11092 0 0 0 48 3 0 0 20 0 20 0 419327903 28909203456 12160 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7057911 12160 3358 1 0 7019032 0 [pid=19877/tid=19878] ppid=19875 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) R 19875 19875 12749 0 -1 4202560 7757 0 0 0 27 2 0 0 20 0 20 0 419327903 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948727463616 139948715910517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948271974800 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948270922768 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948269870224 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948268817168 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948267764624 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419327905 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948224342256 139948723243650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28231644 memory=281147485658496 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419327906 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948223288480 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28231644 memory=281147485663104 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327906 28909203456 12160 33554432000 4194304 4196468 140733640667808 139948222235376 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28231644 memory=281147485667712 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327908 28909203456 12160 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28231644 memory=281147485672320 CPUtime=0.03 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) R 19875 19875 12749 0 -1 4202560 621 0 0 0 3 0 0 0 20 0 20 0 419327908 28909203456 12224 33554432000 4194304 4196468 140733640667808 139947701024096 139948703932800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28231644 memory=281147485676928 CPUtime=0.02 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) S 19875 19875 12749 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 419327908 28909203456 12224 33554432000 4194304 4196468 140733640667808 139947699981168 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28231644 memory=281147485681536 CPUtime=0.02 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) S 19875 19875 12749 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 419327908 28909203456 12224 33554432000 4194304 4196468 140733640667808 139947698928112 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28231644 memory=281147485686144 CPUtime=0.12 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) S 19875 19875 12749 0 -1 1077944384 1114 0 0 0 12 0 0 0 20 0 20 0 419327908 28909203456 12255 33554432000 4194304 4196468 140733640667808 139947697875568 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327909 28909203456 12255 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327909 28909203456 12255 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50092 KiB [startup+0.701028 s] /proc/loadavg: 6.28 4.72 4.29 6/211 19896 /proc/meminfo: memFree=30566828/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28233768 memory=92348 CPUtime=1.75 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 16819 0 0 0 169 6 0 0 20 0 20 0 419327903 28911378432 23087 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7058442 23087 3446 1 0 7019544 0 [pid=19877/tid=19878] ppid=19875 vsize=28233768 memory=4580 CPUtime=0.64 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) R 19875 19875 12749 0 -1 4202560 9281 0 0 0 60 4 0 0 20 0 20 0 419327903 28911378432 23087 33554432000 4194304 4196468 140733640667808 139948727467456 139948365141539 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28911378432 23087 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327904 28911378432 23087 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327904 28911378432 23087 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 ################ # More data... # ################ /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28768328 memory=218396 CPUtime=6.58 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 19779 0 0 0 647 11 0 0 20 0 28 0 419327903 29458767872 54599 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7192082 54599 3486 1 0 7153184 0 [pid=19877/tid=19878] ppid=19875 vsize=28768328 memory=0 CPUtime=1.11 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) S 19875 19875 12749 0 -1 1077944384 9660 0 0 0 106 5 0 0 20 0 28 0 419327903 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948727473280 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28768328 memory=772 CPUtime=0 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28768328 memory=4008 CPUtime=0 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) S 19875 19875 12749 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948271974800 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28768328 memory=948 CPUtime=0 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) S 19875 19875 12749 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948270922768 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28768328 memory=2832 CPUtime=0.01 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) S 19875 19875 12749 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948269870224 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28768328 memory=9404 CPUtime=0 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) S 19875 19875 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948268817168 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28768328 memory=1548 CPUtime=0 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) S 19875 19875 12749 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419327904 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948267764624 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28768328 memory=628 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 419327905 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948224342256 139948723243650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419327906 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948223288480 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28768328 memory=1556 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419327906 29458767872 54599 33554432000 4194304 4196468 140733640667808 139948222235376 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28768328 memory=5924 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419327908 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28768328 memory=14012 CPUtime=0.88 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) R 19875 19875 12749 0 -1 4202560 1736 0 0 0 88 0 0 0 20 0 28 0 419327908 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947701019728 139948702495096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28768328 memory=2116 CPUtime=0.79 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) R 19875 19875 12749 0 -1 4202560 1390 0 0 0 79 0 0 0 20 0 28 0 419327908 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947699964912 139948723253850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28768328 memory=10568 CPUtime=0.75 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) R 19875 19875 12749 0 -1 4202560 1332 0 0 0 75 0 0 0 20 0 28 0 419327908 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947698921040 139948723253850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28768328 memory=12024 CPUtime=0.78 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) S 19875 19875 12749 0 -1 1077944384 3400 0 0 0 77 1 0 0 20 0 28 0 419327908 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947697875568 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28768328 memory=7446532003285060949 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419327909 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419327909 29458767872 54599 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 6.58 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 219848 KiB [startup+2.00177 s]* /proc/loadavg: 6.28 4.72 4.29 10/217 19942 /proc/meminfo: memFree=30371568/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28768328 memory=259296 CPUtime=9.46 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 22892 0 0 0 928 18 0 0 20 0 26 0 419327903 29458767872 64824 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7192082 64824 3502 1 0 7153184 0 [pid=19877/tid=19878] ppid=19875 vsize=28768328 memory=0 CPUtime=1.11 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) S 19875 19875 12749 0 -1 1077944384 9660 0 0 0 106 5 0 0 20 0 26 0 419327903 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948727473280 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) R 19875 19875 12749 0 -1 4202560 57 0 0 0 1 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948275130576 139948715860711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28768328 memory=140573874194048 CPUtime=0.02 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) R 19875 19875 12749 0 -1 4202560 71 0 0 0 1 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948274080400 139948715860711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28768328 memory=32 CPUtime=0.02 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) R 19875 19875 12749 0 -1 4202560 53 0 0 0 1 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948273024976 139948715860711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28768328 memory=7598542776401657925 CPUtime=0 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) R 19875 19875 12749 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948271974920 139948706615538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28768328 memory=288293268216397072 CPUtime=0.02 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) R 19875 19875 12749 0 -1 4202560 76 0 0 0 1 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948270920568 139948708260368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28768328 memory=288230376151711743 CPUtime=0.03 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) R 19875 19875 12749 0 -1 4202560 78 0 0 0 2 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948269870224 139948715860711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) R 19875 19875 12749 0 -1 4202560 63 0 0 0 2 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948268817168 139948715860711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) R 19875 19875 12749 0 -1 4202560 76 0 0 0 2 1 0 0 20 0 26 0 419327904 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948267764624 139948715860711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 26 0 419327905 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948224340768 139948723242709 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 26 0 419327906 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948223288480 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 26 0 419327906 29458767872 64824 33554432000 4194304 4196468 140733640667808 139948222235376 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28768328 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419327908 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28768328 memory=288230608969400658 CPUtime=1.22 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) D 19875 19875 12749 0 -1 4202560 2457 0 0 0 122 0 0 0 20 0 26 0 419327908 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947701019736 139948715949655 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28768328 memory=4136392857071793440 CPUtime=1.12 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) S 19875 19875 12749 0 -1 1077944384 2298 0 0 0 112 0 0 0 20 0 26 0 419327908 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947699966160 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28768328 memory=7597134293102521199 CPUtime=1.02 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) S 19875 19875 12749 0 -1 1077944384 1639 0 0 0 102 0 0 0 20 0 26 0 419327908 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947698928112 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28768328 memory=5787213827414188096 CPUtime=0.91 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) S 19875 19875 12749 0 -1 1077944384 3836 0 0 0 90 1 0 0 20 0 26 0 419327908 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947697871968 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28768328 memory=1 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419327909 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419327909 29458767872 64824 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19937] ppid=19875 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/19877/task/19937/stat : 19937 (java) S 19875 19875 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946830581536 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19938] ppid=19875 vsize=28768328 memory=2332 CPUtime=0 cores=0-7 /proc/19877/task/19938/stat : 19938 (java) S 19875 19875 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946829531648 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19939] ppid=19875 vsize=28768328 memory=677 CPUtime=0 cores=0-7 /proc/19877/task/19939/stat : 19939 (java) S 19875 19875 12749 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946826375648 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19940] ppid=19875 vsize=28768328 memory=2 CPUtime=0 cores=0-7 /proc/19877/task/19940/stat : 19940 (java) S 19875 19875 12749 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946824270608 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19941] ppid=19875 vsize=28768328 memory=1211 CPUtime=0 cores=0-7 /proc/19877/task/19941/stat : 19941 (java) S 19875 19875 12749 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946828481936 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19942] ppid=19875 vsize=28768328 memory=259 CPUtime=0 cores=0-7 /proc/19877/task/19942/stat : 19942 (java) S 19875 19875 12749 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 26 0 419328101 29458767872 64824 33554432000 4194304 4196468 140733640667808 139946825325472 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 9.46 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 260748 KiB [startup+2.11074 s] /proc/loadavg: 6.28 4.72 4.29 10/217 19942 /proc/meminfo: memFree=30371568/32770624 swapFree=66997684/67108860 [pid=19875] ppid=19872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19875/stat : 19875 (xcsp3-exec) S 19872 19875 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419327903 115843072 363 33554432000 4194304 5098028 140723053727536 140723053725640 140469243204220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12197888 140723053728629 140723053728873 140723053728873 140723053731786 0 /proc/19875/statm: 28282 363 305 221 0 87 0 [pid=19877] ppid=19875 vsize=28768328 memory=260772 CPUtime=10.23 cores=0-7 /proc/19877/stat : 19877 (java) S 19875 19875 12749 0 -1 1077944320 23441 0 0 0 1005 18 0 0 20 0 28 0 419327903 29458767872 65193 33554432000 4194304 4196468 140733640667808 140733640650352 139948723232503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 /proc/19877/statm: 7192082 65193 3502 1 0 7153184 0 [pid=19877/tid=19878] ppid=19875 vsize=28768328 memory=226096 CPUtime=1.11 cores=0-7 /proc/19877/task/19878/stat : 19878 (java) S 19875 19875 12749 0 -1 1077944384 9660 0 0 0 106 5 0 0 20 0 28 0 419327903 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948727473280 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19879] ppid=19875 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/19877/task/19879/stat : 19879 (java) S 19875 19875 12749 0 -1 1077944384 57 0 0 0 1 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948275132944 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19880] ppid=19875 vsize=28768328 memory=1452 CPUtime=0.02 cores=0-7 /proc/19877/task/19880/stat : 19880 (java) S 19875 19875 12749 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948274080400 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19881] ppid=19875 vsize=28768328 memory=216576 CPUtime=0.02 cores=0-7 /proc/19877/task/19881/stat : 19881 (java) S 19875 19875 12749 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948273027344 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19882] ppid=19875 vsize=28768328 memory=13572 CPUtime=0.01 cores=0-7 /proc/19877/task/19882/stat : 19882 (java) S 19875 19875 12749 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948271974800 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19883] ppid=19875 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/19877/task/19883/stat : 19883 (java) S 19875 19875 12749 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948270922768 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19884] ppid=19875 vsize=28768328 memory=1235 CPUtime=0.03 cores=0-7 /proc/19877/task/19884/stat : 19884 (java) S 19875 19875 12749 0 -1 1077944384 78 0 0 0 2 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948269870224 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19885] ppid=19875 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/19877/task/19885/stat : 19885 (java) S 19875 19875 12749 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948268817168 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19886] ppid=19875 vsize=28768328 memory=6944656592455097440 CPUtime=0.03 cores=0-7 /proc/19877/task/19886/stat : 19886 (java) S 19875 19875 12749 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 28 0 419327904 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948267764624 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19887] ppid=19875 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/19877/task/19887/stat : 19887 (java) S 19875 19875 12749 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 419327905 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948224342256 139948723243650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19888] ppid=19875 vsize=28768328 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/19877/task/19888/stat : 19888 (java) S 19875 19875 12749 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419327906 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948223288544 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19889] ppid=19875 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/19877/task/19889/stat : 19889 (java) S 19875 19875 12749 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419327906 29458767872 65193 33554432000 4194304 4196468 140733640667808 139948222235392 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19890] ppid=19875 vsize=28768328 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/19877/task/19890/stat : 19890 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419327908 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947702085584 139948723251099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19891] ppid=19875 vsize=28768328 memory=0 CPUtime=1.28 cores=0-7 /proc/19877/task/19891/stat : 19891 (java) R 19875 19875 12749 0 -1 4202560 2701 0 0 0 128 0 0 0 20 0 28 0 419327908 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947701019592 139948708154304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19892] ppid=19875 vsize=28768328 memory=-9062862659931694204 CPUtime=1.17 cores=0-7 /proc/19877/task/19892/stat : 19892 (java) R 19875 19875 12749 0 -1 4202560 2303 0 0 0 117 0 0 0 20 0 28 0 419327908 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947699967264 139948704753739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19893] ppid=19875 vsize=28768328 memory=4498404016626153824 CPUtime=1.09 cores=0-7 /proc/19877/task/19893/stat : 19893 (java) R 19875 19875 12749 0 -1 4202560 1666 0 0 0 109 0 0 0 20 0 28 0 419327908 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947698927248 139948704780043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19894] ppid=19875 vsize=28768328 memory=-8458152057954561420 CPUtime=0.94 cores=0-7 /proc/19877/task/19894/stat : 19894 (java) R 19875 19875 12749 0 -1 1077944384 3917 0 0 0 93 1 0 0 20 0 28 0 419327908 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947697875568 139948723243650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19895] ppid=19875 vsize=28768328 memory=140573874203393 CPUtime=0 cores=0-7 /proc/19877/task/19895/stat : 19895 (java) S 19875 19875 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419327909 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947696822752 139948723242709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 [pid=19877/tid=19896] ppid=19875 vsize=28768328 memory=7451600765058313315 CPUtime=0 cores=0-7 /proc/19877/task/19896/stat : 19896 (java) S 19875 19875 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419327909 29458767872 65193 33554432000 4194304 4196468 140733640667808 139947695770288 139948723243650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140733640672234 140733640672406 140733640672406 140733640675279 0 Current children cumulated CPU time: 10.23 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 262224 KiB Child status: 0 Real time (s): 2.1906 CPU time (s): 10.6548 CPU user time (s): 10.4585 CPU system time (s): 0.19624 CPU usage (%): 486.385 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 262224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.4585 system time used= 0.19624 maximum resident set size= 262412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24068 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4029 involuntary context switches= 193 # summary of solver processes directly reported to runsolver: # pid: 19875 # total CPU time (s): 10.6548 # total CPU user time (s): 10.4585 # total CPU system time (s): 0.19624 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.040625 second user time and 0.064584 second system time The end
Begin job on node106 at 2019-09-14 04:10:55 IDJOB=4394420 IDBENCH=128005 IDSOLVER=2843 FILE ID=node106/4394420-1568430733 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-18-3-6-8.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394420-1568430733/watcher-4394420-1568430733 -o /tmp/evaluation-result-4394420-1568430733/solver-4394420-1568430733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1656313222 HOME/instance-4394420-1568430733.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5d7a010bf2d95efed7f70b0fa6bbffad RANDOM SEED=1656313222 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30627072 kB MemAvailable: 31901652 kB Buffers: 184124 kB Cached: 1371584 kB SwapCached: 9320 kB Active: 487468 kB Inactive: 1083580 kB Active(anon): 14512 kB Inactive(anon): 34744 kB Active(file): 472956 kB Inactive(file): 1048836 kB Unevictable: 106908 kB Mlocked: 106908 kB SwapTotal: 67108860 kB SwapFree: 66997684 kB Dirty: 26420 kB Writeback: 0 kB AnonPages: 147988 kB Mapped: 38492 kB Shmem: 25300 kB Slab: 166736 kB SReclaimable: 137244 kB SUnreclaim: 29492 kB KernelStack: 3712 kB PageTables: 5252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489728 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 04:10:58