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 (15246 MiB free)
memory of node 1: 16384 MiB (13475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399227-1568685414/watcher-4399227-1568685414 -o /tmp/evaluation-result-4399227-1568685414/solver-4399227-1568685414 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1752591028 HOME/instance-4399227-1568685414.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=19902, runsolver pid=19899
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 8.39 8.74 8.71 7/234 19920
/proc/meminfo: memFree=29390644/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15144776 memory=31804 CPUtime=0.13 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 5905 0 0 0 12 1 0 0 20 0 15 0 444794422 15508250624 7951 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3786194 7951 3122 1 0 3748377 0
[pid=19904/tid=19905] ppid=19902 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) R 19902 19902 14983 0 -1 4202560 3815 0 0 0 8 0 0 0 20 0 15 0 444794422 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169549432128 140169545221277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444794424 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444794425 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169080009760 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444794425 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) S 19902 19902 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140168413567728 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0.02 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) S 19902 19902 14983 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140168412514928 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 7951 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33252 KiB
[startup+0.210727 s]*
/proc/loadavg: 8.12 8.68 8.69 6/234 19920
/proc/meminfo: memFree=29378400/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15144776 memory=42948 CPUtime=0.34 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 9443 0 0 0 32 2 0 0 20 0 15 0 444794422 15508250624 10737 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3786194 10737 3299 1 0 3748377 0
[pid=19904/tid=19905] ppid=19902 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) R 19902 19902 14983 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 15 0 444794422 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169549429072 140169529279838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15144776 memory=140276677961832 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444794423 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444794424 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444794425 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169080009760 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444794425 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) S 19902 19902 14983 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140168413567728 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15144776 memory=140276674410112 CPUtime=0.08 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) R 19902 19902 14983 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140168412514928 140169529361765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794428 15508250624 10737 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44396 KiB
[startup+0.312945 s]*
/proc/loadavg: 8.12 8.68 8.69 7/234 19920
/proc/meminfo: memFree=29371612/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15149032 memory=52028 CPUtime=0.54 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 10816 0 0 0 51 3 0 0 20 0 15 0 444794422 15512608768 13007 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3787258 13007 3367 1 0 3748377 0
[pid=19904/tid=19905] ppid=19902 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) R 19902 19902 14983 0 -1 4202560 7806 0 0 0 28 2 0 0 20 0 15 0 444794422 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169549434928 140169529279838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15149032 memory=3570640 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794423 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444794423 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444794424 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444794425 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169080009760 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444794425 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 407 0 0 0 5 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) R 19902 19902 14983 0 -1 4202560 457 0 0 0 4 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140168413558112 140169526743902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) S 19902 19902 14983 0 -1 1077944384 863 0 0 0 13 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140168412514928 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444794428 15512608768 13007 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53476 KiB
[startup+0.700734 s]
/proc/loadavg: 8.12 8.68 8.69 8/234 19920
/proc/meminfo: memFree=29359236/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15417412 memory=124052 CPUtime=1.53 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 14328 0 0 0 148 5 0 0 20 0 18 0 444794422 15787429888 31013 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3854353 31013 3456 1 0 3815453 0
[pid=19904/tid=19905] ppid=19902 vsize=15417412 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) S 19902 19902 14983 0 -1 1077944384 9215 0 0 0 59 3 0 0 20 0 18 0 444794422 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169549440128 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 444794423 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 444794423 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 444794423 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15417412 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 444794423 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15417412 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 444794424 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 444794425 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169080009760 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 444794425 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15417412 memory=1764 CPUtime=0.18 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) R 19902 19902 14983 0 -1 4202560 817 0 0 0 18 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140168414608080 140169524492785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15417412 memory=111628 CPUtime=0.18 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) R 19902 19902 14983 0 -1 4202560 752 0 0 0 18 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140168413567728 140169522926624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15417412 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) R 19902 19902 14983 0 -1 4202560 1704 0 0 0 42 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140168412511864 140169524167483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15417412 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 444794428 15787429888 31013 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 125500 KiB
[startup+1.50488 s]
/proc/loadavg: 8.12 8.68 8.69 12/238 19960
/proc/meminfo: memFree=29240776/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 51428 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19965] ppid=19902 vsize=15487052 memory=1668 CPUtime=0.88 cores=0,2,4,6
/proc/19904/task/19965/stat : 19965 (java) R 19902 19902 14983 0 -1 4202560 17 0 0 0 88 0 0 0 20 0 19 0 444794651 15858741248 51428 33554432000 4194304 4196468 140735644709296 140168091380800 140169165059534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19966] ppid=19902 vsize=15487052 memory=1112 CPUtime=0.94 cores=0,2,4,6
/proc/19904/task/19966/stat : 19966 (java) R 19902 19902 14983 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 19 0 444794651 15858741248 51428 33554432000 4194304 4196468 140735644709296 140168093487032 140169164932672 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19967] ppid=19902 vsize=15487052 memory=1004 CPUtime=0.87 cores=0,2,4,6
/proc/19904/task/19967/stat : 19967 (java) R 19902 19902 14983 0 -1 4202560 17 0 0 0 87 0 0 0 20 0 19 0 444794651 15858741248 51428 33554432000 4194304 4196468 140735644709296 140168092434520 140169164713804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19968] ppid=19902 vsize=15487052 memory=6036 CPUtime=0.84 cores=0,2,4,6
/proc/19904/task/19968/stat : 19968 (java) R 19902 19902 14983 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 19 0 444794651 15858741248 51428 33554432000 4194304 4196468 140735644709296 140168089278040 140169165507472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 11.81 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 207160 KiB
[startup+4.90988 s]
/proc/loadavg: 8.12 8.68 8.69 9/238 19968
/proc/meminfo: memFree=29215416/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15487052 memory=210480 CPUtime=18.2 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 20386 0 0 0 1809 11 0 0 20 0 19 0 444794422 15858741248 52620 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3871763 52620 3523 1 0 3832863 0
[pid=19904/tid=19905] ppid=19902 vsize=15487052 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) S 19902 19902 14983 0 -1 1077944384 9218 0 0 0 59 3 0 0 20 0 19 0 444794422 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169549440128 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 444794423 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15487052 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15487052 memory=5937830517924915264 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15487052 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444794423 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15487052 memory=5102421148824 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 444794424 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15487052 memory=9353 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169080009824 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15487052 memory=3331765 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15487052 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 2149 0 0 0 140 1 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15487052 memory=140276674424785 CPUtime=1.35 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) S 19902 19902 14983 0 -1 1077944384 3325 0 0 0 135 0 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168413567728 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15487052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) S 19902 19902 14983 0 -1 1077944384 2446 0 0 0 67 0 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168412514928 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19965] ppid=19902 vsize=15487052 memory=7734744765792084309 CPUtime=2.45 cores=0,2,4,6
/proc/19904/task/19965/stat : 19965 (java) R 19902 19902 14983 0 -1 4202560 46 0 0 0 245 0 0 0 20 0 19 0 444794651 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168091381424 140169165680514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19966] ppid=19902 vsize=15487052 memory=7597685182856913236 CPUtime=2.51 cores=0,2,4,6
/proc/19904/task/19966/stat : 19966 (java) R 19902 19902 14983 0 -1 4202560 143 0 0 0 251 0 0 0 20 0 19 0 444794651 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168093489496 140169166144461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19967] ppid=19902 vsize=15487052 memory=288230574492221466 CPUtime=2.42 cores=0,2,4,6
/proc/19904/task/19967/stat : 19967 (java) R 19902 19902 14983 0 -1 4202560 107 0 0 0 242 0 0 0 20 0 19 0 444794651 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168092433408 140169161315256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19968] ppid=19902 vsize=15487052 memory=316941043675431227 CPUtime=2.39 cores=0,2,4,6
/proc/19904/task/19968/stat : 19968 (java) R 19902 19902 14983 0 -1 4202560 116 0 0 0 239 0 0 0 20 0 19 0 444794651 15858741248 52620 33554432000 4194304 4196468 140735644709296 140168089276984 140169165075124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 18.2 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 211928 KiB
[startup+5.70088 s]
/proc/loadavg: 8.12 8.68 8.69 9/237 19968
/proc/meminfo: memFree=29213500/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15487052 memory=212172 CPUtime=21.34 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 22613 0 0 0 2122 12 0 0 20 0 19 0 444794422 15858741248 53043 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3871763 53043 3528 1 0 3832863 0
[pid=19904/tid=19905] ppid=19902 vsize=15487052 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) S 19902 19902 14983 0 -1 1077944384 9218 0 0 0 59 3 0 0 20 0 19 0 444794422 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169549440128 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15487052 memory=48040 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15487052 memory=3028 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15487052 memory=2012 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15487052 memory=1388 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15487052 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 19 0 444794424 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15487052 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169080009824 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15487052 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15487052 memory=676 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15487052 memory=1448 CPUtime=1.41 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 2150 0 0 0 140 1 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15487052 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) S 19902 19902 14983 0 -1 1077944384 3479 0 0 0 136 0 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168413567728 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15487052 memory=205564 CPUtime=0.67 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) S 19902 19902 14983 0 -1 1077944384 2665 0 0 0 67 0 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168412514928 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15487052 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15487052 memory=6935649255759570514 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19965] ppid=19902 vsize=15487052 memory=280553035760576 CPUtime=3.23 cores=0,2,4,6
/proc/19904/task/19965/stat : 19965 (java) R 19902 19902 14983 0 -1 4202560 110 0 0 0 323 0 0 0 20 0 19 0 444794651 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168091381424 140169165541003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19966] ppid=19902 vsize=15487052 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/19904/task/19966/stat : 19966 (java) R 19902 19902 14983 0 -1 4202560 231 0 0 0 329 0 0 0 20 0 19 0 444794651 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168093487928 140169166614915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19967] ppid=19902 vsize=15487052 memory=0 CPUtime=3.19 cores=0,2,4,6
/proc/19904/task/19967/stat : 19967 (java) R 19902 19902 14983 0 -1 4202560 258 0 0 0 319 0 0 0 20 0 19 0 444794651 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168092434480 140169165538448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19968] ppid=19902 vsize=15487052 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/19904/task/19968/stat : 19968 (java) R 19902 19902 14983 0 -1 4202560 239 0 0 0 316 0 0 0 20 0 19 0 444794651 15858741248 53043 33554432000 4194304 4196468 140735644709296 140168089278336 140169165732322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 21.34 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 213620 KiB
[startup+6.10088 s]*
/proc/loadavg: 8.11 8.67 8.68 10/237 19968
/proc/meminfo: memFree=29210312/32770624 swapFree=66997372/67108860
[pid=19902] ppid=19899 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19902/stat : 19902 (xcsp3-exec) S 19899 19902 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444794422 115843072 362 33554432000 4194304 5098028 140735300455184 140735300453288 140358398444156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16793600 140735300457338 140735300457581 140735300457581 140735300460490 0
/proc/19902/statm: 28282 362 304 221 0 87 0
[pid=19904] ppid=19902 vsize=15487052 memory=212196 CPUtime=22.96 cores=0,2,4,6
/proc/19904/stat : 19904 (java) S 19902 19902 14983 0 -1 1077944320 23421 0 0 0 2284 12 0 0 20 0 19 0 444794422 15858741248 53049 33554432000 4194304 4196468 140735644709296 140735644691840 140169545199351 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
/proc/19904/statm: 3871763 53049 3528 1 0 3832863 0
[pid=19904/tid=19905] ppid=19902 vsize=15487052 memory=8389772277269004345 CPUtime=0.62 cores=0,2,4,6
/proc/19904/task/19905/stat : 19905 (java) S 19902 19902 14983 0 -1 1077944384 9218 0 0 0 59 3 0 0 20 0 19 0 444794422 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169549440128 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19906] ppid=19902 vsize=15487052 memory=288286675405382565 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19906/stat : 19906 (java) S 19902 19902 14983 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169481436304 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19907] ppid=19902 vsize=15487052 memory=3571882 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19907/stat : 19907 (java) S 19902 19902 14983 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169480383504 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19908] ppid=19902 vsize=15487052 memory=6655300316396806240 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19908/stat : 19908 (java) S 19902 19902 14983 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169135578000 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19909] ppid=19902 vsize=15487052 memory=3472328296227680303 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19909/stat : 19909 (java) S 19902 19902 14983 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 19 0 444794423 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169134525200 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19910] ppid=19902 vsize=15487052 memory=6944656592455097392 CPUtime=0.01 cores=0,2,4,6
/proc/19904/task/19910/stat : 19910 (java) S 19902 19902 14983 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 19 0 444794424 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169081063792 140169545210498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19911] ppid=19902 vsize=15487052 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19911/stat : 19911 (java) S 19902 19902 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169080009824 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19912] ppid=19902 vsize=15487052 memory=3472464174855579312 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19912/stat : 19912 (java) S 19902 19902 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444794425 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169078956912 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19915] ppid=19902 vsize=15487052 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19915/stat : 19915 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140169077905232 140169545217947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19916] ppid=19902 vsize=15487052 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/19904/task/19916/stat : 19916 (java) S 19902 19902 14983 0 -1 1077944384 2502 0 0 0 142 1 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168414620528 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19917] ppid=19902 vsize=15487052 memory=7596551556270878571 CPUtime=1.39 cores=0,2,4,6
/proc/19904/task/19917/stat : 19917 (java) S 19902 19902 14983 0 -1 1077944384 3886 0 0 0 139 0 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168413567728 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19918] ppid=19902 vsize=15487052 memory=-3621219749712857441 CPUtime=0.67 cores=0,2,4,6
/proc/19904/task/19918/stat : 19918 (java) S 19902 19902 14983 0 -1 1077944384 2665 0 0 0 67 0 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168412514928 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19919] ppid=19902 vsize=15487052 memory=-4546129931942301828 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19919/stat : 19919 (java) S 19902 19902 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168411462368 140169545209557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19920] ppid=19902 vsize=15487052 memory=-3252517613199061085 CPUtime=0 cores=0,2,4,6
/proc/19904/task/19920/stat : 19920 (java) S 19902 19902 14983 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 19 0 444794428 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168410409648 140169545210498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19965] ppid=19902 vsize=15487052 memory=-1 CPUtime=3.61 cores=0,2,4,6
/proc/19904/task/19965/stat : 19965 (java) R 19902 19902 14983 0 -1 4202560 113 0 0 0 361 0 0 0 20 0 19 0 444794651 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168091381560 140169165058880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19966] ppid=19902 vsize=15487052 memory=0 CPUtime=3.69 cores=0,2,4,6
/proc/19904/task/19966/stat : 19966 (java) R 19902 19902 14983 0 -1 4202560 236 0 0 0 369 0 0 0 20 0 19 0 444794651 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168093487928 140169163700881 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19967] ppid=19902 vsize=15487052 memory=0 CPUtime=3.6 cores=0,2,4,6
/proc/19904/task/19967/stat : 19967 (java) R 19902 19902 14983 0 -1 4202560 271 0 0 0 360 0 0 0 20 0 19 0 444794651 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168092435352 140169167238905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
[pid=19904/tid=19968] ppid=19902 vsize=15487052 memory=0 CPUtime=3.55 cores=0,2,4,6
/proc/19904/task/19968/stat : 19968 (java) R 19902 19902 14983 0 -1 4202560 267 0 0 0 355 0 0 0 20 0 19 0 444794651 15858741248 53049 33554432000 4194304 4196468 140735644709296 140168089276200 140169161314676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24768512 140735644718063 140735644718234 140735644718234 140735644721103 0
Current children cumulated CPU time: 22.96 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 213644 KiB
Child status: 0
Real time (s): 6.12041
CPU time (s): 22.9924
CPU user time (s): 22.8633
CPU system time (s): 0.129101
CPU usage (%): 375.668
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 213644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8633
system time used= 0.129101
maximum resident set size= 214736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24625
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= 2921
involuntary context switches= 821
# summary of solver processes directly reported to runsolver:
# pid: 19902
# total CPU time (s): 22.9924
# total CPU user time (s): 22.8633
# total CPU system time (s): 0.129101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046722 second user time and 0.127871 second system time
The end