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-3458420-1307161508/watcher-3458420-1307161508 -o /tmp/evaluation-result-3458420-1307161508/solver-3458420-1307161508 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458420-1307161508.opb
running on 4 cores: 0,2,4,6
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: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/5903/stat : 5903 (java) R 5900 5903 2099 0 -1 4202496 427 0 0 0 0 0 0 0 17 0 1 0 827750410 9318400 173 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274659884679 0 2147483391 4096 0 0 0 0 17 2 0 0 0
/proc/5903/statm: 2275 173 132 9 0 67 0
[pid=5903/tid=5906] ppid=5900 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 2705 0 1 0 0 0 0 0 18 0 2 0 827750411 13850947584 3521 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0645939 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 14030 0 1 0 3 1 0 0 17 0 13 0 827750410 13874806784 13727 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3387404 13727 1686 9 0 3378152 0
[pid=5903/tid=5906] ppid=5900 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 12883 0 1 0 3 1 0 0 24 0 13 0 827750411 13874806784 13727 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676635083 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.10055 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13621384 CPUtime=0.09 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 15254 0 1 0 7 2 0 0 17 0 18 0 827750410 13948297216 14951 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3405346 14953 2088 9 0 3396080 0
[pid=5903/tid=5906] ppid=5900 vsize=13621384 CPUtime=0.07 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 13542 0 1 0 6 1 0 0 18 0 18 0 827750411 13948297216 14953 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 47359373111301 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621384
[startup+0.301065 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13622844 CPUtime=0.26 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 16630 0 1 0 24 2 0 0 17 0 18 0 827750410 13949792256 16298 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3405711 16299 2182 9 0 3396445 0
[pid=5903/tid=5906] ppid=5900 vsize=13622844 CPUtime=0.19 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 14507 0 1 0 17 2 0 0 18 0 18 0 827750411 13949792256 16299 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 47359372921984 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622844
[startup+0.700471 s]
/proc/loadavg: 1.79 1.98 1.98 3/433 5905
/proc/meminfo: memFree=12502616/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13648812 CPUtime=1.26 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 31522 0 1 0 121 5 0 0 17 0 19 0 827750410 13976383488 28425 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3412203 28425 2226 9 0 3402937 0
[pid=5903/tid=5906] ppid=5900 vsize=13648812 CPUtime=0.59 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18046 0 1 0 56 3 0 0 19 0 19 0 827750411 13976383488 28425 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505228080 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13648812
[startup+1.50137 s]
/proc/loadavg: 1.79 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12328800/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13646404 CPUtime=2.47 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 32273 0 1 0 242 5 0 0 17 0 19 0 827750410 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3411601 28559 2241 9 0 3402335 0
[pid=5903/tid=5906] ppid=5900 vsize=13646404 CPUtime=1.39 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18290 0 1 0 136 3 0 0 18 0 19 0 827750411 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505825854 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827750413 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827750414 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827750415 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827750415 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13646404 CPUtime=0.49 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4314 0 0 0 48 1 0 0 15 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13646404 CPUtime=0.56 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8509 0 0 0 56 0 0 0 16 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750417 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13973917696 28559 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13646404
[startup+3.1011 s]
/proc/loadavg: 1.79 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12320880/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13646404 CPUtime=4.1 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 34172 0 1 0 405 5 0 0 17 0 19 0 827750410 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3411601 30455 2267 9 0 3402335 0
[pid=5903/tid=5906] ppid=5900 vsize=13646404 CPUtime=2.97 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18544 0 1 0 294 3 0 0 20 0 19 0 827750411 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505814183 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 258 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 263 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 186 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827750413 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13646404 CPUtime=0.01 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 822 0 0 0 1 0 0 0 15 0 19 0 827750414 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13646404 CPUtime=0.5 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4320 0 0 0 49 1 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13646404 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8511 0 0 0 58 0 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750417 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13646404 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13973917696 30455 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13646404
[startup+6.30155 s]
/proc/loadavg: 1.81 1.98 1.98 4/471 5943
/proc/meminfo: memFree=12307492/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=7.39 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 34849 0 1 0 733 6 0 0 17 0 19 0 827750410 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 30228 2267 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=6.13 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18555 0 1 0 610 3 0 0 23 0 19 0 827750411 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505814650 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 258 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 288 0 0 0 0 0 0 0 18 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 827750413 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=0.03 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 998 0 0 0 3 0 0 0 15 0 19 0 827750414 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.54 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4321 0 0 0 53 1 0 0 15 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.66 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8524 0 0 0 66 0 0 0 15 0 19 0 827750417 13969989632 30228 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 145 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 381 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.11 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2772 0 0 0 806 5 0 0 15 0 19 0 827750414 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33106 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1723.78
Current children cumulated vsize (KiB) 13642568
[startup+1782.3 s]
/proc/loadavg: 2.44 2.13 2.03 4/471 5990
/proc/meminfo: memFree=12285192/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1783.8 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38390 0 1 0 178363 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1773.1 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18906 0 1 0 177304 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505899241 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.41 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2774 0 0 0 835 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1783.8
Current children cumulated vsize (KiB) 13642568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.52 s]
/proc/loadavg: 2.34 2.12 2.03 2/451 5994
/proc/meminfo: memFree=12372020/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1800.02 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38397 0 1 0 179985 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1789.25 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18909 0 1 0 178919 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505617142 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.48 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2776 0 0 0 842 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13642568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.52 s]
/proc/loadavg: 2.34 2.12 2.03 2/451 5994
/proc/meminfo: memFree=12372020/32951132 swapFree=67093840/67111528
[pid=5903] ppid=5900 vsize=13642568 CPUtime=1800.02 cores=0,2,4,6
/proc/5903/stat : 5903 (java) S 5900 5903 2099 0 -1 4202496 38397 0 1 0 179985 17 0 0 17 0 19 0 827750410 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5903/statm: 3410642 33117 2268 9 0 3401376 0
[pid=5903/tid=5906] ppid=5900 vsize=13642568 CPUtime=1789.25 cores=0,2,4,6
/proc/5903/task/5906/stat : 5906 (java) R 5900 5903 2099 0 -1 4202560 18909 0 1 0 178919 6 0 0 25 0 19 0 827750411 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 46912505617142 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=5903/tid=5910] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5910/stat : 5910 (java) S 5900 5903 2099 0 -1 4202560 405 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5911] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5911/stat : 5911 (java) S 5900 5903 2099 0 -1 4202560 22 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5912] ppid=5900 vsize=13642568 CPUtime=0.1 cores=0,2,4,6
/proc/5903/task/5912/stat : 5912 (java) S 5900 5903 2099 0 -1 4202560 747 0 0 0 10 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5913] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5913/stat : 5913 (java) S 5900 5903 2099 0 -1 4202560 510 0 0 0 12 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5914] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5914/stat : 5914 (java) S 5900 5903 2099 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5915] ppid=5900 vsize=13642568 CPUtime=0.13 cores=0,2,4,6
/proc/5903/task/5915/stat : 5915 (java) S 5900 5903 2099 0 -1 4202560 224 0 0 0 13 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5916] ppid=5900 vsize=13642568 CPUtime=0.11 cores=0,2,4,6
/proc/5903/task/5916/stat : 5916 (java) S 5900 5903 2099 0 -1 4202560 147 0 0 0 11 0 0 0 15 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5917] ppid=5900 vsize=13642568 CPUtime=0.12 cores=0,2,4,6
/proc/5903/task/5917/stat : 5917 (java) S 5900 5903 2099 0 -1 4202560 386 0 0 0 12 0 0 0 16 0 19 0 827750413 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5926] ppid=5900 vsize=13642568 CPUtime=8.48 cores=0,2,4,6
/proc/5903/task/5926/stat : 5926 (java) S 5900 5903 2099 0 -1 4202560 2776 0 0 0 842 6 0 0 15 0 19 0 827750414 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 0 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
[pid=5903/tid=5928] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5928/stat : 5928 (java) S 5900 5903 2099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5929] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5929/stat : 5929 (java) S 5900 5903 2099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827750415 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5934] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5934/stat : 5934 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676631985 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5935] ppid=5900 vsize=13642568 CPUtime=0.58 cores=0,2,4,6
/proc/5903/task/5935/stat : 5935 (java) S 5900 5903 2099 0 -1 4202560 4346 0 0 0 57 1 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5938] ppid=5900 vsize=13642568 CPUtime=0.69 cores=0,2,4,6
/proc/5903/task/5938/stat : 5938 (java) S 5900 5903 2099 0 -1 4202560 8543 0 0 0 69 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 6 0 0 0
[pid=5903/tid=5940] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5940/stat : 5940 (java) S 5900 5903 2099 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624281 0 4 0 16800975 18446604448628371904 0 0 -1 2 0 0 0
[pid=5903/tid=5941] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5941/stat : 5941 (java) S 5900 5903 2099 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827750417 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 4 0 0 0
[pid=5903/tid=5943] ppid=5900 vsize=13642568 CPUtime=0 cores=0,2,4,6
/proc/5903/task/5943/stat : 5943 (java) S 5900 5903 2099 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 827750462 13969989632 33117 33554432000 1073741824 1073778376 140736716681712 18446744073709551615 274676624896 0 4 0 16800975 18446604448628371904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13642568
Child status: 143
Real time (s): 1798.55
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.179972
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 13648812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38440
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= 45723
involuntary context switches= 19529
runsolver used 8.60369 second user time and 18.8011 second system time
The end