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 (15239 MiB free)
memory of node 1: 16384 MiB (14906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400350-1568693962/watcher-4400350-1568693962 -o /tmp/evaluation-result-4400350-1568693962/solver-4400350-1568693962 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 284950634 HOME/instance-4400350-1568693962.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=1816, runsolver pid=1813
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 8.35 8.42 8.35 8/233 1832
/proc/meminfo: memFree=30853976/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15144776 memory=28716 CPUtime=0.12 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 5655 0 0 0 11 1 0 0 20 0 15 0 445649290 15508250624 7179 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3786194 7179 3122 1 0 3748377 0
[pid=1818/tid=1819] ppid=1816 vsize=15144776 memory=-7828588039587135835 CPUtime=0.08 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) R 1816 1816 24272 0 -1 4202560 3566 0 0 0 8 0 0 0 20 0 15 0 445649291 15508250624 7245 33554432000 4194304 4196468 140732185711536 139892705876064 139892693879614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 7245 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 7245 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 7245 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 7245 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891573748512 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891572696176 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) S 1816 1816 24272 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0.02 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) R 1816 1816 24272 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891568487280 139892681031857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 7245 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30164 KiB
[startup+0.210688 s]*
/proc/loadavg: 8.35 8.42 8.35 8/233 1832
/proc/meminfo: memFree=30841592/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15144776 memory=40400 CPUtime=0.34 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 9301 0 0 0 31 3 0 0 20 0 15 0 445649290 15508250624 10100 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3786194 10100 3303 1 0 3748377 0
[pid=1818/tid=1819] ppid=1816 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) R 1816 1816 24272 0 -1 4202560 6547 0 0 0 18 2 0 0 20 0 15 0 445649291 15508250624 10100 33554432000 4194304 4196468 140732185711536 139892705873728 139892701664413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 10100 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15144776 memory=140645396553235 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 10100 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 10100 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15508250624 10100 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891573748512 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445649293 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891572696176 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) S 1816 1816 24272 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15144776 memory=140645392995968 CPUtime=0.08 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) R 1816 1816 24272 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891568487280 139892693879614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649296 15508250624 10100 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41848 KiB
[startup+0.311216 s]*
/proc/loadavg: 8.35 8.42 8.35 7/233 1832
/proc/meminfo: memFree=30820136/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15149032 memory=49568 CPUtime=0.52 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 10715 0 0 0 49 3 0 0 20 0 15 0 445649290 15512608768 12392 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3787258 12392 3362 1 0 3748377 0
[pid=1818/tid=1819] ppid=1816 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) R 1816 1816 24272 0 -1 4202560 7676 0 0 0 27 2 0 0 20 0 15 0 445649291 15512608768 12423 33554432000 4194304 4196468 140732185711536 139892705876272 139892694320501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15512608768 12423 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15149032 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15512608768 12423 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15512608768 12423 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15149032 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15512608768 12423 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445649293 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445649293 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891573748512 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445649293 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891572696176 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) R 1816 1816 24272 0 -1 4202560 366 0 0 0 4 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891569529952 139892685029392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 970 0 0 0 12 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891568487280 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15149032 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649296 15512608768 12423 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51016 KiB
[startup+0.831773 s]*
/proc/loadavg: 8.35 8.42 8.35 8/233 1832
/proc/meminfo: memFree=30827632/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15151156 memory=55104 CPUtime=0.76 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 11578 0 0 0 72 4 0 0 20 0 15 0 445649290 15514783744 13776 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3787789 13776 3393 1 0 3748889 0
[pid=1818/tid=1819] ppid=1816 vsize=15151156 memory=7022364632946311227 CPUtime=0.41 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) R 1816 1816 24272 0 -1 4202560 8240 0 0 0 38 3 0 0 20 0 15 0 445649291 15514783744 13776 33554432000 4194304 4196468 140732185711536 139892705877424 139892701664413 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15151156 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15514783744 13776 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15151156 memory=140645396553235 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15514783744 13776 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649291 15514783744 13776 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445649291 15514783744 13776 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15151156 memory=140645392995968 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445649293 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445649293 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891573748512 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445649293 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891572696176 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15151156 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) R 1816 1816 24272 0 -1 4202560 447 0 0 0 6 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891570592368 139892694627529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15151156 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) R 1816 1816 24272 0 -1 1077944384 404 0 0 0 7 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15151156 memory=140645392995968 CPUtime=0.2 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 1191 0 0 0 20 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891568487280 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445649296 15514783744 13776 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 56552 KiB
[startup+1.51961 s]
/proc/loadavg: 8.35 8.42 8.35 12/237 1920
/proc/meminfo: memFree=30697256/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15487052 memory=0 CPUtime=2.61 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 8025 0 0 0 260 1 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15487052 memory=0 CPUtime=2.91 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) S 1816 1816 24272 0 -1 1077944384 8787 0 0 0 291 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15487052 memory=5937524870553682016 CPUtime=0.89 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 5828 0 0 0 88 1 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891568487280 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15487052 memory=7518314707034925674 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15487052 memory=6370149856744937383 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1969] ppid=1816 vsize=15487052 memory=15960433040 CPUtime=5.45 cores=0,2,4,6
/proc/1818/task/1969/stat : 1969 (java) R 1816 1816 24272 0 -1 4202560 186 0 0 0 545 0 0 0 20 0 19 0 445649508 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891552143696 139892337250440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1970] ppid=1816 vsize=15487052 memory=15960433040 CPUtime=5.26 cores=0,2,4,6
/proc/1818/task/1970/stat : 1970 (java) R 1816 1816 24272 0 -1 4202560 578 0 0 0 526 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891550040456 139892340073856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1971] ppid=1816 vsize=15487052 memory=15960433040 CPUtime=5.4 cores=0,2,4,6
/proc/1818/task/1971/stat : 1971 (java) R 1816 1816 24272 0 -1 4202560 573 0 0 0 540 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891553200288 139892345315269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1972] ppid=1816 vsize=15487052 memory=16304390539 CPUtime=5.11 cores=0,2,4,6
/proc/1818/task/1972/stat : 1972 (java) R 1816 1816 24272 0 -1 4202560 234 0 0 0 511 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891555305960 139892340007799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 30.35 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 229104 KiB
[startup+9.20161 s]
/proc/loadavg: 8.60 8.47 8.37 9/237 1978
/proc/meminfo: memFree=30653216/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15487052 memory=227656 CPUtime=33.52 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 38439 0 0 0 3339 13 0 0 20 0 19 0 445649290 15858741248 56914 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3871763 56914 3521 1 0 3832863 0
[pid=1818/tid=1819] ppid=1816 vsize=15487052 memory=5450916471307728426 CPUtime=0.82 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) S 1816 1816 24272 0 -1 1077944384 9419 0 0 0 78 4 0 0 20 0 19 0 445649291 15858741248 56914 33554432000 4194304 4196468 140732185711536 139892705883264 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15487052 memory=7892391828772250251 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56914 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15487052 memory=-8540663193526752614 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56914 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15487052 memory=-7246141791682918850 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56914 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15487052 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56914 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15487052 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 19 0 445649293 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15487052 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445649293 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891573748576 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15487052 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445649293 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891572696192 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15487052 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15487052 memory=1388 CPUtime=2.61 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 8025 0 0 0 260 1 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15487052 memory=776 CPUtime=2.91 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) S 1816 1816 24272 0 -1 1077944384 8787 0 0 0 291 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15487052 memory=3992 CPUtime=0.89 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 5828 0 0 0 88 1 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891568487280 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15487052 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15487052 memory=676 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1969] ppid=1816 vsize=15487052 memory=1060 CPUtime=6.24 cores=0,2,4,6
/proc/1818/task/1969/stat : 1969 (java) R 1816 1816 24272 0 -1 4202560 187 0 0 0 624 0 0 0 20 0 19 0 445649508 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891552143632 139892342243328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1970] ppid=1816 vsize=15487052 memory=1548 CPUtime=6.04 cores=0,2,4,6
/proc/1818/task/1970/stat : 1970 (java) R 1816 1816 24272 0 -1 4202560 593 0 0 0 604 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891550040264 139892342656405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1971] ppid=1816 vsize=15487052 memory=8560 CPUtime=6.19 cores=0,2,4,6
/proc/1818/task/1971/stat : 1971 (java) R 1816 1816 24272 0 -1 4202560 580 0 0 0 619 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891553198008 139892685981363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1972] ppid=1816 vsize=15487052 memory=1668 CPUtime=5.89 cores=0,2,4,6
/proc/1818/task/1972/stat : 1972 (java) R 1816 1816 24272 0 -1 4202560 244 0 0 0 589 0 0 0 20 0 19 0 445649509 15858741248 56914 33554432000 4194304 4196468 140732185711536 139891555303768 139892340226305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 33.52 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 229104 KiB
[startup+9.40161 s]*
/proc/loadavg: 8.60 8.47 8.37 11/237 1978
/proc/meminfo: memFree=30653216/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15487052 memory=227736 CPUtime=34.34 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 40237 0 0 0 3421 13 0 0 20 0 19 0 445649290 15858741248 56934 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3871763 56934 3521 1 0 3832863 0
[pid=1818/tid=1819] ppid=1816 vsize=15487052 memory=8317482817917895235 CPUtime=0.82 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) S 1816 1816 24272 0 -1 1077944384 9419 0 0 0 78 4 0 0 20 0 19 0 445649291 15858741248 56934 33554432000 4194304 4196468 140732185711536 139892705883264 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15487052 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56934 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56934 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56934 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 19 0 445649291 15858741248 56934 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 19 0 445649293 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891574802544 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445649293 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891573748576 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445649293 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891572696192 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891571644496 139892701661083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15487052 memory=0 CPUtime=2.65 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 9282 0 0 0 264 1 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15487052 memory=0 CPUtime=2.94 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) R 1816 1816 24272 0 -1 4202560 9155 0 0 0 294 0 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891569539864 139892686768665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15487052 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 6032 0 0 0 88 1 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891568487280 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1832] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1832/stat : 1832 (java) S 1816 1816 24272 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 445649296 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891566381488 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1969] ppid=1816 vsize=15487052 memory=0 CPUtime=6.39 cores=0,2,4,6
/proc/1818/task/1969/stat : 1969 (java) R 1816 1816 24272 0 -1 4202560 206 0 0 0 639 0 0 0 20 0 19 0 445649508 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891552144264 139892341089337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1970] ppid=1816 vsize=15487052 memory=0 CPUtime=6.25 cores=0,2,4,6
/proc/1818/task/1970/stat : 1970 (java) R 1816 1816 24272 0 -1 4202560 602 0 0 0 625 0 0 0 20 0 19 0 445649509 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891550040264 139892342266071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1971] ppid=1816 vsize=15487052 memory=0 CPUtime=6.4 cores=0,2,4,6
/proc/1818/task/1971/stat : 1971 (java) R 1816 1816 24272 0 -1 4202560 593 0 0 0 640 0 0 0 20 0 19 0 445649509 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891553198880 139892343868799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1972] ppid=1816 vsize=15487052 memory=0 CPUtime=6.08 cores=0,2,4,6
/proc/1818/task/1972/stat : 1972 (java) R 1816 1816 24272 0 -1 4202560 244 0 0 0 608 0 0 0 20 0 19 0 445649509 15858741248 56934 33554432000 4194304 4196468 140732185711536 139891555302976 139892341089351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 34.34 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 229184 KiB
[startup+9.51048 s]
/proc/loadavg: 8.60 8.47 8.37 11/237 1978
/proc/meminfo: memFree=30653216/32770624 swapFree=66997372/67108860
[pid=1816] ppid=1813 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1816/stat : 1816 (xcsp3-exec) S 1813 1816 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445649290 115843072 362 33554432000 4194304 5098028 140727736361456 140727736359560 140496808751740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39378944 140727736370043 140727736370285 140727736370285 140727736373194 0
/proc/1816/statm: 28282 362 304 221 0 87 0
[pid=1818] ppid=1816 vsize=15487052 memory=227676 CPUtime=34.71 cores=0,2,4,6
/proc/1818/stat : 1818 (java) S 1816 1816 24272 0 -1 1077944320 41850 0 0 0 3458 13 0 0 20 0 14 0 445649290 15858741248 56919 33554432000 4194304 4196468 140732185711536 140732185694080 139892701642487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
/proc/1818/statm: 3871763 56919 3521 1 0 3832863 0
[pid=1818/tid=1819] ppid=1816 vsize=15487052 memory=1448 CPUtime=0.82 cores=0,2,4,6
/proc/1818/task/1819/stat : 1819 (java) S 1816 1816 24272 0 -1 1077944384 10218 0 0 0 78 4 0 0 20 0 14 0 445649291 15858741248 56919 33554432000 4194304 4196468 140732185711536 139892705885328 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1820] ppid=1816 vsize=15487052 memory=16304390539 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1820/stat : 1820 (java) S 1816 1816 24272 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 14 0 445649291 15858741248 56919 33554432000 4194304 4196468 140732185711536 139892658195344 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1821] ppid=1816 vsize=15487052 memory=228180 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1821/stat : 1821 (java) S 1816 1816 24272 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 14 0 445649291 15858741248 56919 33554432000 4194304 4196468 140732185711536 139892657142544 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1822] ppid=1816 vsize=15487052 memory=227668 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1822/stat : 1822 (java) S 1816 1816 24272 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 14 0 445649291 15858741248 56919 33554432000 4194304 4196468 140732185711536 139892656090256 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1823] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1823/stat : 1823 (java) S 1816 1816 24272 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 14 0 445649291 15858741248 56919 33554432000 4194304 4196468 140732185711536 139892291197968 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1824] ppid=1816 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1818/task/1824/stat : 1824 (java) S 1816 1816 24272 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 14 0 445649293 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891574802752 139892701653634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1825] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1825/stat : 1825 (java) S 1816 1816 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 14 0 445649293 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891573748576 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1826] ppid=1816 vsize=15487052 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1826/stat : 1826 (java) S 1816 1816 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 14 0 445649293 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891572696192 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1827] ppid=1816 vsize=15487052 memory=629172 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1827/stat : 1827 (java) S 1816 1816 24272 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 14 0 445649296 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891571644144 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1828] ppid=1816 vsize=15487052 memory=3768 CPUtime=2.65 cores=0,2,4,6
/proc/1818/task/1828/stat : 1828 (java) S 1816 1816 24272 0 -1 1077944384 9283 0 0 0 264 1 0 0 20 0 14 0 445649296 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891570592368 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1829] ppid=1816 vsize=15487052 memory=1412 CPUtime=2.95 cores=0,2,4,6
/proc/1818/task/1829/stat : 1829 (java) S 1816 1816 24272 0 -1 1077944384 9267 0 0 0 295 0 0 0 20 0 14 0 445649296 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891569539568 139892701653634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1830] ppid=1816 vsize=15487052 memory=932 CPUtime=0.9 cores=0,2,4,6
/proc/1818/task/1830/stat : 1830 (java) S 1816 1816 24272 0 -1 1077944384 6106 0 0 0 89 1 0 0 20 0 14 0 445649296 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891568483152 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
[pid=1818/tid=1831] ppid=1816 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1818/task/1831/stat : 1831 (java) S 1816 1816 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 445649296 15858741248 56919 33554432000 4194304 4196468 140732185711536 139891567434720 139892701652693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140732185719791 140732185719962 140732185719962 140732185722831 0
Current children cumulated CPU time: 34.71 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 229124 KiB
Child status: 0
Real time (s): 9.51957
CPU time (s): 34.7226
CPU user time (s): 34.5845
CPU system time (s): 0.138068
CPU usage (%): 364.749
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 229628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5845
system time used= 0.138068
maximum resident set size= 228184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42465
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= 3976
involuntary context switches= 1272
# summary of solver processes directly reported to runsolver:
# pid: 1816
# total CPU time (s): 34.7226
# total CPU user time (s): 34.5845
# total CPU system time (s): 0.138068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090857 second user time and 0.134311 second system time
The end