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 (12426 MiB free)
memory of node 1: 16384 MiB (14188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406391-1569400907/watcher-4406391-1569400907 -o /var/tmp/evaluation-result-4406391-1569400907/solver-4406391-1569400907 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-701 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406391-1569400907.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=1795, runsolver pid=1792
[startup+0.100059 s]*
/proc/loadavg: 1.81 1.79 1.80 4/231 1811
/proc/meminfo: memFree=27237928/32770624 swapFree=66957868/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15144776 memory=29024 CPUtime=0.12 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 5679 0 0 0 11 1 0 0 20 0 15 0 516329326 15508250624 7256 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3786194 7256 3127 1 0 3748377 0
[pid=1797/tid=1798] ppid=1795 vsize=15144776 memory=7022364632946311227 CPUtime=0.08 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 3622 0 0 0 8 0 0 0 20 0 15 0 516329327 15508250624 7322 33554432000 4194304 4196468 140722260824880 140159992746648 140159988536477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 7322 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15144776 memory=139817735246791 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 7322 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 7322 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 7322 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15144776 memory=139817731958400 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158861629088 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158860575984 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) R 1795 1795 669 0 -1 4202560 350 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158858452568 140159966347408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) R 1795 1795 669 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15144776 memory=139817731958400 CPUtime=0.02 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) R 1795 1795 669 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158856366064 140159980751678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 7322 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30480 KiB
[startup+0.21085 s]*
/proc/loadavg: 1.81 1.79 1.80 4/231 1811
/proc/meminfo: memFree=27224320/32770624 swapFree=66957868/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15144776 memory=40992 CPUtime=0.34 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 9483 0 0 0 31 3 0 0 20 0 15 0 516329326 15508250624 10248 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3786194 10248 3296 1 0 3748377 0
[pid=1797/tid=1798] ppid=1795 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 516329327 15508250624 10248 33554432000 4194304 4196468 140722260824880 140159992744272 140159988536477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 10248 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15144776 memory=139817735246791 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 10248 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 10248 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516329327 15508250624 10248 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15144776 memory=139817731958400 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158861629088 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516329329 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158860575984 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) S 1795 1795 669 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15144776 memory=139817731958400 CPUtime=0.08 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) R 1795 1795 669 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158856365248 140159988535898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329332 15508250624 10248 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42448 KiB
[startup+0.310618 s]*
/proc/loadavg: 1.81 1.79 1.80 6/231 1811
/proc/meminfo: memFree=27217536/32770624 swapFree=66957868/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15149032 memory=49960 CPUtime=0.53 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 10829 0 0 0 49 4 0 0 20 0 15 0 516329326 15512608768 12490 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787258 12490 3359 1 0 3748377 0
[pid=1797/tid=1798] ppid=1795 vsize=15149032 memory=1399051139730258233 CPUtime=0.3 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 7822 0 0 0 27 3 0 0 20 0 15 0 516329327 15512608768 12559 33554432000 4194304 4196468 140722260824880 140159992747992 140159972595038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15512608768 12559 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15512608768 12559 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15512608768 12559 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516329327 15512608768 12559 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516329329 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15149032 memory=8693527797397837014 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516329329 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158861629088 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516329329 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158860575984 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15149032 memory=6656426216303648864 CPUtime=0.03 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15149032 memory=-7812736537705029536 CPUtime=0.05 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) R 1795 1795 669 0 -1 4202560 420 0 0 0 5 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158857409504 140159970034603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15149032 memory=-7604995849183860074 CPUtime=0.12 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15149032 memory=7681905605394137875 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15149032 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329332 15512608768 12559 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51416 KiB
[startup+0.701526 s]
/proc/loadavg: 1.81 1.79 1.80 5/231 1811
/proc/meminfo: memFree=27205240/32770624 swapFree=66957868/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15151156 memory=76568 CPUtime=1.62 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 16454 0 0 0 156 6 0 0 20 0 15 0 516329326 15514783744 19142 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787789 19142 3457 1 0 3748889 0
[pid=1797/tid=1798] ppid=1795 vsize=15151156 memory=8049867166153220215 CPUtime=0.68 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 9023 0 0 0 64 4 0 0 20 0 15 0 516329327 15514783744 19142 33554432000 4194304 4196468 140722260824880 140159992751896 140722260842696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15514783744 19142 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15514783744 19142 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329327 15514783744 19142 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516329327 15514783744 19142 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15151156 memory=624 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158861629088 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158860575984 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15151156 memory=14012 CPUtime=0.34 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) R 1795 1795 669 0 -1 4202560 2650 0 0 0 33 1 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158858452680 140159967761337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15151156 memory=1808 CPUtime=0.32 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) R 1795 1795 669 0 -1 4202560 2052 0 0 0 32 0 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158857405144 140159972902038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15151156 memory=924 CPUtime=0.26 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 1420 0 0 0 26 0 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15151156 memory=2872 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 19142 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78024 KiB
[startup+1.50087 s]
/proc/loadavg: 1.81 1.79 1.80 5/231 1811
/proc/meminfo: memFree=27160888/32770624 swapFree=66957868/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15151156 memory=419468 CPUtime=1285.41 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 110957 0 0 0 128375 166 0 0 20 0 15 0 516329326 15514783744 104867 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787789 104867 3516 1 0 3748889 0
[pid=1797/tid=1798] ppid=1795 vsize=15151156 memory=1056 CPUtime=1258.78 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 40725 0 0 0 125829 49 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159992753728 140159629785909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15151156 memory=1556 CPUtime=5.31 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 6638 0 0 0 514 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15151156 memory=11632 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 7598 0 0 0 516 16 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15151156 memory=0 CPUtime=5.31 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 5829 0 0 0 512 19 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15151156 memory=205552 CPUtime=5.33 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 5751 0 0 0 516 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15151156 memory=288289956896548705 CPUtime=2 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 10751 0 0 0 174 26 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158861629152 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158860576000 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15151156 memory=4486604260213485459 CPUtime=1.16 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 11228 0 0 0 115 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15151156 memory=532 CPUtime=1.15 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) S 1795 1795 669 0 -1 1077944384 16328 0 0 0 114 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15151156 memory=928 CPUtime=0.34 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 4126 0 0 0 33 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15151156 memory=8112282956445269571 CPUtime=0.62 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 593 0 0 0 30 32 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 1285.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 420924 KiB
[startup+1267.6 s]
/proc/loadavg: 1.70 1.64 1.68 3/232 2109
/proc/meminfo: memFree=26114932/32770624 swapFree=66957876/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15151156 memory=419468 CPUtime=1285.81 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 110958 0 0 0 128415 166 0 0 20 0 15 0 516329326 15514783744 104867 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787789 104867 3516 1 0 3748889 0
[pid=1797/tid=1798] ppid=1795 vsize=15151156 memory=1728 CPUtime=1259.18 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 40726 0 0 0 125869 49 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159992754112 140159629848413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15151156 memory=419984 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 6638 0 0 0 515 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15151156 memory=988 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 7598 0 0 0 516 16 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15151156 memory=1428 CPUtime=5.31 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 5829 0 0 0 512 19 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15151156 memory=8112282956445269571 CPUtime=5.33 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 5751 0 0 0 516 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15151156 memory=279635254313200 CPUtime=2 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 10751 0 0 0 174 26 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15151156 memory=8128038100524242582 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158861629152 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15151156 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158860576000 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15151156 memory=1456 CPUtime=1.16 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 11228 0 0 0 115 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15151156 memory=421008 CPUtime=1.15 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) S 1795 1795 669 0 -1 1077944384 16328 0 0 0 114 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15151156 memory=5914 CPUtime=0.34 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 4126 0 0 0 33 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15151156 memory=420496 CPUtime=0.62 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 593 0 0 0 30 32 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 1285.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 420924 KiB
[startup+1268 s]*
/proc/loadavg: 1.70 1.64 1.68 3/232 2109
/proc/meminfo: memFree=26115168/32770624 swapFree=66957876/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15151156 memory=419468 CPUtime=1286.22 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 110958 0 0 0 128456 166 0 0 20 0 15 0 516329326 15514783744 104867 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787789 104867 3516 1 0 3748889 0
[pid=1797/tid=1798] ppid=1795 vsize=15151156 memory=1399051139730258233 CPUtime=1259.58 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 40726 0 0 0 125909 49 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159992754112 140159629538391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15151156 memory=928 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 6638 0 0 0 515 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15151156 memory=1720 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 7598 0 0 0 516 16 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15151156 memory=1412 CPUtime=5.31 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 5829 0 0 0 512 19 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15151156 memory=4126316290023845779 CPUtime=5.33 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 5751 0 0 0 516 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15151156 memory=1456 CPUtime=2 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 10751 0 0 0 174 26 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15151156 memory=427676 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158861629152 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158860576000 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15151156 memory=2912 CPUtime=1.16 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 11228 0 0 0 115 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15151156 memory=1452 CPUtime=1.15 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) S 1795 1795 669 0 -1 1077944384 16328 0 0 0 114 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15151156 memory=3620 CPUtime=0.34 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 4126 0 0 0 33 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15151156 memory=1797 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15151156 memory=1808 CPUtime=0.62 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 593 0 0 0 30 32 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 1286.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 420924 KiB
[startup+1268.11 s]
/proc/loadavg: 1.70 1.64 1.68 3/232 2109
/proc/meminfo: memFree=26115168/32770624 swapFree=66957876/67108860
[pid=1795] ppid=1792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (xcsp3-exec) S 1792 1795 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516329326 115843072 364 33554432000 4194304 5098028 140727661143808 140727661141912 140601596613244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23527424 140727661151064 140727661151321 140727661151321 140727661154246 0
/proc/1795/statm: 28282 364 305 221 0 87 0
[pid=1797] ppid=1795 vsize=15151156 memory=419468 CPUtime=1286.32 cores=1,3,5,7
/proc/1797/stat : 1797 (java) S 1795 1795 669 0 -1 1077944320 110958 0 0 0 128466 166 0 0 20 0 15 0 516329326 15514783744 104867 33554432000 4194304 4196468 140722260824880 140722260807424 140159988514551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
/proc/1797/statm: 3787789 104867 3516 1 0 3748889 0
[pid=1797/tid=1798] ppid=1795 vsize=15151156 memory=419468 CPUtime=1259.68 cores=1,3,5,7
/proc/1797/task/1798/stat : 1798 (java) R 1795 1795 669 0 -1 4202560 40726 0 0 0 125919 49 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159992754112 140159629785296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1799] ppid=1795 vsize=15151156 memory=419468 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1799/stat : 1799 (java) S 1795 1795 669 0 -1 1077944384 6638 0 0 0 515 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159581395472 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1800] ppid=1795 vsize=15151156 memory=1456 CPUtime=5.32 cores=1,3,5,7
/proc/1797/task/1800/stat : 1800 (java) S 1795 1795 669 0 -1 1077944384 7598 0 0 0 516 16 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159580342928 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1801] ppid=1795 vsize=15151156 memory=1456 CPUtime=5.31 cores=1,3,5,7
/proc/1797/task/1801/stat : 1801 (java) S 1795 1795 669 0 -1 1077944384 5829 0 0 0 512 19 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159579289872 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1802] ppid=1795 vsize=15151156 memory=0 CPUtime=5.33 cores=1,3,5,7
/proc/1797/task/1802/stat : 1802 (java) S 1795 1795 669 0 -1 1077944384 5751 0 0 0 516 17 0 0 20 0 15 0 516329327 15514783744 104867 33554432000 4194304 4196468 140722260824880 140159578237328 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1803] ppid=1795 vsize=15151156 memory=6944656592455359580 CPUtime=2 cores=1,3,5,7
/proc/1797/task/1803/stat : 1803 (java) S 1795 1795 669 0 -1 1077944384 10751 0 0 0 174 26 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158862682864 140159988525698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1804] ppid=1795 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1804/stat : 1804 (java) S 1795 1795 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158861629152 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1805] ppid=1795 vsize=15151156 memory=419468 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1805/stat : 1805 (java) S 1795 1795 669 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 516329329 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158860576000 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1806] ppid=1795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1806/stat : 1806 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158859524560 140159988533147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1807] ppid=1795 vsize=15151156 memory=1602 CPUtime=1.16 cores=1,3,5,7
/proc/1797/task/1807/stat : 1807 (java) S 1795 1795 669 0 -1 1077944384 11228 0 0 0 115 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158858471664 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1808] ppid=1795 vsize=15151156 memory=421008 CPUtime=1.15 cores=1,3,5,7
/proc/1797/task/1808/stat : 1808 (java) S 1795 1795 669 0 -1 1077944384 16328 0 0 0 114 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158857419120 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1809] ppid=1795 vsize=15151156 memory=1456 CPUtime=0.34 cores=1,3,5,7
/proc/1797/task/1809/stat : 1809 (java) S 1795 1795 669 0 -1 1077944384 4126 0 0 0 33 1 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158856366064 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1810] ppid=1795 vsize=15151156 memory=422036 CPUtime=0 cores=1,3,5,7
/proc/1797/task/1810/stat : 1810 (java) S 1795 1795 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158855313760 140159988524757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
[pid=1797/tid=1811] ppid=1795 vsize=15151156 memory=65388 CPUtime=0.62 cores=1,3,5,7
/proc/1797/task/1811/stat : 1811 (java) S 1795 1795 669 0 -1 1077944384 593 0 0 0 30 32 0 0 20 0 15 0 516329332 15514783744 104867 33554432000 4194304 4196468 140722260824880 140158854261808 140159988525698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140722260833243 140722260833418 140722260833418 140722260836303 0
Current children cumulated CPU time: 1286.32 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 420924 KiB
Child status: 0
Real time (s): 1268.16
CPU time (s): 1286.38
CPU user time (s): 1284.71
CPU system time (s): 1.67162
CPU usage (%): 101.437
Max. virtual memory (cumulated for all children) (KiB): 15266376
Max. memory (cumulated for all children) (KiB): 1678560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1284.71
system time used= 1.67162
maximum resident set size= 1708252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78302
involuntary context switches= 4581
# summary of solver processes directly reported to runsolver:
# pid: 1795
# total CPU time (s): 1286.38
# total CPU user time (s): 1284.71
# total CPU system time (s): 1.67162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.94458 second user time and 11.3107 second system time
The end