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 (1207 MiB free)
memory of node 1: 16384 MiB (3907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304214-1534047577/watcher-4304214-1534047577 -o /tmp/evaluation-result-4304214-1534047577/solver-4304214-1534047577 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31472 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=617324450 -superng HOME/instance-4304214-1534047577.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=692, runsolver pid=689
Current StackSize limit: 8192 KiB
[startup+0.109403 s]*
/proc/loadavg: 1.26 1.32 1.32 3/206 749
/proc/meminfo: memFree=5228224/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=10219200 memory=20272 CPUtime=0.09 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 4744 13264 0 0 2 0 5 2 20 0 8 0 222320905 10464460800 5068 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2554800 5068 2057 1 0 2543238 0
[pid=692/tid=745] ppid=689 vsize=10453864 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 2635 13264 0 0 2 0 5 2 20 0 9 0 222320914 10704756736 5694 33554432000 4194304 4196468 140721811075696 139791469928304 139791482172766 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=10453864 memory=4294967661 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 9 0 222320915 10704756736 5694 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=10453864 memory=3905667595732883104 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 9 0 222320915 10704756736 5694 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 9 0 222320915 10704756736 5694 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 9 0 222320915 10704756736 5694 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=10453864 memory=140488454018688 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 9 0 222320916 10704756736 5694 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 9 0 222320917 10704756736 5694 33554432000 4194304 4196468 140721811075696 139790380951072 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 9 0 222320917 10704756736 5694 33554432000 4194304 4196468 140721811075696 139790179624368 139791498102485 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10219200 KiB
Current children cumulated memory: 20272 KiB
[startup+0.210204 s]*
/proc/loadavg: 1.26 1.32 1.32 3/215 758
/proc/meminfo: memFree=5205172/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=10982696 memory=45084 CPUtime=0.25 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 8614 13264 0 0 16 2 5 2 20 0 15 0 222320905 11246280704 11271 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2745674 11271 2961 1 0 2708109 0
[pid=692/tid=745] ppid=689 vsize=10982696 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 5134 13264 0 0 10 1 5 2 20 0 15 0 222320914 11246280704 11271 33554432000 4194304 4196468 140721811075696 139791469889936 139791479655854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=10982696 memory=4294967661 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246280704 11271 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=10982696 memory=3905667595732883104 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246280704 11271 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246280704 11271 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246280704 11271 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=10982696 memory=140488454018688 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320916 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790380951072 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790179624304 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 348 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 275 13264 0 0 1 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=10982696 memory=140488454018688 CPUtime=0.1 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 633 13264 0 0 3 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=10982696 memory=140488454018688 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246280704 11271 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45084 KiB
[startup+0.31035 s]*
/proc/loadavg: 1.26 1.32 1.32 3/215 758
/proc/meminfo: memFree=5196240/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=10983192 memory=56432 CPUtime=0.37 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 10633 13264 0 0 27 3 5 2 20 0 15 0 222320905 11246788608 14108 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2745798 14108 3093 1 0 2708109 0
[pid=692/tid=745] ppid=689 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 7162 13264 0 0 19 2 5 2 20 0 15 0 222320914 11246788608 14108 33554432000 4194304 4196468 140721811075696 139791469904064 139791498113626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 14108 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=10983192 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 14108 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 14108 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 14108 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320916 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790380951072 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790179624304 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 348 13264 0 0 1 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 276 13264 0 0 1 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=10983192 memory=140488454018688 CPUtime=0.12 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) R 689 692 30457 0 -1 4202560 638 13264 0 0 5 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790988023920 139791498113626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=10983192 memory=140488454018688 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 14108 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56432 KiB
[startup+0.700773 s]
/proc/loadavg: 1.32 1.33 1.32 3/215 758
/proc/meminfo: memFree=5185448/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=10983192 memory=88700 CPUtime=0.98 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 16831 13264 0 0 86 5 5 2 20 0 15 0 222320905 11246788608 22175 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2745798 22175 3237 1 0 2708109 0
[pid=692/tid=745] ppid=689 vsize=10983192 memory=7660742144744843625 CPUtime=0.66 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 12434 13264 0 0 56 3 5 2 20 0 15 0 222320914 11246788608 22175 33554432000 4194304 4196468 140721811075696 139791469913104 139791478368160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=10983192 memory=5865469479800824941 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 22175 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=10983192 memory=140488313333623 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 22175 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=10983192 memory=6369891338840205418 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 22175 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=10983192 memory=140488454017521 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320915 11246788608 22175 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 5 13264 0 0 0 0 5 2 20 0 15 0 222320916 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790380951072 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320917 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790179624304 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 576 13264 0 0 6 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=10983192 memory=1384 CPUtime=0.17 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 916 13264 0 0 10 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=10983192 memory=4536 CPUtime=0.2 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 678 13264 0 0 13 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=10983192 memory=8448 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=10983192 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320920 11246788608 22175 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88700 KiB
[startup+1.50145 s]
/proc/loadavg: 1.32 1.33 1.32 3/215 758
/proc/meminfo: memFree=5139108/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=10998884 memory=193584 CPUtime=3.06 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 30012 13264 0 0 290 9 5 2 20 0 15 0 222320905 11262857216 48396 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2749721 48396 3442 1 0 2711379 0
[pid=692/tid=745] ppid=689 vsize=10998884 memory=7 CPUtime=1.46 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 18240 13264 0 0 133 6 5 2 20 0 15 0 222320914 11262857216 48396 33554432000 4194304 4196468 140721811075696 139791469905448 139791482172766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=10998884 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11262857216 48396 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=10998884 memory=4536 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11262857216 48396 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=10998884 memory=8448 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320915 11262857216 48396 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=10998884 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 222320915 11262857216 48396 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=10998884 memory=54 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 14 13264 0 0 0 0 5 2 20 0 15 0 222320916 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=10998884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 222320917 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790380951072 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=10998884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 222320917 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790179624304 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=10998884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11262857216 48396 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=10998884 memory=580 CPUtime=0.6 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) R 689 692 30457 0 -1 4202560 2620 13264 0 0 53 0 5 2 20 0 15 0 222320920 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790990122008 139791479613458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=10998884 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) R 689 692 30457 0 -1 4202560 4997 13264 0 0 58 1 5 2 20 0 15 0 222320920 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790989062880 139791477338779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=10998884 memory=-7828588000881772634 CPUtime=0.51 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 1919 13264 0 0 44 0 5 2 20 0 15 0 222320920 11262857216 48396 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
################
# More data... #
################
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 88140 13264 0 0 236556 42 5 2 20 0 15 0 222320914 11280941056 249553 33554432000 4194304 4196468 140721811075696 139791469926800 139791089167079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=11016544 memory=998212 CPUtime=8.38 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 9286 13264 0 0 794 37 5 2 20 0 15 0 222320915 11280941056 249553 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=11016544 memory=998212 CPUtime=8.41 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 11264 13264 0 0 796 38 5 2 20 0 15 0 222320915 11280941056 249553 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=11016544 memory=998212 CPUtime=8.36 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 9923 13264 0 0 790 39 5 2 20 0 15 0 222320915 11280941056 249553 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=11016544 memory=7 CPUtime=8.4 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 10858 13264 0 0 797 36 5 2 20 0 15 0 222320915 11280941056 249553 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=11016544 memory=-6657000309100945312 CPUtime=5.55 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 12127 13264 0 0 517 31 5 2 20 0 15 0 222320916 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=11016544 memory=998212 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 26 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790380951136 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=11016544 memory=998192 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 10 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790179624320 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=11016544 memory=60428 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=11016544 memory=998212 CPUtime=10.12 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 73336 13264 0 0 998 7 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=11016544 memory=998192 CPUtime=10.28 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 72466 13264 0 0 1013 8 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=11016544 memory=998212 CPUtime=3.67 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 76366 13264 0 0 352 8 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=11016544 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=11016544 memory=998212 CPUtime=1.38 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 3222 13264 0 0 58 73 5 2 20 0 15 0 222320920 11280941056 249553 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 2430.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 998212 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.46 1.49 4/216 1110
/proc/meminfo: memFree=2156556/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=11016544 memory=998280 CPUtime=2490.76 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 371821 13264 0 0 248777 292 5 2 20 0 15 0 222320905 11280941056 249570 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2754136 249570 3532 1 0 2715789 0
[pid=692/tid=745] ppid=689 vsize=11016544 memory=998280 CPUtime=2425.65 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 88733 13264 0 0 242516 42 5 2 20 0 15 0 222320914 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791469927168 139791089165445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=11016544 memory=998280 CPUtime=8.59 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 9312 13264 0 0 814 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=11016544 memory=55 CPUtime=8.62 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 11342 13264 0 0 817 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=11016544 memory=998212 CPUtime=8.57 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 9982 13264 0 0 810 40 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=11016544 memory=998280 CPUtime=8.62 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 10920 13264 0 0 818 37 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=11016544 memory=15244 CPUtime=5.68 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 12263 13264 0 0 530 31 5 2 20 0 15 0 222320916 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 26 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790380951136 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 10 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790179624320 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=11016544 memory=998280 CPUtime=10.15 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 73874 13264 0 0 1001 7 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=11016544 memory=998280 CPUtime=10.29 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 72824 13264 0 0 1014 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=11016544 memory=998280 CPUtime=3.68 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 77091 13264 0 0 353 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=11016544 memory=2244 CPUtime=1.42 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 3242 13264 0 0 59 76 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 2490.76 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 998280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.3 s]
/proc/loadavg: 1.57 1.48 1.50 4/216 1110
/proc/meminfo: memFree=2156680/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=11016544 memory=998280 CPUtime=2520.04 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 372637 13264 0 0 251704 293 5 2 20 0 15 0 222320905 11280941056 249570 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2754136 249570 3532 1 0 2715789 0
[pid=692/tid=745] ppid=689 vsize=11016544 memory=998280 CPUtime=2454.48 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 88978 13264 0 0 245398 43 5 2 20 0 15 0 222320914 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791469926800 139791087034951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=11016544 memory=998280 CPUtime=8.68 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 9330 13264 0 0 823 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=11016544 memory=998280 CPUtime=8.71 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 11346 13264 0 0 826 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=11016544 memory=998280 CPUtime=8.66 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 9985 13264 0 0 819 40 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=11016544 memory=998280 CPUtime=8.71 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 10944 13264 0 0 827 37 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=11016544 memory=998280 CPUtime=5.74 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 12282 13264 0 0 535 32 5 2 20 0 15 0 222320916 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=11016544 memory=15244 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 26 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790380951136 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=11016544 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 10 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790179624320 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=11016544 memory=998280 CPUtime=10.16 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 74007 13264 0 0 1002 7 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=11016544 memory=998280 CPUtime=10.3 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 72968 13264 0 0 1015 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=11016544 memory=4028 CPUtime=3.68 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 77315 13264 0 0 353 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=11016544 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=11016544 memory=1944 CPUtime=1.44 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 3244 13264 0 0 61 76 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 998280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.33 s]
# the end of solver process 692 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.12 s, system=2.97566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.3 s]
/proc/loadavg: 1.57 1.48 1.50 4/216 1110
/proc/meminfo: memFree=2156680/32770624 swapFree=67108860/67108860
[pid=692] ppid=689 vsize=11016544 memory=998280 CPUtime=2520.04 cores=1,3,5,7
/proc/692/stat : 692 (java) S 689 692 30457 0 -1 1077944320 372637 13264 0 0 251704 293 5 2 20 0 15 0 222320905 11280941056 249570 33554432000 4194304 4196468 140721811075696 140721811058240 139791498092279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
/proc/692/statm: 2754136 249570 3532 1 0 2715789 0
[pid=692/tid=745] ppid=689 vsize=11016544 memory=998280 CPUtime=2454.48 cores=1,3,5,7
/proc/692/task/745/stat : 745 (java) R 689 692 30457 0 -1 4202560 88978 13264 0 0 245398 43 5 2 20 0 15 0 222320914 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791469926800 139791087034951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=746] ppid=689 vsize=11016544 memory=998280 CPUtime=8.68 cores=1,3,5,7
/proc/692/task/746/stat : 746 (java) S 689 692 30457 0 -1 1077944384 9330 13264 0 0 823 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791502334608 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=747] ppid=689 vsize=11016544 memory=998280 CPUtime=8.71 cores=1,3,5,7
/proc/692/task/747/stat : 747 (java) S 689 692 30457 0 -1 1077944384 11346 13264 0 0 826 38 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791389739536 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=748] ppid=689 vsize=11016544 memory=998280 CPUtime=8.66 cores=1,3,5,7
/proc/692/task/748/stat : 748 (java) S 689 692 30457 0 -1 1077944384 9985 13264 0 0 819 40 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791388686736 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=749] ppid=689 vsize=11016544 memory=998280 CPUtime=8.71 cores=1,3,5,7
/proc/692/task/749/stat : 749 (java) S 689 692 30457 0 -1 1077944384 10944 13264 0 0 827 37 5 2 20 0 15 0 222320915 11280941056 249570 33554432000 4194304 4196468 140721811075696 139791036131600 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=750] ppid=689 vsize=11016544 memory=998280 CPUtime=5.74 cores=1,3,5,7
/proc/692/task/750/stat : 750 (java) S 689 692 30457 0 -1 1077944384 12282 13264 0 0 535 32 5 2 20 0 15 0 222320916 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790991182704 139791498103426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=751] ppid=689 vsize=11016544 memory=15244 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/751/stat : 751 (java) S 689 692 30457 0 -1 1077944384 26 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790380951136 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=752] ppid=689 vsize=11016544 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/752/stat : 752 (java) S 689 692 30457 0 -1 1077944384 10 13264 0 0 0 0 5 2 20 0 15 0 222320917 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790179624320 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=753] ppid=689 vsize=11016544 memory=998280 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/753/stat : 753 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789872224592 139791498110875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=754] ppid=689 vsize=11016544 memory=998280 CPUtime=10.16 cores=1,3,5,7
/proc/692/task/754/stat : 754 (java) S 689 692 30457 0 -1 1077944384 74007 13264 0 0 1002 7 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790990129520 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=755] ppid=689 vsize=11016544 memory=998280 CPUtime=10.3 cores=1,3,5,7
/proc/692/task/755/stat : 755 (java) S 689 692 30457 0 -1 1077944384 72968 13264 0 0 1015 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790989076720 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=756] ppid=689 vsize=11016544 memory=4028 CPUtime=3.68 cores=1,3,5,7
/proc/692/task/756/stat : 756 (java) S 689 692 30457 0 -1 1077944384 77315 13264 0 0 353 8 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790988023920 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=757] ppid=689 vsize=11016544 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/692/task/757/stat : 757 (java) S 689 692 30457 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139789441427680 139791498102485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
[pid=692/tid=758] ppid=689 vsize=11016544 memory=1944 CPUtime=1.44 cores=1,3,5,7
/proc/692/task/758/stat : 758 (java) S 689 692 30457 0 -1 1077944384 3244 13264 0 0 61 76 5 2 20 0 15 0 222320920 11280941056 249570 33554432000 4194304 4196468 140721811075696 139790986972336 139791498103426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 35491840 140721811081828 140721811084636 140721811084636 140721811087311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 998280 KiB
Child status: 143
Real time (s): 2471.33
CPU time (s): 2520.09
CPU user time (s): 2517.12
CPU system time (s): 2.97566
CPU usage (%): 101.973
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 1471216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.12
system time used= 2.97566
maximum resident set size= 1473280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174302
involuntary context switches= 5253
# summary of solver processes directly reported to runsolver:
# pid: 692
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.12
# total CPU system time (s): 2.97566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7214 second user time and 23.7781 second system time
The end