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 (13707 MiB free)
memory of node 1: 16384 MiB (14092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399160-1568699920/watcher-4399160-1568699920 -o /tmp/evaluation-result-4399160-1568699920/solver-4399160-1568699920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568699879-31726 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 725830680 HOME/instance-4399160-1568699920.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=31765, runsolver pid=31762
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 1.03 1.09 1.92 4/229 31787
/proc/meminfo: memFree=28441240/32770624 swapFree=66959728/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31695 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445932127 115843072 362 33554432000 4194304 5098028 140730280487792 140730280485896 140619526492796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13733888 140730280493947 140730280494189 140730280494189 140730280497098 0
/proc/31765/statm: 28282 362 304 221 0 87 0
[pid=31767] ppid=31765 vsize=15144776 memory=29392 CPUtime=0.12 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31765 31765 31695 0 -1 1077944320 5810 0 0 0 11 1 0 0 20 0 15 0 445932127 15508250624 7348 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3786194 7348 3122 1 0 3748377 0
[pid=31767/tid=31768] ppid=31765 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) R 31765 31765 31695 0 -1 4202560 3742 0 0 0 8 1 0 0 20 0 15 0 445932127 15508250624 7348 33554432000 4194304 4196468 140725101498960 140163226563728 140162852074881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 7348 33554432000 4194304 4196468 140725101498960 140163174959376 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 7348 33554432000 4194304 4196468 140725101498960 140163173906832 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 7348 33554432000 4194304 4196468 140725101498960 140163172854288 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) S 31765 31765 31695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 7348 33554432000 4194304 4196468 140725101498960 140163171801744 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31765 31765 31695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162690914800 140163222350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31765 31765 31695 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162689861024 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31765 31765 31695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162688808432 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162687757008 140163222357915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) R 31765 31765 31695 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162686703600 140163207757264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) R 31765 31765 31695 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0.02 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) R 31765 31765 31695 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162684598512 140163201142624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 7348 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30840 KiB
[startup+0.212661 s]*
/proc/loadavg: 1.03 1.09 1.92 4/229 31787
/proc/meminfo: memFree=28415668/32770624 swapFree=66959728/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31695 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445932127 115843072 362 33554432000 4194304 5098028 140730280487792 140730280485896 140619526492796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13733888 140730280493947 140730280494189 140730280494189 140730280497098 0
/proc/31765/statm: 28282 362 304 221 0 87 0
[pid=31767] ppid=31765 vsize=15144776 memory=40108 CPUtime=0.34 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31765 31765 31695 0 -1 1077944320 9292 0 0 0 31 3 0 0 20 0 15 0 445932127 15508250624 10027 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3786194 10027 3275 1 0 3748377 0
[pid=31767/tid=31768] ppid=31765 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) R 31765 31765 31695 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 15 0 445932127 15508250624 10027 33554432000 4194304 4196468 140725101498960 140163226576016 140163215017333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31765 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 10027 33554432000 4194304 4196468 140725101498960 140163174959376 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31765 vsize=15144776 memory=140369273587296 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 10027 33554432000 4194304 4196468 140725101498960 140163173906832 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 10027 33554432000 4194304 4196468 140725101498960 140163172854288 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) S 31765 31765 31695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445932128 15508250624 10027 33554432000 4194304 4196468 140725101498960 140163171801744 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31765 31765 31695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162690914800 140163222350466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31765 31765 31695 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162689861024 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31765 31765 31695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445932130 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162688808432 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162687757008 140163222357915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31765 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31765 31765 31695 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31765 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31765 31765 31695 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31765 vsize=15144776 memory=140369271621248 CPUtime=0.08 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) R 31765 31765 31695 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162684598512 140163206419806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31765 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31765 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932133 15508250624 10027 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41556 KiB
[startup+0.311599 s]*
/proc/loadavg: 1.03 1.09 1.92 7/229 31787
/proc/meminfo: memFree=28402832/32770624 swapFree=66959728/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31695 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445932127 115843072 362 33554432000 4194304 5098028 140730280487792 140730280485896 140619526492796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13733888 140730280493947 140730280494189 140730280494189 140730280497098 0
/proc/31765/statm: 28282 362 304 221 0 87 0
[pid=31767] ppid=31765 vsize=15149032 memory=50108 CPUtime=0.53 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31765 31765 31695 0 -1 1077944320 10774 0 0 0 49 4 0 0 20 0 15 0 445932127 15512608768 12527 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787258 12527 3377 1 0 3748377 0
[pid=31767/tid=31768] ppid=31765 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) R 31765 31765 31695 0 -1 4202560 7740 0 0 0 27 3 0 0 20 0 15 0 445932127 15512608768 12527 33554432000 4194304 4196468 140725101498960 140163226570432 140163206419806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31765 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15512608768 12527 33554432000 4194304 4196468 140725101498960 140163174959376 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31765 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15512608768 12527 33554432000 4194304 4196468 140725101498960 140163173906832 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31765 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15512608768 12527 33554432000 4194304 4196468 140725101498960 140163172854288 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31765 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) S 31765 31765 31695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445932128 15512608768 12527 33554432000 4194304 4196468 140725101498960 140163171801744 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31765 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31765 31765 31695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445932130 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162690914800 140163222350466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31765 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31765 31765 31695 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445932130 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162689861024 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31765 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31765 31765 31695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445932130 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162688808432 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31765 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162687757008 140163222357915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31765 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) R 31765 31765 31695 0 -1 4202560 529 0 0 0 4 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162686693984 140163205724188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31765 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31765 31765 31695 0 -1 1077944384 267 0 0 0 4 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31765 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) R 31765 31765 31695 0 -1 1077944384 936 0 0 0 12 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162684594272 140163222349525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31765 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31765 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932133 15512608768 12527 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51556 KiB
[startup+0.700948 s]
/proc/loadavg: 1.43 1.17 1.94 8/229 31787
/proc/meminfo: memFree=28366764/32770624 swapFree=66959728/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31695 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445932127 115843072 362 33554432000 4194304 5098028 140730280487792 140730280485896 140619526492796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13733888 140730280493947 140730280494189 140730280494189 140730280497098 0
/proc/31765/statm: 28282 362 304 221 0 87 0
[pid=31767] ppid=31765 vsize=15151156 memory=130268 CPUtime=1.25 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31765 31765 31695 0 -1 1077944320 12914 0 0 0 118 7 0 0 20 0 15 0 445932127 15514783744 32567 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787789 32567 3432 1 0 3748889 0
[pid=31767/tid=31768] ppid=31765 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) R 31765 31765 31695 0 -1 4202560 9074 0 0 0 62 5 0 0 20 0 15 0 445932127 15514783744 32567 33554432000 4194304 4196468 140725101498960 140163226575048 140162855299908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31765 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15514783744 32567 33554432000 4194304 4196468 140725101498960 140163174959376 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31765 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15514783744 32567 33554432000 4194304 4196468 140725101498960 140163173906832 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31765 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932128 15514783744 32567 33554432000 4194304 4196468 140725101498960 140163172854288 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31765 vsize=15151156 memory=48388 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) S 31765 31765 31695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445932128 15514783744 32567 33554432000 4194304 4196468 140725101498960 140163171801744 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31765 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31765 31765 31695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162690914800 140163222350466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31765 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31765 31765 31695 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162689861024 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31765 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31765 31765 31695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162688808432 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31765 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162687757008 140163222357915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31765 vsize=15151156 memory=1720 CPUtime=0.15 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31765 31765 31695 0 -1 1077944384 732 0 0 0 15 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31765 vsize=15151156 memory=10604 CPUtime=0.14 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31765 31765 31695 0 -1 1077944384 499 0 0 0 14 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31765 vsize=15151156 memory=4160 CPUtime=0.26 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) S 31765 31765 31695 0 -1 1077944384 1302 0 0 0 26 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162684598512 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31765 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31765 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31765 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31765 31765 31695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 32567 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131716 KiB
[startup+1.50096 s]
/proc/loadavg: 1.43 1.17 1.94 7/229 31787
/proc/meminfo: memFree=28069136/32770624 swapFree=66959728/67108860
[pid=31765] ppid=31762 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31765/stat : 31765 (xcsp3-exec) S 31762 31765 31695 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445932127 115843072 362 33554432000 4194304 5098028 140730280487792 140730280485896 140619526492796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13733888 140730280493947 140730280494189 140730280494189 140730280497098 0
/proc/31765/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 2522.07 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 11817756 KiB
[startup+704.801 s]
/proc/loadavg: 5.43 6.73 4.94 6/206 31944
/proc/meminfo: memFree=16678556/32770624 swapFree=66959728/67108860
[pid=31767] ppid=31762 vsize=15151156 memory=11817756 CPUtime=2524.89 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31762 31765 31695 0 -1 1077944320 321103 0 0 0 251423 1066 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787789 2954439 3501 1 0 3748889 0
[pid=31767/tid=31768] ppid=31762 vsize=15151156 memory=11817756 CPUtime=35.21 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) S 31762 31765 31695 0 -1 1077944384 16528 0 0 0 3507 14 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163226577712 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31762 vsize=15151156 memory=11817756 CPUtime=606.47 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) S 31762 31765 31695 0 -1 1077944384 33133 0 0 0 60353 294 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163174959376 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31762 vsize=15151156 memory=14048 CPUtime=607.8 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) S 31762 31765 31695 0 -1 1077944384 39200 0 0 0 60546 234 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163173906832 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31762 vsize=15151156 memory=6791534058613427641 CPUtime=608.05 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) S 31762 31765 31695 0 -1 1077944384 41677 0 0 0 60537 268 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163172854288 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31762 vsize=15151156 memory=1660 CPUtime=607.46 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) S 31762 31765 31695 0 -1 1077944384 34916 0 0 0 60505 241 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163171801744 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31762 vsize=15151156 memory=48440 CPUtime=58.46 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) R 31762 31765 31695 0 -1 4202560 145637 0 0 0 5838 8 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162690913232 140163207335723 0 0 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31762 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31762 31765 31695 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162689861088 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31762 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31762 31765 31695 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162688808448 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31762 vsize=15151156 memory=25884 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31762 31765 31695 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162687756656 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31762 vsize=15151156 memory=14048 CPUtime=0.29 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31762 31765 31695 0 -1 1077944384 1904 0 0 0 29 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 68 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31762 vsize=15151156 memory=2124 CPUtime=0.33 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31762 31765 31695 0 -1 1077944384 2198 0 0 0 33 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162685650816 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31762 vsize=15151156 memory=500 CPUtime=0.41 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) S 31762 31765 31695 0 -1 1077944384 4116 0 0 0 40 1 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162684598512 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31762 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31762 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31762 vsize=15151156 memory=928 CPUtime=0.3 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31762 31765 31695 0 -1 1077944384 479 0 0 0 18 12 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 81 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current cumulated CPU time of completed processes: 0.0023 s
Current children cumulated CPU time: 2524.89 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 11817756 KiB
[startup+705.201 s]
/proc/loadavg: 5.43 6.73 4.94 5/206 31944
/proc/meminfo: memFree=16678584/32770624 swapFree=66959728/67108860
[pid=31767] ppid=31762 vsize=15151156 memory=11817756 CPUtime=2526.3 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31762 31765 31695 0 -1 1077944320 321134 0 0 0 251564 1066 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787789 2954439 3501 1 0 3748889 0
[pid=31767/tid=31768] ppid=31762 vsize=15151156 memory=6791534058613427641 CPUtime=35.21 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) S 31762 31765 31695 0 -1 1077944384 16528 0 0 0 3507 14 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163226577712 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31762 vsize=15151156 memory=1448 CPUtime=606.81 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) R 31762 31765 31695 0 -1 4202560 33133 0 0 0 60387 294 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163174959376 140163207292871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31762 vsize=15151156 memory=6791534058613427641 CPUtime=608.13 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) R 31762 31765 31695 0 -1 4202560 39201 0 0 0 60579 234 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163173907032 140163207289924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31762 vsize=15151156 memory=111636 CPUtime=608.39 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) R 31762 31765 31695 0 -1 4202560 41681 0 0 0 60571 268 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163172854488 140163207036958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31762 vsize=15151156 memory=800 CPUtime=607.8 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) R 31762 31765 31695 0 -1 4202560 34917 0 0 0 60539 241 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163171801944 140163207036958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31762 vsize=15151156 memory=4104 CPUtime=58.52 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31762 31765 31695 0 -1 1077944384 145637 0 0 0 5844 8 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162690913120 140163222349525 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31762 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31762 31765 31695 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162689861088 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31762 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31762 31765 31695 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162688808448 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31762 vsize=15151156 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31762 31765 31695 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162687754912 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31762 vsize=15151156 memory=2300 CPUtime=0.29 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31762 31765 31695 0 -1 1077944384 1904 0 0 0 29 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 68 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31762 vsize=15151156 memory=1412 CPUtime=0.33 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31762 31765 31695 0 -1 1077944384 2198 0 0 0 33 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31762 vsize=15151156 memory=3192 CPUtime=0.41 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) S 31762 31765 31695 0 -1 1077944384 4116 0 0 0 40 1 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162684598512 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31762 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31762 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31762 vsize=15151156 memory=288230583166042426 CPUtime=0.3 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31762 31765 31695 0 -1 1077944384 479 0 0 0 18 12 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 81 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current cumulated CPU time of completed processes: 0.0023 s
Current children cumulated CPU time: 2526.3 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 11817756 KiB
[startup+705.401 s]
/proc/loadavg: 5.43 6.73 4.94 5/206 31944
/proc/meminfo: memFree=16678584/32770624 swapFree=66959728/67108860
[pid=31767] ppid=31762 vsize=15151156 memory=11817756 CPUtime=2527.1 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31762 31765 31695 0 -1 1077944320 321134 0 0 0 251644 1066 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787789 2954439 3501 1 0 3748889 0
[pid=31767/tid=31768] ppid=31762 vsize=15151156 memory=290763857956438330 CPUtime=35.21 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) S 31762 31765 31695 0 -1 1077944384 16528 0 0 0 3507 14 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163226577712 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31762 vsize=15151156 memory=15261432686053804 CPUtime=607.01 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) R 31762 31765 31695 0 -1 4202560 33133 0 0 0 60407 294 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163174959376 140163207324603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31762 vsize=15151156 memory=11817748 CPUtime=608.33 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) R 31762 31765 31695 0 -1 4202560 39201 0 0 0 60599 234 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163173907032 140163207290328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31762 vsize=15151156 memory=4160 CPUtime=608.59 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) R 31762 31765 31695 0 -1 4202560 41681 0 0 0 60591 268 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163172854488 140163207290558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31762 vsize=15151156 memory=776 CPUtime=608 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) R 31762 31765 31695 0 -1 4202560 34917 0 0 0 60559 241 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163171801944 140163207289924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31762 vsize=15151156 memory=1564 CPUtime=58.52 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31762 31765 31695 0 -1 1077944384 145637 0 0 0 5844 8 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162690913120 140163222349525 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31762 vsize=15151156 memory=6060 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31762 31765 31695 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162689861088 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31762 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31762 31765 31695 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162688808448 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31762 31765 31695 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162687754912 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31762 vsize=15151156 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31762 31765 31695 0 -1 1077944384 1904 0 0 0 29 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 68 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31762 vsize=15151156 memory=4126316290023845779 CPUtime=0.33 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31762 31765 31695 0 -1 1077944384 2198 0 0 0 33 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31762 vsize=15151156 memory=800 CPUtime=0.41 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) S 31762 31765 31695 0 -1 1077944384 4116 0 0 0 40 1 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162684598512 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31762 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31762 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31762 vsize=15151156 memory=15261432686053804 CPUtime=0.3 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31762 31765 31695 0 -1 1077944384 479 0 0 0 18 12 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 81 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current cumulated CPU time of completed processes: 0.0023 s
Current children cumulated CPU time: 2527.1 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 11817756 KiB
[startup+705.501 s]
/proc/loadavg: 5.43 6.73 4.94 5/206 31944
/proc/meminfo: memFree=16678584/32770624 swapFree=66959728/67108860
[pid=31767] ppid=31762 vsize=15151156 memory=11817756 CPUtime=2527.5 cores=0,2,4,6
/proc/31767/stat : 31767 (java) S 31762 31765 31695 0 -1 1077944320 321149 0 0 0 251684 1066 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140725101481504 140163222339319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
/proc/31767/statm: 3787789 2954439 3501 1 0 3748889 0
[pid=31767/tid=31768] ppid=31762 vsize=15151156 memory=11817756 CPUtime=35.21 cores=0,2,4,6
/proc/31767/task/31768/stat : 31768 (java) S 31762 31765 31695 0 -1 1077944384 16528 0 0 0 3507 14 0 0 20 0 15 0 445932127 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163226577712 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31769] ppid=31762 vsize=15151156 memory=11817756 CPUtime=607.11 cores=0,2,4,6
/proc/31767/task/31769/stat : 31769 (java) R 31762 31765 31695 0 -1 4202560 33143 0 0 0 60417 294 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163174959376 140163207037071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31770] ppid=31762 vsize=15151156 memory=11817756 CPUtime=608.43 cores=0,2,4,6
/proc/31767/task/31770/stat : 31770 (java) R 31762 31765 31695 0 -1 4202560 39206 0 0 0 60609 234 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163173907032 140163207037094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31771] ppid=31762 vsize=15151156 memory=11817756 CPUtime=608.69 cores=0,2,4,6
/proc/31767/task/31771/stat : 31771 (java) R 31762 31765 31695 0 -1 4202560 41681 0 0 0 60601 268 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163172854488 140163207291856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31772] ppid=31762 vsize=15151156 memory=11817736 CPUtime=608.1 cores=0,2,4,6
/proc/31767/task/31772/stat : 31772 (java) R 31762 31765 31695 0 -1 4202560 34917 0 0 0 60569 241 0 0 20 0 15 0 445932128 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140163171801944 140163207289939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31779] ppid=31762 vsize=15151156 memory=11817748 CPUtime=58.52 cores=0,2,4,6
/proc/31767/task/31779/stat : 31779 (java) S 31762 31765 31695 0 -1 1077944384 145637 0 0 0 5844 8 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162690913120 140163222349525 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31780] ppid=31762 vsize=15151156 memory=11817748 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31780/stat : 31780 (java) S 31762 31765 31695 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162689861088 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31781] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31781/stat : 31781 (java) S 31762 31765 31695 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445932130 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162688808448 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31782] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31782/stat : 31782 (java) S 31762 31765 31695 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162687754912 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31783] ppid=31762 vsize=15151156 memory=1448 CPUtime=0.29 cores=0,2,4,6
/proc/31767/task/31783/stat : 31783 (java) S 31762 31765 31695 0 -1 1077944384 1904 0 0 0 29 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162686703600 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 68 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31784] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0.33 cores=0,2,4,6
/proc/31767/task/31784/stat : 31784 (java) S 31762 31765 31695 0 -1 1077944384 2198 0 0 0 33 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162685651056 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31785] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0.41 cores=0,2,4,6
/proc/31767/task/31785/stat : 31785 (java) S 31762 31765 31695 0 -1 1077944384 4116 0 0 0 40 1 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162684598512 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31786] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0 cores=0,2,4,6
/proc/31767/task/31786/stat : 31786 (java) S 31762 31765 31695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162683546208 140163222349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
[pid=31767/tid=31787] ppid=31762 vsize=15151156 memory=11817756 CPUtime=0.3 cores=0,2,4,6
/proc/31767/task/31787/stat : 31787 (java) S 31762 31765 31695 0 -1 1077944384 479 0 0 0 18 12 0 0 20 0 15 0 445932133 15514783744 2954439 33554432000 4194304 4196468 140725101498960 140162682493744 140163222350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 81 0 0 6293624 6294260 19181568 140725101503471 140725101503642 140725101503642 140725101506511 0
Current cumulated CPU time of completed processes: 0.0023 s
Current children cumulated CPU time: 2527.5 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 11817756 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 705.566
CPU time (s): 2527.61
CPU user time (s): 2516.89
CPU system time (s): 10.7239
CPU usage (%): 358.239
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 11819204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.89
system time used= 10.7239
maximum resident set size= 11818156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24442
involuntary context switches= 60981
# summary of solver processes directly reported to runsolver:
# pid: 31765,31767
# total CPU time (s): 2527.61
# total CPU user time (s): 2516.89
# total CPU system time (s): 10.7239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26184 second user time and 7.72231 second system time
The end