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 (6825 MiB free)
memory of node 1: 16384 MiB (2649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403460-1568991591/watcher-4403460-1568991591 -o /var/tmp/evaluation-result-4403460-1568991591/solver-4403460-1568991591 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3665 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2072959668 HOME/instance-4403460-1568991591.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
Current StackSize limit: 8192 KiB
solver pid=4916, runsolver pid=4913
[startup+0.100115 s]*
/proc/loadavg: 8.35 4.77 2.63 8/233 4932
/proc/meminfo: memFree=9688736/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15144776 memory=26616 CPUtime=0.09 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 5594 0 0 0 8 1 0 0 20 0 15 0 475072937 15508250624 6654 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3786194 6654 3042 1 0 3748377 0
[pid=4918/tid=4919] ppid=4916 vsize=15144776 memory=7972114195331388251 CPUtime=0.07 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) R 4916 4916 3634 0 -1 4202560 3687 0 0 0 7 0 0 0 20 0 15 0 475072937 15508250624 6654 33554432000 4194304 4196468 140730909359152 140691285934624 140691266153840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 6654 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690748634400 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690747582064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) S 4916 4916 3634 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0.01 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 6654 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28072 KiB
[startup+0.21064 s]*
/proc/loadavg: 8.35 4.77 2.63 8/233 4932
/proc/meminfo: memFree=9675120/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15144776 memory=38368 CPUtime=0.3 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 9436 0 0 0 27 3 0 0 20 0 15 0 475072937 15508250624 9592 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3786194 9592 3245 1 0 3748377 0
[pid=4918/tid=4919] ppid=4916 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) R 4916 4916 3634 0 -1 4202560 6565 0 0 0 16 2 0 0 20 0 15 0 475072937 15508250624 9592 33554432000 4194304 4196468 140730909359152 140691285937008 140690918554180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15144776 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 9592 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15144776 memory=3905381744374408864 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690748634400 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072940 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690747582064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) R 4916 4916 3634 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15144776 memory=140535888569984 CPUtime=0.06 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) R 4916 4916 3634 0 -1 4202560 919 0 0 0 6 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690743372144 140691281728090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072943 15508250624 9592 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 39824 KiB
[startup+0.310408 s]*
/proc/loadavg: 8.35 4.77 2.63 10/233 4932
/proc/meminfo: memFree=9669492/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15149032 memory=46080 CPUtime=0.49 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 10837 0 0 0 45 4 0 0 20 0 15 0 475072937 15512608768 11520 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3787258 11520 3362 1 0 3748377 0
[pid=4918/tid=4919] ppid=4916 vsize=15149032 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) R 4916 4916 3634 0 -1 4202560 7601 0 0 0 26 2 0 0 20 0 15 0 475072937 15512608768 11546 33554432000 4194304 4196468 140730909359152 140691285929776 140691281730333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15512608768 11546 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475072940 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072940 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690748634400 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072940 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690747582064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15149032 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) S 4916 4916 3634 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 1169 0 0 0 12 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072943 15512608768 11546 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47536 KiB
[startup+0.701222 s]
/proc/loadavg: 8.35 4.77 2.63 6/233 4932
/proc/meminfo: memFree=9636648/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15151156 memory=122100 CPUtime=1.36 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 13981 0 0 0 129 7 0 0 20 0 15 0 475072937 15514783744 30525 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3787789 30525 3431 1 0 3748889 0
[pid=4918/tid=4919] ppid=4916 vsize=15151156 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) R 4916 4916 3634 0 -1 4202560 8360 0 0 0 62 4 0 0 20 0 15 0 475072937 15514783744 30525 33554432000 4194304 4196468 140730909359152 140691285942592 140690921355710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15514783744 30525 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15151156 memory=55772 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072938 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072938 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475072940 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072940 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690748634400 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072940 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690747582064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15151156 memory=6024 CPUtime=0.21 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) R 4916 4916 3634 0 -1 4202560 1660 0 0 0 21 0 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690745461720 140691263251010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15151156 memory=11416 CPUtime=0.23 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) R 4916 4916 3634 0 -1 4202560 1027 0 0 0 22 1 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690744423536 140691263294001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15151156 memory=780 CPUtime=0.22 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 1624 0 0 0 22 0 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072943 15514783744 30525 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 123556 KiB
[startup+1.50122 s]
/proc/loadavg: 8.16 4.80 2.64 8/233 4932
/proc/meminfo: memFree=9499144/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5414] ppid=4916 vsize=15417412 memory=796 CPUtime=21.19 cores=0,2,4,6
/proc/4918/task/5414/stat : 5414 (java) R 4916 4916 3634 0 -1 4202560 2814 0 0 0 2116 3 0 0 20 0 19 0 475074228 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690732283808 140690924937574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5415] ppid=4916 vsize=15417412 memory=4100 CPUtime=20.46 cores=0,2,4,6
/proc/4918/task/5415/stat : 5415 (java) R 4916 4916 3634 0 -1 4202560 2533 0 0 0 2043 3 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690731235000 140690924936972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5416] ppid=4916 vsize=15417412 memory=1808 CPUtime=20.65 cores=0,2,4,6
/proc/4918/task/5416/stat : 5416 (java) R 4916 4916 3634 0 -1 4202560 2111 0 0 0 2061 4 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690730180264 140690924936099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5417] ppid=4916 vsize=15417412 memory=920 CPUtime=20.98 cores=0,2,4,6
/proc/4918/task/5417/stat : 5417 (java) R 4916 4916 3634 0 -1 4202560 2519 0 0 0 2096 2 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690729127128 140690924940071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 105.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2689592 KiB
[startup+35.6012 s]
/proc/loadavg: 8.30 5.12 2.82 5/213 5430
/proc/meminfo: memFree=8673748/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15417412 memory=2688136 CPUtime=107.21 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 73259 0 0 0 10600 121 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3854353 672034 3526 1 0 3815453 0
[pid=4918/tid=4919] ppid=4916 vsize=15417412 memory=1368 CPUtime=12.41 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) S 4916 4916 3634 0 -1 1077944384 13322 0 0 0 1223 18 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691285947520 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15417412 memory=1056 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 1581 0 0 0 38 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15417412 memory=1716 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1695 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15417412 memory=6024 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1223 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15417412 memory=11416 CPUtime=0.58 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 1014 0 0 0 39 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15417412 memory=780 CPUtime=0.01 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 2544 0 0 0 1 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690748634464 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690747582080 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15417412 memory=3592 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15417412 memory=1124 CPUtime=3.11 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) S 4916 4916 3634 0 -1 1077944384 14236 0 0 0 310 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15417412 memory=2828 CPUtime=3.71 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 17224 0 0 0 368 3 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15417412 memory=1228 CPUtime=0.67 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 8191 0 0 0 66 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15417412 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15417412 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5414] ppid=4916 vsize=15417412 memory=2124 CPUtime=21.59 cores=0,2,4,6
/proc/4918/task/5414/stat : 5414 (java) R 4916 4916 3634 0 -1 4202560 2836 0 0 0 2156 3 0 0 20 0 19 0 475074228 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690732283808 140690924935133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5415] ppid=4916 vsize=15417412 memory=29996 CPUtime=20.86 cores=0,2,4,6
/proc/4918/task/5415/stat : 5415 (java) R 4916 4916 3634 0 -1 4202560 2546 0 0 0 2083 3 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690731235000 140690925075872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5416] ppid=4916 vsize=15417412 memory=492 CPUtime=21.04 cores=0,2,4,6
/proc/4918/task/5416/stat : 5416 (java) R 4916 4916 3634 0 -1 4202560 2124 0 0 0 2100 4 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690730181240 140690924936094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5417] ppid=4916 vsize=15417412 memory=1560 CPUtime=21.38 cores=0,2,4,6
/proc/4918/task/5417/stat : 5417 (java) R 4916 4916 3634 0 -1 4202560 2537 0 0 0 2136 2 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690729127128 140690924133796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 107.21 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2689592 KiB
[startup+35.8013 s]
/proc/loadavg: 8.30 5.12 2.82 5/213 5430
/proc/meminfo: memFree=8673748/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15417412 memory=2688136 CPUtime=108.01 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 73295 0 0 0 10680 121 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3854353 672034 3526 1 0 3815453 0
[pid=4918/tid=4919] ppid=4916 vsize=15417412 memory=1436 CPUtime=12.41 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) S 4916 4916 3634 0 -1 1077944384 13322 0 0 0 1223 18 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691285947520 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15417412 memory=880 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 1581 0 0 0 38 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15417412 memory=1980 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1695 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15417412 memory=2520 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1223 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15417412 memory=1760 CPUtime=0.58 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 1014 0 0 0 39 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15417412 memory=1660 CPUtime=0.01 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 2544 0 0 0 1 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15417412 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690748634464 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15417412 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690747582080 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15417412 memory=0 CPUtime=3.11 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) S 4916 4916 3634 0 -1 1077944384 14236 0 0 0 310 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15417412 memory=1456 CPUtime=3.71 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 17224 0 0 0 368 3 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15417412 memory=2540424 CPUtime=0.67 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 8191 0 0 0 66 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15417412 memory=78 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5414] ppid=4916 vsize=15417412 memory=8112282956445269571 CPUtime=21.79 cores=0,2,4,6
/proc/4918/task/5414/stat : 5414 (java) R 4916 4916 3634 0 -1 4202560 2848 0 0 0 2176 3 0 0 20 0 19 0 475074228 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690732283808 140690924935553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5415] ppid=4916 vsize=15417412 memory=2540424 CPUtime=21.06 cores=0,2,4,6
/proc/4918/task/5415/stat : 5415 (java) R 4916 4916 3634 0 -1 4202560 2552 0 0 0 2103 3 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690731235000 140690924935246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5416] ppid=4916 vsize=15417412 memory=8894 CPUtime=21.24 cores=0,2,4,6
/proc/4918/task/5416/stat : 5416 (java) R 4916 4916 3634 0 -1 4202560 2133 0 0 0 2120 4 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690730181240 140690924935311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5417] ppid=4916 vsize=15417412 memory=0 CPUtime=21.58 cores=0,2,4,6
/proc/4918/task/5417/stat : 5417 (java) R 4916 4916 3634 0 -1 4202560 2546 0 0 0 2156 2 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690729127128 140690924936127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 108.01 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2689592 KiB
[startup+35.9012 s]
/proc/loadavg: 8.30 5.12 2.82 5/213 5430
/proc/meminfo: memFree=8673748/32770624 swapFree=66935844/67108860
[pid=4916] ppid=4913 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4916/stat : 4916 (xcsp3-exec) S 4913 4916 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475072935 115843072 364 33554432000 4194304 5098028 140729884845312 140729884843416 139681289405052 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 7372800 140729884848982 140729884849241 140729884849241 140729884852166 0
/proc/4916/statm: 28282 364 305 221 0 87 0
[pid=4918] ppid=4916 vsize=15417412 memory=2688136 CPUtime=108.41 cores=0,2,4,6
/proc/4918/stat : 4918 (java) S 4916 4916 3634 0 -1 1077944320 73343 0 0 0 10720 121 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140730909341696 140691281706743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
/proc/4918/statm: 3854353 672034 3526 1 0 3815453 0
[pid=4918/tid=4919] ppid=4916 vsize=15417412 memory=2688136 CPUtime=12.41 cores=0,2,4,6
/proc/4918/task/4919/stat : 4919 (java) S 4916 4916 3634 0 -1 1077944384 13322 0 0 0 1223 18 0 0 20 0 19 0 475072937 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691285947520 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4920] ppid=4916 vsize=15417412 memory=2688136 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4920/stat : 4920 (java) S 4916 4916 3634 0 -1 1077944384 1581 0 0 0 38 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140691251419536 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4921] ppid=4916 vsize=15417412 memory=2688136 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4921/stat : 4921 (java) S 4916 4916 3634 0 -1 1077944384 1695 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690873518352 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4922] ppid=4916 vsize=15417412 memory=576460758266832364 CPUtime=0.57 cores=0,2,4,6
/proc/4918/task/4922/stat : 4922 (java) S 4916 4916 3634 0 -1 1077944384 1223 0 0 0 37 20 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690872466064 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4923] ppid=4916 vsize=15417412 memory=17980 CPUtime=0.58 cores=0,2,4,6
/proc/4918/task/4923/stat : 4923 (java) S 4916 4916 3634 0 -1 1077944384 1014 0 0 0 39 19 0 0 20 0 19 0 475072938 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690871413264 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4924] ppid=4916 vsize=15417412 memory=3605752 CPUtime=0.01 cores=0,2,4,6
/proc/4918/task/4924/stat : 4924 (java) S 4916 4916 3634 0 -1 1077944384 2544 0 0 0 1 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690749688432 140691281717890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4925] ppid=4916 vsize=15417412 memory=2540312 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4925/stat : 4925 (java) S 4916 4916 3634 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690748634464 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4926] ppid=4916 vsize=15417412 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4926/stat : 4926 (java) S 4916 4916 3634 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475072940 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690747582080 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4927] ppid=4916 vsize=15417412 memory=55772 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4927/stat : 4927 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690746530384 140691281725339 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4928] ppid=4916 vsize=15417412 memory=281071518514784 CPUtime=3.11 cores=0,2,4,6
/proc/4918/task/4928/stat : 4928 (java) S 4916 4916 3634 0 -1 1077944384 14236 0 0 0 310 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690745477232 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4929] ppid=4916 vsize=15417412 memory=1456 CPUtime=3.71 cores=0,2,4,6
/proc/4918/task/4929/stat : 4929 (java) S 4916 4916 3634 0 -1 1077944384 17224 0 0 0 368 3 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690744424432 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4930] ppid=4916 vsize=15417412 memory=2540396 CPUtime=0.67 cores=0,2,4,6
/proc/4918/task/4930/stat : 4930 (java) S 4916 4916 3634 0 -1 1077944384 8191 0 0 0 66 1 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690743372144 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4931] ppid=4916 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4931/stat : 4931 (java) S 4916 4916 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690742319584 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=4932] ppid=4916 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4918/task/4932/stat : 4932 (java) S 4916 4916 3634 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 19 0 475072943 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690741267376 140691281717890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5414] ppid=4916 vsize=15417412 memory=2688124 CPUtime=21.89 cores=0,2,4,6
/proc/4918/task/5414/stat : 5414 (java) R 4916 4916 3634 0 -1 4202560 2856 0 0 0 2186 3 0 0 20 0 19 0 475074228 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690732283808 140691273948133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5415] ppid=4916 vsize=15417412 memory=1456 CPUtime=21.16 cores=0,2,4,6
/proc/4918/task/5415/stat : 5415 (java) S 4916 4916 3634 0 -1 1077944384 2584 0 0 0 2113 3 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690731238992 140691281716949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5416] ppid=4916 vsize=15417412 memory=2688136 CPUtime=21.34 cores=0,2,4,6
/proc/4918/task/5416/stat : 5416 (java) R 4916 4916 3634 0 -1 4202560 2137 0 0 0 2130 4 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690730181240 140690924936303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
[pid=4918/tid=5417] ppid=4916 vsize=15417412 memory=1056 CPUtime=21.68 cores=0,2,4,6
/proc/4918/task/5417/stat : 5417 (java) R 4916 4916 3634 0 -1 4202560 2552 0 0 0 2166 2 0 0 20 0 19 0 475074229 15787429888 672034 33554432000 4194304 4196468 140730909359152 140690729127128 140690924935267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29618176 140730909365211 140730909365386 140730909365386 140730909368271 0
Current children cumulated CPU time: 108.41 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2689592 KiB
Child status: 0
Real time (s): 35.9405
CPU time (s): 108.46
CPU user time (s): 107.219
CPU system time (s): 1.24098
CPU usage (%): 301.775
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 2689592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.219
system time used= 1.24098
maximum resident set size= 2688156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74411
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4296
involuntary context switches= 2869
# summary of solver processes directly reported to runsolver:
# pid: 4916
# total CPU time (s): 108.46
# total CPU user time (s): 107.219
# total CPU system time (s): 1.24098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.241951 second user time and 0.425989 second system time
The end