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 (4502 MiB free)
memory of node 1: 16384 MiB (4259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403673-1568992289/watcher-4403673-1568992289 -o /var/tmp/evaluation-result-4403673-1568992289/solver-4403673-1568992289 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 206705963 HOME/instance-4403673-1568992289.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=6937, runsolver pid=6934
[startup+0.101624 s]*
/proc/loadavg: 8.19 8.04 5.67 6/234 6953
/proc/meminfo: memFree=8958712/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15144776 memory=27512 CPUtime=0.13 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 5782 0 0 0 12 1 0 0 20 0 15 0 475142668 15508250624 6878 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3786194 6878 3202 1 0 3748377 0
[pid=6939/tid=6940] ppid=6937 vsize=15144776 memory=7684728244109808475 CPUtime=0.09 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) R 6937 6937 3634 0 -1 4202560 3617 0 0 0 9 0 0 0 20 0 15 0 475142668 15508250624 6878 33554432000 4194304 4196468 140728880091536 139764442533456 139764418017270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 6878 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 6878 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 6878 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 6878 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475142670 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475142671 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763905872800 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475142671 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763904820208 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142673 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) R 6937 6937 3634 0 -1 4202560 481 0 0 0 0 0 0 0 20 0 15 0 475142673 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763902716400 139764419619662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) R 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142673 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763901663856 139764438313602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0.02 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) R 6937 6937 3634 0 -1 4202560 383 0 0 0 2 0 0 0 20 0 15 0 475142673 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763900611312 139764422382942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142674 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142674 15508250624 6878 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28968 KiB
[startup+0.210751 s]*
/proc/loadavg: 8.19 8.04 5.67 7/234 6953
/proc/meminfo: memFree=8944988/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15144776 memory=40036 CPUtime=0.34 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 9689 0 0 0 31 3 0 0 20 0 15 0 475142668 15508250624 10009 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3786194 10009 3324 1 0 3748377 0
[pid=6939/tid=6940] ppid=6937 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) R 6937 6937 3634 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 15 0 475142668 15508250624 10009 33554432000 4194304 4196468 140728880091536 139764442539216 139764422382942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 10009 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15144776 memory=140486053366625 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 10009 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 10009 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475142669 15508250624 10009 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475142670 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475142671 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763905872800 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475142671 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763904820208 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142673 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) R 6937 6937 3634 0 -1 1077944384 749 0 0 0 3 0 0 0 20 0 15 0 475142673 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763902716400 139764438313602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) R 6937 6937 3634 0 -1 4202560 70 0 0 0 1 0 0 0 20 0 15 0 475142673 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763901663856 139764438323802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15144776 memory=140486053348992 CPUtime=0.08 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) R 6937 6937 3634 0 -1 4202560 933 0 0 0 8 0 0 0 20 0 15 0 475142673 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763900611312 139764438323802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142674 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142674 15508250624 10009 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41492 KiB
[startup+0.310975 s]*
/proc/loadavg: 8.19 8.04 5.67 6/234 6953
/proc/meminfo: memFree=8937332/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15149032 memory=48800 CPUtime=0.52 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 11023 0 0 0 48 4 0 0 20 0 15 0 475142668 15512608768 12200 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3787258 12200 3356 1 0 3748377 0
[pid=6939/tid=6940] ppid=6937 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) R 6937 6937 3634 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 15 0 475142668 15512608768 12200 33554432000 4194304 4196468 140728880091536 139764442533568 139764422382942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15512608768 12200 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15512608768 12200 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142669 15512608768 12200 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475142669 15512608768 12200 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475142670 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475142671 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763905872800 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475142671 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763904820208 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142673 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) S 6937 6937 3634 0 -1 1077944384 782 0 0 0 5 0 0 0 20 0 15 0 475142673 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763902716400 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) S 6937 6937 3634 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 475142673 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763901663856 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) S 6937 6937 3634 0 -1 1077944384 1076 0 0 0 12 0 0 0 20 0 15 0 475142673 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763900611312 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475142674 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475142674 15512608768 12200 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50256 KiB
[startup+0.701506 s]
/proc/loadavg: 8.19 8.04 5.67 12/238 6957
/proc/meminfo: memFree=8912124/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15417412 memory=77172 CPUtime=1.72 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 14652 0 0 0 167 5 0 0 20 0 19 0 475142668 15787429888 19293 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3854353 19293 3467 1 0 3815453 0
[pid=6939/tid=6940] ppid=6937 vsize=15417412 memory=33 CPUtime=0.48 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) S 6937 6937 3634 0 -1 1077944384 9148 0 0 0 45 3 0 0 20 0 19 0 475142668 15787429888 19293 33554432000 4194304 4196468 140728880091536 139764442543232 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15417412 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 19293 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 19293 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 19293 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 19293 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475142670 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763905872800 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15417412 memory=55808 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763904820208 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15417412 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142673 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15417412 memory=988 CPUtime=0.29 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) R 6937 6937 3634 0 -1 4202560 1335 0 0 0 29 0 0 0 20 0 19 0 475142673 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763902702424 139764419846550 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15417412 memory=1368 CPUtime=0.25 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) R 6937 6937 3634 0 -1 4202560 712 0 0 0 25 0 0 0 20 0 19 0 475142673 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763901650424 139764424330619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15417412 memory=1056 CPUtime=0.3 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) R 6937 6937 3634 0 -1 1077944384 1932 0 0 0 30 0 0 0 20 0 19 0 475142673 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763900611312 139764438313602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15417412 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15417412 memory=6024 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6954] ppid=6937 vsize=15417412 memory=11416 CPUtime=0.09 cores=1,3,5,7
/proc/6939/task/6954/stat : 6954 (java) R 6937 6937 3634 0 -1 4202560 45 0 0 0 9 0 0 0 20 0 19 0 475142718 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763889285264 139764079144308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6955] ppid=6937 vsize=15417412 memory=780 CPUtime=0.08 cores=1,3,5,7
/proc/6939/task/6955/stat : 6955 (java) R 6937 6937 3634 0 -1 4202560 78 0 0 0 8 0 0 0 20 0 19 0 475142718 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763888235624 139764079377393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6956] ppid=6937 vsize=15417412 memory=776 CPUtime=0.1 cores=1,3,5,7
/proc/6939/task/6956/stat : 6956 (java) R 6937 6937 3634 0 -1 4202560 46 0 0 0 10 0 0 0 20 0 19 0 475142718 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763887183208 139764079144314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6957] ppid=6937 vsize=15417412 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/6939/task/6957/stat : 6957 (java) R 6937 6937 3634 0 -1 4202560 47 0 0 0 8 0 0 0 20 0 19 0 475142718 15787429888 19293 33554432000 4194304 4196468 140728880091536 139763886128312 139764079525745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530540 KiB
################
# More data... #
################
/proc/6939/task/6957/stat : 6957 (java) R 6937 6937 3634 0 -1 4202560 378 0 0 0 493 0 0 0 20 0 19 0 475142718 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763886129024 139764079377813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 23.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211684 KiB
[startup+7.428 s]
# the end of solver process 6937 was just reported to runsolver
# cumulated CPU time of all completed processes: user=28.2988 s, system=0.140093 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4015 s]
/proc/loadavg: 8.33 8.07 5.69 10/238 6957
/proc/meminfo: memFree=8775212/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15417412 memory=210228 CPUtime=24.37 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 29413 0 0 0 2425 12 0 0 20 0 19 0 475142668 15787429888 52557 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3854353 52557 3505 1 0 3815453 0
[pid=6939/tid=6940] ppid=6937 vsize=15417412 memory=9151 CPUtime=0.48 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) S 6937 6937 3634 0 -1 1077944384 9148 0 0 0 45 3 0 0 20 0 19 0 475142668 15787429888 52557 33554432000 4194304 4196468 140728880091536 139764442543232 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15417412 memory=3338 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52557 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52557 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52557 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52557 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15417412 memory=140485897518129 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 19 0 475142670 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15417412 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763905872864 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763904820224 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15417412 memory=210240 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142673 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15417412 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) S 6937 6937 3634 0 -1 1077944384 8400 0 0 0 142 1 0 0 20 0 19 0 475142673 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763902716400 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15417412 memory=170278273431094 CPUtime=1.12 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) S 6937 6937 3634 0 -1 1077944384 4989 0 0 0 111 1 0 0 20 0 19 0 475142673 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763901663856 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15417412 memory=170278273431095 CPUtime=0.39 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) S 6937 6937 3634 0 -1 1077944384 3307 0 0 0 38 1 0 0 20 0 19 0 475142673 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763900611312 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15417412 memory=3472468782125253504 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6954] ppid=6937 vsize=15417412 memory=6443898504045238441 CPUtime=5.16 cores=1,3,5,7
/proc/6939/task/6954/stat : 6954 (java) R 6937 6937 3634 0 -1 4202560 122 0 0 0 516 0 0 0 20 0 19 0 475142718 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763889286552 139764079564474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6955] ppid=6937 vsize=15417412 memory=6443898504045238441 CPUtime=5.29 cores=1,3,5,7
/proc/6939/task/6955/stat : 6955 (java) R 6937 6937 3634 0 -1 4202560 291 0 0 0 527 2 0 0 20 0 19 0 475142718 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763888236880 139764079378437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6956] ppid=6937 vsize=15417412 memory=0 CPUtime=5.34 cores=1,3,5,7
/proc/6939/task/6956/stat : 6956 (java) R 6937 6937 3634 0 -1 4202560 126 0 0 0 534 0 0 0 20 0 19 0 475142718 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763887182552 139764079144491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6957] ppid=6937 vsize=15417412 memory=776 CPUtime=5.03 cores=1,3,5,7
/proc/6939/task/6957/stat : 6957 (java) R 6937 6937 3634 0 -1 4202560 378 0 0 0 503 0 0 0 20 0 19 0 475142718 15787429888 52557 33554432000 4194304 4196468 140728880091536 139763886129024 139764079192127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 24.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211684 KiB
[startup+7.2015 s]
/proc/loadavg: 8.33 8.07 5.69 10/238 6957
/proc/meminfo: memFree=8772436/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15417412 memory=210280 CPUtime=27.55 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 30794 0 0 0 2742 13 0 0 20 0 19 0 475142668 15787429888 52570 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3854353 52570 3505 1 0 3815453 0
[pid=6939/tid=6940] ppid=6937 vsize=15417412 memory=2828 CPUtime=0.48 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) S 6937 6937 3634 0 -1 1077944384 9148 0 0 0 45 3 0 0 20 0 19 0 475142668 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764442543232 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15417412 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15417412 memory=12040 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15417412 memory=2124 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15417412 memory=30020 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475142670 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15417412 memory=210236 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763905872864 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763904820224 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15417412 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15417412 memory=1056 CPUtime=1.43 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) S 6937 6937 3634 0 -1 1077944384 8400 0 0 0 142 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763902716400 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15417412 memory=1716 CPUtime=1.12 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) S 6937 6937 3634 0 -1 1077944384 4989 0 0 0 111 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763901663856 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15417412 memory=6024 CPUtime=0.39 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) S 6937 6937 3634 0 -1 1077944384 3307 0 0 0 38 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763900611312 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15417412 memory=11416 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6954] ppid=6937 vsize=15417412 memory=776 CPUtime=5.95 cores=1,3,5,7
/proc/6939/task/6954/stat : 6954 (java) R 6937 6937 3634 0 -1 4202560 206 0 0 0 595 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763889286552 139764079378419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6955] ppid=6937 vsize=15417412 memory=1560 CPUtime=6.07 cores=1,3,5,7
/proc/6939/task/6955/stat : 6955 (java) R 6937 6937 3634 0 -1 4202560 408 0 0 0 605 2 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763888235096 139764080266719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6956] ppid=6937 vsize=15417412 memory=3592 CPUtime=6.13 cores=1,3,5,7
/proc/6939/task/6956/stat : 6956 (java) R 6937 6937 3634 0 -1 4202560 207 0 0 0 613 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763887181712 139764079192152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6957] ppid=6937 vsize=15417412 memory=1124 CPUtime=5.83 cores=1,3,5,7
/proc/6939/task/6957/stat : 6957 (java) R 6937 6937 3634 0 -1 4202560 639 0 0 0 583 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763886131344 139764079893082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 27.55 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211736 KiB
[startup+7.40151 s]
/proc/loadavg: 8.33 8.07 5.69 10/238 6957
/proc/meminfo: memFree=8772436/32770624 swapFree=66935844/67108860
[pid=6937] ppid=6934 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6937/stat : 6937 (xcsp3-exec) S 6934 6937 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475142668 115843072 364 33554432000 4194304 5098028 140729086491248 140729086489352 140530858357372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29200384 140729086497623 140729086497881 140729086497881 140729086500806 0
/proc/6937/statm: 28282 364 305 221 0 87 0
[pid=6939] ppid=6937 vsize=15417412 memory=210280 CPUtime=28.35 cores=1,3,5,7
/proc/6939/stat : 6939 (java) S 6937 6937 3634 0 -1 1077944320 30797 0 0 0 2822 13 0 0 20 0 19 0 475142668 15787429888 52570 33554432000 4194304 4196468 140728880091536 140728880074080 139764438302455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
/proc/6939/statm: 3854353 52570 3505 1 0 3815453 0
[pid=6939/tid=6940] ppid=6937 vsize=15417412 memory=8112282956445269571 CPUtime=0.48 cores=1,3,5,7
/proc/6939/task/6940/stat : 6940 (java) S 6937 6937 3634 0 -1 1077944384 9148 0 0 0 45 3 0 0 20 0 19 0 475142668 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764442543232 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6941] ppid=6937 vsize=15417412 memory=6525858347538544147 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6941/stat : 6941 (java) S 6937 6937 3634 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764030868240 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6942] ppid=6937 vsize=15417412 memory=6525858347538544147 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6942/stat : 6942 (java) S 6937 6937 3634 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764029815696 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6943] ppid=6937 vsize=15417412 memory=7100839852556452247 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6943/stat : 6943 (java) S 6937 6937 3634 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764028763152 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6944] ppid=6937 vsize=15417412 memory=-7533522213388100735 CPUtime=0.01 cores=1,3,5,7
/proc/6939/task/6944/stat : 6944 (java) S 6937 6937 3634 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 19 0 475142669 15787429888 52570 33554432000 4194304 4196468 140728880091536 139764027710608 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6945] ppid=6937 vsize=15417412 memory=-8253387840130273401 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6945/stat : 6945 (java) S 6937 6937 3634 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475142670 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763906926576 139764438313602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6946] ppid=6937 vsize=15417412 memory=-2843874002004984990 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6946/stat : 6946 (java) S 6937 6937 3634 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763905872864 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6947] ppid=6937 vsize=15417412 memory=-6524724634732516766 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6947/stat : 6947 (java) S 6937 6937 3634 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475142671 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763904820224 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6948] ppid=6937 vsize=15417412 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6948/stat : 6948 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763903768784 139764438321051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6949] ppid=6937 vsize=15417412 memory=8112282956445269571 CPUtime=1.43 cores=1,3,5,7
/proc/6939/task/6949/stat : 6949 (java) S 6937 6937 3634 0 -1 1077944384 8400 0 0 0 142 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763902716400 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6950] ppid=6937 vsize=15417412 memory=4201893909025220912 CPUtime=1.12 cores=1,3,5,7
/proc/6939/task/6950/stat : 6950 (java) S 6937 6937 3634 0 -1 1077944384 4989 0 0 0 111 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763901663856 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6951] ppid=6937 vsize=15417412 memory=8444314586306146149 CPUtime=0.39 cores=1,3,5,7
/proc/6939/task/6951/stat : 6951 (java) S 6937 6937 3634 0 -1 1077944384 3307 0 0 0 38 1 0 0 20 0 19 0 475142673 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763900611312 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6952] ppid=6937 vsize=15417412 memory=8763533391529269357 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6952/stat : 6952 (java) S 6937 6937 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763899559008 139764438312661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6953] ppid=6937 vsize=15417412 memory=-6875408208303935429 CPUtime=0 cores=1,3,5,7
/proc/6939/task/6953/stat : 6953 (java) S 6937 6937 3634 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475142674 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763898505520 139764438313602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6954] ppid=6937 vsize=15417412 memory=6382321403051 CPUtime=6.15 cores=1,3,5,7
/proc/6939/task/6954/stat : 6954 (java) R 6937 6937 3634 0 -1 4202560 207 0 0 0 615 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763889286552 139764079378693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6955] ppid=6937 vsize=15417412 memory=288230583166042426 CPUtime=6.27 cores=1,3,5,7
/proc/6939/task/6955/stat : 6955 (java) R 6937 6937 3634 0 -1 4202560 408 0 0 0 625 2 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763888235096 140728880171222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6956] ppid=6937 vsize=15417412 memory=13848568834296438 CPUtime=6.33 cores=1,3,5,7
/proc/6939/task/6956/stat : 6956 (java) R 6937 6937 3634 0 -1 4202560 208 0 0 0 633 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763887181712 139764431123341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
[pid=6939/tid=6957] ppid=6937 vsize=15417412 memory=1098 CPUtime=6.03 cores=1,3,5,7
/proc/6939/task/6957/stat : 6957 (java) R 6937 6937 3634 0 -1 4202560 640 0 0 0 603 0 0 0 20 0 19 0 475142718 15787429888 52570 33554432000 4194304 4196468 140728880091536 139763886131232 140728880171222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7593984 140728880100315 140728880100490 140728880100490 140728880103375 0
Current children cumulated CPU time: 28.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 211736 KiB
Child status: 0
Real time (s): 7.42804
CPU time (s): 28.4389
CPU user time (s): 28.2988
CPU system time (s): 0.140093
CPU usage (%): 382.858
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 213792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2988
system time used= 0.140093
maximum resident set size= 214384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2111
involuntary context switches= 896
# summary of solver processes directly reported to runsolver:
# pid: 6937
# total CPU time (s): 28.4389
# total CPU user time (s): 28.2988
# total CPU system time (s): 0.140093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070872 second user time and 0.129297 second system time
The end