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 (3678 MiB free)
memory of node 1: 16384 MiB (1985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404113-1568991390/watcher-4404113-1568991390 -o /tmp/evaluation-result-4404113-1568991390/solver-4404113-1568991390 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2077129743 HOME/instance-4404113-1568991390.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4616, runsolver pid=4613
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 8.38 7.46 4.65 7/233 4632
/proc/meminfo: memFree=5782848/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15144776 memory=29624 CPUtime=0.12 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 5809 0 0 0 11 1 0 0 20 0 15 0 475300511 15508250624 7406 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3786194 7406 3147 1 0 3748377 0
[pid=4618/tid=4619] ppid=4616 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) R 4616 4616 2739 0 -1 4202560 3724 0 0 0 8 1 0 0 20 0 15 0 475300511 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824927296032 139824923092125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15144776 memory=288370758944458368 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300513 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475300514 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824390406944 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475300514 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824389354608 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) R 4616 4616 2739 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) R 4616 4616 2739 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824386198000 139824900903056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15144776 memory=140382792746624 CPUtime=0.02 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) R 4616 4616 2739 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824385143248 139824923082134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 7406 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210684 s]*
/proc/loadavg: 8.38 7.46 4.65 7/233 4632
/proc/meminfo: memFree=5770340/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15144776 memory=40728 CPUtime=0.33 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 9444 0 0 0 30 3 0 0 20 0 15 0 475300511 15508250624 10182 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3786194 10182 3246 1 0 3748377 0
[pid=4618/tid=4619] ppid=4616 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) R 4616 4616 2739 0 -1 4202560 6624 0 0 0 17 3 0 0 20 0 15 0 475300511 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824927307248 139824923092125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15144776 memory=140382792764121 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15144776 memory=140382792746624 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475300513 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475300514 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824390406944 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475300514 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824389354608 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) S 4616 4616 2739 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) S 4616 4616 2739 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824386198000 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15144776 memory=140382792746624 CPUtime=0.08 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) R 4616 4616 2739 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824385145712 139824907150686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300517 15508250624 10182 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42176 KiB
[startup+0.310642 s]*
/proc/loadavg: 8.19 7.44 4.66 6/233 4632
/proc/meminfo: memFree=5762820/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15149032 memory=50116 CPUtime=0.52 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 10866 0 0 0 48 4 0 0 20 0 15 0 475300511 15512608768 12529 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3787258 12529 3370 1 0 3748377 0
[pid=4618/tid=4619] ppid=4616 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) R 4616 4616 2739 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 15 0 475300511 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824927303576 139824923092125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475300513 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475300514 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824390406944 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475300514 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824389354608 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) S 4616 4616 2739 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) R 4616 4616 2739 0 -1 4202560 440 0 0 0 5 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824386179016 139824900665280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) S 4616 4616 2739 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824385145712 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300517 15512608768 12529 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51564 KiB
[startup+0.704029 s]
/proc/loadavg: 8.19 7.44 4.66 9/233 4632
/proc/meminfo: memFree=5734364/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15151156 memory=116124 CPUtime=1.74 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 16074 0 0 0 167 7 0 0 20 0 15 0 475300511 15514783744 29031 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3787789 29031 3445 1 0 3748889 0
[pid=4618/tid=4619] ppid=4616 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) R 4616 4616 2739 0 -1 1077944384 9119 0 0 0 63 5 0 0 20 0 15 0 475300511 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824927305952 139824923080405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15151156 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300512 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475300512 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475300513 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475300514 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824390406944 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475300514 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824389354608 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15151156 memory=1160 CPUtime=0.33 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) R 4616 4616 2739 0 -1 4202560 1887 0 0 0 33 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824387236680 139824904591059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15151156 memory=1716 CPUtime=0.35 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) R 4616 4616 2739 0 -1 4202560 1706 0 0 0 35 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824386184080 139824916167035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15151156 memory=1096 CPUtime=0.33 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) S 4616 4616 2739 0 -1 1077944384 2058 0 0 0 33 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824385145840 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475300517 15514783744 29031 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117572 KiB
[startup+1.50072 s]
/proc/loadavg: 8.19 7.44 4.66 8/233 4632
/proc/meminfo: memFree=5638648/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 572 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79219 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4697] ppid=4616 vsize=15619152 memory=7548 CPUtime=3.16 cores=0,2,4,6
/proc/4618/task/4697/stat : 4697 (java) R 4616 4616 2739 0 -1 4202560 121 0 0 0 316 0 0 0 20 0 19 0 475301311 15994011648 79219 33554432000 4194304 4196468 140731847849680 139824369855128 139824562515555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4698] ppid=4616 vsize=15619152 memory=3620 CPUtime=3.14 cores=0,2,4,6
/proc/4618/task/4698/stat : 4698 (java) R 4616 4616 2739 0 -1 4202560 269 0 0 0 314 0 0 0 20 0 19 0 475301311 15994011648 79219 33554432000 4194304 4196468 140731847849680 139824366699000 139824907409075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4699] ppid=4616 vsize=15619152 memory=2832 CPUtime=3.15 cores=0,2,4,6
/proc/4618/task/4699/stat : 4699 (java) R 4616 4616 2739 0 -1 4202560 420 0 0 0 315 0 0 0 20 0 19 0 475301312 15994011648 79219 33554432000 4194304 4196468 140731847849680 139824365647576 139824562515555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4700] ppid=4616 vsize=15619152 memory=776 CPUtime=3.13 cores=0,2,4,6
/proc/4618/task/4700/stat : 4700 (java) R 4616 4616 2739 0 -1 4202560 380 0 0 0 313 0 0 0 20 0 19 0 475301312 15994011648 79219 33554432000 4194304 4196468 140731847849680 139824370909328 139824562808447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 42.47 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 318324 KiB
[startup+12.0017 s]*
/proc/loadavg: 8.23 7.47 4.70 9/237 4700
/proc/meminfo: memFree=5493268/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15619152 memory=318932 CPUtime=45.69 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 34982 0 0 0 4548 21 0 0 20 0 19 0 475300511 15994011648 79733 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3904788 79733 3526 1 0 3865888 0
[pid=4618/tid=4619] ppid=4616 vsize=15619152 memory=1398722017469774279 CPUtime=1.33 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) S 4616 4616 2739 0 -1 1077944384 10899 0 0 0 127 6 0 0 20 0 19 0 475300511 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824927310976 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15619152 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 141 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15619152 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15619152 memory=3588 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 278 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15619152 memory=54132 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15619152 memory=984 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 475300513 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15619152 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824390407008 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15619152 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824389354624 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15619152 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15619152 memory=740 CPUtime=3.17 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) S 4616 4616 2739 0 -1 1077944384 6684 0 0 0 316 1 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15619152 memory=0 CPUtime=2.9 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) S 4616 4616 2739 0 -1 1077944384 6001 0 0 0 289 1 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824386198000 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15619152 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) S 4616 4616 2739 0 -1 1077944384 5353 0 0 0 90 1 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824385145712 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 572 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4697] ppid=4616 vsize=15619152 memory=0 CPUtime=3.96 cores=0,2,4,6
/proc/4618/task/4697/stat : 4697 (java) R 4616 4616 2739 0 -1 4202560 121 0 0 0 396 0 0 0 20 0 19 0 475301311 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824369855128 139824562515555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4698] ppid=4616 vsize=15619152 memory=3761833755198602417 CPUtime=3.95 cores=0,2,4,6
/proc/4618/task/4698/stat : 4698 (java) R 4616 4616 2739 0 -1 4202560 282 0 0 0 395 0 0 0 20 0 19 0 475301311 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824366698392 139824562515760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4699] ppid=4616 vsize=15619152 memory=3539882221917713712 CPUtime=3.95 cores=0,2,4,6
/proc/4618/task/4699/stat : 4699 (java) R 4616 4616 2739 0 -1 4202560 421 0 0 0 395 0 0 0 20 0 19 0 475301312 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824365647576 139824562651335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4700] ppid=4616 vsize=15619152 memory=0 CPUtime=3.92 cores=0,2,4,6
/proc/4618/task/4700/stat : 4700 (java) R 4616 4616 2739 0 -1 4202560 384 0 0 0 392 0 0 0 20 0 19 0 475301312 15994011648 79733 33554432000 4194304 4196468 140731847849680 139824370910248 139824562515243 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 45.69 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 320380 KiB
[startup+12.4017 s]
/proc/loadavg: 8.23 7.47 4.70 9/237 4700
/proc/meminfo: memFree=5493268/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15619152 memory=318968 CPUtime=47.24 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 38406 0 0 0 4703 21 0 0 20 0 19 0 475300511 15994011648 79742 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3904788 79742 3526 1 0 3865888 0
[pid=4618/tid=4619] ppid=4616 vsize=15619152 memory=1448 CPUtime=1.33 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) S 4616 4616 2739 0 -1 1077944384 10899 0 0 0 127 6 0 0 20 0 19 0 475300511 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824927310976 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15619152 memory=1964 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 141 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15619152 memory=14012 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15619152 memory=27572 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 278 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15619152 memory=14068 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15619152 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 475300513 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15619152 memory=504 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824390407008 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15619152 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824389354624 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15619152 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15619152 memory=1692 CPUtime=3.21 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) R 4616 4616 2739 0 -1 1077944384 7479 0 0 0 320 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15619152 memory=912 CPUtime=2.93 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) R 4616 4616 2739 0 -1 4202560 7446 0 0 0 292 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824386198000 139824906538395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15619152 memory=1448 CPUtime=0.91 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) S 4616 4616 2739 0 -1 1077944384 5520 0 0 0 90 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824385145712 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15619152 memory=1964 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15619152 memory=2456 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 580 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4697] ppid=4616 vsize=15619152 memory=1760 CPUtime=4.32 cores=0,2,4,6
/proc/4618/task/4697/stat : 4697 (java) R 4616 4616 2739 0 -1 4202560 180 0 0 0 432 0 0 0 20 0 19 0 475301311 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824369855672 139824562651087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4698] ppid=4616 vsize=15619152 memory=111632 CPUtime=4.34 cores=0,2,4,6
/proc/4618/task/4698/stat : 4698 (java) R 4616 4616 2739 0 -1 4202560 685 0 0 0 434 0 0 0 20 0 19 0 475301311 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824366698392 139824562515760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4699] ppid=4616 vsize=15619152 memory=4104 CPUtime=4.3 cores=0,2,4,6
/proc/4618/task/4699/stat : 4699 (java) R 4616 4616 2739 0 -1 4202560 688 0 0 0 430 0 0 0 20 0 19 0 475301312 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824365645752 139824562515171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4700] ppid=4616 vsize=15619152 memory=804 CPUtime=4.31 cores=0,2,4,6
/proc/4618/task/4700/stat : 4700 (java) R 4616 4616 2739 0 -1 4202560 664 0 0 0 431 0 0 0 20 0 19 0 475301312 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824370909088 139824562515783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 47.24 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 320416 KiB
[startup+12.5017 s]
/proc/loadavg: 8.23 7.47 4.70 9/237 4700
/proc/meminfo: memFree=5493268/32770624 swapFree=67002128/67108860
[pid=4616] ppid=4613 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4616/stat : 4616 (xcsp3-exec) S 4613 4616 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475300511 115843072 362 33554432000 4194304 5098028 140735727344992 140735727343096 139913566159484 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16355328 140735727346554 140735727346797 140735727346797 140735727349706 0
/proc/4616/statm: 28282 362 304 221 0 87 0
[pid=4618] ppid=4616 vsize=15619152 memory=318968 CPUtime=47.64 cores=0,2,4,6
/proc/4618/stat : 4618 (java) S 4616 4616 2739 0 -1 1077944320 38973 0 0 0 4743 21 0 0 20 0 19 0 475300511 15994011648 79742 33554432000 4194304 4196468 140731847849680 140731847832224 139824923070199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
/proc/4618/statm: 3904788 79742 3526 1 0 3865888 0
[pid=4618/tid=4619] ppid=4616 vsize=15619152 memory=1448 CPUtime=1.33 cores=0,2,4,6
/proc/4618/task/4619/stat : 4619 (java) S 4616 4616 2739 0 -1 1077944384 10899 0 0 0 127 6 0 0 20 0 19 0 475300511 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824927310976 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4620] ppid=4616 vsize=15619152 memory=20036 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4620/stat : 4620 (java) S 4616 4616 2739 0 -1 1077944384 141 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824515177360 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4621] ppid=4616 vsize=15619152 memory=314784 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4621/stat : 4621 (java) S 4616 4616 2739 0 -1 1077944384 149 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824514124560 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4622] ppid=4616 vsize=15619152 memory=315588 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4622/stat : 4622 (java) S 4616 4616 2739 0 -1 1077944384 278 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824513072272 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4623] ppid=4616 vsize=15619152 memory=1399094042734925955 CPUtime=0.03 cores=0,2,4,6
/proc/4618/task/4623/stat : 4623 (java) S 4616 4616 2739 0 -1 1077944384 431 0 0 0 2 1 0 0 20 0 19 0 475300512 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824512019472 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4624] ppid=4616 vsize=15619152 memory=297092 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4624/stat : 4624 (java) S 4616 4616 2739 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 19 0 475300513 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824391460976 139824923081346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4625] ppid=4616 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4625/stat : 4625 (java) S 4616 4616 2739 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824390407008 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4626] ppid=4616 vsize=15619152 memory=297092 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4626/stat : 4626 (java) S 4616 4616 2739 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475300514 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824389354624 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4627] ppid=4616 vsize=15619152 memory=280765367850112 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4627/stat : 4627 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824388302928 139824923088795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4628] ppid=4616 vsize=15619152 memory=126 CPUtime=3.21 cores=0,2,4,6
/proc/4618/task/4628/stat : 4628 (java) S 4616 4616 2739 0 -1 1077944384 7479 0 0 0 320 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824387250800 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4629] ppid=4616 vsize=15619152 memory=126 CPUtime=2.94 cores=0,2,4,6
/proc/4618/task/4629/stat : 4629 (java) S 4616 4616 2739 0 -1 1077944384 7468 0 0 0 293 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824386198000 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4630] ppid=4616 vsize=15619152 memory=301741373374332954 CPUtime=0.92 cores=0,2,4,6
/proc/4618/task/4630/stat : 4630 (java) S 4616 4616 2739 0 -1 1077944384 6049 0 0 0 91 1 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824385145712 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4631] ppid=4616 vsize=15619152 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4631/stat : 4631 (java) S 4616 4616 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824384093152 139824923080405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4632] ppid=4616 vsize=15619152 memory=14981091563931951 CPUtime=0 cores=0,2,4,6
/proc/4618/task/4632/stat : 4632 (java) S 4616 4616 2739 0 -1 1077944384 580 0 0 0 0 0 0 0 20 0 19 0 475300517 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824383039920 139824923081346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4697] ppid=4616 vsize=15619152 memory=1448 CPUtime=4.41 cores=0,2,4,6
/proc/4618/task/4697/stat : 4697 (java) R 4616 4616 2739 0 -1 4202560 180 0 0 0 441 0 0 0 20 0 19 0 475301311 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824369855672 139824562515778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4698] ppid=4616 vsize=15619152 memory=316876 CPUtime=4.44 cores=0,2,4,6
/proc/4618/task/4698/stat : 4698 (java) R 4616 4616 2739 0 -1 4202560 695 0 0 0 444 0 0 0 20 0 19 0 475301311 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824366700424 139824563333195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4699] ppid=4616 vsize=15619152 memory=1096 CPUtime=4.4 cores=0,2,4,6
/proc/4618/task/4699/stat : 4699 (java) R 4616 4616 2739 0 -1 4202560 694 0 0 0 440 0 0 0 20 0 19 0 475301312 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824365646280 139824562515576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
[pid=4618/tid=4700] ppid=4616 vsize=15619152 memory=6128 CPUtime=4.41 cores=0,2,4,6
/proc/4618/task/4700/stat : 4700 (java) R 4616 4616 2739 0 -1 4202560 664 0 0 0 441 0 0 0 20 0 19 0 475301312 15994011648 79742 33554432000 4194304 4196468 140731847849680 139824370909088 139824562515783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32468992 140731847857135 140731847857306 140731847857306 140731847860175 0
Current children cumulated CPU time: 47.64 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 320416 KiB
Child status: 0
Real time (s): 12.5688
CPU time (s): 47.8939
CPU user time (s): 47.6684
CPU system time (s): 0.225492
CPU usage (%): 381.053
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 320416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.6684
system time used= 0.225492
maximum resident set size= 321148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40381
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= 3696
involuntary context switches= 1827
# summary of solver processes directly reported to runsolver:
# pid: 4616
# total CPU time (s): 47.8939
# total CPU user time (s): 47.6684
# total CPU system time (s): 0.225492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102469 second user time and 0.18359 second system time
The end