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 (10340 MiB free)
memory of node 1: 16384 MiB (10539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290383-1532239367/watcher-4290383-1532239367 -o /tmp/evaluation-result-4290383-1532239367/solver-4290383-1532239367 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31761 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1409180837 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290383-1532239367.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=789, runsolver pid=786
[startup+0.100164 s]*
/proc/loadavg: 1.24 1.34 1.41 3/217 804
/proc/meminfo: memFree=21363164/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14082740 memory=31532 CPUtime=0.12 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 6774 0 0 0 11 1 0 0 20 0 15 0 41499888 14420725760 7883 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3520685 7883 3150 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082740 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 4834 0 0 0 8 0 0 0 20 0 15 0 41499888 14420725760 7883 33554432000 4194304 4196468 140734559092800 139885146534656 139885126419806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14082740 memory=4294967627 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14082740 memory=288370555922138752 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884255725216 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0.01 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 7883 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31532 KiB
[startup+0.210496 s]*
/proc/loadavg: 1.24 1.34 1.41 5/217 804
/proc/meminfo: memFree=21347348/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14082740 memory=47064 CPUtime=0.3 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 10381 0 0 0 28 2 0 0 20 0 15 0 41499888 14420725760 11766 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3520685 11766 3336 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 8163 0 0 0 19 1 0 0 20 0 15 0 41499888 14420725760 11831 33554432000 4194304 4196468 140734559092800 139885146569056 139885126382949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14082740 memory=4294967627 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14082740 memory=288370555922138752 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884255725216 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) R 786 789 31730 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) R 786 789 31730 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884251515248 139885134628768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0.06 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) R 786 789 31730 0 -1 4202560 312 0 0 0 6 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884250460000 139885128663703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14082740 memory=140179770427008 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 11831 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47064 KiB
[startup+0.310638 s]*
/proc/loadavg: 1.24 1.34 1.41 4/217 804
/proc/meminfo: memFree=21344308/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14082484 memory=50652 CPUtime=0.44 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 10822 0 0 0 42 2 0 0 20 0 15 0 41499888 14420463616 12663 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3520685 12663 3369 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 8495 0 0 0 28 1 0 0 20 0 15 0 41499888 14420725760 12663 33554432000 4194304 4196468 140734559092800 139885146557232 139885122615304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14082740 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14082740 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14082740 memory=402032 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14082740 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14082740 memory=796 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884255725216 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14082740 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41499891 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14082740 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14082740 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499894 14420725760 12663 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082484 KiB
Current children cumulated memory: 50652 KiB
[startup+0.7008 s]
/proc/loadavg: 1.24 1.34 1.41 3/217 804
/proc/meminfo: memFree=21320620/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14084808 memory=89208 CPUtime=0.99 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 17637 0 0 0 95 4 0 0 20 0 15 0 41499888 14422843392 22302 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3521202 22302 3506 1 0 3483273 0
[pid=789/tid=791] ppid=786 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 14921 0 0 0 64 3 0 0 20 0 15 0 41499888 14422843392 22302 33554432000 4194304 4196468 140734559092800 139885146554224 139885126419806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14084808 memory=7084813500183634514 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14084808 memory=8023268660342711378 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14084808 memory=7301857172715104592 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14084808 memory=143598406476635 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41499891 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41499891 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884255725216 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41499891 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14084808 memory=280359224738032 CPUtime=0.06 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 665 0 0 0 6 0 0 0 20 0 15 0 41499894 14422843392 22302 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 272 0 0 0 8 0 0 0 20 0 15 0 41499894 14422843392 22367 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14084808 memory=-6205556071782244992 CPUtime=0.15 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 397 0 0 0 15 0 0 0 20 0 15 0 41499894 14422843392 22367 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14422843392 22367 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14084808 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499894 14422843392 22367 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89208 KiB
[startup+1.50072 s]
/proc/loadavg: 1.24 1.34 1.41 4/217 804
/proc/meminfo: memFree=21288264/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14090952 memory=161676 CPUtime=3.09 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 25552 0 0 0 301 8 0 0 20 0 15 0 41499888 14429134848 40419 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3522738 40419 3554 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090952 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 19263 0 0 0 141 6 0 0 20 0 15 0 41499888 14429134848 40419 33554432000 4194304 4196468 140734559092800 139885146576144 139884758061080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14429134848 40419 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14429134848 40419 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41499889 14429134848 40419 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41499889 14429134848 40419 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14090952 memory=2867664724119873 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 40419 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
################
# More data... #
################
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 41377 0 0 0 224858 21 0 0 20 0 15 0 41499888 14429134848 78450 33554432000 4194304 4196468 140734559092800 139885146577584 139884758708724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14090952 memory=303476 CPUtime=6.15 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 4451 0 0 0 572 43 0 0 20 0 15 0 41499889 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14090952 memory=311748 CPUtime=6.06 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 2613 0 0 0 562 44 0 0 20 0 15 0 41499889 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14090952 memory=311752 CPUtime=6.13 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 5162 0 0 0 574 39 0 0 20 0 15 0 41499889 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14090952 memory=313800 CPUtime=6.05 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 4912 0 0 0 564 41 0 0 20 0 15 0 41499889 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14090952 memory=313800 CPUtime=5.39 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 4561 0 0 0 501 38 0 0 20 0 15 0 41499891 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14090952 memory=313800 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884255725280 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14090952 memory=313800 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14090952 memory=313800 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14090952 memory=140179612425473 CPUtime=1.23 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 8534 0 0 0 121 2 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14090952 memory=313800 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 7284 0 0 0 120 0 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14090952 memory=311752 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 6194 0 0 0 61 1 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14090952 memory=311752 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14090952 memory=313800 CPUtime=1.14 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1286 0 0 0 59 55 0 0 20 0 15 0 41499894 14429134848 78450 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 2282.86 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 313800 KiB
[startup+2322.3 s]
/proc/loadavg: 1.60 1.65 1.66 3/215 960
/proc/meminfo: memFree=17734504/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14090952 memory=315848 CPUtime=2343.44 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 89599 0 0 0 234105 239 0 0 20 0 15 0 41499888 14429134848 78962 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3522738 78962 3592 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090952 memory=315848 CPUtime=2308.42 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 42548 0 0 0 230820 22 0 0 20 0 15 0 41499888 14429134848 78962 33554432000 4194304 4196468 140734559092800 139885146577552 139884759580699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14090952 memory=280359225083088 CPUtime=6.35 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 4687 0 0 0 592 43 0 0 20 0 15 0 41499889 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14090952 memory=315848 CPUtime=6.25 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 2647 0 0 0 581 44 0 0 20 0 15 0 41499889 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14090952 memory=315848 CPUtime=6.32 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 5200 0 0 0 592 40 0 0 20 0 15 0 41499889 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14090952 memory=315848 CPUtime=6.24 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 5044 0 0 0 582 42 0 0 20 0 15 0 41499889 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14090952 memory=315848 CPUtime=5.52 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 4733 0 0 0 513 39 0 0 20 0 15 0 41499891 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14090952 memory=315848 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884255725280 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14090952 memory=315848 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14090952 memory=315848 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14090952 memory=315848 CPUtime=1.23 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 8536 0 0 0 121 2 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14090952 memory=315848 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 7286 0 0 0 120 0 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14090952 memory=315848 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 6196 0 0 0 61 1 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14090952 memory=140179612425473 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14090952 memory=315848 CPUtime=1.18 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1301 0 0 0 60 58 0 0 20 0 15 0 41499894 14429134848 78962 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 2343.44 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 315848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2378.3 s]
/proc/loadavg: 1.73 1.68 1.67 3/215 961
/proc/meminfo: memFree=17736896/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14090952 memory=319944 CPUtime=2400.01 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 90001 0 0 0 239757 244 0 0 20 0 15 0 41499888 14429134848 79986 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3522738 79986 3592 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090952 memory=319944 CPUtime=2364.05 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 42826 0 0 0 236383 22 0 0 20 0 15 0 41499888 14429134848 79986 33554432000 4194304 4196468 140734559092800 139885146577456 139884758689799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14090952 memory=319944 CPUtime=6.55 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 4730 0 0 0 611 44 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14090952 memory=319944 CPUtime=6.45 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 2650 0 0 0 600 45 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14090952 memory=319944 CPUtime=6.5 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 5264 0 0 0 610 40 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14090952 memory=317896 CPUtime=6.44 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 5047 0 0 0 600 44 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14090952 memory=319944 CPUtime=5.67 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 4738 0 0 0 527 40 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14090952 memory=317896 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884255725280 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14090952 memory=317896 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14090952 memory=319944 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14090952 memory=319944 CPUtime=1.23 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 8536 0 0 0 121 2 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14090952 memory=319944 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 7286 0 0 0 120 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14090952 memory=319944 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 6196 0 0 0 61 1 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14090952 memory=319944 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14090952 memory=319944 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1307 0 0 0 61 59 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 319944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2378.31 s]
# the end of solver process 789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.59 s, system=2.44787 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2378.3 s]
/proc/loadavg: 1.73 1.68 1.67 3/215 961
/proc/meminfo: memFree=17736896/32770624 swapFree=67108860/67108860
[pid=789] ppid=786 vsize=14090952 memory=319944 CPUtime=2400.01 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 31730 0 -1 1077944320 90001 0 0 0 239757 244 0 0 20 0 15 0 41499888 14429134848 79986 33554432000 4194304 4196468 140734559092800 140734559075344 139885142339319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
/proc/789/statm: 3522738 79986 3592 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090952 memory=319944 CPUtime=2364.05 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 31730 0 -1 4202560 42826 0 0 0 236383 22 0 0 20 0 15 0 41499888 14429134848 79986 33554432000 4194304 4196468 140734559092800 139885146577456 139884758689799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=792] ppid=786 vsize=14090952 memory=319944 CPUtime=6.55 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 31730 0 -1 1077944384 4730 0 0 0 611 44 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884737772048 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=793] ppid=786 vsize=14090952 memory=319944 CPUtime=6.45 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 31730 0 -1 1077944384 2650 0 0 0 600 45 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884736719504 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=794] ppid=786 vsize=14090952 memory=319944 CPUtime=6.5 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 31730 0 -1 1077944384 5264 0 0 0 610 40 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884735666448 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=795] ppid=786 vsize=14090952 memory=317896 CPUtime=6.44 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 31730 0 -1 1077944384 5047 0 0 0 600 44 0 0 20 0 15 0 41499889 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884734613904 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=796] ppid=786 vsize=14090952 memory=319944 CPUtime=5.67 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 31730 0 -1 1077944384 4738 0 0 0 527 40 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884256778992 139885142350466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=797] ppid=786 vsize=14090952 memory=317896 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 31730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884255725280 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=798] ppid=786 vsize=14090952 memory=317896 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 31730 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41499891 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884254672112 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=799] ppid=786 vsize=14090952 memory=319944 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884253620688 139885142357915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=800] ppid=786 vsize=14090952 memory=319944 CPUtime=1.23 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 31730 0 -1 1077944384 8536 0 0 0 121 2 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884252567792 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=801] ppid=786 vsize=14090952 memory=319944 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 31730 0 -1 1077944384 7286 0 0 0 120 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884251515248 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=802] ppid=786 vsize=14090952 memory=319944 CPUtime=0.62 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 31730 0 -1 1077944384 6196 0 0 0 61 1 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884250462192 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=803] ppid=786 vsize=14090952 memory=319944 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884249409888 139885142349525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
[pid=789/tid=804] ppid=786 vsize=14090952 memory=319944 CPUtime=1.2 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 31730 0 -1 1077944384 1307 0 0 0 61 59 0 0 20 0 15 0 41499894 14429134848 79986 33554432000 4194304 4196468 140734559092800 139884248357936 139885142350466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 17874944 140734559097928 140734559098121 140734559098121 140734559100879 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 319944 KiB
Child status: 143
Real time (s): 2378.31
CPU time (s): 2400.04
CPU user time (s): 2397.59
CPU system time (s): 2.44787
CPU usage (%): 100.914
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 319944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.59
system time used= 2.44787
maximum resident set size= 320504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207648
involuntary context switches= 5753
# summary of solver processes directly reported to runsolver:
# pid: 789
# total CPU time (s): 2400.04
# total CPU user time (s): 2397.59
# total CPU system time (s): 2.44787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5147 second user time and 20.0206 second system time
The end