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 (5068 MiB free)
memory of node 1: 16384 MiB (2189 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403386-1568992303/watcher-4403386-1568992303 -o /var/tmp/evaluation-result-4403386-1568992303/solver-4403386-1568992303 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568990707-4811 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1917647447 HOME/instance-4403386-1568992303.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=6911, runsolver pid=6908
[startup+0.100099 s]*
/proc/loadavg: 8.18 8.34 7.16 6/234 6927
/proc/meminfo: memFree=7417912/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15144776 memory=28168 CPUtime=0.1 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 5511 0 0 0 9 1 0 0 20 0 15 0 475168708 15508250624 7042 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3786194 7042 3115 1 0 3748377 0
[pid=6913/tid=6914] ppid=6911 vsize=15144776 memory=7684729343621436251 CPUtime=0.08 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) R 6911 6911 4780 0 -1 4202560 3519 0 0 0 7 1 0 0 20 0 15 0 475168708 15508250624 7042 33554432000 4194304 4196468 140725773184656 140193428135440 140193423924630 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 7042 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 7042 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 7042 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 7042 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168710 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475168711 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192891495584 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475168711 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192890442480 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168713 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) S 6911 6911 4780 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 475168713 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) S 6911 6911 4780 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475168713 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192887286640 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0.01 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 475168714 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168714 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168715 15508250624 7042 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29620 KiB
[startup+0.210646 s]*
/proc/loadavg: 8.18 8.34 7.16 6/234 6927
/proc/meminfo: memFree=7404196/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15144776 memory=40844 CPUtime=0.31 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 9423 0 0 0 29 2 0 0 20 0 15 0 475168708 15508250624 10211 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3786194 10211 3289 1 0 3748377 0
[pid=6913/tid=6914] ppid=6911 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) R 6911 6911 4780 0 -1 4202560 6563 0 0 0 17 2 0 0 20 0 15 0 475168708 15508250624 10224 33554432000 4194304 4196468 140725773184656 140193428146544 140193423934621 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15144776 memory=2128865 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 10224 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15144776 memory=139832315772572 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 10224 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 10224 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15508250624 10224 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168710 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475168711 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192891495584 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475168711 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192890442480 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168713 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) S 6911 6911 4780 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 475168713 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) S 6911 6911 4780 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 475168713 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192887286640 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15144776 memory=139832312170112 CPUtime=0.07 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 782 0 0 0 7 0 0 0 20 0 15 0 475168714 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168714 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168715 15508250624 10224 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42296 KiB
[startup+0.311251 s]*
/proc/loadavg: 8.18 8.34 7.16 6/234 6927
/proc/meminfo: memFree=7400076/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15149032 memory=46764 CPUtime=0.5 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 10564 0 0 0 47 3 0 0 20 0 15 0 475168708 15512608768 11691 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3787258 11691 3321 1 0 3748377 0
[pid=6913/tid=6914] ppid=6911 vsize=15149032 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) R 6911 6911 4780 0 -1 4202560 7626 0 0 0 26 2 0 0 20 0 15 0 475168708 15512608768 11691 33554432000 4194304 4196468 140725773184656 140193428149312 140193053060727 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15512608768 11691 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15512608768 11691 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168709 15512608768 11691 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475168709 15512608768 11691 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475168710 15512608768 11691 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475168711 15512608768 11691 33554432000 4194304 4196468 140725773184656 140192891495584 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475168711 15512608768 11691 33554432000 4194304 4196468 140725773184656 140192890442480 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168713 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15149032 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) R 6911 6911 4780 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 475168713 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) R 6911 6911 4780 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 15 0 475168713 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192887286736 140193423922901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) R 6911 6911 4780 0 -1 4202560 850 0 0 0 12 0 0 0 20 0 15 0 475168714 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192886233584 140193423924630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475168714 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475168715 15512608768 12203 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48216 KiB
[startup+0.700743 s]
/proc/loadavg: 8.18 8.34 7.16 9/234 6927
/proc/meminfo: memFree=7385640/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15417412 memory=80280 CPUtime=1.61 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 14955 0 0 0 156 5 0 0 20 0 19 0 475168708 15787429888 20070 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3854353 20070 3453 1 0 3815453 0
[pid=6913/tid=6914] ppid=6911 vsize=15417412 memory=33 CPUtime=0.49 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) S 6911 6911 4780 0 -1 1077944384 9031 0 0 0 45 4 0 0 20 0 19 0 475168708 15787429888 20070 33554432000 4194304 4196468 140725773184656 140193428153472 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15417412 memory=288230608904420306 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475168709 15787429888 20070 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15417412 memory=14690786136597550 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475168709 15787429888 20070 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475168709 15787429888 20070 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475168709 15787429888 20070 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475168710 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192891495584 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192890442480 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168713 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15417412 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) R 6911 6911 4780 0 -1 4202560 1242 0 0 0 22 0 0 0 20 0 19 0 475168713 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192888324856 140193416149822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15417412 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) D 6911 6911 4780 0 -1 4202560 1209 0 0 0 24 0 0 0 20 0 19 0 475168713 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192887267656 140193416629847 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15417412 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 1953 0 0 0 33 0 0 0 20 0 19 0 475168714 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15417412 memory=4638778398332767568 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168714 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15417412 memory=7228950764408957029 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475168715 15787429888 20070 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 81732 KiB
[startup+1.50322 s]
/proc/loadavg: 8.18 8.34 7.16 12/238 6931
/proc/meminfo: memFree=7351728/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 477 0 0 0 8 8 0 0 20 0 19 0 475168715 15787429888 458972 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6928] ppid=6911 vsize=15417412 memory=988 CPUtime=292.92 cores=0,2,4,6
/proc/6913/task/6928/stat : 6928 (java) R 6911 6911 4780 0 -1 4202560 1538 0 0 0 29287 5 0 0 20 0 19 0 475168761 15787429888 458972 33554432000 4194304 4196468 140725773184656 140192874909432 140193054668464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6929] ppid=6911 vsize=15417412 memory=1452 CPUtime=292.92 cores=0,2,4,6
/proc/6913/task/6929/stat : 6929 (java) R 6911 6911 4780 0 -1 4202560 19202 0 0 0 29275 17 0 0 20 0 19 0 475168761 15787429888 458972 33554432000 4194304 4196468 140725773184656 140192873857200 140193055359736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6930] ppid=6911 vsize=15417412 memory=1837940 CPUtime=292.87 cores=0,2,4,6
/proc/6913/task/6930/stat : 6930 (java) R 6911 6911 4780 0 -1 4202560 1681 0 0 0 29285 2 0 0 20 0 19 0 475168761 15787429888 458972 33554432000 4194304 4196468 140725773184656 140192872804640 140193403637767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6931] ppid=6911 vsize=15417412 memory=4872558044660077418 CPUtime=292.61 cores=0,2,4,6
/proc/6913/task/6931/stat : 6931 (java) R 6911 6911 4780 0 -1 4202560 6312 0 0 0 29252 9 0 0 20 0 19 0 475168761 15787429888 458972 33554432000 4194304 4196468 140725773184656 140192871754784 140193055728506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 1180.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1837340 KiB
[startup+298.401 s]
/proc/loadavg: 8.62 8.42 7.51 9/237 7204
/proc/meminfo: memFree=8798108/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15417412 memory=1834860 CPUtime=1184.12 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 78882 0 0 0 118318 94 0 0 20 0 19 0 475168708 15787429888 458715 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3854353 458715 3522 1 0 3815453 0
[pid=6913/tid=6914] ppid=6911 vsize=15417412 memory=1452 CPUtime=0.49 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) S 6911 6911 4780 0 -1 1077944384 9031 0 0 0 45 4 0 0 20 0 19 0 475168708 15787429888 458715 33554432000 4194304 4196468 140725773184656 140193428153472 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15417412 memory=8112282956445269571 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 1738 0 0 0 132 10 0 0 20 0 19 0 475168709 15787429888 458715 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15417412 memory=1835888 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 2822 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458715 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15417412 memory=3112 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 4297 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458715 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15417412 memory=1452 CPUtime=1.43 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 1891 0 0 0 131 12 0 0 20 0 19 0 475168709 15787429888 458715 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15417412 memory=3624 CPUtime=0.46 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 8447 0 0 0 38 8 0 0 20 0 19 0 475168710 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15417412 memory=54516 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192891495648 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192890442496 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15417412 memory=327600 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168713 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15417412 memory=8112282956445269571 CPUtime=1.2 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) S 6911 6911 4780 0 -1 1077944384 7266 0 0 0 120 0 0 0 20 0 19 0 475168713 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15417412 memory=2608 CPUtime=1.12 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) S 6911 6911 4780 0 -1 1077944384 7445 0 0 0 111 1 0 0 20 0 19 0 475168713 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192887286640 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15417412 memory=2596 CPUtime=0.44 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 5376 0 0 0 44 0 0 0 20 0 19 0 475168714 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168714 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15417412 memory=3368 CPUtime=0.16 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 477 0 0 0 8 8 0 0 20 0 19 0 475168715 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6928] ppid=6911 vsize=15417412 memory=1452 CPUtime=293.7 cores=0,2,4,6
/proc/6913/task/6928/stat : 6928 (java) R 6911 6911 4780 0 -1 4202560 1539 0 0 0 29365 5 0 0 20 0 19 0 475168761 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192874909120 140193055574087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6929] ppid=6911 vsize=15417412 memory=988 CPUtime=293.73 cores=0,2,4,6
/proc/6913/task/6929/stat : 6929 (java) R 6911 6911 4780 0 -1 4202560 19203 0 0 0 29355 18 0 0 20 0 19 0 475168761 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192873857200 140193055950833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6930] ppid=6911 vsize=15417412 memory=2016 CPUtime=293.67 cores=0,2,4,6
/proc/6913/task/6930/stat : 6930 (java) R 6911 6911 4780 0 -1 4202560 1681 0 0 0 29365 2 0 0 20 0 19 0 475168761 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192872804888 140193054941684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6931] ppid=6911 vsize=15417412 memory=1424 CPUtime=293.4 cores=0,2,4,6
/proc/6913/task/6931/stat : 6931 (java) R 6911 6911 4780 0 -1 4202560 6312 0 0 0 29331 9 0 0 20 0 19 0 475168761 15787429888 458715 33554432000 4194304 4196468 140725773184656 140192871754784 140193055360542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 1184.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1836312 KiB
[startup+299.201 s]
/proc/loadavg: 8.65 8.43 7.52 9/237 7204
/proc/meminfo: memFree=8798976/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15417412 memory=1833836 CPUtime=1187.31 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 78887 0 0 0 118637 94 0 0 20 0 19 0 475168708 15787429888 458459 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3854353 458459 3522 1 0 3815453 0
[pid=6913/tid=6914] ppid=6911 vsize=15417412 memory=27700 CPUtime=0.49 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) S 6911 6911 4780 0 -1 1077944384 9031 0 0 0 45 4 0 0 20 0 19 0 475168708 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193428153472 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15417412 memory=532 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 1741 0 0 0 132 10 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15417412 memory=1452 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 2822 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15417412 memory=1834860 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 4297 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15417412 memory=10596 CPUtime=1.43 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 1891 0 0 0 131 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15417412 memory=1712 CPUtime=0.46 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 8448 0 0 0 38 8 0 0 20 0 19 0 475168710 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15417412 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192891495648 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15417412 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192890442496 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15417412 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15417412 memory=1412 CPUtime=1.2 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) S 6911 6911 4780 0 -1 1077944384 7266 0 0 0 120 0 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15417412 memory=3368 CPUtime=1.12 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) S 6911 6911 4780 0 -1 1077944384 7445 0 0 0 111 1 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192887286640 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15417412 memory=1452 CPUtime=0.44 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 5376 0 0 0 44 0 0 0 20 0 19 0 475168714 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15417412 memory=27700 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168714 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15417412 memory=532 CPUtime=0.16 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 477 0 0 0 8 8 0 0 20 0 19 0 475168715 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6928] ppid=6911 vsize=15417412 memory=8112282956445269571 CPUtime=294.48 cores=0,2,4,6
/proc/6913/task/6928/stat : 6928 (java) R 6911 6911 4780 0 -1 4202560 1539 0 0 0 29443 5 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192874909368 140193054668195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6929] ppid=6911 vsize=15417412 memory=1452 CPUtime=294.52 cores=0,2,4,6
/proc/6913/task/6929/stat : 6929 (java) R 6911 6911 4780 0 -1 4202560 19203 0 0 0 29434 18 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192873856768 140193055985680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6930] ppid=6911 vsize=15417412 memory=1836912 CPUtime=294.47 cores=0,2,4,6
/proc/6913/task/6930/stat : 6930 (java) R 6911 6911 4780 0 -1 4202560 1682 0 0 0 29445 2 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192872804888 140193054613769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6931] ppid=6911 vsize=15417412 memory=2016 CPUtime=294.2 cores=0,2,4,6
/proc/6913/task/6931/stat : 6931 (java) R 6911 6911 4780 0 -1 4202560 6312 0 0 0 29411 9 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192871754784 140193054613702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 1187.31 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1835288 KiB
[startup+299.601 s]
/proc/loadavg: 8.65 8.43 7.52 9/237 7204
/proc/meminfo: memFree=8798976/32770624 swapFree=66997184/67108860
[pid=6911] ppid=6908 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (xcsp3-exec) S 6908 6911 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475168708 115843072 363 33554432000 4194304 5098028 140721129201776 140721129199880 139896992948860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26619904 140721129210710 140721129210969 140721129210969 140721129213894 0
/proc/6911/statm: 28282 363 304 221 0 87 0
[pid=6913] ppid=6911 vsize=15417412 memory=1833836 CPUtime=1188.9 cores=0,2,4,6
/proc/6913/stat : 6913 (java) S 6911 6911 4780 0 -1 1077944320 78887 0 0 0 118796 94 0 0 20 0 19 0 475168708 15787429888 458459 33554432000 4194304 4196468 140725773184656 140725773167200 140193423912695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
/proc/6913/statm: 3854353 458459 3522 1 0 3815453 0
[pid=6913/tid=6914] ppid=6911 vsize=15417412 memory=932 CPUtime=0.49 cores=0,2,4,6
/proc/6913/task/6914/stat : 6914 (java) S 6911 6911 4780 0 -1 1077944384 9031 0 0 0 45 4 0 0 20 0 19 0 475168708 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193428153472 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6915] ppid=6911 vsize=15417412 memory=3680 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6915/stat : 6915 (java) S 6911 6911 4780 0 -1 1077944384 1741 0 0 0 132 10 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193376533520 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6916] ppid=6911 vsize=15417412 memory=848 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6916/stat : 6916 (java) S 6911 6911 4780 0 -1 1077944384 2822 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193375480976 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6917] ppid=6911 vsize=15417412 memory=1436 CPUtime=1.42 cores=0,2,4,6
/proc/6913/task/6917/stat : 6917 (java) S 6911 6911 4780 0 -1 1077944384 4297 0 0 0 130 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193374427920 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6918] ppid=6911 vsize=15417412 memory=1764 CPUtime=1.43 cores=0,2,4,6
/proc/6913/task/6918/stat : 6918 (java) S 6911 6911 4780 0 -1 1077944384 1891 0 0 0 131 12 0 0 20 0 19 0 475168709 15787429888 458459 33554432000 4194304 4196468 140725773184656 140193373375376 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6919] ppid=6911 vsize=15417412 memory=1980 CPUtime=0.46 cores=0,2,4,6
/proc/6913/task/6919/stat : 6919 (java) S 6911 6911 4780 0 -1 1077944384 8448 0 0 0 38 8 0 0 20 0 19 0 475168710 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192892549360 140193423923842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6920] ppid=6911 vsize=15417412 memory=2540 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6920/stat : 6920 (java) S 6911 6911 4780 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192891495648 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6921] ppid=6911 vsize=15417412 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6921/stat : 6921 (java) S 6911 6911 4780 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475168711 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192890442496 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6922] ppid=6911 vsize=15417412 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6922/stat : 6922 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192889391056 140193423931291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6923] ppid=6911 vsize=15417412 memory=804 CPUtime=1.2 cores=0,2,4,6
/proc/6913/task/6923/stat : 6923 (java) S 6911 6911 4780 0 -1 1077944384 7266 0 0 0 120 0 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192888339184 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6924] ppid=6911 vsize=15417412 memory=4100 CPUtime=1.12 cores=0,2,4,6
/proc/6913/task/6924/stat : 6924 (java) S 6911 6911 4780 0 -1 1077944384 7445 0 0 0 111 1 0 0 20 0 19 0 475168713 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192887286640 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6925] ppid=6911 vsize=15417412 memory=1808 CPUtime=0.44 cores=0,2,4,6
/proc/6913/task/6925/stat : 6925 (java) S 6911 6911 4780 0 -1 1077944384 5376 0 0 0 44 0 0 0 20 0 19 0 475168714 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192886233584 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6926] ppid=6911 vsize=15417412 memory=920 CPUtime=0 cores=0,2,4,6
/proc/6913/task/6926/stat : 6926 (java) S 6911 6911 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475168714 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192885181280 140193423922901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6927] ppid=6911 vsize=15417412 memory=3848 CPUtime=0.16 cores=0,2,4,6
/proc/6913/task/6927/stat : 6927 (java) S 6911 6911 4780 0 -1 1077944384 477 0 0 0 8 8 0 0 20 0 19 0 475168715 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192884128304 140193423923842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6928] ppid=6911 vsize=15417412 memory=2608 CPUtime=294.88 cores=0,2,4,6
/proc/6913/task/6928/stat : 6928 (java) R 6911 6911 4780 0 -1 4202560 1539 0 0 0 29483 5 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192874909368 140193054668394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6929] ppid=6911 vsize=15417412 memory=2596 CPUtime=294.92 cores=0,2,4,6
/proc/6913/task/6929/stat : 6929 (java) R 6911 6911 4780 0 -1 4202560 19203 0 0 0 29474 18 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192873856768 140193054668191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6930] ppid=6911 vsize=15417412 memory=1412 CPUtime=294.87 cores=0,2,4,6
/proc/6913/task/6930/stat : 6930 (java) R 6911 6911 4780 0 -1 4202560 1682 0 0 0 29485 2 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192872804888 140193052071679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
[pid=6913/tid=6931] ppid=6911 vsize=15417412 memory=3368 CPUtime=294.6 cores=0,2,4,6
/proc/6913/task/6931/stat : 6931 (java) R 6911 6911 4780 0 -1 4202560 6312 0 0 0 29451 9 0 0 20 0 19 0 475168761 15787429888 458459 33554432000 4194304 4196468 140725773184656 140192871754784 140193055360455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24670208 140725773186011 140725773186186 140725773186186 140725773189071 0
Current children cumulated CPU time: 1188.9 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1835288 KiB
Child status: 0
Real time (s): 299.674
CPU time (s): 1189.16
CPU user time (s): 1188.2
CPU system time (s): 0.957573
CPU usage (%): 396.817
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1846332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1188.2
system time used= 0.957573
maximum resident set size= 1845912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23088
involuntary context switches= 24811
# summary of solver processes directly reported to runsolver:
# pid: 6911
# total CPU time (s): 1189.16
# total CPU user time (s): 1188.2
# total CPU system time (s): 0.957573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90894 second user time and 3.33853 second system time
The end