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 (13296 MiB free)
memory of node 1: 16384 MiB (15474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386999-1568286994/watcher-4386999-1568286994 -o /tmp/evaluation-result-4386999-1568286994/solver-4386999-1568286994 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1972265900 HOME/instance-4386999-1568286994.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
solver pid=6910, runsolver pid=6907
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.34 1.41 1.56 3/220 6967
/proc/meminfo: memFree=29453460/32770624 swapFree=66920044/67108860
[pid=6910] ppid=6907 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 4538 13301 0 0 1 1 4 3 20 0 6 0 404955547 10212057088 4269 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2493178 4269 1935 1 0 2481616 0
[pid=6910/tid=6963] ppid=6907 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 2348 13301 0 0 1 0 4 3 20 0 6 0 404955556 10212057088 4335 33554432000 4194304 4196468 140723541083648 140669498221136 140669518407316 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 6 0 404955557 10212057088 4335 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=9972712 memory=13987937339819672 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 6 0 404955557 10212057088 4335 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 6 0 404955557 10212057088 4335 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 6 0 404955557 10212057088 4335 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.218419 s]*
/proc/loadavg: 1.34 1.41 1.56 4/229 6976
/proc/meminfo: memFree=29434564/32770624 swapFree=66920044/67108860
[pid=6910] ppid=6907 vsize=10819964 memory=42244 CPUtime=0.26 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 9374 13301 0 0 17 2 4 3 20 0 15 0 404955547 11079643136 10561 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2704991 10561 2967 1 0 2667405 0
[pid=6910/tid=6963] ppid=6907 vsize=10819964 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 5887 13301 0 0 11 1 4 3 20 0 15 0 404955556 11079643136 10561 33554432000 4194304 4196468 140723541083648 140669498209184 140669519064093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10819964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079643136 10561 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10819964 memory=13987937339819672 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079643136 10561 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10819964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079643136 10561 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10819964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079643136 10561 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10819964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955558 11079643136 10491 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10819964 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 13 13301 0 0 0 0 4 3 20 0 15 0 404955559 11079643136 10364 33554432000 4194304 4196468 140723541083648 140668433327392 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668299110000 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 552 13301 0 0 1 0 4 3 20 0 15 0 404955561 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 56 13301 0 0 0 0 4 3 20 0 15 0 404955561 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10818940 memory=140446475208320 CPUtime=0.1 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 638 13301 0 0 3 0 4 3 20 0 15 0 404955562 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10818940 memory=140446475208320 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955562 11078594560 10364 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819964 KiB
Current children cumulated memory: 42244 KiB
[startup+0.310588 s]*
/proc/loadavg: 1.34 1.41 1.56 4/229 6976
/proc/meminfo: memFree=29426476/32770624 swapFree=66920044/67108860
[pid=6910] ppid=6907 vsize=10820244 memory=50092 CPUtime=0.39 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 10780 13301 0 0 29 3 4 3 20 0 15 0 404955547 11079929856 12523 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2705061 12523 3286 1 0 2667149 0
[pid=6910/tid=6963] ppid=6907 vsize=10820244 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 7278 13301 0 0 20 1 4 3 20 0 15 0 404955556 11079929856 12523 33554432000 4194304 4196468 140723541083648 140669498212048 140669526406301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079929856 12523 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079929856 12523 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079929856 12523 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11079929856 12523 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10820244 memory=140446475208319 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955558 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 13 13301 0 0 0 0 4 3 20 0 15 0 404955559 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668433327392 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668299110000 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) R 6907 6910 5621 0 -1 4202560 554 13301 0 0 2 0 4 3 20 0 15 0 404955561 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668595603568 140669511156890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 56 13301 0 0 1 0 4 3 20 0 15 0 404955561 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10820244 memory=140446475208320 CPUtime=0.12 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 651 13301 0 0 5 0 4 3 20 0 15 0 404955562 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10820244 memory=140446475208320 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955562 11079929856 12523 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 50092 KiB
[startup+0.700637 s]
/proc/loadavg: 1.34 1.41 1.56 5/229 6976
/proc/meminfo: memFree=29409788/32770624 swapFree=66920044/67108860
[pid=6910] ppid=6907 vsize=10824340 memory=80752 CPUtime=1.14 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 15035 13301 0 0 103 4 4 3 20 0 15 0 404955547 11084124160 20188 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2706085 20188 3500 1 0 2668173 0
[pid=6910/tid=6963] ppid=6907 vsize=10824340 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 10694 13301 0 0 57 3 4 3 20 0 15 0 404955556 11084124160 20188 33554432000 4194304 4196468 140723541083648 140669498202336 140669510464862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10824340 memory=1284 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955557 11084124160 20188 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10824340 memory=1044 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11084124160 20188 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10824340 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11084124160 20188 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 2 13301 0 0 0 0 4 3 20 0 15 0 404955557 11084124160 20188 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 5 13301 0 0 0 0 4 3 20 0 15 0 404955558 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 13 13301 0 0 0 0 4 3 20 0 15 0 404955559 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668433327392 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668299110000 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 924 13301 0 0 15 0 4 3 20 0 15 0 404955561 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 308 13301 0 0 12 0 4 3 20 0 15 0 404955561 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 866 13301 0 0 17 0 4 3 20 0 15 0 404955562 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10824340 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955562 11084124160 20188 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80752 KiB
[startup+1.50064 s]
/proc/loadavg: 1.34 1.41 1.56 5/229 6976
/proc/meminfo: memFree=29347580/32770624 swapFree=66920044/67108860
[pid=6910] ppid=6907 vsize=10834656 memory=201016 CPUtime=3.06 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 35944 13301 0 0 288 11 4 3 20 0 15 0 404955547 11094687744 50254 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2708664 50254 3578 1 0 2670733 0
[pid=6910/tid=6963] ppid=6907 vsize=10834656 memory=140446370107992 CPUtime=1.42 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 18397 13301 0 0 131 4 4 3 20 0 15 0 404955556 11094687744 50254 33554432000 4194304 4196468 140723541083648 140669498208272 140669510428005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 69 13301 0 0 1 0 4 3 20 0 15 0 404955557 11094687744 50254 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10834656 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 46 13301 0 0 1 0 4 3 20 0 15 0 404955557 11094687744 50254 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10834656 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 27 13301 0 0 1 0 4 3 20 0 15 0 404955557 11094687744 50254 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10834656 memory=280892740622752 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 331 13301 0 0 1 0 4 3 20 0 15 0 404955557 11094687744 50254 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10834656 memory=170110769706546 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 693 13301 0 0 1 0 4 3 20 0 15 0 404955558 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 14 13301 0 0 0 0 4 3 20 0 15 0 404955559 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668433327456 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10834656 memory=6011696126043779888 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668299110016 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10834656 memory=-8412658770403813517 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10834656 memory=-7668917182949848256 CPUtime=0.61 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 6965 13301 0 0 53 1 4 3 20 0 15 0 404955561 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10834656 memory=8514726395714956677 CPUtime=0.63 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 4771 13301 0 0 55 1 4 3 20 0 15 0 404955561 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10834656 memory=-8995268955501401461 CPUtime=0.48 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) R 6907 6910 5621 0 -1 4202560 2415 13301 0 0 40 1 4 3 20 0 15 0 404955562 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668593498480 140669510464862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10834656 memory=4283920778551074714 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955562 11094687744 50254 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 99036 13301 0 0 235454 66 4 3 20 0 15 0 404955556 11109388288 388976 33554432000 4194304 4196468 140723541083648 140669498219040 140669122496616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10849012 memory=1552560 CPUtime=12.27 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 26838 13301 0 0 1159 61 4 3 20 0 15 0 404955557 11109388288 388976 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10849012 memory=8112282956445269571 CPUtime=12.28 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 24721 13301 0 0 1162 59 4 3 20 0 15 0 404955557 11109388288 388976 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10849012 memory=280892741349696 CPUtime=12.28 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 20522 13301 0 0 1158 63 4 3 20 0 15 0 404955557 11109388288 388976 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10849012 memory=0 CPUtime=12.3 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 30559 13301 0 0 1165 58 4 3 20 0 15 0 404955557 11109388288 388976 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10849012 memory=1555904 CPUtime=11.92 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 22152 13301 0 0 1125 60 4 3 20 0 15 0 404955558 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10849012 memory=1555904 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 15 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668433327456 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10849012 memory=1555904 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668299110016 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10849012 memory=1555904 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10849012 memory=1555904 CPUtime=7.66 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 52721 13301 0 0 750 9 4 3 20 0 15 0 404955561 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10849012 memory=1555904 CPUtime=7.73 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 47638 13301 0 0 757 9 4 3 20 0 15 0 404955561 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10849012 memory=1555904 CPUtime=4.47 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 51435 13301 0 0 431 9 4 3 20 0 15 0 404955562 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10849012 memory=1555904 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10849012 memory=1555904 CPUtime=1.5 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1385 13301 0 0 61 82 4 3 20 0 15 0 404955562 11109388288 388976 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 2437.17 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 1555904 KiB
[startup+2442.3 s]
/proc/loadavg: 1.28 1.28 1.35 3/226 7334
/proc/meminfo: memFree=29059080/32770624 swapFree=66920088/67108860
[pid=6910] ppid=6907 vsize=10849012 memory=1568036 CPUtime=2498.13 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 382047 13301 0 0 249387 419 4 3 20 0 15 0 404955547 11109388288 392009 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2712253 392009 3632 1 0 2674317 0
[pid=6910/tid=6963] ppid=6907 vsize=10849012 memory=1555904 CPUtime=2414.54 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 100315 13301 0 0 241380 67 4 3 20 0 15 0 404955556 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669498219152 140669139340985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10849012 memory=1555904 CPUtime=12.6 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 27073 13301 0 0 1192 61 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10849012 memory=1555904 CPUtime=12.61 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 24777 13301 0 0 1194 60 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10849012 memory=1555904 CPUtime=12.62 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 20561 13301 0 0 1190 65 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10849012 memory=1557912 CPUtime=12.64 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 31406 13301 0 0 1197 60 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10849012 memory=1565988 CPUtime=12.23 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 22475 13301 0 0 1154 62 4 3 20 0 15 0 404955558 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10849012 memory=1555904 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 15 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668433327456 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10849012 memory=1565988 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668299110016 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10849012 memory=1245 CPUtime=7.66 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 52723 13301 0 0 750 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10849012 memory=1568036 CPUtime=7.73 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 47641 13301 0 0 757 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10849012 memory=1568036 CPUtime=4.47 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 51437 13301 0 0 431 9 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10849012 memory=1568036 CPUtime=1.54 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1408 13301 0 0 64 83 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 2498.13 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 1568036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.9 s]
/proc/loadavg: 1.36 1.29 1.35 3/226 7334
/proc/meminfo: memFree=29057368/32770624 swapFree=66920088/67108860
[pid=6910] ppid=6907 vsize=10849012 memory=1568036 CPUtime=2520.06 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 383364 13301 0 0 251577 422 4 3 20 0 15 0 404955547 11109388288 392009 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2712253 392009 3632 1 0 2674317 0
[pid=6910/tid=6963] ppid=6907 vsize=10849012 memory=1568036 CPUtime=2435.88 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 101148 13301 0 0 243514 67 4 3 20 0 15 0 404955556 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669498218880 140669140316440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10849012 memory=1555904 CPUtime=12.72 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 27133 13301 0 0 1203 62 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.73 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 24870 13301 0 0 1205 61 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.74 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 20824 13301 0 0 1201 66 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10849012 memory=1251 CPUtime=12.76 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 31434 13301 0 0 1208 61 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.34 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 22505 13301 0 0 1165 62 4 3 20 0 15 0 404955558 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 15 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668433327456 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10849012 memory=251654 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668299110016 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10849012 memory=3580 CPUtime=7.66 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 52725 13301 0 0 750 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10849012 memory=0 CPUtime=7.73 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 47643 13301 0 0 757 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10849012 memory=59897613923960 CPUtime=4.47 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 51439 13301 0 0 431 9 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10849012 memory=1568036 CPUtime=1.55 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1412 13301 0 0 64 84 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 1568036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.93 s]
# the end of solver process 6910 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.85 s, system=4.27237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.9 s]
/proc/loadavg: 1.36 1.29 1.35 3/226 7334
/proc/meminfo: memFree=29057368/32770624 swapFree=66920088/67108860
[pid=6910] ppid=6907 vsize=10849012 memory=1568036 CPUtime=2520.06 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6907 6910 5621 0 -1 1077944320 383364 13301 0 0 251577 422 4 3 20 0 15 0 404955547 11109388288 392009 33554432000 4194304 4196468 140723541083648 140723541066192 140669526384375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
/proc/6910/statm: 2712253 392009 3632 1 0 2674317 0
[pid=6910/tid=6963] ppid=6907 vsize=10849012 memory=1568036 CPUtime=2435.88 cores=1,3,5,7
/proc/6910/task/6963/stat : 6963 (java) R 6907 6910 5621 0 -1 4202560 101148 13301 0 0 243514 67 4 3 20 0 15 0 404955556 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669498218880 140669140316440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6964] ppid=6907 vsize=10849012 memory=1555904 CPUtime=12.72 cores=1,3,5,7
/proc/6910/task/6964/stat : 6964 (java) S 6907 6910 5621 0 -1 1077944384 27133 13301 0 0 1203 62 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669530626448 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6965] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.73 cores=1,3,5,7
/proc/6910/task/6965/stat : 6965 (java) S 6907 6910 5621 0 -1 1077944384 24870 13301 0 0 1205 61 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669445445904 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6966] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.74 cores=1,3,5,7
/proc/6910/task/6966/stat : 6966 (java) S 6907 6910 5621 0 -1 1077944384 20824 13301 0 0 1201 66 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669444393616 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6967] ppid=6907 vsize=10849012 memory=1251 CPUtime=12.76 cores=1,3,5,7
/proc/6910/task/6967/stat : 6967 (java) S 6907 6910 5621 0 -1 1077944384 31434 13301 0 0 1208 61 4 3 20 0 15 0 404955557 11109388288 392009 33554432000 4194304 4196468 140723541083648 140669443340816 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6968] ppid=6907 vsize=10849012 memory=1568036 CPUtime=12.34 cores=1,3,5,7
/proc/6910/task/6968/stat : 6968 (java) S 6907 6910 5621 0 -1 1077944384 22505 13301 0 0 1165 62 4 3 20 0 15 0 404955558 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668596656752 140669526395522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6969] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6969/stat : 6969 (java) S 6907 6910 5621 0 -1 1077944384 15 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668433327456 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6970] ppid=6907 vsize=10849012 memory=251654 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6970/stat : 6970 (java) S 6907 6910 5621 0 -1 1077944384 1 13301 0 0 0 0 4 3 20 0 15 0 404955559 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668299110016 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6971] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6971/stat : 6971 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668058819152 140669526402971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6972] ppid=6907 vsize=10849012 memory=3580 CPUtime=7.66 cores=1,3,5,7
/proc/6910/task/6972/stat : 6972 (java) S 6907 6910 5621 0 -1 1077944384 52725 13301 0 0 750 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668595603568 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6973] ppid=6907 vsize=10849012 memory=0 CPUtime=7.73 cores=1,3,5,7
/proc/6910/task/6973/stat : 6973 (java) S 6907 6910 5621 0 -1 1077944384 47643 13301 0 0 757 9 4 3 20 0 15 0 404955561 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668594550768 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6974] ppid=6907 vsize=10849012 memory=59897613923960 CPUtime=4.47 cores=1,3,5,7
/proc/6910/task/6974/stat : 6974 (java) S 6907 6910 5621 0 -1 1077944384 51439 13301 0 0 431 9 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668593498480 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6975] ppid=6907 vsize=10849012 memory=1568036 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6975/stat : 6975 (java) S 6907 6910 5621 0 -1 1077944384 3 13301 0 0 0 0 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668025260512 140669526394581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
[pid=6910/tid=6976] ppid=6907 vsize=10849012 memory=1568036 CPUtime=1.55 cores=1,3,5,7
/proc/6910/task/6976/stat : 6976 (java) S 6907 6910 5621 0 -1 1077944384 1412 13301 0 0 64 84 4 3 20 0 15 0 404955562 11109388288 392009 33554432000 4194304 4196468 140723541083648 140668592446384 140669526395522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19738624 140723541084917 140723541087429 140723541087429 140723541090255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 1568036 KiB
Child status: 143
Real time (s): 2463.93
CPU time (s): 2520.12
CPU user time (s): 2515.85
CPU system time (s): 4.27237
CPU usage (%): 102.28
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 1603876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.85
system time used= 4.27237
maximum resident set size= 1603876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306140
involuntary context switches= 7451
# summary of solver processes directly reported to runsolver:
# pid: 6910
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.85
# total CPU system time (s): 4.27237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0055 second user time and 24.1274 second system time
The end