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 (13686 MiB free)
memory of node 1: 16384 MiB (10801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405830-1569407827/watcher-4405830-1569407827 -o /var/tmp/evaluation-result-4405830-1569407827/solver-4405830-1569407827 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1569407783-6862 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 730553108 HOME/instance-4405830-1569407827.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=6893, runsolver pid=6889
[startup+0.100124 s]*
/proc/loadavg: 1.52 1.21 1.42 7/229 6923
/proc/meminfo: memFree=25044076/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15144776 memory=28924 CPUtime=0.12 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 5649 0 0 0 11 1 0 0 20 0 15 0 516696444 15508250624 7231 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3786194 7231 3190 1 0 3748377 0
[pid=6896/tid=6897] ppid=6893 vsize=15144776 memory=8115387157500367707 CPUtime=0.09 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 3545 0 0 0 8 1 0 0 20 0 15 0 516696444 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799566006712 139799545857374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516696446 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516696447 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799028519968 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516696447 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799027467120 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0.02 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) R 6893 6893 6831 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 15 0 516696449 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799023258224 139799561798234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696450 15508250624 7231 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210529 s]*
/proc/loadavg: 1.52 1.21 1.42 6/229 6923
/proc/meminfo: memFree=25016564/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15144776 memory=40808 CPUtime=0.34 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 9456 0 0 0 31 3 0 0 20 0 15 0 516696444 15508250624 10202 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3786194 10202 3289 1 0 3748377 0
[pid=6896/tid=6897] ppid=6893 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 6580 0 0 0 17 2 0 0 20 0 15 0 516696444 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799566010832 139799561788822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15144776 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15144776 memory=140071499574583 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516696445 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516696446 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516696447 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799028519968 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516696447 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799027467120 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 746 0 0 0 3 0 0 0 20 0 15 0 516696449 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 516696449 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15144776 memory=140071496218240 CPUtime=0.08 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) R 6893 6893 6831 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 516696449 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799023258032 139799554014014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696450 15508250624 10202 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42264 KiB
[startup+0.314619 s]*
/proc/loadavg: 1.52 1.21 1.42 7/229 6923
/proc/meminfo: memFree=25001972/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15149032 memory=49788 CPUtime=0.54 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 10839 0 0 0 50 4 0 0 20 0 15 0 516696444 15512608768 12447 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3787258 12447 3351 1 0 3748377 0
[pid=6896/tid=6897] ppid=6893 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 7782 0 0 0 27 3 0 0 20 0 15 0 516696444 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799566010672 139799545857374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516696445 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516696446 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516696447 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799028519968 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516696447 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799027467120 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15149032 memory=-6516833586042938556 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 753 0 0 0 4 0 0 0 20 0 15 0 516696449 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) R 6893 6893 6831 0 -1 4202560 166 0 0 0 5 0 0 0 20 0 15 0 516696449 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799024292040 139799546706357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) S 6893 6893 6831 0 -1 1077944384 848 0 0 0 13 0 0 0 20 0 15 0 516696449 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799023258224 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696450 15512608768 12516 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51244 KiB
[startup+0.701525 s]
/proc/loadavg: 1.52 1.21 1.42 8/229 6923
/proc/meminfo: memFree=24962452/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15151156 memory=91496 CPUtime=1.75 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 16029 0 0 0 169 6 0 0 20 0 15 0 516696444 15514783744 22874 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3787789 22874 3455 1 0 3748889 0
[pid=6896/tid=6897] ppid=6893 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 9223 0 0 0 64 4 0 0 20 0 15 0 516696444 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799566013328 139799192268352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15151156 memory=66800 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696445 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516696445 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516696446 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799028519968 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799027467120 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15151156 memory=6072 CPUtime=0.36 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) R 6893 6893 6831 0 -1 4202560 2234 0 0 0 35 1 0 0 20 0 15 0 516696449 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799025349704 139799546698669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15151156 memory=11528 CPUtime=0.28 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 1035 0 0 0 28 0 0 0 20 0 15 0 516696449 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15151156 memory=784 CPUtime=0.41 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) R 6893 6893 6831 0 -1 4202560 2228 0 0 0 41 0 0 0 20 0 15 0 516696449 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799023256032 139799541132013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516696450 15514783744 22874 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92952 KiB
[startup+1.50078 s]
/proc/loadavg: 1.52 1.21 1.42 5/229 6923
/proc/meminfo: memFree=24896120/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799027467136 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15151156 memory=269636 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15151156 memory=1456 CPUtime=2.36 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 16442 0 0 0 232 4 0 0 20 0 15 0 516696449 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15151156 memory=271684 CPUtime=2.18 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 13883 0 0 0 217 1 0 0 20 0 15 0 516696449 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15151156 memory=1456 CPUtime=0.69 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) S 6893 6893 6831 0 -1 1077944384 9607 0 0 0 68 1 0 0 20 0 15 0 516696449 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799023258224 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15151156 memory=267588 CPUtime=0.82 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1492 0 0 0 36 46 0 0 20 0 15 0 516696450 15514783744 67921 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 2390.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 273140 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.72 1.70 3/230 7171
/proc/meminfo: memFree=24641044/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15151156 memory=294216 CPUtime=2450.48 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 81196 0 0 0 244967 81 0 0 20 0 15 0 516696444 15514783744 73554 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3787789 73554 3513 1 0 3748889 0
[pid=6896/tid=6897] ppid=6893 vsize=15151156 memory=294212 CPUtime=2440.75 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 21582 0 0 0 244066 9 0 0 20 0 15 0 516696444 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799566016432 139799196982239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15151156 memory=294212 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 3687 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15151156 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 2293 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15151156 memory=273732 CPUtime=0.77 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 3466 0 0 0 70 7 0 0 20 0 15 0 516696445 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15151156 memory=271684 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2649 0 0 0 71 8 0 0 20 0 15 0 516696445 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15151156 memory=267588 CPUtime=0.43 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 4636 0 0 0 39 4 0 0 20 0 15 0 516696446 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15151156 memory=294212 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799028520032 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15151156 memory=294212 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799027467136 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15151156 memory=294212 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15151156 memory=294216 CPUtime=2.36 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 16445 0 0 0 232 4 0 0 20 0 15 0 516696449 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15151156 memory=1456 CPUtime=2.18 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 13885 0 0 0 217 1 0 0 20 0 15 0 516696449 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15151156 memory=294216 CPUtime=0.69 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) S 6893 6893 6831 0 -1 1077944384 9609 0 0 0 68 1 0 0 20 0 15 0 516696449 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799023258224 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15151156 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15151156 memory=3512 CPUtime=0.84 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1511 0 0 0 37 47 0 0 20 0 15 0 516696450 15514783744 73554 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 2450.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 295672 KiB
[startup+2502.3 s]
/proc/loadavg: 1.95 1.77 1.72 3/229 7175
/proc/meminfo: memFree=24618248/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15151156 memory=316744 CPUtime=2510.51 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 81635 0 0 0 250969 82 0 0 20 0 15 0 516696444 15514783744 79186 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3787789 79186 3513 1 0 3748889 0
[pid=6896/tid=6897] ppid=6893 vsize=15151156 memory=1456 CPUtime=2500.75 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 21976 0 0 0 250066 9 0 0 20 0 15 0 516696444 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799566016432 139799194374446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15151156 memory=316744 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 3688 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15151156 memory=316744 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 2304 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15151156 memory=316744 CPUtime=0.77 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 3466 0 0 0 70 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15151156 memory=316744 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2650 0 0 0 71 8 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15151156 memory=314696 CPUtime=0.43 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 4640 0 0 0 39 4 0 0 20 0 15 0 516696446 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799028520032 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799027467136 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15151156 memory=294216 CPUtime=2.36 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 16448 0 0 0 232 4 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15151156 memory=316744 CPUtime=2.18 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 13887 0 0 0 217 1 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15151156 memory=1456 CPUtime=0.69 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) S 6893 6893 6831 0 -1 1077944384 9611 0 0 0 68 1 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799023258224 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15151156 memory=316744 CPUtime=0.85 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1532 0 0 0 37 48 0 0 20 0 15 0 516696450 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 2510.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 318200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.8 s]
/proc/loadavg: 1.96 1.78 1.72 3/229 7175
/proc/meminfo: memFree=24618084/32770624 swapFree=66935972/67108860
[pid=6893] ppid=6889 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6893/stat : 6893 (xcsp3-exec) S 6889 6893 6831 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516696443 115843072 364 33554432000 4194304 5098028 140726629443232 140726629441336 140398607549052 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33464320 140726629450583 140726629450841 140726629450841 140726629453766 0
/proc/6893/statm: 28282 364 305 221 0 87 0
[pid=6896] ppid=6893 vsize=15151156 memory=316744 CPUtime=2520.01 cores=0,2,4,6
/proc/6896/stat : 6896 (java) S 6893 6893 6831 0 -1 1077944320 81652 0 0 0 251919 82 0 0 20 0 15 0 516696444 15514783744 79186 33554432000 4194304 4196468 140734650457616 140734650440160 139799561776887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
/proc/6896/statm: 3787789 79186 3513 1 0 3748889 0
[pid=6896/tid=6897] ppid=6893 vsize=15151156 memory=11528 CPUtime=2510.25 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (java) R 6893 6893 6831 0 -1 4202560 21991 0 0 0 251016 9 0 0 20 0 15 0 516696444 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799566016432 139799194374985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6902] ppid=6893 vsize=15151156 memory=784 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6902/stat : 6902 (java) S 6893 6893 6831 0 -1 1077944384 3688 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799514397840 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6903] ppid=6893 vsize=15151156 memory=776 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6903/stat : 6903 (java) S 6893 6893 6831 0 -1 1077944384 2304 0 0 0 72 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799513345040 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6904] ppid=6893 vsize=15151156 memory=1560 CPUtime=0.77 cores=0,2,4,6
/proc/6896/task/6904/stat : 6904 (java) S 6893 6893 6831 0 -1 1077944384 3466 0 0 0 70 7 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799512292240 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6905] ppid=6893 vsize=15151156 memory=492 CPUtime=0.79 cores=0,2,4,6
/proc/6896/task/6905/stat : 6905 (java) S 6893 6893 6831 0 -1 1077944384 2650 0 0 0 71 8 0 0 20 0 15 0 516696445 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799511239440 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6908] ppid=6893 vsize=15151156 memory=1560 CPUtime=0.43 cores=0,2,4,6
/proc/6896/task/6908/stat : 6908 (java) S 6893 6893 6831 0 -1 1077944384 4640 0 0 0 39 4 0 0 20 0 15 0 516696446 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799029574000 139799561788034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6910] ppid=6893 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6910/stat : 6910 (java) S 6893 6893 6831 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799028520032 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6911] ppid=6893 vsize=15151156 memory=1636 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6911/stat : 6911 (java) S 6893 6893 6831 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 516696447 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799027467136 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6918] ppid=6893 vsize=15151156 memory=4486604260213485459 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6918/stat : 6918 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799026415440 139799561795483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6919] ppid=6893 vsize=15151156 memory=66884 CPUtime=2.36 cores=0,2,4,6
/proc/6896/task/6919/stat : 6919 (java) S 6893 6893 6831 0 -1 1077944384 16448 0 0 0 232 4 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799025363824 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6920] ppid=6893 vsize=15151156 memory=2020 CPUtime=2.18 cores=0,2,4,6
/proc/6896/task/6920/stat : 6920 (java) S 6893 6893 6831 0 -1 1077944384 13887 0 0 0 217 1 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799024311024 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6921] ppid=6893 vsize=15151156 memory=988 CPUtime=0.69 cores=0,2,4,6
/proc/6896/task/6921/stat : 6921 (java) S 6893 6893 6831 0 -1 1077944384 9611 0 0 0 68 1 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799023258224 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6922] ppid=6893 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6922/stat : 6922 (java) S 6893 6893 6831 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516696449 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799022205664 139799561787093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
[pid=6896/tid=6923] ppid=6893 vsize=15151156 memory=1056 CPUtime=0.86 cores=0,2,4,6
/proc/6896/task/6923/stat : 6923 (java) S 6893 6893 6831 0 -1 1077944384 1534 0 0 0 37 49 0 0 20 0 15 0 516696450 15514783744 79186 33554432000 4194304 4196468 140734650457616 139799021152944 139799561788034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19759104 140734650459099 140734650459274 140734650459274 140734650462159 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 318200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.81 s]
# the end of solver process 6893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001164 s, system=0.001164 s
[startup+2511.81 s]
# the end of solver process 6896 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.2 s, system=0.830372 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2511.81
CPU time (s): 2520.03
CPU user time (s): 2519.2
CPU system time (s): 0.830372
CPU usage (%): 100.327
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 318200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.830372
maximum resident set size= 317124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67660
involuntary context switches= 2881
# summary of solver processes directly reported to runsolver:
# pid: 6893,6896
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.2
# total CPU system time (s): 0.830372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7687 second user time and 24.0043 second system time
The end