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 (3738 MiB free)
memory of node 1: 16384 MiB (4922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304309-1534057477/watcher-4304309-1534057477 -o /tmp/evaluation-result-4304309-1534057477/solver-4304309-1534057477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=944311803 HOME/instance-4304309-1534057477.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=20671, runsolver pid=20668
[startup+0.100119 s]*
/proc/loadavg: 1.36 1.47 1.42 3/206 20728
/proc/meminfo: memFree=8861552/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=10088124 memory=15968 CPUtime=0.08 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 4667 12970 0 0 1 0 5 2 20 0 7 0 223310859 10330238976 3992 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2522031 3992 2026 1 0 2510469 0
[pid=20671/tid=20724] ppid=20668 vsize=10088124 memory=4279135704047453836 CPUtime=0.08 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 2472 12970 0 0 1 0 5 2 20 0 7 0 223310867 10330238976 3992 33554432000 4194304 4196468 140733990446080 140012379781904 140012392019294 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=10088124 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 7 0 223310868 10330238976 3992 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=10088124 memory=140533037209216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 7 0 223310868 10330238976 3992 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 7 0 223310868 10330238976 3992 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 7 0 223310868 10330238976 3992 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=10088124 memory=140533037209216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 7 0 223310870 10330238976 3992 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 15968 KiB
[startup+0.209861 s]*
/proc/loadavg: 1.36 1.47 1.42 3/215 20737
/proc/meminfo: memFree=8838936/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=10982776 memory=44788 CPUtime=0.25 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 9080 12970 0 0 16 2 5 2 20 0 15 0 223310859 11246362624 11197 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2745694 11197 2955 1 0 2708117 0
[pid=20671/tid=20724] ppid=20668 vsize=10982776 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 5769 12970 0 0 10 1 5 2 20 0 15 0 223310867 11246362624 11394 33554432000 4194304 4196468 140733990446080 140012379763616 140012400618525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=10982776 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246362624 11394 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=10982776 memory=3474444681738655392 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246362624 11460 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246362624 11460 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246362624 11460 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=10982776 memory=140533037209216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246362624 11526 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246362624 11526 33554432000 4194304 4196468 140733990446080 140011236222368 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246362624 11526 33554432000 4194304 4196468 140733990446080 140011034895856 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246362624 11592 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 369 12970 0 0 1 0 5 2 20 0 15 0 223310873 11246362624 11592 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 254 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246362624 11592 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=10982776 memory=140533037209216 CPUtime=0.1 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 681 12970 0 0 3 0 5 2 20 0 15 0 223310873 11246362624 11658 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246362624 11658 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=10982776 memory=140533037209216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246362624 11658 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 44788 KiB
[startup+0.31025 s]*
/proc/loadavg: 1.36 1.47 1.42 3/215 20737
/proc/meminfo: memFree=8825168/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=10983192 memory=55260 CPUtime=0.39 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 10970 12970 0 0 29 3 5 2 20 0 15 0 223310859 11246788608 13815 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2745798 13815 3074 1 0 2708109 0
[pid=20671/tid=20724] ppid=20668 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 7398 12970 0 0 20 2 5 2 20 0 15 0 223310867 11246788608 13815 33554432000 4194304 4196468 140733990446080 140012379731000 140012407960154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 13815 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011236222368 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011034895856 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 371 12970 0 0 2 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 258 12970 0 0 1 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=10983192 memory=140533037209216 CPUtime=0.12 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 721 12970 0 0 5 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=10983192 memory=140533037209216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 13815 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55260 KiB
[startup+0.700771 s]
/proc/loadavg: 1.36 1.47 1.42 3/215 20737
/proc/meminfo: memFree=8815864/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=10983192 memory=88512 CPUtime=0.98 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 17195 12970 0 0 87 4 5 2 20 0 15 0 223310859 11246788608 22128 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2745798 22128 3239 1 0 2708109 0
[pid=20671/tid=20724] ppid=20668 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 12404 12970 0 0 56 3 5 2 20 0 15 0 223310867 11246788608 22128 33554432000 4194304 4196468 140733990446080 140012379759632 140012407952689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 22128 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=10983192 memory=140532940685936 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=10983192 memory=140535624893006 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=10983192 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 5 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=10983192 memory=7014751519734519121 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011236222368 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310870 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011034895856 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=10983192 memory=33520 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=10983192 memory=14644 CPUtime=0.16 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 998 12970 0 0 9 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=10983192 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 683 12970 0 0 7 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=10983192 memory=508 CPUtime=0.19 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 885 12970 0 0 12 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=10983192 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310873 11246788608 22128 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88512 KiB
[startup+1.5009 s]
/proc/loadavg: 1.36 1.47 1.42 4/215 20737
/proc/meminfo: memFree=8768352/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=10996044 memory=179468 CPUtime=2.89 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 24333 12970 0 0 272 10 5 2 20 0 15 0 223310859 11259949056 44867 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2749011 44867 3450 1 0 2710669 0
[pid=20671/tid=20724] ppid=20668 vsize=10996044 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 16604 12970 0 0 132 7 5 2 20 0 15 0 223310867 11259949056 44867 33554432000 4194304 4196468 140733990446080 140012379770064 140012400276451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=10996044 memory=281065881420224 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11259949056 44867 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=10996044 memory=281065881429536 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=10996044 memory=140532940720624 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310868 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 223310868 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 223310870 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=10996044 memory=12966506269086 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 223310870 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011236222368 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=10996044 memory=7451883334442955317 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310870 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011034895856 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=10996044 memory=7451883335385698921 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=10996044 memory=-6812210783619891858 CPUtime=0.57 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) R 20668 20671 15321 0 -1 4202560 1741 12970 0 0 50 0 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011832834328 140012389461377 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=10996044 memory=7518312512273539429 CPUtime=0.53 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 2007 12970 0 0 46 0 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=10996044 memory=6655300316396806240 CPUtime=0.5 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 1748 12970 0 0 42 1 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=10996044 memory=7523381264717998190 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=10996044 memory=7158589738170411113 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 223310873 11259949056 44867 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
################
# More data... #
################
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 406473 12970 0 0 243119 85 5 2 20 0 15 0 223310867 11345952768 804979 33554432000 4194304 4196468 140733990446080 140012379772784 140011978380422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=11080032 memory=3219908 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 25427 12970 0 0 744 29 5 2 20 0 15 0 223310868 11345952768 804979 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=11080032 memory=3219908 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 28466 12970 0 0 744 29 5 2 20 0 15 0 223310868 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=11080032 memory=3219908 CPUtime=7.76 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 30867 12970 0 0 740 29 5 2 20 0 15 0 223310868 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=11080032 memory=3219908 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 23462 12970 0 0 741 32 5 2 20 0 15 0 223310868 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=11080032 memory=3219916 CPUtime=1.77 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 25606 12970 0 0 146 24 5 2 20 0 15 0 223310870 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=11080032 memory=3219916 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 52 12970 0 0 0 0 5 2 20 0 15 0 223310870 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011236222432 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=11080032 memory=3219916 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 18 12970 0 0 0 0 5 2 20 0 15 0 223310870 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011034895872 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=11080032 memory=3219916 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=11080032 memory=3219916 CPUtime=9.45 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 83053 12970 0 0 931 7 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=11080032 memory=3219916 CPUtime=9.51 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 89823 12970 0 0 934 10 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=11080032 memory=3219916 CPUtime=3.16 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 76378 12970 0 0 300 9 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=11080032 memory=3219916 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=11080032 memory=3219916 CPUtime=1.49 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 3115 12970 0 0 59 83 5 2 20 0 15 0 223310873 11345952768 804979 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 2488.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3219916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.11 s]
/proc/loadavg: 1.56 1.53 1.51 3/215 21066
/proc/meminfo: memFree=6784972/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=11080032 memory=3219924 CPUtime=2520.07 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 802290 12970 0 0 251682 318 5 2 20 0 15 0 223310859 11345952768 804981 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2770008 804981 3536 1 0 2731661 0
[pid=20671/tid=20724] ppid=20668 vsize=11080032 memory=3219924 CPUtime=2463.87 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 411160 12970 0 0 246295 85 5 2 20 0 15 0 223310867 11345952768 804981 33554432000 4194304 4196468 140733990446080 140012379772784 140011993387274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=11080032 memory=3219924 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 25567 12970 0 0 748 29 5 2 20 0 15 0 223310868 11345952768 804981 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=11080032 memory=3219924 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 29764 12970 0 0 748 29 5 2 20 0 15 0 223310868 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=11080032 memory=3219924 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 31658 12970 0 0 744 29 5 2 20 0 15 0 223310868 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=11080032 memory=1160 CPUtime=7.85 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 23527 12970 0 0 746 32 5 2 20 0 15 0 223310868 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=11080032 memory=3219924 CPUtime=1.78 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 25926 12970 0 0 147 24 5 2 20 0 15 0 223310870 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=11080032 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 52 12970 0 0 0 0 5 2 20 0 15 0 223310870 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011236222432 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=11080032 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 18 12970 0 0 0 0 5 2 20 0 15 0 223310870 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011034895872 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=11080032 memory=3219916 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=11080032 memory=3219916 CPUtime=9.45 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 83056 12970 0 0 931 7 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=11080032 memory=3219924 CPUtime=9.51 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 89831 12970 0 0 934 10 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=11080032 memory=3219924 CPUtime=3.16 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 76382 12970 0 0 300 9 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=11080032 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=11080032 memory=3219924 CPUtime=1.51 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 3150 12970 0 0 60 84 5 2 20 0 15 0 223310873 11345952768 804981 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3219924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.38 s]
# the end of solver process 20671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.12 s, system=3.24053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.21 s]
/proc/loadavg: 1.56 1.53 1.51 3/215 21066
/proc/meminfo: memFree=6784972/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=11342184 memory=3222152 CPUtime=2520.17 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 803816 12970 0 0 251692 318 5 2 20 0 17 0 223310859 11614396416 805538 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2835546 805538 3537 1 0 2797199 0
[pid=20671/tid=20724] ppid=20668 vsize=11342184 memory=288230596050944315 CPUtime=2463.96 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 411168 12970 0 0 246304 85 5 2 20 0 17 0 223310867 11614396416 805538 33554432000 4194304 4196468 140733990446080 140012379772784 140011982241312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=11342184 memory=13850767857552039 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 25567 12970 0 0 748 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=11342184 memory=4044 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 29764 12970 0 0 748 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=11342184 memory=33544 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 31658 12970 0 0 744 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=11342184 memory=14644 CPUtime=7.85 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 23527 12970 0 0 746 32 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=11342184 memory=1720 CPUtime=1.78 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 25926 12970 0 0 147 24 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=11342184 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 52 12970 0 0 0 0 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011236222432 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=11342184 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 18 12970 0 0 0 0 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011034895872 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=11342184 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 280 12970 0 0 0 0 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=11342184 memory=2404 CPUtime=9.45 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 83056 12970 0 0 931 7 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=11342184 memory=1576 CPUtime=9.51 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 90837 12970 0 0 934 10 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=11342184 memory=928 CPUtime=3.16 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 76382 12970 0 0 300 9 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=11342184 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=11342184 memory=4096 CPUtime=1.51 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 3150 12970 0 0 60 84 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 3222152 KiB
[startup+2474.3 s]
/proc/loadavg: 1.56 1.53 1.51 3/215 21066
/proc/meminfo: memFree=6784972/32770624 swapFree=67108404/67108860
[pid=20671] ppid=20668 vsize=11342184 memory=3222152 CPUtime=2520.26 cores=1,3,5,7
/proc/20671/stat : 20671 (java) S 20668 20671 15321 0 -1 1077944320 803816 12970 0 0 251701 318 5 2 20 0 17 0 223310859 11614396416 805538 33554432000 4194304 4196468 140733990446080 140733990428624 140012407938807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
/proc/20671/statm: 2835546 805538 3537 1 0 2797199 0
[pid=20671/tid=20724] ppid=20668 vsize=11342184 memory=3219924 CPUtime=2464.06 cores=1,3,5,7
/proc/20671/task/20724/stat : 20724 (java) R 20668 20671 15321 0 -1 4202560 411168 12970 0 0 246314 85 5 2 20 0 17 0 223310867 11614396416 805538 33554432000 4194304 4196468 140733990446080 140012379772784 140011979387552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20725] ppid=20668 vsize=11342184 memory=3219924 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20725/stat : 20725 (java) S 20668 20671 15321 0 -1 1077944384 25567 12970 0 0 748 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140012412180752 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20726] ppid=20668 vsize=11342184 memory=3219916 CPUtime=7.84 cores=1,3,5,7
/proc/20671/task/20726/stat : 20726 (java) S 20668 20671 15321 0 -1 1077944384 29764 12970 0 0 748 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011947559312 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20727] ppid=20668 vsize=11342184 memory=3219916 CPUtime=7.8 cores=1,3,5,7
/proc/20671/task/20727/stat : 20727 (java) S 20668 20671 15321 0 -1 1077944384 31658 12970 0 0 744 29 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011946506768 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20728] ppid=20668 vsize=11342184 memory=3219924 CPUtime=7.85 cores=1,3,5,7
/proc/20671/task/20728/stat : 20728 (java) S 20668 20671 15321 0 -1 1077944384 23527 12970 0 0 746 32 5 2 20 0 17 0 223310868 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011945454224 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20729] ppid=20668 vsize=11342184 memory=3219924 CPUtime=1.78 cores=1,3,5,7
/proc/20671/task/20729/stat : 20729 (java) S 20668 20671 15321 0 -1 1077944384 25926 12970 0 0 147 24 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011833887216 140012407949954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20730] ppid=20668 vsize=11342184 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20730/stat : 20730 (java) S 20668 20671 15321 0 -1 1077944384 52 12970 0 0 0 0 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011236222432 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20731] ppid=20668 vsize=11342184 memory=1160 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20731/stat : 20731 (java) S 20668 20671 15321 0 -1 1077944384 18 12970 0 0 0 0 5 2 20 0 17 0 223310870 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011034895872 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20732] ppid=20668 vsize=11342184 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20732/stat : 20732 (java) S 20668 20671 15321 0 -1 1077944384 280 12970 0 0 0 0 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140010727496400 140012407957403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20733] ppid=20668 vsize=11342184 memory=3219924 CPUtime=9.45 cores=1,3,5,7
/proc/20671/task/20733/stat : 20733 (java) S 20668 20671 15321 0 -1 1077944384 83056 12970 0 0 931 7 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011832834032 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20734] ppid=20668 vsize=11342184 memory=3219924 CPUtime=9.51 cores=1,3,5,7
/proc/20671/task/20734/stat : 20734 (java) S 20668 20671 15321 0 -1 1077944384 90837 12970 0 0 934 10 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011831781488 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20735] ppid=20668 vsize=11342184 memory=3219924 CPUtime=3.16 cores=1,3,5,7
/proc/20671/task/20735/stat : 20735 (java) S 20668 20671 15321 0 -1 1077944384 76382 12970 0 0 300 9 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011830728944 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20736] ppid=20668 vsize=11342184 memory=3219924 CPUtime=0.07 cores=1,3,5,7
/proc/20671/task/20736/stat : 20736 (java) S 20668 20671 15321 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140010296699488 140012407949013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
[pid=20671/tid=20737] ppid=20668 vsize=11342184 memory=3219924 CPUtime=1.51 cores=1,3,5,7
/proc/20671/task/20737/stat : 20737 (java) S 20668 20671 15321 0 -1 1077944384 3150 12970 0 0 60 84 5 2 20 0 17 0 223310873 11614396416 805538 33554432000 4194304 4196468 140733990446080 140011829676848 140012407949954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24375296 140733990451821 140733990454620 140733990454620 140733990457295 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 3222152 KiB
Child status: 143
Real time (s): 2474.38
CPU time (s): 2520.36
CPU user time (s): 2517.12
CPU system time (s): 3.24053
CPU usage (%): 101.858
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 3222152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.12
system time used= 3.24053
maximum resident set size= 3222232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93569
involuntary context switches= 2732
# summary of solver processes directly reported to runsolver:
# pid: 20671
# total CPU time (s): 2520.36
# total CPU user time (s): 2517.12
# total CPU system time (s): 3.24053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0581 second user time and 26.8737 second system time
The end