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 (13176 MiB free)
memory of node 1: 16384 MiB (11474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406230-1569408509/watcher-4406230-1569408509 -o /tmp/evaluation-result-4406230-1569408509/solver-4406230-1569408509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5936 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 549255328 HOME/instance-4406230-1569408509.xml
running on 4 cores: 1,3,5,7
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=5955, runsolver pid=5952
[startup+0.103062 s]*
/proc/loadavg: 1.55 1.17 1.26 5/228 5996
/proc/meminfo: memFree=25210964/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15144776 memory=29780 CPUtime=0.12 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 5828 0 0 0 10 2 0 0 20 0 15 0 517121871 15508250624 7445 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3786194 7445 3162 1 0 3748377 0
[pid=5957/tid=5958] ppid=5955 vsize=15144776 memory=4500116723490464405 CPUtime=0.09 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 3768 0 0 0 8 1 0 0 20 0 15 0 517121871 15508250624 7445 33554432000 4194304 4196468 140730559951984 140116572944176 140116568722838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15144776 memory=3472468402539001040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 7445 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 7445 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 7445 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 7445 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121873 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517121874 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115642877600 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517121874 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115641824496 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0.01 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) R 5955 5955 5904 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115637614576 140116550295367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 7445 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31232 KiB
[startup+0.210628 s]*
/proc/loadavg: 1.55 1.17 1.26 5/228 5996
/proc/meminfo: memFree=25185424/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15144776 memory=40240 CPUtime=0.32 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 9286 0 0 0 29 3 0 0 20 0 15 0 517121871 15508250624 10060 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3786194 10060 3287 1 0 3748377 0
[pid=5957/tid=5958] ppid=5955 vsize=15144776 memory=4500116723524083353 CPUtime=0.19 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 6610 0 0 0 17 2 0 0 20 0 15 0 517121871 15508250624 10072 33554432000 4194304 4196468 140730559951984 140116572942032 140116552791390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15144776 memory=3472468402539001040 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 10072 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 10072 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 10072 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15508250624 10072 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121873 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517121874 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115642877600 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517121874 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115641824496 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) R 5955 5955 5904 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115638667632 140116561695945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0.07 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) R 5955 5955 5904 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15144776 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121877 15508250624 10072 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41692 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.55 1.17 1.26 5/228 5996
/proc/meminfo: memFree=25176912/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15149032 memory=46496 CPUtime=0.5 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 10553 0 0 0 46 4 0 0 20 0 15 0 517121871 15512608768 11624 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787258 11624 3327 1 0 3748377 0
[pid=5957/tid=5958] ppid=5955 vsize=15149032 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 7669 0 0 0 26 3 0 0 20 0 15 0 517121871 15512608768 11755 33554432000 4194304 4196468 140730559951984 140116572947520 140116552754533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15149032 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121872 15512608768 11755 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15149032 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15512608768 11755 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15512608768 11755 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15149032 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15512608768 11755 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15149032 memory=140273643849344 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517121873 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15149032 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517121874 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115642877600 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15149032 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517121874 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115641824496 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15149032 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) R 5955 5955 5904 0 -1 4202560 581 0 0 0 4 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115639720176 140116549382144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) R 5955 5955 5904 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15149032 memory=140274160971214 CPUtime=0.12 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) R 5955 5955 5904 0 -1 4202560 910 0 0 0 12 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115637614576 140116552791390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15149032 memory=280547141658432 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) R 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121877 15512608768 11755 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47948 KiB
[startup+0.700845 s]
/proc/loadavg: 1.74 1.22 1.27 8/228 5996
/proc/meminfo: memFree=25146748/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15151156 memory=75068 CPUtime=1.57 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 16053 0 0 0 151 6 0 0 20 0 15 0 517121871 15514783744 18767 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787789 18767 3456 1 0 3748889 0
[pid=5957/tid=5958] ppid=5955 vsize=15151156 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 9102 0 0 0 62 3 0 0 20 0 15 0 517121871 15514783744 18767 33554432000 4194304 4196468 140730559951984 140116572949520 140116204747408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517121872 15514783744 18767 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15514783744 18767 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15514783744 18767 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121872 15514783744 18767 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517121873 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15151156 memory=61 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115642877600 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115641824496 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15151156 memory=125 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15151156 memory=2 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) R 5955 5955 5904 0 -1 4202560 1971 0 0 0 32 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115639705976 140116552121718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15151156 memory=7165352523810879801 CPUtime=0.3 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) R 5955 5955 5904 0 -1 4202560 2259 0 0 0 30 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115638650008 140116549061093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15151156 memory=7444840864206049616 CPUtime=0.25 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) S 5955 5955 5904 0 -1 1077944384 1414 0 0 0 25 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 18767 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76520 KiB
[startup+1.50084 s]
/proc/loadavg: 1.74 1.22 1.27 7/228 5996
/proc/meminfo: memFree=25067972/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15151156 memory=433192 CPUtime=1195.25 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 79868 0 0 0 119383 142 0 0 20 0 15 0 517121871 15514783744 108298 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787789 108298 3516 1 0 3748889 0
[pid=5957/tid=5958] ppid=5955 vsize=15151156 memory=433192 CPUtime=1171.6 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 29942 0 0 0 117125 35 0 0 20 0 15 0 517121871 15514783744 108298 33554432000 4194304 4196468 140730559951984 140116572950240 140116553051047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15151156 memory=500 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 5693 0 0 0 460 17 0 0 20 0 15 0 517121872 15514783744 108298 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15151156 memory=4486604260213485459 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 5618 0 0 0 460 18 0 0 20 0 15 0 517121872 15514783744 108298 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15151156 memory=34588 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 4475 0 0 0 460 17 0 0 20 0 15 0 517121872 15514783744 108298 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15151156 memory=2116 CPUtime=4.76 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 4189 0 0 0 461 15 0 0 20 0 15 0 517121872 15514783744 108298 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15151156 memory=12024 CPUtime=1.75 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 6049 0 0 0 155 20 0 0 20 0 15 0 517121873 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115642877664 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15151156 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115641824512 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15151156 memory=3984 CPUtime=0.93 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 10150 0 0 0 92 1 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15151156 memory=3620 CPUtime=0.92 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) S 5955 5955 5904 0 -1 1077944384 7871 0 0 0 91 1 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15151156 memory=64756 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) S 5955 5955 5904 0 -1 1077944384 3575 0 0 0 32 0 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15151156 memory=2016 CPUtime=0.53 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 888 0 0 0 25 28 0 0 20 0 15 0 517121877 15514783744 108298 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 1195.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 434644 KiB
[startup+1180 s]*
/proc/loadavg: 1.43 1.42 1.40 3/227 6126
/proc/meminfo: memFree=24335192/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15151156 memory=432680 CPUtime=1196.06 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 79872 0 0 0 119464 142 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787789 108170 3516 1 0 3748889 0
[pid=5957/tid=5958] ppid=5955 vsize=15151156 memory=1228 CPUtime=1172.41 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 29944 0 0 0 117206 35 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116572950352 140116209068344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15151156 memory=6152 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 5693 0 0 0 461 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15151156 memory=780 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 5618 0 0 0 460 18 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15151156 memory=-7003737579269690708 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 4475 0 0 0 460 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15151156 memory=1096 CPUtime=4.76 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 4190 0 0 0 461 15 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15151156 memory=1228 CPUtime=1.75 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 6050 0 0 0 155 20 0 0 20 0 15 0 517121873 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15151156 memory=6152 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115642877664 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115641824512 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15151156 memory=34588 CPUtime=0.93 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 10150 0 0 0 92 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15151156 memory=2116 CPUtime=0.92 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) S 5955 5955 5904 0 -1 1077944384 7871 0 0 0 91 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15151156 memory=12024 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) S 5955 5955 5904 0 -1 1077944384 3575 0 0 0 32 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15151156 memory=500 CPUtime=0.54 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 888 0 0 0 25 29 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 1196.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 434132 KiB
[startup+1180.4 s]
/proc/loadavg: 1.43 1.42 1.40 3/227 6126
/proc/meminfo: memFree=24335192/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15151156 memory=432680 CPUtime=1196.45 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 79873 0 0 0 119503 142 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787789 108170 3516 1 0 3748889 0
[pid=5957/tid=5958] ppid=5955 vsize=15151156 memory=3816 CPUtime=1172.8 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 29945 0 0 0 117245 35 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116572950784 140116208184000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15151156 memory=2304 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 5693 0 0 0 461 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15151156 memory=-7003737579269690708 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 5618 0 0 0 460 18 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15151156 memory=111632 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 4475 0 0 0 460 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15151156 memory=808 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 4190 0 0 0 462 15 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15151156 memory=4100 CPUtime=1.75 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 6050 0 0 0 155 20 0 0 20 0 15 0 517121873 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115642877664 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115641824512 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15151156 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15151156 memory=1448 CPUtime=0.93 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 10150 0 0 0 92 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15151156 memory=497516 CPUtime=0.92 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) S 5955 5955 5904 0 -1 1077944384 7871 0 0 0 91 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15151156 memory=6152 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) S 5955 5955 5904 0 -1 1077944384 3575 0 0 0 32 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15151156 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 888 0 0 0 25 29 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 1196.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 434132 KiB
[startup+1180.6 s]
/proc/loadavg: 1.43 1.42 1.40 3/227 6126
/proc/meminfo: memFree=24335192/32770624 swapFree=66941108/67108860
[pid=5955] ppid=5952 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5955/stat : 5955 (xcsp3-exec) S 5952 5955 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517121870 115843072 363 33554432000 4194304 5098028 140720570775712 140720570773816 140659288773244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28770304 140720570782587 140720570782829 140720570782829 140720570785738 0
/proc/5955/statm: 28282 363 304 221 0 87 0
[pid=5957] ppid=5955 vsize=15151156 memory=432680 CPUtime=1196.65 cores=1,3,5,7
/proc/5957/stat : 5957 (java) S 5955 5955 5904 0 -1 1077944320 79873 0 0 0 119523 142 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140730559934528 140116568710903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
/proc/5957/statm: 3787789 108170 3516 1 0 3748889 0
[pid=5957/tid=5958] ppid=5955 vsize=15151156 memory=924 CPUtime=1173 cores=1,3,5,7
/proc/5957/task/5958/stat : 5958 (java) R 5955 5955 5904 0 -1 4202560 29945 0 0 0 117265 35 0 0 20 0 15 0 517121871 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116572950784 140116208185222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5959] ppid=5955 vsize=15151156 memory=1448 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5959/stat : 5959 (java) S 5955 5955 5904 0 -1 1077944384 5693 0 0 0 461 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116531816976 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5960] ppid=5955 vsize=15151156 memory=1748 CPUtime=4.78 cores=1,3,5,7
/proc/5957/task/5960/stat : 5960 (java) S 5955 5955 5904 0 -1 1077944384 5618 0 0 0 460 18 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116159814288 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5961] ppid=5955 vsize=15151156 memory=111632 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5961/stat : 5961 (java) S 5955 5955 5904 0 -1 1077944384 4475 0 0 0 460 17 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116158761232 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5962] ppid=5955 vsize=15151156 memory=808 CPUtime=4.77 cores=1,3,5,7
/proc/5957/task/5962/stat : 5962 (java) S 5955 5955 5904 0 -1 1077944384 4190 0 0 0 462 15 0 0 20 0 15 0 517121872 15514783744 108170 33554432000 4194304 4196468 140730559951984 140116157708688 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5967] ppid=5955 vsize=15151156 memory=4100 CPUtime=1.75 cores=1,3,5,7
/proc/5957/task/5967/stat : 5967 (java) S 5955 5955 5904 0 -1 1077944384 6050 0 0 0 155 20 0 0 20 0 15 0 517121873 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115643931376 140116568722050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5969] ppid=5955 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5969/stat : 5969 (java) S 5955 5955 5904 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115642877664 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5971] ppid=5955 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5971/stat : 5971 (java) S 5955 5955 5904 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517121874 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115641824512 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5982] ppid=5955 vsize=15151156 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5982/stat : 5982 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115640773072 140116568729499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5983] ppid=5955 vsize=15151156 memory=2304 CPUtime=0.93 cores=1,3,5,7
/proc/5957/task/5983/stat : 5983 (java) S 5955 5955 5904 0 -1 1077944384 10150 0 0 0 92 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115639720176 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5984] ppid=5955 vsize=15151156 memory=288230574492221466 CPUtime=0.92 cores=1,3,5,7
/proc/5957/task/5984/stat : 5984 (java) S 5955 5955 5904 0 -1 1077944384 7871 0 0 0 91 1 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115638667632 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5986] ppid=5955 vsize=15151156 memory=288230596050944315 CPUtime=0.32 cores=1,3,5,7
/proc/5957/task/5986/stat : 5986 (java) S 5955 5955 5904 0 -1 1077944384 3575 0 0 0 32 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115637614576 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5987] ppid=5955 vsize=15151156 memory=13571487609129518 CPUtime=0 cores=1,3,5,7
/proc/5957/task/5987/stat : 5987 (java) S 5955 5955 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115636562272 140116568721109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
[pid=5957/tid=5989] ppid=5955 vsize=15151156 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/5957/task/5989/stat : 5989 (java) S 5955 5955 5904 0 -1 1077944384 888 0 0 0 25 29 0 0 20 0 15 0 517121877 15514783744 108170 33554432000 4194304 4196468 140730559951984 140115635510320 140116568722050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140730559955951 140730559956122 140730559956122 140730559958991 0
Current children cumulated CPU time: 1196.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 434132 KiB
Child status: 0
Real time (s): 1180.68
CPU time (s): 1196.75
CPU user time (s): 1195.32
CPU system time (s): 1.42606
CPU usage (%): 101.361
Max. virtual memory (cumulated for all children) (KiB): 15266504
Max. memory (cumulated for all children) (KiB): 1359096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.32
system time used= 1.42606
maximum resident set size= 1389784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70423
involuntary context switches= 2282
# summary of solver processes directly reported to runsolver:
# pid: 5955
# total CPU time (s): 1196.75
# total CPU user time (s): 1195.32
# total CPU system time (s): 1.42606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84214 second user time and 12.1246 second system time
The end