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 (8665 MiB free)
memory of node 1: 16384 MiB (5418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304643-1534121435/watcher-4304643-1534121435 -o /tmp/evaluation-result-4304643-1534121435/solver-4304643-1534121435 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534096964-13174 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=2077510517 HOME/instance-4304643-1534121435.xml
running on 4 cores: 0,2,4,6
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=17906, runsolver pid=17903
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.76 1.67 1.59 3/206 17963
/proc/meminfo: memFree=14416016/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=10005480 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 4344 12843 0 0 1 0 5 2 20 0 6 0 229706762 10245611520 4203 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2501370 4203 1934 1 0 2489808 0
[pid=17906/tid=17959] ppid=17903 vsize=10005480 memory=5855082617935266205 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 2184 12843 0 0 0 0 5 2 20 0 6 0 229706771 10245611520 4203 33554432000 4194304 4196468 140720863806176 139828547289680 139828559533406 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=10005480 memory=5793855680987154873 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 6 0 229706771 10245611520 4203 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=10005480 memory=140429977261696 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 6 0 229706771 10245611520 4203 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 6 0 229706771 10245611520 4203 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 6 0 229706772 10245611520 4203 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209884 s]*
/proc/loadavg: 1.76 1.67 1.59 3/215 17972
/proc/meminfo: memFree=14393708/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=10982744 memory=44124 CPUtime=0.26 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 7710 12843 0 0 17 2 5 2 20 0 15 0 229706762 11246329856 11031 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2745686 11031 2958 1 0 2708109 0
[pid=17906/tid=17959] ppid=17903 vsize=10982744 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 4462 12843 0 0 10 1 5 2 20 0 15 0 229706771 11246329856 11163 33554432000 4194304 4196468 140720863806176 139828547277328 139828555728626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=10982744 memory=4211974156182052234 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246329856 11229 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=10982744 memory=140429977261696 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246329856 11229 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246329856 11229 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706772 11246329856 11229 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=10982744 memory=140429977261696 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 13 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827357934368 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706774 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827156608112 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706776 11246329856 11229 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 423 12843 0 0 1 0 5 2 20 0 15 0 229706776 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 185 12843 0 0 1 0 5 2 20 0 15 0 229706776 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=10982744 memory=140429977261696 CPUtime=0.1 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 610 12843 0 0 3 0 5 2 20 0 15 0 229706776 11246329856 11229 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246329856 11229 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=10982744 memory=140429977261696 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246329856 11295 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44124 KiB
[startup+0.310222 s]*
/proc/loadavg: 1.76 1.67 1.59 3/215 17972
/proc/meminfo: memFree=14380744/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=10983192 memory=56148 CPUtime=0.38 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 10578 12843 0 0 28 3 5 2 20 0 15 0 229706762 11246788608 14037 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2745798 14037 3077 1 0 2708109 0
[pid=17906/tid=17959] ppid=17903 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 7139 12843 0 0 19 2 5 2 20 0 15 0 229706771 11246788608 14037 33554432000 4194304 4196468 140720863806176 139828547264928 139828559533406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 14037 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 14037 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 14037 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706772 11246788608 14037 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=10983192 memory=140429977261695 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 13 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827357934368 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=10983192 memory=140429977261696 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706774 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827156608112 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706776 11246788608 14037 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 423 12843 0 0 1 0 5 2 20 0 15 0 229706776 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 186 12843 0 0 1 0 5 2 20 0 15 0 229706776 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 621 12843 0 0 5 0 5 2 20 0 15 0 229706776 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246788608 14037 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246788608 14037 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56148 KiB
[startup+0.70074 s]
/proc/loadavg: 1.76 1.67 1.59 4/215 17972
/proc/meminfo: memFree=14370732/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=10983192 memory=88364 CPUtime=0.99 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 16738 12843 0 0 87 5 5 2 20 0 15 0 229706762 11246788608 22091 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2745798 22091 3238 1 0 2708109 0
[pid=17906/tid=17959] ppid=17903 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 12228 12843 0 0 55 4 5 2 20 0 15 0 229706771 11246788608 22091 33554432000 4194304 4196468 140720863806176 139828547275920 139828559533406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 22091 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 22091 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=10983192 memory=3472468725280741186 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 2 12843 0 0 0 0 5 2 20 0 15 0 229706771 11246788608 22091 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706772 11246788608 22091 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=10983192 memory=280859722932608 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 5 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=10983192 memory=4028 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 13 12843 0 0 0 0 5 2 20 0 15 0 229706773 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827357934368 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706774 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827156608112 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=10983192 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706776 11246788608 22091 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 1037 12843 0 0 9 0 5 2 20 0 15 0 229706776 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 562 12843 0 0 7 0 5 2 20 0 15 0 229706776 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 690 12843 0 0 13 0 5 2 20 0 15 0 229706776 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=10983192 memory=19265 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246788608 22091 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706777 11246788608 22091 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88364 KiB
[startup+1.50081 s]
/proc/loadavg: 1.76 1.67 1.59 3/215 17972
/proc/meminfo: memFree=14326508/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=10991872 memory=317752 CPUtime=2.74 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 22295 12843 0 0 245 22 5 2 20 0 15 0 229706762 11255676928 79438 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2747968 79438 3444 1 0 2709645 0
[pid=17906/tid=17959] ppid=17903 vsize=10991872 memory=4028 CPUtime=1.36 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 14694 12843 0 0 123 6 5 2 20 0 15 0 229706771 11255676928 79438 33554432000 4194304 4196468 140720863806176 139828547288416 139828575474845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=10991872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 348 12843 0 0 5 3 5 2 20 0 15 0 229706771 11255676928 79438 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=10991872 memory=56 CPUtime=0.15 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 97 12843 0 0 5 3 5 2 20 0 15 0 229706771 11255676928 79438 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=10991872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 139 12843 0 0 5 3 5 2 20 0 15 0 229706771 11255676928 79438 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=10991872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 59 12843 0 0 5 3 5 2 20 0 15 0 229706772 11255676928 79438 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=10991872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 94 12843 0 0 0 0 5 2 20 0 15 0 229706773 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=10991872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 14 12843 0 0 0 0 5 2 20 0 15 0 229706773 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827357934432 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=10991872 memory=34 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706774 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827156608112 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=10991872 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706776 11255676928 79438 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=10991872 memory=30 CPUtime=0.41 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 1704 12843 0 0 34 0 5 2 20 0 15 0 229706776 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=10991872 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 1652 12843 0 0 33 0 5 2 20 0 15 0 229706776 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=10991872 memory=56 CPUtime=0.37 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 1293 12843 0 0 30 0 5 2 20 0 15 0 229706776 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=10991872 memory=14775 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706777 11255676928 79438 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=10991872 memory=4350 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 1 12843 0 0 0 0 5 2 20 0 15 0 229706777 11255676928 79438 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 10991872 KiB
################
# More data... #
################
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 48406 12843 0 0 760 6 5 2 20 0 15 0 229706773 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=11008352 memory=976 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 58 12843 0 0 0 0 5 2 20 0 15 0 229706773 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827357934432 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=11008352 memory=11200 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 28 12843 0 0 0 0 5 2 20 0 15 0 229706774 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827156608128 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=11008352 memory=5060 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706776 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=11008352 memory=792 CPUtime=7.8 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 23341 12843 0 0 770 3 5 2 20 0 15 0 229706776 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=11008352 memory=4168 CPUtime=7.12 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 19548 12843 0 0 701 4 5 2 20 0 15 0 229706776 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=11008352 memory=7852 CPUtime=2.36 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 29892 12843 0 0 224 5 5 2 20 0 15 0 229706776 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=11008352 memory=1628 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 15 0 229706777 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=11008352 memory=1692 CPUtime=1.39 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 2135 12843 0 0 65 67 5 2 20 0 15 0 229706777 11272552448 1611753 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 6447012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2349.94 s]
# the end of solver process 17906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.32 s, system=6.76529 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2349.3 s]
/proc/loadavg: 1.65 1.64 1.64 3/217 18489
/proc/meminfo: memFree=11595412/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=11270504 memory=6451232 CPUtime=2521.42 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 804167 12843 0 0 251465 670 5 2 20 0 17 0 229706762 11540996096 1612808 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2817626 1612808 3533 1 0 2779279 0
[pid=17906/tid=17959] ppid=17903 vsize=11270504 memory=1764 CPUtime=2289.64 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 359009 12843 0 0 228851 106 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828547287280 139828127279120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=11270504 memory=1236 CPUtime=51.46 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 66517 12843 0 0 5014 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=11270504 memory=960 CPUtime=51.41 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 68081 12843 0 0 5009 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=11270504 memory=6447012 CPUtime=51.56 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 97049 12843 0 0 5026 123 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=11270504 memory=1240 CPUtime=51.47 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 87128 12843 0 0 5021 119 5 2 20 0 17 0 229706772 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=11270504 memory=2196 CPUtime=7.73 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 48406 12843 0 0 760 6 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 58 12843 0 0 0 0 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827357934432 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=11270504 memory=35592 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 28 12843 0 0 0 0 5 2 20 0 17 0 229706774 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827156608128 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=11270504 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 312 12843 0 0 0 0 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=11270504 memory=6447012 CPUtime=7.8 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 23341 12843 0 0 770 3 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=11270504 memory=6791534058613427641 CPUtime=7.12 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 19548 12843 0 0 701 4 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=11270504 memory=792 CPUtime=2.36 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 29892 12843 0 0 224 5 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=11270504 memory=6447012 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=11270504 memory=1944 CPUtime=1.39 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 2135 12843 0 0 65 67 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18488] ppid=17903 vsize=11270504 memory=62436 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18488/stat : 18488 (java) S 17903 17906 13143 0 -1 1077944384 351 12843 0 0 0 0 5 2 20 0 17 0 229941552 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826217082864 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18489] ppid=17903 vsize=11270504 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18489/stat : 18489 (java) S 17903 17906 13143 0 -1 1077944384 117 12843 0 0 0 0 5 2 20 0 17 0 229941553 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826015757664 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 2521.42 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 6451232 KiB
[startup+2349.7 s]
/proc/loadavg: 1.65 1.64 1.64 3/217 18489
/proc/meminfo: memFree=11595412/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=11270504 memory=6451232 CPUtime=2521.82 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 804170 12843 0 0 251505 670 5 2 20 0 17 0 229706762 11540996096 1612808 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2817626 1612808 3533 1 0 2779279 0
[pid=17906/tid=17959] ppid=17903 vsize=11270504 memory=4104 CPUtime=2290.04 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 359012 12843 0 0 228891 106 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828547287280 139828127279140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=11270504 memory=6791534058613427641 CPUtime=51.46 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 66517 12843 0 0 5014 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=11270504 memory=1944 CPUtime=51.41 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 68081 12843 0 0 5009 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=11270504 memory=1384 CPUtime=51.56 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 97049 12843 0 0 5026 123 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=11270504 memory=4168 CPUtime=51.47 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 87128 12843 0 0 5021 119 5 2 20 0 17 0 229706772 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=11270504 memory=7852 CPUtime=7.73 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 48406 12843 0 0 760 6 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=11270504 memory=1628 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 58 12843 0 0 0 0 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827357934432 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=11270504 memory=1140 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 28 12843 0 0 0 0 5 2 20 0 17 0 229706774 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827156608128 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=11270504 memory=15244 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 312 12843 0 0 0 0 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=11270504 memory=35592 CPUtime=7.8 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 23341 12843 0 0 770 3 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=11270504 memory=4032 CPUtime=7.12 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 19548 12843 0 0 701 4 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=11270504 memory=17816 CPUtime=2.36 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 29892 12843 0 0 224 5 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=11270504 memory=640 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=11270504 memory=303430223234596890 CPUtime=1.39 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 2135 12843 0 0 65 67 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18488] ppid=17903 vsize=11270504 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18488/stat : 18488 (java) S 17903 17906 13143 0 -1 1077944384 351 12843 0 0 0 0 5 2 20 0 17 0 229941552 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826217082864 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18489] ppid=17903 vsize=11270504 memory=14126766767740366 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18489/stat : 18489 (java) S 17903 17906 13143 0 -1 1077944384 117 12843 0 0 0 0 5 2 20 0 17 0 229941553 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826015757664 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 2521.82 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 6451232 KiB
[startup+2349.9 s]
/proc/loadavg: 1.65 1.64 1.64 3/217 18489
/proc/meminfo: memFree=11595412/32770624 swapFree=67108196/67108860
[pid=17906] ppid=17903 vsize=11270504 memory=6451232 CPUtime=2522.02 cores=0,2,4,6
/proc/17906/stat : 17906 (java) S 17903 17906 13143 0 -1 1077944320 804172 12843 0 0 251525 670 5 2 20 0 17 0 229706762 11540996096 1612808 33554432000 4194304 4196468 140720863806176 140720863788720 139828575452919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
/proc/17906/statm: 2817626 1612808 3533 1 0 2779279 0
[pid=17906/tid=17959] ppid=17903 vsize=11270504 memory=607624 CPUtime=2290.24 cores=0,2,4,6
/proc/17906/task/17959/stat : 17959 (java) R 17903 17906 13143 0 -1 4202560 359014 12843 0 0 228911 106 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828547287280 139828127279222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17960] ppid=17903 vsize=11270504 memory=6791534058613427641 CPUtime=51.46 cores=0,2,4,6
/proc/17906/task/17960/stat : 17960 (java) S 17903 17906 13143 0 -1 1077944384 66517 12843 0 0 5014 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828579695504 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17961] ppid=17903 vsize=11270504 memory=-7003737579269690708 CPUtime=51.41 cores=0,2,4,6
/proc/17906/task/17961/stat : 17961 (java) S 17903 17906 13143 0 -1 1077944384 68081 12843 0 0 5009 125 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828434414352 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17962] ppid=17903 vsize=11270504 memory=6791534058613427641 CPUtime=51.56 cores=0,2,4,6
/proc/17906/task/17962/stat : 17962 (java) S 17903 17906 13143 0 -1 1077944384 97049 12843 0 0 5026 123 5 2 20 0 17 0 229706771 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828433362064 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17963] ppid=17903 vsize=11270504 memory=15244 CPUtime=51.47 cores=0,2,4,6
/proc/17906/task/17963/stat : 17963 (java) S 17903 17906 13143 0 -1 1077944384 87128 12843 0 0 5021 119 5 2 20 0 17 0 229706772 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139828112911376 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17964] ppid=17903 vsize=11270504 memory=35592 CPUtime=7.73 cores=0,2,4,6
/proc/17906/task/17964/stat : 17964 (java) S 17903 17906 13143 0 -1 1077944384 48406 12843 0 0 760 6 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827746498672 139828575464066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17965] ppid=17903 vsize=11270504 memory=6447012 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17965/stat : 17965 (java) S 17903 17906 13143 0 -1 1077944384 58 12843 0 0 0 0 5 2 20 0 17 0 229706773 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827357934432 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17966] ppid=17903 vsize=11270504 memory=4713745541279610410 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17966/stat : 17966 (java) S 17903 17906 13143 0 -1 1077944384 28 12843 0 0 0 0 5 2 20 0 17 0 229706774 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827156608128 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17967] ppid=17903 vsize=11270504 memory=-8341965534556230502 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17967/stat : 17967 (java) S 17903 17906 13143 0 -1 1077944384 312 12843 0 0 0 0 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826849208400 139828575471515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17968] ppid=17903 vsize=11270504 memory=4124 CPUtime=7.8 cores=0,2,4,6
/proc/17906/task/17968/stat : 17968 (java) S 17903 17906 13143 0 -1 1077944384 23341 12843 0 0 770 3 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827745446512 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17969] ppid=17903 vsize=11270504 memory=288230574492221466 CPUtime=7.12 cores=0,2,4,6
/proc/17906/task/17969/stat : 17969 (java) S 17903 17906 13143 0 -1 1077944384 19548 12843 0 0 701 4 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827744393712 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17970] ppid=17903 vsize=11270504 memory=288230596050944315 CPUtime=2.36 cores=0,2,4,6
/proc/17906/task/17970/stat : 17970 (java) S 17903 17906 13143 0 -1 1077944384 29892 12843 0 0 224 5 5 2 20 0 17 0 229706776 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827743341424 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17971] ppid=17903 vsize=11270504 memory=14126766767740366 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/17971/stat : 17971 (java) S 17903 17906 13143 0 -1 1077944384 3 12843 0 0 0 0 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826418412512 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=17972] ppid=17903 vsize=11270504 memory=1408 CPUtime=1.39 cores=0,2,4,6
/proc/17906/task/17972/stat : 17972 (java) S 17903 17906 13143 0 -1 1077944384 2135 12843 0 0 65 67 5 2 20 0 17 0 229706777 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139827742288304 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18488] ppid=17903 vsize=11270504 memory=3204 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18488/stat : 18488 (java) S 17903 17906 13143 0 -1 1077944384 351 12843 0 0 0 0 5 2 20 0 17 0 229941552 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826217082864 139828575463125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
[pid=17906/tid=18489] ppid=17903 vsize=11270504 memory=607624 CPUtime=0.07 cores=0,2,4,6
/proc/17906/task/18489/stat : 18489 (java) S 17903 17906 13143 0 -1 1077944384 117 12843 0 0 0 0 5 2 20 0 17 0 229941553 11540996096 1612808 33554432000 4194304 4196468 140720863806176 139826015757664 139828575464066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140720863812204 140720863815004 140720863815004 140720863817679 0
Current children cumulated CPU time: 2522.02 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 6451232 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2349.94
CPU time (s): 2522.09
CPU user time (s): 2515.32
CPU system time (s): 6.76529
CPU usage (%): 107.325
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 6451232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.32
system time used= 6.76529
maximum resident set size= 6451412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63280
involuntary context switches= 3123
# summary of solver processes directly reported to runsolver:
# pid: 17906
# total CPU time (s): 2522.09
# total CPU user time (s): 2515.32
# total CPU system time (s): 6.76529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3121 second user time and 23.0026 second system time
The end