runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455173-1307189408/watcher-3455173-1307189408 -o /tmp/evaluation-result-3455173-1307189408/solver-3455173-1307189408 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455173-1307189408.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 1753 0 1 0 0 0 0 0 23 0 2 0 830543125 10681323520 1454 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2607745 1468 906 9 0 2598901 0
[pid=17746/tid=17747] ppid=17744 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 4681 0 1 0 0 0 0 0 24 0 2 0 830543126 10694979584 5497 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0700949 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 11775 0 1 0 4 1 0 0 23 0 18 0 830543125 10724302848 11471 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2618238 11472 1742 9 0 2608972 0
[pid=17746/tid=17747] ppid=17744 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 10600 0 1 0 4 1 0 0 25 0 18 0 830543126 10724302848 11472 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447843787 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101075 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10539896 CPUtime=0.1 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 13044 0 1 0 9 1 0 0 23 0 18 0 830543125 10792853504 12699 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2634974 12699 2092 9 0 2625708 0
[pid=17746/tid=17747] ppid=17744 vsize=10539896 CPUtime=0.08 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 11090 0 1 0 7 1 0 0 18 0 18 0 830543126 10792853504 12699 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010033616408 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539896
[startup+0.301002 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10540404 CPUtime=0.48 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 15916 0 1 0 46 2 0 0 23 0 18 0 830543125 10793373696 15222 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2635101 15222 2198 9 0 2625835 0
[pid=17746/tid=17747] ppid=17744 vsize=10540404 CPUtime=0.28 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) R 17744 17746 13859 0 -1 4202560 12844 0 1 0 27 1 0 0 18 0 18 0 830543126 10793373696 15223 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010035051347 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540404
[startup+0.700975 s]
/proc/loadavg: 3.20 3.46 3.29 3/502 17746
/proc/meminfo: memFree=25157116/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10548896 CPUtime=0.96 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 27443 0 1 0 92 4 0 0 23 0 19 0 830543125 10802069504 25241 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2637224 25241 2224 9 0 2627958 0
[pid=17746/tid=17747] ppid=17744 vsize=10548896 CPUtime=0.45 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20789 0 1 0 43 2 0 0 19 0 19 0 830543126 10802069504 25241 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10548896
[startup+1.50077 s]
/proc/loadavg: 3.20 3.46 3.29 7/524 17771
/proc/meminfo: memFree=25063452/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10548896 CPUtime=1.32 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 27874 0 1 0 128 4 0 0 23 0 22 0 830543125 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2637224 25671 2233 9 0 2627958 0
[pid=17746/tid=17747] ppid=17744 vsize=10548896 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20852 0 1 0 44 2 0 0 16 0 22 0 830543126 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25671 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830543129 10802069504 25672 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830543129 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830543129 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10548896 CPUtime=0.35 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) R 17744 17746 13859 0 -1 4202560 2434 0 0 0 35 0 0 0 15 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029762382 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10548896 CPUtime=0.32 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) R 17744 17746 13859 0 -1 4202560 3013 0 0 0 32 0 0 0 15 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010033131259 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10802069504 25673 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543131 10802069504 25676 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10548896 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10802069504 25676 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10548896
[startup+3.10148 s]
/proc/loadavg: 3.20 3.46 3.29 3/521 17777
/proc/meminfo: memFree=25048968/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10559140 CPUtime=2.49 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 44403 0 1 0 244 5 0 0 23 0 22 0 830543125 10812559360 39764 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2639785 39764 2239 9 0 2630519 0
[pid=17746/tid=17747] ppid=17744 vsize=10559140 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20909 0 1 0 44 2 0 0 16 0 22 0 830543126 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39765 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543128 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830543129 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10812559360 39766 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10559140 CPUtime=0.75 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) R 17744 17746 13859 0 -1 4202560 6816 0 0 0 75 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029842464 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10559140 CPUtime=0.54 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) R 17744 17746 13859 0 -1 4202560 3768 0 0 0 54 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 48010029373895 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830543131 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10559140 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10812559360 39767 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10559140
[startup+6.30087 s]
/proc/loadavg: 3.26 3.47 3.29 5/524 17786
/proc/meminfo: memFree=24719400/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=7.56 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 124328 0 1 0 740 16 0 0 23 0 22 0 830543125 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 118751 2268 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.46 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 20928 0 1 0 44 2 0 0 16 0 22 0 830543126 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 1090 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 975 0 0 0 0 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1205 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 709 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 1628 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=0.01 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 1639 0 0 0 1 0 0 0 15 0 22 0 830543128 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=0.22 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 8849 0 0 0 22 0 0 0 15 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=0.91 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 6839 0 0 0 91 0 0 0 15 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.65 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 3781 0 0 0 65 0 0 0 15 0 22 0 830543131 10808610816 118751 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=703.48 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 70348 0 0 0 19 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=703.49 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 600 0 0 0 70349 0 0 0 19 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505905057 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 306866 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1628.47
Current children cumulated vsize (KiB) 10555284
[startup+942.301 s]
/proc/loadavg: 3.86 3.77 3.60 4/524 17886
/proc/meminfo: memFree=24566456/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1735.77 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321281 0 1 0 173533 44 0 0 23 0 22 0 830543125 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313797 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21100 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.8 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 180 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.68 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 467 0 0 0 168 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.6 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 160 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.72 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 172 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.9 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 190 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.86 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2889 0 0 0 186 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.89 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1961 0 0 0 189 0 0 0 16 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.93 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 193 0 0 0 15 0 22 0 830543128 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=149.77 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100450 0 0 0 14966 11 0 0 16 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=750.01 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 75000 1 0 0 19 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505840059 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=750.01 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 75001 0 0 0 18 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505920120 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313797 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1735.77
Current children cumulated vsize (KiB) 10555284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+977.919 s]
/proc/loadavg: 3.66 3.73 3.59 5/524 17887
/proc/meminfo: memFree=24560856/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1800.04 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321313 0 1 0 179960 44 0 0 23 0 22 0 830543125 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313816 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21109 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.91 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 191 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 474 0 0 0 179 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.66 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 166 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 179 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.98 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 198 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.94 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2893 0 0 0 194 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.96 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1969 0 0 0 196 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.97 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 197 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=157.01 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100452 0 0 0 15690 11 0 0 15 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 77821 1 0 0 20 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505871486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 77822 0 0 0 19 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+977.919 s]
/proc/loadavg: 3.66 3.73 3.59 5/524 17887
/proc/meminfo: memFree=24560856/32951124 swapFree=38422276/67111528
[pid=17746] ppid=17744 vsize=10555284 CPUtime=1800.04 cores=1,3,5,7
/proc/17746/stat : 17746 (java) S 17744 17746 13859 0 -1 4202496 321313 0 1 0 179960 44 0 0 23 0 22 0 830543125 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17746/statm: 2638821 313816 2269 9 0 2629555 0
[pid=17746/tid=17747] ppid=17744 vsize=10555284 CPUtime=0.47 cores=1,3,5,7
/proc/17746/task/17747/stat : 17747 (java) S 17744 17746 13859 0 -1 4202560 21109 0 1 0 45 2 0 0 15 0 22 0 830543126 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17749] ppid=17744 vsize=10555284 CPUtime=1.91 cores=1,3,5,7
/proc/17746/task/17749/stat : 17749 (java) S 17744 17746 13859 0 -1 4202560 2793 0 0 0 191 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17750] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17750/stat : 17750 (java) S 17744 17746 13859 0 -1 4202560 474 0 0 0 179 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 7 0 0 0
[pid=17746/tid=17751] ppid=17744 vsize=10555284 CPUtime=1.66 cores=1,3,5,7
/proc/17746/task/17751/stat : 17751 (java) S 17744 17746 13859 0 -1 4202560 2035 0 0 0 166 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17752] ppid=17744 vsize=10555284 CPUtime=1.79 cores=1,3,5,7
/proc/17746/task/17752/stat : 17752 (java) S 17744 17746 13859 0 -1 4202560 1956 0 0 0 179 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17753] ppid=17744 vsize=10555284 CPUtime=1.98 cores=1,3,5,7
/proc/17746/task/17753/stat : 17753 (java) S 17744 17746 13859 0 -1 4202560 1694 0 0 0 198 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17754] ppid=17744 vsize=10555284 CPUtime=1.94 cores=1,3,5,7
/proc/17746/task/17754/stat : 17754 (java) S 17744 17746 13859 0 -1 4202560 2893 0 0 0 194 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17755] ppid=17744 vsize=10555284 CPUtime=1.96 cores=1,3,5,7
/proc/17746/task/17755/stat : 17755 (java) S 17744 17746 13859 0 -1 4202560 1969 0 0 0 196 0 0 0 16 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17756] ppid=17744 vsize=10555284 CPUtime=1.97 cores=1,3,5,7
/proc/17746/task/17756/stat : 17756 (java) S 17744 17746 13859 0 -1 4202560 2272 0 0 0 197 0 0 0 15 0 22 0 830543128 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17757] ppid=17744 vsize=10555284 CPUtime=157.01 cores=1,3,5,7
/proc/17746/task/17757/stat : 17757 (java) S 17744 17746 13859 0 -1 4202560 100452 0 0 0 15690 11 0 0 15 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 0 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17758] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17758/stat : 17758 (java) S 17744 17746 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17759] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17759/stat : 17759 (java) S 17744 17746 13859 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830543129 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17760] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17760/stat : 17760 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447840689 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17761] ppid=17744 vsize=10555284 CPUtime=1.37 cores=1,3,5,7
/proc/17746/task/17761/stat : 17761 (java) S 17744 17746 13859 0 -1 4202560 8281 0 0 0 137 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 5 0 0 0
[pid=17746/tid=17762] ppid=17744 vsize=10555284 CPUtime=0.8 cores=1,3,5,7
/proc/17746/task/17762/stat : 17762 (java) S 17744 17746 13859 0 -1 4202560 4062 0 0 0 79 1 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17763] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17763/stat : 17763 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447832985 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
[pid=17746/tid=17764] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17764/stat : 17764 (java) S 17744 17746 13859 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830543131 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17771] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17771/stat : 17771 (java) S 17744 17746 13859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830543224 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 1 0 0 0
[pid=17746/tid=17860] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17860/stat : 17860 (java) R 17744 17746 13859 0 -1 4202560 88 0 0 0 77821 1 0 0 20 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505871486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17746/tid=17861] ppid=17744 vsize=10555284 CPUtime=778.22 cores=1,3,5,7
/proc/17746/task/17861/stat : 17861 (java) R 17744 17746 13859 0 -1 4202560 601 0 0 0 77822 0 0 0 19 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 46912505870669 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17746/tid=17862] ppid=17744 vsize=10555284 CPUtime=0 cores=1,3,5,7
/proc/17746/task/17862/stat : 17862 (java) S 17744 17746 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830547228 10808610816 313816 33554432000 1073741824 1073778376 140734570833696 18446744073709551615 212447833600 0 4 0 16800975 18446604468639228160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555284
Child status: 143
Real time (s): 978.02
CPU time (s): 1800.21
CPU user time (s): 1799.71
CPU system time (s): 0.498924
CPU usage (%): 184.067
Max. virtual memory (cumulated for all children) (KiB): 10559240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.498924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321341
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30841
involuntary context switches= 25254
runsolver used 4.79127 second user time and 11.2923 second system time
The end